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-3707205-1338204269/watcher-3707205-1338204269 -o /tmp/evaluation-result-3707205-1338204269/solver-3707205-1338204269 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3707205-1338204269.opb
running on 4 cores: 1,3,5,7
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 28644
/proc/meminfo: memFree=27007276/32873844 swapFree=6088/6088
[pid=28644] ppid=28642 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/28644/stat : 28644 (toysat) R 28642 28644 27853 0 -1 4202496 803 0 0 0 0 0 0 0 20 0 1 0 286555496 6356992 724 33554432000 4194304 8973514 140734275546096 140734683865016 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28644/statm: 1552 724 415 1167 0 333 0
[startup+0.032151 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 28644
/proc/meminfo: memFree=27007276/32873844 swapFree=6088/6088
[pid=28644] ppid=28642 vsize=8256 CPUtime=0.02 cores=1,3,5,7
/proc/28644/stat : 28644 (toysat) R 28642 28644 27853 0 -1 4202496 1229 0 0 0 2 0 0 0 20 0 1 0 286555496 8454144 1150 33554432000 4194304 8973514 140734275546096 140734683865016 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28644/statm: 2064 1150 418 1167 0 845 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 8256
[startup+0.100273 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 28644
/proc/meminfo: memFree=27007276/32873844 swapFree=6088/6088
[pid=28644] ppid=28642 vsize=13376 CPUtime=0.09 cores=1,3,5,7
/proc/28644/stat : 28644 (toysat) R 28642 28644 27853 0 -1 4202496 2401 0 0 0 9 0 0 0 20 0 1 0 286555496 13697024 2322 33554432000 4194304 8973514 140734275546096 140734683865016 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28644/statm: 3344 2322 418 1167 0 2125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13376
[startup+0.300308 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 28644
/proc/meminfo: memFree=27007276/32873844 swapFree=6088/6088
[pid=28644] ppid=28642 vsize=22592 CPUtime=0.29 cores=1,3,5,7
/proc/28644/stat : 28644 (toysat) R 28642 28644 27853 0 -1 4202496 4915 0 0 0 28 1 0 0 20 0 1 0 286555496 23134208 4836 33554432000 4194304 8973514 140734275546096 140734683865016 4209278 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28644/statm: 5648 4836 418 1167 0 4429 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22592
[startup+0.700312 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 28644
/proc/meminfo: memFree=27007276/32873844 swapFree=6088/6088
[pid=28644] ppid=28642 vsize=44096 CPUtime=0.69 cores=1,3,5,7
/proc/28644/stat : 28644 (toysat) R 28642 28644 27853 0 -1 4202496 10291 0 0 0 68 1 0 0 20 0 1 0 286555496 45154304 10212 33554432000 4194304 8973514 140734275546096 140734683865016 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28644/statm: 11024 10212 418 1167 0 9805 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44096
[startup+1.50032 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 28645
/proc/meminfo: memFree=26938440/32873844 swapFree=6088/6088
[pid=28644] ppid=28642 vsize=92224 CPUtime=1.49 cores=1,3,5,7
/proc/28644/stat : 28644 (toysat) R 28642 28644 27853 0 -1 4202496 22339 0 0 0 145 4 0 0 20 0 1 0 286555496 94437376 22260 33554432000 4194304 8973514 140734275546096 140734275544936 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28644/statm: 23056 22260 428 1167 0 21837 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 92224
[startup+3.10033 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 28645
/proc/meminfo: memFree=26913392/32873844 swapFree=6088/6088
[pid=28644] ppid=28642 vsize=98368 CPUtime=3.09 cores=1,3,5,7
/proc/28644/stat : 28644 (toysat) R 28642 28644 27853 0 -1 4202496 23894 0 0 0 305 4 0 0 20 0 1 0 286555496 100728832 23815 33554432000 4194304 8973514 140734275546096 140734275545360 4204256 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28644/statm: 24592 23815 447 1167 0 23373 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 98368
[startup+6.30032 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 28645
/proc/meminfo: memFree=26913392/32873844 swapFree=6088/6088
[pid=28644] ppid=28642 vsize=98368 CPUtime=6.29 cores=1,3,5,7
/proc/28644/stat : 28644 (toysat) R 28642 28644 27853 0 -1 4202496 23894 0 0 0 624 5 0 0 20 0 1 0 286555496 100728832 23815 33554432000 4194304 8973514 140734275546096 140734275545592 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28644/statm: 24592 23815 447 1167 0 23373 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 98368
[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 28645
/proc/meminfo: memFree=26912300/32873844 swapFree=6088/6088
[pid=28644] ppid=28642 vsize=99392 CPUtime=12.68 cores=1,3,5,7
/proc/28644/stat : 28644 (toysat) R 28642 28644 27853 0 -1 4202496 24150 0 0 0 1262 6 0 0 20 0 1 0 286555496 101777408 24071 33554432000 4194304 8973514 140734275546096 140734275544064 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28644/statm: 24848 24071 447 1167 0 23629 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 99392
[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 28645
/proc/meminfo: memFree=26912796/32873844 swapFree=6088/6088
[pid=28644] ppid=28642 vsize=99392 CPUtime=25.49 cores=1,3,5,7
/proc/28644/stat : 28644 (toysat) R 28642 28644 27853 0 -1 4202496 24150 0 0 0 2540 9 0 0 20 0 1 0 286555496 101777408 24071 33554432000 4194304 8973514 140734275546096 140734275544064 4209187 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28644/statm: 24848 24071 447 1167 0 23629 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 99392
[startup+51.1004 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 28646
/proc/meminfo: memFree=26911584/32873844 swapFree=6088/6088
[pid=28644] ppid=28642 vsize=100416 CPUtime=51.07 cores=1,3,5,7
/proc/28644/stat : 28644 (toysat) R 28642 28644 27853 0 -1 4202496 24414 0 0 0 5092 15 0 0 20 0 1 0 286555496 102825984 24327 33554432000 4194304 8973514 140734275546096 140734275545360 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28644/statm: 25104 24327 447 1167 0 23885 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 100416
[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 28646
/proc/meminfo: memFree=26908176/32873844 swapFree=6088/6088
[pid=28644] ppid=28642 vsize=103488 CPUtime=102.26 cores=1,3,5,7
/proc/28644/stat : 28644 (toysat) R 28642 28644 27853 0 -1 4202496 25193 0 0 0 10201 25 0 0 20 0 1 0 286555496 105971712 25095 33554432000 4194304 8973514 140734275546096 140734275544064 4204292 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28644/statm: 25872 25095 447 1167 0 24653 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 103488
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 28646
/proc/meminfo: memFree=26906812/32873844 swapFree=6088/6088
[pid=28644] ppid=28642 vsize=104512 CPUtime=162.24 cores=1,3,5,7
/proc/28644/stat : 28644 (toysat) R 28642 28644 27853 0 -1 4202496 25449 0 0 0 16186 38 0 0 20 0 1 0 286555496 107020288 25351 33554432000 4194304 8973514 140734275546096 140734275545592 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28644/statm: 26128 25351 447 1167 0 24909 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 104512
[startup+222.3 s]
/proc/loadavg: 2.06 2.00 2.00 3/177 28646
/proc/meminfo: memFree=26905324/32873844 swapFree=6088/6088
[pid=28644] ppid=28642 vsize=105536 CPUtime=222.23 cores=1,3,5,7
/proc/28644/stat : 28644 (toysat) R 28642 28644 27853 0 -1 4202496 25705 0 0 0 22169 54 0 0 20 0 1 0 286555496 108068864 25607 33554432000 4194304 8973514 140734275546096 140734275545592 4204286 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28644/statm: 26384 25607 447 1167 0 25165 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 105536
[startup+282.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/178 28647
/proc/meminfo: memFree=26903268/32873844 swapFree=6088/6088
[pid=28644] ppid=28642 vsize=107584 CPUtime=282.22 cores=1,3,5,7
/proc/28644/stat : 28644 (toysat) R 28642 28644 27853 0 -1 4202496 26217 0 0 0 28153 69 0 0 20 0 1 0 286555496 110166016 26119 33554432000 4194304 8973514 140734275546096 140734275545592 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28644/statm: 26896 26119 447 1167 0 25677 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 107584
[startup+342.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 28650
/proc/meminfo: memFree=26901284/32873844 swapFree=6088/6088
[pid=28644] ppid=28642 vsize=109632 CPUtime=342.22 cores=1,3,5,7
/proc/28644/stat : 28644 (toysat) R 28642 28644 27853 0 -1 4202496 26729 0 0 0 34139 83 0 0 20 0 1 0 286555496 112263168 26631 33554432000 4194304 8973514 140734275546096 140734275545592 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28644/statm: 27408 26631 447 1167 0 26189 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 109632
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28651
/proc/meminfo: memFree=26900360/32873844 swapFree=6088/6088
[pid=28644] ppid=28642 vsize=110656 CPUtime=402.21 cores=1,3,5,7
/proc/28644/stat : 28644 (toysat) R 28642 28644 27853 0 -1 4202496 26985 0 0 0 40124 97 0 0 20 0 1 0 286555496 113311744 26887 33554432000 4194304 8973514 140734275546096 140734275545592 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28644/statm: 27664 26887 447 1167 0 26445 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 110656
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28651
/proc/meminfo: memFree=26899612/32873844 swapFree=6088/6088
[pid=28644] ppid=28642 vsize=111680 CPUtime=462.2 cores=1,3,5,7
/proc/28644/stat : 28644 (toysat) R 28642 28644 27853 0 -1 4202496 27243 0 0 0 46109 111 0 0 20 0 1 0 286555496 114360320 27143 33554432000 4194304 8973514 140734275546096 140734275544064 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28644/statm: 27920 27143 447 1167 0 26701 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 111680
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28651
/proc/meminfo: memFree=26898744/32873844 swapFree=6088/6088
[pid=28644] ppid=28642 vsize=111680 CPUtime=522.19 cores=1,3,5,7
/proc/28644/stat : 28644 (toysat) R 28642 28644 27853 0 -1 4202496 27243 0 0 0 52093 126 0 0 20 0 1 0 286555496 114360320 27143 33554432000 4194304 8973514 140734275546096 140734275545592 6571993 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28644/statm: 27920 27143 447 1167 0 26701 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 111680
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28651
/proc/meminfo: memFree=26897564/32873844 swapFree=6088/6088
[pid=28644] ppid=28642 vsize=112704 CPUtime=582.18 cores=1,3,5,7
/proc/28644/stat : 28644 (toysat) R 28642 28644 27853 0 -1 4202496 27499 0 0 0 58074 144 0 0 20 0 1 0 286555496 115408896 27399 33554432000 4194304 8973514 140734275546096 140734275545360 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28644/statm: 28176 27399 447 1167 0 26957 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 112704
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28652
/proc/meminfo: memFree=26889188/32873844 swapFree=6088/6088
[pid=28644] ppid=28642 vsize=117824 CPUtime=822.15 cores=1,3,5,7
/proc/28644/stat : 28644 (toysat) R 28642 28644 27853 0 -1 4202496 28779 0 0 0 82009 206 0 0 20 0 1 0 286555496 120651776 28679 33554432000 4194304 8973514 140734275546096 140734275545592 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28644/statm: 29456 28679 447 1167 0 28237 0
Current children cumulated CPU time (s) 822.15
Current children cumulated vsize (KiB) 117824
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28652
/proc/meminfo: memFree=26888256/32873844 swapFree=6088/6088
[pid=28644] ppid=28642 vsize=118848 CPUtime=882.14 cores=1,3,5,7
/proc/28644/stat : 28644 (toysat) R 28642 28644 27853 0 -1 4202496 29035 0 0 0 87993 221 0 0 20 0 1 0 286555496 121700352 28935 33554432000 4194304 8973514 140734275546096 140734275545592 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28644/statm: 29712 28935 447 1167 0 28493 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 118848
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28655
/proc/meminfo: memFree=26888416/32873844 swapFree=6088/6088
[pid=28644] ppid=28642 vsize=118848 CPUtime=942.13 cores=1,3,5,7
/proc/28644/stat : 28644 (toysat) R 28642 28644 27853 0 -1 4202496 29036 0 0 0 93976 237 0 0 20 0 1 0 286555496 121700352 28935 33554432000 4194304 8973514 140734275546096 140734275545360 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28644/statm: 29712 28935 447 1167 0 28493 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 118848
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28656
/proc/meminfo: memFree=26887324/32873844 swapFree=6088/6088
[pid=28644] ppid=28642 vsize=119872 CPUtime=1002.12 cores=1,3,5,7
/proc/28644/stat : 28644 (toysat) R 28642 28644 27853 0 -1 4202496 29292 0 0 0 99960 252 0 0 20 0 1 0 286555496 122748928 29191 33554432000 4194304 8973514 140734275546096 140734275545592 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28644/statm: 29968 29191 447 1167 0 28749 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 119872
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28656
/proc/meminfo: memFree=26884596/32873844 swapFree=6088/6088
[pid=28644] ppid=28642 vsize=121920 CPUtime=1062.11 cores=1,3,5,7
/proc/28644/stat : 28644 (toysat) R 28642 28644 27853 0 -1 4202496 29804 0 0 0 105945 266 0 0 20 0 1 0 286555496 124846080 29703 33554432000 4194304 8973514 140734275546096 140734275545360 4204286 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28644/statm: 30480 29703 447 1167 0 29261 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 121920
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28656
/proc/meminfo: memFree=26884344/32873844 swapFree=6088/6088
[pid=28644] ppid=28642 vsize=121920 CPUtime=1122.1 cores=1,3,5,7
/proc/28644/stat : 28644 (toysat) R 28642 28644 27853 0 -1 4202496 29806 0 0 0 111930 280 0 0 20 0 1 0 286555496 124846080 29703 33554432000 4194304 8973514 140734275546096 140734275545592 4204359 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28644/statm: 30480 29703 447 1167 0 29261 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 121920
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28656
/proc/meminfo: memFree=26883600/32873844 swapFree=6088/6088
[pid=28644] ppid=28642 vsize=122944 CPUtime=1182.08 cores=1,3,5,7
/proc/28644/stat : 28644 (toysat) R 28642 28644 27853 0 -1 4202496 30062 0 0 0 117913 295 0 0 20 0 1 0 286555496 125894656 29959 33554432000 4194304 8973514 140734275546096 140734275544064 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28644/statm: 30736 29959 447 1167 0 29517 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 122944
[startup+1242.3 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 28695
/proc/meminfo: memFree=26918196/32873844 swapFree=6088/6088
[pid=28644] ppid=28642 vsize=122944 CPUtime=1242.08 cores=1,3,5,7
/proc/28644/stat : 28644 (toysat) R 28642 28644 27853 0 -1 4202496 30062 0 0 0 123897 311 0 0 20 0 1 0 286555496 125894656 29959 33554432000 4194304 8973514 140734275546096 140734275544064 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28644/statm: 30736 29959 447 1167 0 29517 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 122944
[startup+1302.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 28696
/proc/meminfo: memFree=26916308/32873844 swapFree=6088/6088
[pid=28644] ppid=28642 vsize=123968 CPUtime=1302.08 cores=1,3,5,7
/proc/28644/stat : 28644 (toysat) R 28642 28644 27853 0 -1 4202496 30319 0 0 0 129880 328 0 0 20 0 1 0 286555496 126943232 30215 33554432000 4194304 8973514 140734275546096 140734275545592 7659316 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28644/statm: 30992 30215 447 1167 0 29773 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 123968
[startup+1362.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/177 28696
/proc/meminfo: memFree=26912208/32873844 swapFree=6088/6088
[pid=28644] ppid=28642 vsize=124992 CPUtime=1362.05 cores=1,3,5,7
/proc/28644/stat : 28644 (toysat) R 28642 28644 27853 0 -1 4202496 30575 0 0 0 135861 344 0 0 20 0 1 0 286555496 127991808 30471 33554432000 4194304 8973514 140734275546096 140734275545360 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28644/statm: 31248 30471 447 1167 0 30029 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 124992
[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 28696
/proc/meminfo: memFree=26910968/32873844 swapFree=6088/6088
[pid=28644] ppid=28642 vsize=126016 CPUtime=1422.06 cores=1,3,5,7
/proc/28644/stat : 28644 (toysat) R 28642 28644 27853 0 -1 4202496 30831 0 0 0 141845 361 0 0 20 0 1 0 286555496 129040384 30727 33554432000 4194304 8973514 140734275546096 140734275545592 4427188 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28644/statm: 31504 30727 447 1167 0 30285 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 126016
[startup+1482.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 28696
/proc/meminfo: memFree=26909044/32873844 swapFree=6088/6088
[pid=28644] ppid=28642 vsize=127040 CPUtime=1482.04 cores=1,3,5,7
/proc/28644/stat : 28644 (toysat) R 28642 28644 27853 0 -1 4202496 31088 0 0 0 147829 375 0 0 20 0 1 0 286555496 130088960 30983 33554432000 4194304 8973514 140734275546096 140734275544064 4204270 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28644/statm: 31760 30983 447 1167 0 30541 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 127040
[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 28699
/proc/meminfo: memFree=26907468/32873844 swapFree=6088/6088
[pid=28644] ppid=28642 vsize=127040 CPUtime=1542.03 cores=1,3,5,7
/proc/28644/stat : 28644 (toysat) R 28642 28644 27853 0 -1 4202496 31088 0 0 0 153814 389 0 0 20 0 1 0 286555496 130088960 30983 33554432000 4194304 8973514 140734275546096 140734275545592 4427744 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28644/statm: 31760 30983 447 1167 0 30541 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 127040
[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 28700
/proc/meminfo: memFree=26903336/32873844 swapFree=6088/6088
[pid=28644] ppid=28642 vsize=128064 CPUtime=1602.03 cores=1,3,5,7
/proc/28644/stat : 28644 (toysat) R 28642 28644 27853 0 -1 4202496 31344 0 0 0 159798 405 0 0 20 0 1 0 286555496 131137536 31239 33554432000 4194304 8973514 140734275546096 140734275545592 4208887 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28644/statm: 32016 31239 447 1167 0 30797 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 128064
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28700
/proc/meminfo: memFree=26898252/32873844 swapFree=6088/6088
[pid=28644] ppid=28642 vsize=130112 CPUtime=1662.01 cores=1,3,5,7
/proc/28644/stat : 28644 (toysat) R 28642 28644 27853 0 -1 4202496 31856 0 0 0 165784 417 0 0 20 0 1 0 286555496 133234688 31751 33554432000 4194304 8973514 140734275546096 140734275545592 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28644/statm: 32528 31751 447 1167 0 31309 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 130112
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28700
/proc/meminfo: memFree=26898432/32873844 swapFree=6088/6088
[pid=28644] ppid=28642 vsize=130112 CPUtime=1722.01 cores=1,3,5,7
/proc/28644/stat : 28644 (toysat) R 28642 28644 27853 0 -1 4202496 31856 0 0 0 171770 431 0 0 20 0 1 0 286555496 133234688 31751 33554432000 4194304 8973514 140734275546096 140734275545592 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28644/statm: 32528 31751 447 1167 0 31309 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 130112
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28700
/proc/meminfo: memFree=26892228/32873844 swapFree=6088/6088
[pid=28644] ppid=28642 vsize=132160 CPUtime=1781.99 cores=1,3,5,7
/proc/28644/stat : 28644 (toysat) R 28642 28644 27853 0 -1 4202496 32368 0 0 0 177754 445 0 0 20 0 1 0 286555496 135331840 32263 33554432000 4194304 8973514 140734275546096 140734275545360 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28644/statm: 33040 32263 447 1167 0 31821 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 132160
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 28700
/proc/meminfo: memFree=26892228/32873844 swapFree=6088/6088
[pid=28644] ppid=28642 vsize=132160 CPUtime=1800.1 cores=1,3,5,7
/proc/28644/stat : 28644 (toysat) R 28642 28644 27853 0 -1 4202496 32368 0 0 0 179561 449 0 0 20 0 1 0 286555496 135331840 32263 33554432000 4194304 8973514 140734275546096 140734275545592 6571953 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28644/statm: 33040 32263 447 1167 0 31821 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 132160
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.11
CPU user time (s): 1795.61
CPU system time (s): 4.49632
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 132160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.61
system time used= 4.49632
maximum resident set size= 129052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32368
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= 29
involuntary context switches= 1850
runsolver used 3.78143 second user time and 9.73352 second system time
The end