runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3724861-1338649664/watcher-3724861-1338649664 -o /tmp/evaluation-result-3724861-1338649664/solver-3724861-1338649664 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724861-1338649664.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.89 1.97 1.99 3/176 29150
/proc/meminfo: memFree=29706272/32873648 swapFree=7116/7116
[pid=29150] ppid=29148 vsize=6224 CPUtime=0 cores=0,2,4,6
/proc/29150/stat : 29150 (toysat) R 29148 29150 27825 0 -1 4202496 824 0 0 0 0 0 0 0 20 0 1 0 331091891 6373376 744 33554432000 4194304 8989770 140735011840864 140734464108808 4209325 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29150/statm: 1556 748 424 1171 0 333 0
[startup+0.015456 s]
/proc/loadavg: 1.89 1.97 1.99 3/176 29150
/proc/meminfo: memFree=29706272/32873648 swapFree=7116/7116
[pid=29150] ppid=29148 vsize=7248 CPUtime=0.01 cores=0,2,4,6
/proc/29150/stat : 29150 (toysat) R 29148 29150 27825 0 -1 4202496 1062 0 0 0 1 0 0 0 20 0 1 0 331091891 7421952 982 33554432000 4194304 8989770 140735011840864 140734464108808 7857787 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29150/statm: 1812 982 430 1171 0 589 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 7248
[startup+0.100217 s]
/proc/loadavg: 1.89 1.97 1.99 3/176 29150
/proc/meminfo: memFree=29706272/32873648 swapFree=7116/7116
[pid=29150] ppid=29148 vsize=13392 CPUtime=0.09 cores=0,2,4,6
/proc/29150/stat : 29150 (toysat) R 29148 29150 27825 0 -1 4202496 2390 0 0 0 9 0 0 0 20 0 1 0 331091891 13713408 2310 33554432000 4194304 8989770 140735011840864 140734464108808 4658508 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29150/statm: 3348 2310 431 1171 0 2125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13392
[startup+0.300231 s]
/proc/loadavg: 1.89 1.97 1.99 3/176 29150
/proc/meminfo: memFree=29706272/32873648 swapFree=7116/7116
[pid=29150] ppid=29148 vsize=24656 CPUtime=0.29 cores=0,2,4,6
/proc/29150/stat : 29150 (toysat) R 29148 29150 27825 0 -1 4202496 5211 0 0 0 29 0 0 0 20 0 1 0 331091891 25247744 5131 33554432000 4194304 8989770 140735011840864 140735011839704 4209325 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29150/statm: 6164 5139 431 1171 0 4941 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24656
[startup+0.700229 s]
/proc/loadavg: 1.89 1.97 1.99 3/176 29150
/proc/meminfo: memFree=29706272/32873648 swapFree=7116/7116
[pid=29150] ppid=29148 vsize=57424 CPUtime=0.69 cores=0,2,4,6
/proc/29150/stat : 29150 (toysat) R 29148 29150 27825 0 -1 4202496 13572 0 0 0 67 2 0 0 20 0 1 0 331091891 58802176 13492 33554432000 4194304 8989770 140735011840864 140735011839704 7732715 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29150/statm: 14356 13492 446 1171 0 13133 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 57424
[startup+1.50024 s]
/proc/loadavg: 1.89 1.97 1.99 3/177 29151
/proc/meminfo: memFree=29652400/32873648 swapFree=7116/7116
[pid=29150] ppid=29148 vsize=68688 CPUtime=1.49 cores=0,2,4,6
/proc/29150/stat : 29150 (toysat) R 29148 29150 27825 0 -1 4202496 16488 0 0 0 146 3 0 0 20 0 1 0 331091891 70336512 16408 33554432000 4194304 8989770 140735011840864 140735011840360 7953280 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29150/statm: 17172 16408 462 1171 0 15949 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 68688
[startup+3.10024 s]
/proc/loadavg: 1.89 1.97 1.99 3/177 29151
/proc/meminfo: memFree=29632932/32873648 swapFree=7116/7116
[pid=29150] ppid=29148 vsize=77904 CPUtime=3.09 cores=0,2,4,6
/proc/29150/stat : 29150 (toysat) R 29148 29150 27825 0 -1 4202496 18792 0 0 0 306 3 0 0 20 0 1 0 331091891 79773696 18712 33554432000 4194304 8989770 140735011840864 140735011840360 4209212 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29150/statm: 19476 18712 462 1171 0 18253 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 77904
[startup+6.30025 s]
/proc/loadavg: 2.06 2.00 2.00 3/177 29151
/proc/meminfo: memFree=29627484/32873648 swapFree=7116/7116
[pid=29150] ppid=29148 vsize=80976 CPUtime=6.28 cores=0,2,4,6
/proc/29150/stat : 29150 (toysat) R 29148 29150 27825 0 -1 4202496 19560 0 0 0 625 3 0 0 20 0 1 0 331091891 82919424 19480 33554432000 4194304 8989770 140735011840864 140735011840128 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29150/statm: 20244 19480 462 1171 0 19021 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 80976
[startup+12.7003 s]
/proc/loadavg: 2.06 2.00 2.00 3/177 29151
/proc/meminfo: memFree=29618708/32873648 swapFree=7116/7116
[pid=29150] ppid=29148 vsize=86096 CPUtime=12.69 cores=0,2,4,6
/proc/29150/stat : 29150 (toysat) R 29148 29150 27825 0 -1 4202496 20840 0 0 0 1264 5 0 0 20 0 1 0 331091891 88162304 20760 33554432000 4194304 8989770 140735011840864 140735011840360 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29150/statm: 21524 20760 462 1171 0 20301 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 86096
[startup+25.5003 s]
/proc/loadavg: 2.04 2.00 2.00 3/177 29151
/proc/meminfo: memFree=29600976/32873648 swapFree=7116/7116
[pid=29150] ppid=29148 vsize=96336 CPUtime=25.49 cores=0,2,4,6
/proc/29150/stat : 29150 (toysat) R 29148 29150 27825 0 -1 4202496 23400 0 0 0 2540 9 0 0 20 0 1 0 331091891 98648064 23320 33554432000 4194304 8989770 140735011840864 140735011840128 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29150/statm: 24084 23320 462 1171 0 22861 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 96336
[startup+51.1002 s]
/proc/loadavg: 2.03 2.00 2.00 3/177 29151
/proc/meminfo: memFree=29557652/32873648 swapFree=7116/7116
[pid=29150] ppid=29148 vsize=127056 CPUtime=51.08 cores=0,2,4,6
/proc/29150/stat : 29150 (toysat) R 29148 29150 27825 0 -1 4202496 31080 0 0 0 5092 16 0 0 20 0 1 0 331091891 130105344 31000 33554432000 4194304 8989770 140735011840864 140735011840360 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29150/statm: 31764 31000 462 1171 0 30541 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 127056
[startup+102.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 29151
/proc/meminfo: memFree=29484412/32873648 swapFree=7116/7116
[pid=29150] ppid=29148 vsize=166992 CPUtime=102.28 cores=0,2,4,6
/proc/29150/stat : 29150 (toysat) R 29148 29150 27825 0 -1 4202496 41064 0 0 0 10197 31 0 0 20 0 1 0 331091891 170999808 40984 33554432000 4194304 8989770 140735011840864 140735011840360 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29150/statm: 41748 40984 462 1171 0 40525 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 166992
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29154
/proc/meminfo: memFree=29411012/32873648 swapFree=7116/7116
[pid=29150] ppid=29148 vsize=208976 CPUtime=162.25 cores=0,2,4,6
/proc/29150/stat : 29150 (toysat) R 29148 29150 27825 0 -1 4202496 51576 0 0 0 16179 46 0 0 20 0 1 0 331091891 213991424 51480 33554432000 4194304 8989770 140735011840864 140735011840360 4209136 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29150/statm: 52244 51480 462 1171 0 51021 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 208976
[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29155
/proc/meminfo: memFree=29327844/32873648 swapFree=7116/7116
[pid=29150] ppid=29148 vsize=248912 CPUtime=222.24 cores=0,2,4,6
/proc/29150/stat : 29150 (toysat) R 29148 29150 27825 0 -1 4202496 61580 0 0 0 22163 61 0 0 20 0 1 0 331091891 254885888 61464 33554432000 4194304 8989770 140735011840864 140735011840360 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29150/statm: 62228 61464 462 1171 0 61005 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 248912
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29155
/proc/meminfo: memFree=29263768/32873648 swapFree=7116/7116
[pid=29150] ppid=29148 vsize=278608 CPUtime=282.2 cores=0,2,4,6
/proc/29150/stat : 29150 (toysat) R 29148 29150 27825 0 -1 4202496 69030 0 0 0 28144 76 0 0 20 0 1 0 331091891 285294592 68888 33554432000 4194304 8989770 140735011840864 140735011840360 4450412 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29150/statm: 69652 68888 462 1171 0 68429 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 278608
[startup+342.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/177 29155
/proc/meminfo: memFree=29188624/32873648 swapFree=7116/7116
[pid=29150] ppid=29148 vsize=323664 CPUtime=342.18 cores=0,2,4,6
/proc/29150/stat : 29150 (toysat) R 29148 29150 27825 0 -1 4202496 80294 0 0 0 34120 98 0 0 20 0 1 0 331091891 331431936 80152 33554432000 4194304 8989770 140735011840864 140735011840360 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29150/statm: 80916 80152 462 1171 0 79693 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 323664
[startup+402.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 29155
/proc/meminfo: memFree=29110304/32873648 swapFree=7116/7116
[pid=29150] ppid=29148 vsize=369744 CPUtime=402.17 cores=0,2,4,6
/proc/29150/stat : 29150 (toysat) R 29148 29150 27825 0 -1 4202496 91814 0 0 0 40098 119 0 0 20 0 1 0 331091891 378617856 91672 33554432000 4194304 8989770 140735011840864 140735011840360 7414848 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29150/statm: 92436 91672 462 1171 0 91213 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 369744
[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 29155
/proc/meminfo: memFree=29027004/32873648 swapFree=7116/7116
[pid=29150] ppid=29148 vsize=417872 CPUtime=462.17 cores=0,2,4,6
/proc/29150/stat : 29150 (toysat) R 29148 29150 27825 0 -1 4202496 103846 0 0 0 46076 141 0 0 20 0 1 0 331091891 427900928 103704 33554432000 4194304 8989770 140735011840864 140735011840360 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29150/statm: 104468 103704 462 1171 0 103245 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 417872
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 29155
/proc/meminfo: memFree=28962688/32873648 swapFree=7116/7116
[pid=29150] ppid=29148 vsize=451664 CPUtime=522.15 cores=0,2,4,6
/proc/29150/stat : 29150 (toysat) R 29148 29150 27825 0 -1 4202496 112294 0 0 0 52058 157 0 0 20 0 1 0 331091891 462503936 112152 33554432000 4194304 8989770 140735011840864 140735011840360 4450352 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29150/statm: 112916 112152 462 1171 0 111693 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 451664
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29156
/proc/meminfo: memFree=28937248/32873648 swapFree=7116/7116
[pid=29150] ppid=29148 vsize=464976 CPUtime=582.15 cores=0,2,4,6
/proc/29150/stat : 29150 (toysat) R 29148 29150 27825 0 -1 4202496 115624 0 0 0 58042 173 0 0 20 0 1 0 331091891 476135424 115482 33554432000 4194304 8989770 140735011840864 140735011840360 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29150/statm: 116244 115482 464 1171 0 115021 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 464976
[startup+642.3 s]
################
# More data... #
################
[startup+882.306 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 29160
/proc/meminfo: memFree=28804112/32873648 swapFree=7116/7116
[pid=29150] ppid=29148 vsize=526416 CPUtime=882.08 cores=0,2,4,6
/proc/29150/stat : 29150 (toysat) R 29148 29150 27825 0 -1 4202496 131028 0 0 0 87971 237 0 0 20 0 1 0 331091891 539049984 130842 33554432000 4194304 8989770 140735011840864 140735011840360 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29150/statm: 131604 130842 464 1171 0 130381 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 526416
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29160
/proc/meminfo: memFree=28775592/32873648 swapFree=7116/7116
[pid=29150] ppid=29148 vsize=555088 CPUtime=942.06 cores=0,2,4,6
/proc/29150/stat : 29150 (toysat) R 29148 29150 27825 0 -1 4202496 138196 0 0 0 93957 249 0 0 20 0 1 0 331091891 568410112 138010 33554432000 4194304 8989770 140735011840864 140735011840360 4438244 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29150/statm: 138772 138010 464 1171 0 137549 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 555088
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29160
/proc/meminfo: memFree=28771516/32873648 swapFree=7116/7116
[pid=29150] ppid=29148 vsize=558160 CPUtime=1002.06 cores=0,2,4,6
/proc/29150/stat : 29150 (toysat) R 29148 29150 27825 0 -1 4202496 143828 0 0 0 99945 261 0 0 20 0 1 0 331091891 571555840 138778 33554432000 4194304 8989770 140735011840864 140735011840360 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29150/statm: 139540 138778 464 1171 0 138317 0
Current children cumulated CPU time (s) 1002.06
Current children cumulated vsize (KiB) 558160
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29160
/proc/meminfo: memFree=28771516/32873648 swapFree=7116/7116
[pid=29150] ppid=29148 vsize=558160 CPUtime=1062.04 cores=0,2,4,6
/proc/29150/stat : 29150 (toysat) R 29148 29150 27825 0 -1 4202496 143828 0 0 0 105933 271 0 0 20 0 1 0 331091891 571555840 138778 33554432000 4194304 8989770 140735011840864 140735011840360 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29150/statm: 139540 138778 464 1171 0 138317 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 558160
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29160
/proc/meminfo: memFree=28769168/32873648 swapFree=7116/7116
[pid=29150] ppid=29148 vsize=558160 CPUtime=1122.04 cores=0,2,4,6
/proc/29150/stat : 29150 (toysat) R 29148 29150 27825 0 -1 4202496 143828 0 0 0 111921 283 0 0 20 0 1 0 331091891 571555840 138778 33554432000 4194304 8989770 140735011840864 140735011838784 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29150/statm: 139540 138778 464 1171 0 138317 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 558160
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29163
/proc/meminfo: memFree=28745460/32873648 swapFree=7116/7116
[pid=29150] ppid=29148 vsize=558160 CPUtime=1182.02 cores=0,2,4,6
/proc/29150/stat : 29150 (toysat) R 29148 29150 27825 0 -1 4202496 143828 0 0 0 117906 296 0 0 20 0 1 0 331091891 571555840 138778 33554432000 4194304 8989770 140735011840864 140735011840360 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29150/statm: 139540 138778 464 1171 0 138317 0
Current children cumulated CPU time (s) 1182.02
Current children cumulated vsize (KiB) 558160
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29163
/proc/meminfo: memFree=28719680/32873648 swapFree=7116/7116
[pid=29150] ppid=29148 vsize=558160 CPUtime=1242.02 cores=0,2,4,6
/proc/29150/stat : 29150 (toysat) R 29148 29150 27825 0 -1 4202496 143828 0 0 0 123895 307 0 0 20 0 1 0 331091891 571555840 138778 33554432000 4194304 8989770 140735011840864 140735011840360 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29150/statm: 139540 138778 464 1171 0 138317 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 558160
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29163
/proc/meminfo: memFree=28695624/32873648 swapFree=7116/7116
[pid=29150] ppid=29148 vsize=558160 CPUtime=1302.02 cores=0,2,4,6
/proc/29150/stat : 29150 (toysat) R 29148 29150 27825 0 -1 4202496 143828 0 0 0 129884 318 0 0 20 0 1 0 331091891 571555840 138778 33554432000 4194304 8989770 140735011840864 140735011840360 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29150/statm: 139540 138778 464 1171 0 138317 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 558160
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29166
/proc/meminfo: memFree=28695516/32873648 swapFree=7116/7116
[pid=29150] ppid=29148 vsize=558160 CPUtime=1362 cores=0,2,4,6
/proc/29150/stat : 29150 (toysat) R 29148 29150 27825 0 -1 4202496 143828 0 0 0 135874 326 0 0 20 0 1 0 331091891 571555840 138778 33554432000 4194304 8989770 140735011840864 140735011840128 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29150/statm: 139540 138778 464 1171 0 138317 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 558160
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29166
/proc/meminfo: memFree=28695648/32873648 swapFree=7116/7116
[pid=29150] ppid=29148 vsize=558160 CPUtime=1422 cores=0,2,4,6
/proc/29150/stat : 29150 (toysat) R 29148 29150 27825 0 -1 4202496 143828 0 0 0 141862 338 0 0 20 0 1 0 331091891 571555840 138778 33554432000 4194304 8989770 140735011840864 140735011838848 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29150/statm: 139540 138778 464 1171 0 138317 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 558160
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29167
/proc/meminfo: memFree=28695896/32873648 swapFree=7116/7116
[pid=29150] ppid=29148 vsize=558160 CPUtime=1481.99 cores=0,2,4,6
/proc/29150/stat : 29150 (toysat) R 29148 29150 27825 0 -1 4202496 143828 0 0 0 147848 351 0 0 20 0 1 0 331091891 571555840 138778 33554432000 4194304 8989770 140735011840864 140735011840360 4209212 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29150/statm: 139540 138778 464 1171 0 138317 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 558160
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29167
/proc/meminfo: memFree=28695716/32873648 swapFree=7116/7116
[pid=29150] ppid=29148 vsize=558160 CPUtime=1541.97 cores=0,2,4,6
/proc/29150/stat : 29150 (toysat) R 29148 29150 27825 0 -1 4202496 143836 0 0 0 153836 361 0 0 20 0 1 0 331091891 571555840 138778 33554432000 4194304 8989770 140735011840864 140735011840128 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29150/statm: 139540 138778 464 1171 0 138317 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 558160
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29167
/proc/meminfo: memFree=28695716/32873648 swapFree=7116/7116
[pid=29150] ppid=29148 vsize=558160 CPUtime=1601.96 cores=0,2,4,6
/proc/29150/stat : 29150 (toysat) R 29148 29150 27825 0 -1 4202496 143836 0 0 0 159824 372 0 0 20 0 1 0 331091891 571555840 138778 33554432000 4194304 8989770 140735011840864 140735011838848 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29150/statm: 139540 138778 464 1171 0 138317 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 558160
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29167
/proc/meminfo: memFree=28695716/32873648 swapFree=7116/7116
[pid=29150] ppid=29148 vsize=558160 CPUtime=1661.95 cores=0,2,4,6
/proc/29150/stat : 29150 (toysat) R 29148 29150 27825 0 -1 4202496 143836 0 0 0 165814 381 0 0 20 0 1 0 331091891 571555840 138778 33554432000 4194304 8989770 140735011840864 140735011840360 4450412 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29150/statm: 139540 138778 464 1171 0 138317 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 558160
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29167
/proc/meminfo: memFree=28695344/32873648 swapFree=7116/7116
[pid=29150] ppid=29148 vsize=558160 CPUtime=1721.94 cores=0,2,4,6
/proc/29150/stat : 29150 (toysat) R 29148 29150 27825 0 -1 4202496 143836 0 0 0 171801 393 0 0 20 0 1 0 331091891 571555840 138778 33554432000 4194304 8989770 140735011840864 140735011840128 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29150/statm: 139540 138778 464 1171 0 138317 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 558160
[startup+1782.3 s]
/proc/loadavg: 1.43 1.84 1.95 2/171 29193
/proc/meminfo: memFree=29306248/32873648 swapFree=7116/7116
[pid=29150] ppid=29148 vsize=537680 CPUtime=1781.93 cores=0,2,4,6
/proc/29150/stat : 29150 (toysat) R 29148 29150 27825 0 -1 4202496 143836 0 0 0 177790 403 0 0 20 0 1 0 331091891 550584320 133658 33554432000 4194304 8989770 140735011840864 140735011822848 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29150/statm: 134420 133658 464 1171 0 133197 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 537680
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 1.31 1.79 1.92 2/171 29193
/proc/meminfo: memFree=29318596/32873648 swapFree=7116/7116
[pid=29150] ppid=29148 vsize=525392 CPUtime=1800.04 cores=0,2,4,6
/proc/29150/stat : 29150 (toysat) R 29148 29150 27825 0 -1 4202496 143836 0 0 0 179597 407 0 0 20 0 1 0 331091891 538001408 130586 33554432000 4194304 8989770 140735011840864 140735011840360 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29150/statm: 131348 130586 464 1171 0 130125 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 525392
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 1.31 1.79 1.92 2/171 29193
/proc/meminfo: memFree=29318596/32873648 swapFree=7116/7116
[pid=29150] ppid=29148 vsize=525392 CPUtime=1800.04 cores=0,2,4,6
/proc/29150/stat : 29150 (toysat) R 29148 29150 27825 0 -1 4202496 143836 0 0 0 179597 407 0 0 20 0 1 0 331091891 538001408 130586 33554432000 4194304 8989770 140735011840864 140735011840360 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29150/statm: 131348 130586 464 1171 0 130125 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 525392
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.05
CPU user time (s): 1795.97
CPU system time (s): 4.07238
CPU usage (%): 99.9799
Max. virtual memory (cumulated for all children) (KiB): 577616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.97
system time used= 4.07238
maximum resident set size= 574568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143836
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 117
involuntary context switches= 2003
runsolver used 3.23051 second user time and 9.1866 second system time
The end