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-3706153-1338136705/watcher-3706153-1338136705 -o /tmp/evaluation-result-3706153-1338136705/solver-3706153-1338136705 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706153-1338136705.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.92 1.98 1.99 3/176 10745
/proc/meminfo: memFree=30692044/32873648 swapFree=6860/6860
[pid=10745] ppid=10743 vsize=6208 CPUtime=0 cores=0,2,4,6
/proc/10745/stat : 10745 (toysat) R 10743 10745 9979 0 -1 4202496 807 0 0 0 0 0 0 0 20 0 1 0 279796575 6356992 728 33554432000 4194304 8973514 140734215431504 140736170715064 7610753 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10745/statm: 1552 728 415 1167 0 333 0
[startup+0.060891 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 10745
/proc/meminfo: memFree=30692044/32873648 swapFree=6860/6860
[pid=10745] ppid=10743 vsize=10304 CPUtime=0.05 cores=0,2,4,6
/proc/10745/stat : 10745 (toysat) R 10743 10745 9979 0 -1 4202496 1843 0 0 0 5 0 0 0 20 0 1 0 279796575 10551296 1764 33554432000 4194304 8973514 140734215431504 140736170715064 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10745/statm: 2576 1764 416 1167 0 1357 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10304
[startup+0.100245 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 10745
/proc/meminfo: memFree=30692044/32873648 swapFree=6860/6860
[pid=10745] ppid=10743 vsize=12352 CPUtime=0.09 cores=0,2,4,6
/proc/10745/stat : 10745 (toysat) R 10743 10745 9979 0 -1 4202496 2357 0 0 0 9 0 0 0 20 0 1 0 279796575 12648448 2278 33554432000 4194304 8973514 140734215431504 140736170715064 4204320 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10745/statm: 3088 2278 418 1167 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12352
[startup+0.300244 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 10745
/proc/meminfo: memFree=30692044/32873648 swapFree=6860/6860
[pid=10745] ppid=10743 vsize=27712 CPUtime=0.29 cores=0,2,4,6
/proc/10745/stat : 10745 (toysat) R 10743 10745 9979 0 -1 4202496 6213 0 0 0 28 1 0 0 20 0 1 0 279796575 28377088 6134 33554432000 4194304 8973514 140734215431504 140736170715064 6555910 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10745/statm: 6928 6134 429 1167 0 5709 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27712
[startup+0.700166 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 10745
/proc/meminfo: memFree=30692044/32873648 swapFree=6860/6860
[pid=10745] ppid=10743 vsize=74816 CPUtime=0.69 cores=0,2,4,6
/proc/10745/stat : 10745 (toysat) R 10743 10745 9979 0 -1 4202496 18004 0 0 0 66 3 0 0 20 0 1 0 279796575 76611584 17925 33554432000 4194304 8973514 140734215431504 140736170715064 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10745/statm: 18704 17925 446 1167 0 17485 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 74816
[startup+1.50024 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 10746
/proc/meminfo: memFree=30622240/32873648 swapFree=6860/6860
[pid=10745] ppid=10743 vsize=75840 CPUtime=1.49 cores=0,2,4,6
/proc/10745/stat : 10745 (toysat) R 10743 10745 9979 0 -1 4202496 18260 0 0 0 146 3 0 0 20 0 1 0 279796575 77660160 18181 33554432000 4194304 8973514 140734215431504 140734215429440 6575928 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10745/statm: 18960 18181 446 1167 0 17741 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 75840
[startup+3.10015 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 10746
/proc/meminfo: memFree=30619024/32873648 swapFree=6860/6860
[pid=10745] ppid=10743 vsize=77888 CPUtime=3.09 cores=0,2,4,6
/proc/10745/stat : 10745 (toysat) R 10743 10745 9979 0 -1 4202496 18772 0 0 0 306 3 0 0 20 0 1 0 279796575 79757312 18693 33554432000 4194304 8973514 140734215431504 140734215431000 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10745/statm: 19472 18693 446 1167 0 18253 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 77888
[startup+6.30016 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 10746
/proc/meminfo: memFree=30634980/32873648 swapFree=6860/6860
[pid=10745] ppid=10743 vsize=93248 CPUtime=6.29 cores=0,2,4,6
/proc/10745/stat : 10745 (toysat) R 10743 10745 9979 0 -1 4202496 22612 0 0 0 625 4 0 0 20 0 1 0 279796575 95485952 22533 33554432000 4194304 8973514 140734215431504 140734215431000 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10745/statm: 23312 22533 446 1167 0 22093 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 93248
[startup+12.7002 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 10746
/proc/meminfo: memFree=30632664/32873648 swapFree=6860/6860
[pid=10745] ppid=10743 vsize=93248 CPUtime=12.69 cores=0,2,4,6
/proc/10745/stat : 10745 (toysat) R 10743 10745 9979 0 -1 4202496 22612 0 0 0 1264 5 0 0 20 0 1 0 279796575 95485952 22533 33554432000 4194304 8973514 140734215431504 140734215430768 6576189 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10745/statm: 23312 22533 446 1167 0 22093 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 93248
[startup+25.5002 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 10824
/proc/meminfo: memFree=30715412/32873648 swapFree=6860/6860
[pid=10745] ppid=10743 vsize=93248 CPUtime=25.48 cores=0,2,4,6
/proc/10745/stat : 10745 (toysat) R 10743 10745 9979 0 -1 4202496 22612 0 0 0 2542 6 0 0 20 0 1 0 279796575 95485952 22533 33554432000 4194304 8973514 140734215431504 140734215429440 7667272 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10745/statm: 23312 22533 446 1167 0 22093 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 93248
[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 10824
/proc/meminfo: memFree=30699448/32873648 swapFree=6860/6860
[pid=10745] ppid=10743 vsize=98368 CPUtime=51.07 cores=0,2,4,6
/proc/10745/stat : 10745 (toysat) R 10743 10745 9979 0 -1 4202496 23903 0 0 0 5097 10 0 0 20 0 1 0 279796575 100728832 23813 33554432000 4194304 8973514 140734215431504 140734215430768 4204690 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10745/statm: 24592 23813 446 1167 0 23373 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 98368
[startup+102.307 s]
/proc/loadavg: 2.03 2.00 2.00 3/178 10827
/proc/meminfo: memFree=30682412/32873648 swapFree=6860/6860
[pid=10745] ppid=10743 vsize=108608 CPUtime=102.26 cores=0,2,4,6
/proc/10745/stat : 10745 (toysat) R 10743 10745 9979 0 -1 4202496 26479 0 0 0 10211 15 0 0 20 0 1 0 279796575 111214592 26376 33554432000 4194304 8973514 140734215431504 140734215431000 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10745/statm: 27152 26376 446 1167 0 25933 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 108608
[startup+162.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 10827
/proc/meminfo: memFree=30681588/32873648 swapFree=6860/6860
[pid=10745] ppid=10743 vsize=108608 CPUtime=162.25 cores=0,2,4,6
/proc/10745/stat : 10745 (toysat) R 10743 10745 9979 0 -1 4202496 26479 0 0 0 16203 22 0 0 20 0 1 0 279796575 111214592 26376 33554432000 4194304 8973514 140734215431504 140734215431000 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10745/statm: 27152 26376 446 1167 0 25933 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 108608
[startup+222.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 10827
/proc/meminfo: memFree=30663512/32873648 swapFree=6860/6860
[pid=10745] ppid=10743 vsize=116800 CPUtime=222.23 cores=0,2,4,6
/proc/10745/stat : 10745 (toysat) R 10743 10745 9979 0 -1 4202496 28529 0 0 0 22194 29 0 0 20 0 1 0 279796575 119603200 28424 33554432000 4194304 8973514 140734215431504 140734215429504 4208846 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10745/statm: 29200 28424 446 1167 0 27981 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 116800
[startup+282.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 10827
/proc/meminfo: memFree=30651748/32873648 swapFree=6860/6860
[pid=10745] ppid=10743 vsize=126016 CPUtime=282.22 cores=0,2,4,6
/proc/10745/stat : 10745 (toysat) R 10743 10745 9979 0 -1 4202496 30833 0 0 0 28184 38 0 0 20 0 1 0 279796575 129040384 30728 33554432000 4194304 8973514 140734215431504 140734215430768 4213380 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10745/statm: 31504 30728 446 1167 0 30285 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 126016
[startup+342.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 10828
/proc/meminfo: memFree=30644716/32873648 swapFree=6860/6860
[pid=10745] ppid=10743 vsize=133184 CPUtime=342.21 cores=0,2,4,6
/proc/10745/stat : 10745 (toysat) R 10743 10745 9979 0 -1 4202496 32629 0 0 0 34175 46 0 0 20 0 1 0 279796575 136380416 32520 33554432000 4194304 8973514 140734215431504 140734215429440 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10745/statm: 33296 32520 446 1167 0 32077 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 133184
[startup+402.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 10828
/proc/meminfo: memFree=30647764/32873648 swapFree=6860/6860
[pid=10745] ppid=10743 vsize=138304 CPUtime=402.2 cores=0,2,4,6
/proc/10745/stat : 10745 (toysat) R 10743 10745 9979 0 -1 4202496 33909 0 0 0 40167 53 0 0 20 0 1 0 279796575 141623296 33800 33554432000 4194304 8973514 140734215431504 140734215430768 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10745/statm: 34576 33800 446 1167 0 33357 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 138304
[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 10866
/proc/meminfo: memFree=30565928/32873648 swapFree=6860/6860
[pid=10745] ppid=10743 vsize=144448 CPUtime=462.19 cores=0,2,4,6
/proc/10745/stat : 10745 (toysat) R 10743 10745 9979 0 -1 4202496 35445 0 0 0 46159 60 0 0 20 0 1 0 279796575 147914752 35336 33554432000 4194304 8973514 140734215431504 140734215430768 6576563 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10745/statm: 36112 35336 446 1167 0 34893 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 144448
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10866
/proc/meminfo: memFree=30532308/32873648 swapFree=6860/6860
[pid=10745] ppid=10743 vsize=150592 CPUtime=522.18 cores=0,2,4,6
/proc/10745/stat : 10745 (toysat) R 10743 10745 9979 0 -1 4202496 36981 0 0 0 52148 70 0 0 20 0 1 0 279796575 154206208 36872 33554432000 4194304 8973514 140734215431504 140734215430768 4209212 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10745/statm: 37648 36872 446 1167 0 36429 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 150592
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10866
/proc/meminfo: memFree=30480528/32873648 swapFree=6860/6860
[pid=10745] ppid=10743 vsize=154688 CPUtime=582.17 cores=0,2,4,6
/proc/10745/stat : 10745 (toysat) R 10743 10745 9979 0 -1 4202496 38005 0 0 0 58140 77 0 0 20 0 1 0 279796575 158400512 37896 33554432000 4194304 8973514 140734215431504 140734215431000 7681396 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10745/statm: 38672 37896 446 1167 0 37453 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 154688
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 10870
/proc/meminfo: memFree=30448192/32873648 swapFree=6860/6860
[pid=10745] ppid=10743 vsize=183360 CPUtime=822.13 cores=0,2,4,6
/proc/10745/stat : 10745 (toysat) R 10743 10745 9979 0 -1 4202496 45177 0 0 0 82103 110 0 0 20 0 1 0 279796575 187760640 45064 33554432000 4194304 8973514 140734215431504 140734215429440 4214379 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10745/statm: 45840 45064 446 1167 0 44621 0
Current children cumulated CPU time (s) 822.13
Current children cumulated vsize (KiB) 183360
[startup+882.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 10870
/proc/meminfo: memFree=30447076/32873648 swapFree=6860/6860
[pid=10745] ppid=10743 vsize=184384 CPUtime=882.12 cores=0,2,4,6
/proc/10745/stat : 10745 (toysat) R 10743 10745 9979 0 -1 4202496 45433 0 0 0 88094 118 0 0 20 0 1 0 279796575 188809216 45320 33554432000 4194304 8973514 140734215431504 140734215430768 4371943 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10745/statm: 46096 45320 446 1167 0 44877 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 184384
[startup+942.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 10871
/proc/meminfo: memFree=30416492/32873648 swapFree=6860/6860
[pid=10745] ppid=10743 vsize=190528 CPUtime=942.12 cores=0,2,4,6
/proc/10745/stat : 10745 (toysat) R 10743 10745 9979 0 -1 4202496 46973 0 0 0 94085 127 0 0 20 0 1 0 279796575 195100672 46856 33554432000 4194304 8973514 140734215431504 140734215430768 4441196 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10745/statm: 47632 46856 446 1167 0 46413 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 190528
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10871
/proc/meminfo: memFree=30493840/32873648 swapFree=6860/6860
[pid=10745] ppid=10743 vsize=194624 CPUtime=1002.11 cores=0,2,4,6
/proc/10745/stat : 10745 (toysat) R 10743 10745 9979 0 -1 4202496 47997 0 0 0 100077 134 0 0 20 0 1 0 279796575 199294976 47880 33554432000 4194304 8973514 140734215431504 140734215430768 6576321 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10745/statm: 48656 47880 446 1167 0 47437 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 194624
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10871
/proc/meminfo: memFree=30440872/32873648 swapFree=6860/6860
[pid=10745] ppid=10743 vsize=199744 CPUtime=1062.09 cores=0,2,4,6
/proc/10745/stat : 10745 (toysat) R 10743 10745 9979 0 -1 4202496 49277 0 0 0 106068 141 0 0 20 0 1 0 279796575 204537856 49160 33554432000 4194304 8973514 140734215431504 140734215430768 7681396 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10745/statm: 49936 49160 446 1167 0 48717 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 199744
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10871
/proc/meminfo: memFree=30490604/32873648 swapFree=6860/6860
[pid=10745] ppid=10743 vsize=205888 CPUtime=1122.09 cores=0,2,4,6
/proc/10745/stat : 10745 (toysat) R 10743 10745 9979 0 -1 4202496 50813 0 0 0 112059 150 0 0 20 0 1 0 279796575 210829312 50696 33554432000 4194304 8973514 140734215431504 140734215430768 4447608 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10745/statm: 51472 50696 446 1167 0 50253 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 205888
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10871
/proc/meminfo: memFree=30465060/32873648 swapFree=6860/6860
[pid=10745] ppid=10743 vsize=206912 CPUtime=1182.07 cores=0,2,4,6
/proc/10745/stat : 10745 (toysat) R 10743 10745 9979 0 -1 4202496 51070 0 0 0 118050 157 0 0 20 0 1 0 279796575 211877888 50952 33554432000 4194304 8973514 140734215431504 140734215431000 7681396 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10745/statm: 51728 50952 446 1167 0 50509 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 206912
[startup+1242.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 10986
/proc/meminfo: memFree=30312184/32873648 swapFree=6860/6860
[pid=10745] ppid=10743 vsize=216128 CPUtime=1242.06 cores=0,2,4,6
/proc/10745/stat : 10745 (toysat) R 10743 10745 9979 0 -1 4202496 53376 0 0 0 124041 165 0 0 20 0 1 0 279796575 221315072 53256 33554432000 4194304 8973514 140734215431504 140734215429696 4204292 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10745/statm: 54032 53256 446 1167 0 52813 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 216128
[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 10989
/proc/meminfo: memFree=30307184/32873648 swapFree=6860/6860
[pid=10745] ppid=10743 vsize=221248 CPUtime=1302.06 cores=0,2,4,6
/proc/10745/stat : 10745 (toysat) R 10743 10745 9979 0 -1 4202496 54656 0 0 0 130033 173 0 0 20 0 1 0 279796575 226557952 54536 33554432000 4194304 8973514 140734215431504 140734215430768 7681399 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10745/statm: 55312 54536 446 1167 0 54093 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 221248
[startup+1362.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 11012
/proc/meminfo: memFree=30302124/32873648 swapFree=6860/6860
[pid=10745] ppid=10743 vsize=225344 CPUtime=1362.05 cores=0,2,4,6
/proc/10745/stat : 10745 (toysat) R 10743 10745 9979 0 -1 4202496 55680 0 0 0 136025 180 0 0 20 0 1 0 279796575 230752256 55560 33554432000 4194304 8973514 140734215431504 140734215430768 7681396 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10745/statm: 56336 55560 446 1167 0 55117 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 225344
[startup+1422.31 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 11012
/proc/meminfo: memFree=30297380/32873648 swapFree=6860/6860
[pid=10745] ppid=10743 vsize=231488 CPUtime=1422.04 cores=0,2,4,6
/proc/10745/stat : 10745 (toysat) R 10743 10745 9979 0 -1 4202496 57216 0 0 0 142014 190 0 0 20 0 1 0 279796575 237043712 57096 33554432000 4194304 8973514 140734215431504 140734215430768 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10745/statm: 57872 57096 446 1167 0 56653 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 231488
[startup+1482.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/177 11012
/proc/meminfo: memFree=30293040/32873648 swapFree=6860/6860
[pid=10745] ppid=10743 vsize=235584 CPUtime=1482.03 cores=0,2,4,6
/proc/10745/stat : 10745 (toysat) R 10743 10745 9979 0 -1 4202496 58240 0 0 0 148006 197 0 0 20 0 1 0 279796575 241238016 58120 33554432000 4194304 8973514 140734215431504 140734215430768 7681396 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10745/statm: 58896 58120 446 1167 0 57677 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 235584
[startup+1542.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/176 11012
/proc/meminfo: memFree=30289440/32873648 swapFree=6860/6860
[pid=10745] ppid=10743 vsize=238656 CPUtime=1542.02 cores=0,2,4,6
/proc/10745/stat : 10745 (toysat) R 10743 10745 9979 0 -1 4202496 59012 0 0 0 153999 203 0 0 20 0 1 0 279796575 244383744 58888 33554432000 4194304 8973514 140734215431504 140734215429440 4208906 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10745/statm: 59664 58888 446 1167 0 58445 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 238656
[startup+1602.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/177 11013
/proc/meminfo: memFree=30288416/32873648 swapFree=6860/6860
[pid=10745] ppid=10743 vsize=240704 CPUtime=1602.01 cores=0,2,4,6
/proc/10745/stat : 10745 (toysat) R 10743 10745 9979 0 -1 4202496 59526 0 0 0 159991 210 0 0 20 0 1 0 279796575 246480896 59400 33554432000 4194304 8973514 140734215431504 140734215430768 4209212 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10745/statm: 60176 59400 446 1167 0 58957 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 240704
[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 11013
/proc/meminfo: memFree=30284324/32873648 swapFree=6860/6860
[pid=10745] ppid=10743 vsize=244800 CPUtime=1662 cores=0,2,4,6
/proc/10745/stat : 10745 (toysat) R 10743 10745 9979 0 -1 4202496 60550 0 0 0 165983 217 0 0 20 0 1 0 279796575 250675200 60424 33554432000 4194304 8973514 140734215431504 140734215431000 4424267 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10745/statm: 61200 60424 446 1167 0 59981 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 244800
[startup+1722.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/177 11013
/proc/meminfo: memFree=30283332/32873648 swapFree=6860/6860
[pid=10745] ppid=10743 vsize=245824 CPUtime=1721.99 cores=0,2,4,6
/proc/10745/stat : 10745 (toysat) R 10743 10745 9979 0 -1 4202496 60806 0 0 0 171974 225 0 0 20 0 1 0 279796575 251723776 60680 33554432000 4194304 8973514 140734215431504 140734215430768 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10745/statm: 61456 60680 446 1167 0 60237 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 245824
[startup+1782.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/177 11013
/proc/meminfo: memFree=30274652/32873648 swapFree=6860/6860
[pid=10745] ppid=10743 vsize=254016 CPUtime=1781.99 cores=0,2,4,6
/proc/10745/stat : 10745 (toysat) R 10743 10745 9979 0 -1 4202496 62854 0 0 0 177966 233 0 0 20 0 1 0 279796575 260112384 62728 33554432000 4194304 8973514 140734215431504 140734215430768 4209357 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10745/statm: 63504 62728 446 1167 0 62285 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 254016
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.07 2.05 2.00 3/177 11013
/proc/meminfo: memFree=30274032/32873648 swapFree=6860/6860
[pid=10745] ppid=10743 vsize=255040 CPUtime=1800.09 cores=0,2,4,6
/proc/10745/stat : 10745 (toysat) R 10743 10745 9979 0 -1 4202496 63110 0 0 0 179774 235 0 0 20 0 1 0 279796575 261160960 62984 33554432000 4194304 8973514 140734215431504 140734215430768 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10745/statm: 63760 62984 446 1167 0 62541 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 255040
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.1
CPU user time (s): 1797.74
CPU system time (s): 2.35364
CPU usage (%): 99.9827
Max. virtual memory (cumulated for all children) (KiB): 255040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.74
system time used= 2.35364
maximum resident set size= 251936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63110
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= 53
involuntary context switches= 1966
runsolver used 3.2725 second user time and 9.55455 second system time
The end