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-3707195-1338206733/watcher-3707195-1338206733 -o /tmp/evaluation-result-3707195-1338206733/solver-3707195-1338206733 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3707195-1338206733.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: 2.01 2.00 2.00 4/173 30782
/proc/meminfo: memFree=31463360/32873844 swapFree=6872/6872
[pid=30782] ppid=30780 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/30782/stat : 30782 (toysat) R 30780 30782 30001 0 -1 4202496 759 0 0 0 0 0 0 0 20 0 1 0 286740287 6356992 680 33554432000 4194304 8973514 140735711811952 140734986162184 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30782/statm: 1552 683 414 1167 0 333 0
[startup+0.0554079 s]
/proc/loadavg: 2.01 2.00 2.00 4/173 30782
/proc/meminfo: memFree=31463360/32873844 swapFree=6872/6872
[pid=30782] ppid=30780 vsize=9280 CPUtime=0.04 cores=1,3,5,7
/proc/30782/stat : 30782 (toysat) R 30780 30782 30001 0 -1 4202496 1553 0 0 0 4 0 0 0 20 0 1 0 286740287 9502720 1474 33554432000 4194304 8973514 140735711811952 140734986162184 4209439 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30782/statm: 2320 1480 418 1167 0 1101 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9280
[startup+0.100294 s]
/proc/loadavg: 2.01 2.00 2.00 4/173 30782
/proc/meminfo: memFree=31463360/32873844 swapFree=6872/6872
[pid=30782] ppid=30780 vsize=13376 CPUtime=0.09 cores=1,3,5,7
/proc/30782/stat : 30782 (toysat) R 30780 30782 30001 0 -1 4202496 2368 0 0 0 9 0 0 0 20 0 1 0 286740287 13697024 2289 33554432000 4194304 8973514 140735711811952 140734986162184 4209439 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30782/statm: 3344 2296 418 1167 0 2125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13376
[startup+0.300296 s]
/proc/loadavg: 2.01 2.00 2.00 4/173 30782
/proc/meminfo: memFree=31463360/32873844 swapFree=6872/6872
[pid=30782] ppid=30780 vsize=22592 CPUtime=0.28 cores=1,3,5,7
/proc/30782/stat : 30782 (toysat) R 30780 30782 30001 0 -1 4202496 4915 0 0 0 28 0 0 0 20 0 1 0 286740287 23134208 4836 33554432000 4194304 8973514 140735711811952 140734986162184 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30782/statm: 5648 4836 418 1167 0 4429 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 22592
[startup+0.700302 s]
/proc/loadavg: 2.01 2.00 2.00 4/173 30782
/proc/meminfo: memFree=31463360/32873844 swapFree=6872/6872
[pid=30782] ppid=30780 vsize=44096 CPUtime=0.68 cores=1,3,5,7
/proc/30782/stat : 30782 (toysat) R 30780 30782 30001 0 -1 4202496 10291 0 0 0 67 1 0 0 20 0 1 0 286740287 45154304 10212 33554432000 4194304 8973514 140735711811952 140734986162184 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30782/statm: 11024 10212 418 1167 0 9805 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 44096
[startup+1.50033 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 30793
/proc/meminfo: memFree=31330564/32873844 swapFree=6872/6872
[pid=30782] ppid=30780 vsize=95296 CPUtime=1.49 cores=1,3,5,7
/proc/30782/stat : 30782 (toysat) R 30780 30782 30001 0 -1 4202496 23107 0 0 0 145 4 0 0 20 0 1 0 286740287 97583104 23028 33554432000 4194304 8973514 140735711811952 140735711811448 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30782/statm: 23824 23028 428 1167 0 22605 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 95296
[startup+3.10037 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 30793
/proc/meminfo: memFree=31246716/32873844 swapFree=6872/6872
[pid=30782] ppid=30780 vsize=102464 CPUtime=3.09 cores=1,3,5,7
/proc/30782/stat : 30782 (toysat) R 30780 30782 30001 0 -1 4202496 24918 0 0 0 304 5 0 0 20 0 1 0 286740287 104923136 24839 33554432000 4194304 8973514 140735711811952 140735711809920 4208855 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30782/statm: 25616 24839 447 1167 0 24397 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 102464
[startup+6.30033 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 30793
/proc/meminfo: memFree=31246344/32873844 swapFree=6872/6872
[pid=30782] ppid=30780 vsize=102464 CPUtime=6.29 cores=1,3,5,7
/proc/30782/stat : 30782 (toysat) R 30780 30782 30001 0 -1 4202496 24918 0 0 0 624 5 0 0 20 0 1 0 286740287 104923136 24839 33554432000 4194304 8973514 140735711811952 140735711811216 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30782/statm: 25616 24839 447 1167 0 24397 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 102464
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30793
/proc/meminfo: memFree=31246068/32873844 swapFree=6872/6872
[pid=30782] ppid=30780 vsize=102464 CPUtime=12.68 cores=1,3,5,7
/proc/30782/stat : 30782 (toysat) R 30780 30782 30001 0 -1 4202496 24926 0 0 0 1261 7 0 0 20 0 1 0 286740287 104923136 24839 33554432000 4194304 8973514 140735711811952 140735711811216 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30782/statm: 25616 24839 447 1167 0 24397 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 102464
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30793
/proc/meminfo: memFree=31246176/32873844 swapFree=6872/6872
[pid=30782] ppid=30780 vsize=102464 CPUtime=25.48 cores=1,3,5,7
/proc/30782/stat : 30782 (toysat) R 30780 30782 30001 0 -1 4202496 24931 0 0 0 2538 10 0 0 20 0 1 0 286740287 104923136 24839 33554432000 4194304 8973514 140735711811952 140735711811216 4209198 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30782/statm: 25616 24839 447 1167 0 24397 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 102464
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30794
/proc/meminfo: memFree=31246144/32873844 swapFree=6872/6872
[pid=30782] ppid=30780 vsize=102464 CPUtime=51.07 cores=1,3,5,7
/proc/30782/stat : 30782 (toysat) R 30780 30782 30001 0 -1 4202496 24933 0 0 0 5093 14 0 0 20 0 1 0 286740287 104923136 24839 33554432000 4194304 8973514 140735711811952 140735711811216 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30782/statm: 25616 24839 447 1167 0 24397 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 102464
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30794
/proc/meminfo: memFree=31233108/32873844 swapFree=6872/6872
[pid=30782] ppid=30780 vsize=102464 CPUtime=102.26 cores=1,3,5,7
/proc/30782/stat : 30782 (toysat) R 30780 30782 30001 0 -1 4202496 24937 0 0 0 10204 22 0 0 20 0 1 0 286740287 104923136 24839 33554432000 4194304 8973514 140735711811952 140735711811216 4208870 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30782/statm: 25616 24839 447 1167 0 24397 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 102464
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30794
/proc/meminfo: memFree=31229876/32873844 swapFree=6872/6872
[pid=30782] ppid=30780 vsize=102464 CPUtime=162.25 cores=1,3,5,7
/proc/30782/stat : 30782 (toysat) R 30780 30782 30001 0 -1 4202496 24937 0 0 0 16191 34 0 0 20 0 1 0 286740287 104923136 24839 33554432000 4194304 8973514 140735711811952 140735711811216 4209636 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30782/statm: 25616 24839 447 1167 0 24397 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 102464
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30794
/proc/meminfo: memFree=31224788/32873844 swapFree=6872/6872
[pid=30782] ppid=30780 vsize=106560 CPUtime=222.24 cores=1,3,5,7
/proc/30782/stat : 30782 (toysat) R 30780 30782 30001 0 -1 4202496 25962 0 0 0 22181 43 0 0 20 0 1 0 286740287 109117440 25863 33554432000 4194304 8973514 140735711811952 140735711809920 4205079 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30782/statm: 26640 25863 447 1167 0 25421 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 106560
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30797
/proc/meminfo: memFree=31225152/32873844 swapFree=6872/6872
[pid=30782] ppid=30780 vsize=106560 CPUtime=282.23 cores=1,3,5,7
/proc/30782/stat : 30782 (toysat) R 30780 30782 30001 0 -1 4202496 25962 0 0 0 28168 55 0 0 20 0 1 0 286740287 109117440 25863 33554432000 4194304 8973514 140735711811952 140735711809920 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30782/statm: 26640 25863 447 1167 0 25421 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 106560
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30797
/proc/meminfo: memFree=31224352/32873844 swapFree=6872/6872
[pid=30782] ppid=30780 vsize=107584 CPUtime=342.22 cores=1,3,5,7
/proc/30782/stat : 30782 (toysat) R 30780 30782 30001 0 -1 4202496 26218 0 0 0 34156 66 0 0 20 0 1 0 286740287 110166016 26119 33554432000 4194304 8973514 140735711811952 140735711809920 4211753 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30782/statm: 26896 26119 447 1167 0 25677 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 107584
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30798
/proc/meminfo: memFree=31223296/32873844 swapFree=6872/6872
[pid=30782] ppid=30780 vsize=107584 CPUtime=402.22 cores=1,3,5,7
/proc/30782/stat : 30782 (toysat) R 30780 30782 30001 0 -1 4202496 26219 0 0 0 40143 79 0 0 20 0 1 0 286740287 110166016 26119 33554432000 4194304 8973514 140735711811952 140735711811448 4208879 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30782/statm: 26896 26119 447 1167 0 25677 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 107584
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30798
/proc/meminfo: memFree=31223420/32873844 swapFree=6872/6872
[pid=30782] ppid=30780 vsize=107584 CPUtime=462.2 cores=1,3,5,7
/proc/30782/stat : 30782 (toysat) R 30780 30782 30001 0 -1 4202496 26219 0 0 0 46130 90 0 0 20 0 1 0 286740287 110166016 26119 33554432000 4194304 8973514 140735711811952 140735711811448 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30782/statm: 26896 26119 447 1167 0 25677 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 107584
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30798
/proc/meminfo: memFree=31222428/32873844 swapFree=6872/6872
[pid=30782] ppid=30780 vsize=107584 CPUtime=522.19 cores=1,3,5,7
/proc/30782/stat : 30782 (toysat) R 30780 30782 30001 0 -1 4202496 26219 0 0 0 52118 101 0 0 20 0 1 0 286740287 110166016 26119 33554432000 4194304 8973514 140735711811952 140735711811448 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30782/statm: 26896 26119 447 1167 0 25677 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 107584
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30798
/proc/meminfo: memFree=31221188/32873844 swapFree=6872/6872
[pid=30782] ppid=30780 vsize=108608 CPUtime=582.19 cores=1,3,5,7
/proc/30782/stat : 30782 (toysat) R 30780 30782 30001 0 -1 4202496 26475 0 0 0 58106 113 0 0 20 0 1 0 286740287 111214592 26375 33554432000 4194304 8973514 140735711811952 140735711809920 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30782/statm: 27152 26375 447 1167 0 25933 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 108608
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30802
/proc/meminfo: memFree=31214292/32873844 swapFree=6872/6872
[pid=30782] ppid=30780 vsize=114752 CPUtime=882.13 cores=1,3,5,7
/proc/30782/stat : 30782 (toysat) R 30780 30782 30001 0 -1 4202496 28013 0 0 0 88046 167 0 0 20 0 1 0 286740287 117506048 27911 33554432000 4194304 8973514 140735711811952 140735711811448 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30782/statm: 28688 27911 447 1167 0 27469 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 114752
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30802
/proc/meminfo: memFree=31212192/32873844 swapFree=6872/6872
[pid=30782] ppid=30780 vsize=116800 CPUtime=942.12 cores=1,3,5,7
/proc/30782/stat : 30782 (toysat) R 30780 30782 30001 0 -1 4202496 28525 0 0 0 94034 178 0 0 20 0 1 0 286740287 119603200 28423 33554432000 4194304 8973514 140735711811952 140735711809792 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30782/statm: 29200 28423 447 1167 0 27981 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 116800
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30803
/proc/meminfo: memFree=31211320/32873844 swapFree=6872/6872
[pid=30782] ppid=30780 vsize=116800 CPUtime=1002.12 cores=1,3,5,7
/proc/30782/stat : 30782 (toysat) R 30780 30782 30001 0 -1 4202496 28527 0 0 0 100024 188 0 0 20 0 1 0 286740287 119603200 28423 33554432000 4194304 8973514 140735711811952 140735711809920 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30782/statm: 29200 28423 447 1167 0 27981 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 116800
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30803
/proc/meminfo: memFree=31211380/32873844 swapFree=6872/6872
[pid=30782] ppid=30780 vsize=116800 CPUtime=1062.11 cores=1,3,5,7
/proc/30782/stat : 30782 (toysat) R 30780 30782 30001 0 -1 4202496 28527 0 0 0 106013 198 0 0 20 0 1 0 286740287 119603200 28423 33554432000 4194304 8973514 140735711811952 140735711809920 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30782/statm: 29200 28423 447 1167 0 27981 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 116800
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30803
/proc/meminfo: memFree=31211256/32873844 swapFree=6872/6872
[pid=30782] ppid=30780 vsize=116800 CPUtime=1122.1 cores=1,3,5,7
/proc/30782/stat : 30782 (toysat) R 30780 30782 30001 0 -1 4202496 28527 0 0 0 112002 208 0 0 20 0 1 0 286740287 119603200 28423 33554432000 4194304 8973514 140735711811952 140735711811448 4209272 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30782/statm: 29200 28423 447 1167 0 27981 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 116800
[startup+1182.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 30803
/proc/meminfo: memFree=31207288/32873844 swapFree=6872/6872
[pid=30782] ppid=30780 vsize=119872 CPUtime=1182.09 cores=1,3,5,7
/proc/30782/stat : 30782 (toysat) R 30780 30782 30001 0 -1 4202496 29295 0 0 0 117990 219 0 0 20 0 1 0 286740287 122748928 29191 33554432000 4194304 8973514 140735711811952 140735711811216 4209278 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30782/statm: 29968 29191 447 1167 0 28749 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 119872
[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 30803
/proc/meminfo: memFree=31206108/32873844 swapFree=6872/6872
[pid=30782] ppid=30780 vsize=120896 CPUtime=1242.08 cores=1,3,5,7
/proc/30782/stat : 30782 (toysat) R 30780 30782 30001 0 -1 4202496 29551 0 0 0 123976 232 0 0 20 0 1 0 286740287 123797504 29447 33554432000 4194304 8973514 140735711811952 140735711811448 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30782/statm: 30224 29447 447 1167 0 29005 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 120896
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30804
/proc/meminfo: memFree=31205856/32873844 swapFree=6872/6872
[pid=30782] ppid=30780 vsize=120896 CPUtime=1302.08 cores=1,3,5,7
/proc/30782/stat : 30782 (toysat) R 30780 30782 30001 0 -1 4202496 29551 0 0 0 129966 242 0 0 20 0 1 0 286740287 123797504 29447 33554432000 4194304 8973514 140735711811952 140735711811448 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30782/statm: 30224 29447 447 1167 0 29005 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 120896
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30804
/proc/meminfo: memFree=31201268/32873844 swapFree=6872/6872
[pid=30782] ppid=30780 vsize=124992 CPUtime=1362.06 cores=1,3,5,7
/proc/30782/stat : 30782 (toysat) R 30780 30782 30001 0 -1 4202496 30575 0 0 0 135953 253 0 0 20 0 1 0 286740287 127991808 30471 33554432000 4194304 8973514 140735711811952 140735711809920 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30782/statm: 31248 30471 447 1167 0 30029 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 124992
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30804
/proc/meminfo: memFree=31201144/32873844 swapFree=6872/6872
[pid=30782] ppid=30780 vsize=124992 CPUtime=1422.06 cores=1,3,5,7
/proc/30782/stat : 30782 (toysat) R 30780 30782 30001 0 -1 4202496 30575 0 0 0 141941 265 0 0 20 0 1 0 286740287 127991808 30471 33554432000 4194304 8973514 140735711811952 140735711811216 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30782/statm: 31248 30471 447 1167 0 30029 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 124992
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30807
/proc/meminfo: memFree=31199892/32873844 swapFree=6872/6872
[pid=30782] ppid=30780 vsize=126016 CPUtime=1482.04 cores=1,3,5,7
/proc/30782/stat : 30782 (toysat) R 30780 30782 30001 0 -1 4202496 30832 0 0 0 147928 276 0 0 20 0 1 0 286740287 129040384 30727 33554432000 4194304 8973514 140735711811952 140735711811216 7667344 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30782/statm: 31504 30727 447 1167 0 30285 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 126016
[startup+1542.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/177 30807
/proc/meminfo: memFree=31200024/32873844 swapFree=6872/6872
[pid=30782] ppid=30780 vsize=126016 CPUtime=1542.04 cores=1,3,5,7
/proc/30782/stat : 30782 (toysat) R 30780 30782 30001 0 -1 4202496 30832 0 0 0 153918 286 0 0 20 0 1 0 286740287 129040384 30727 33554432000 4194304 8973514 140735711811952 140735711811448 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30782/statm: 31504 30727 447 1167 0 30285 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 126016
[startup+1602.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 30808
/proc/meminfo: memFree=31199900/32873844 swapFree=6872/6872
[pid=30782] ppid=30780 vsize=126016 CPUtime=1602.03 cores=1,3,5,7
/proc/30782/stat : 30782 (toysat) R 30780 30782 30001 0 -1 4202496 30832 0 0 0 159906 297 0 0 20 0 1 0 286740287 129040384 30727 33554432000 4194304 8973514 140735711811952 140735711811216 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30782/statm: 31504 30727 447 1167 0 30285 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 126016
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 30808
/proc/meminfo: memFree=31198100/32873844 swapFree=6872/6872
[pid=30782] ppid=30780 vsize=128064 CPUtime=1662.02 cores=1,3,5,7
/proc/30782/stat : 30782 (toysat) R 30780 30782 30001 0 -1 4202496 31344 0 0 0 165893 309 0 0 20 0 1 0 286740287 131137536 31239 33554432000 4194304 8973514 140735711811952 140735711811448 4209220 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30782/statm: 32016 31239 447 1167 0 30797 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 128064
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 30808
/proc/meminfo: memFree=31197976/32873844 swapFree=6872/6872
[pid=30782] ppid=30780 vsize=128064 CPUtime=1722.01 cores=1,3,5,7
/proc/30782/stat : 30782 (toysat) R 30780 30782 30001 0 -1 4202496 31344 0 0 0 171881 320 0 0 20 0 1 0 286740287 131137536 31239 33554432000 4194304 8973514 140735711811952 140735711809920 4209187 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30782/statm: 32016 31239 447 1167 0 30797 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 128064
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 30808
/proc/meminfo: memFree=31197540/32873844 swapFree=6872/6872
[pid=30782] ppid=30780 vsize=128064 CPUtime=1782 cores=1,3,5,7
/proc/30782/stat : 30782 (toysat) R 30780 30782 30001 0 -1 4202496 31344 0 0 0 177868 332 0 0 20 0 1 0 286740287 131137536 31239 33554432000 4194304 8973514 140735711811952 140735711811216 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30782/statm: 32016 31239 447 1167 0 30797 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 128064
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30808
/proc/meminfo: memFree=31197912/32873844 swapFree=6872/6872
[pid=30782] ppid=30780 vsize=128064 CPUtime=1800 cores=1,3,5,7
/proc/30782/stat : 30782 (toysat) R 30780 30782 30001 0 -1 4202496 31344 0 0 0 179664 336 0 0 20 0 1 0 286740287 131137536 31239 33554432000 4194304 8973514 140735711811952 140735711809920 4211684 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30782/statm: 32016 31239 447 1167 0 30797 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 128064
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30808
/proc/meminfo: memFree=31197912/32873844 swapFree=6872/6872
[pid=30782] ppid=30780 vsize=128064 CPUtime=1800 cores=1,3,5,7
/proc/30782/stat : 30782 (toysat) R 30780 30782 30001 0 -1 4202496 31344 0 0 0 179664 336 0 0 20 0 1 0 286740287 131137536 31239 33554432000 4194304 8973514 140735711811952 140735711809920 4211684 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30782/statm: 32016 31239 447 1167 0 30797 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 128064
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1796.65
CPU system time (s): 3.36749
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 128064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.65
system time used= 3.36749
maximum resident set size= 124956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31344
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 4.25135 second user time and 9.95449 second system time
The end