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-3707204-1338204930/watcher-3707204-1338204930 -o /tmp/evaluation-result-3707204-1338204930/solver-3707204-1338204930 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3707204-1338204930.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.05 2.01 2.00 3/173 30664
/proc/meminfo: memFree=31464404/32873844 swapFree=6876/6876
[pid=30664] ppid=30662 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/30664/stat : 30664 (toysat) R 30662 30664 30001 0 -1 4202496 790 0 0 0 0 0 0 0 20 0 1 0 286560034 6356992 710 33554432000 4194304 8973514 140734230954032 140737196780216 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30664/statm: 1552 710 415 1167 0 333 0
[startup+0.028422 s]
/proc/loadavg: 2.05 2.01 2.00 3/173 30664
/proc/meminfo: memFree=31464404/32873844 swapFree=6876/6876
[pid=30664] ppid=30662 vsize=8256 CPUtime=0.02 cores=1,3,5,7
/proc/30664/stat : 30664 (toysat) R 30662 30664 30001 0 -1 4202496 1128 0 0 0 2 0 0 0 20 0 1 0 286560034 8454144 1048 33554432000 4194304 8973514 140734230954032 140737196780216 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30664/statm: 2064 1048 418 1167 0 845 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 8256
[startup+0.100285 s]
/proc/loadavg: 2.05 2.01 2.00 3/173 30664
/proc/meminfo: memFree=31464404/32873844 swapFree=6876/6876
[pid=30664] ppid=30662 vsize=13376 CPUtime=0.09 cores=1,3,5,7
/proc/30664/stat : 30664 (toysat) R 30662 30664 30001 0 -1 4202496 2402 0 0 0 9 0 0 0 20 0 1 0 286560034 13697024 2322 33554432000 4194304 8973514 140734230954032 140737196780216 4644919 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30664/statm: 3344 2322 418 1167 0 2125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13376
[startup+0.300349 s]
/proc/loadavg: 2.05 2.01 2.00 3/173 30664
/proc/meminfo: memFree=31464404/32873844 swapFree=6876/6876
[pid=30664] ppid=30662 vsize=22592 CPUtime=0.28 cores=1,3,5,7
/proc/30664/stat : 30664 (toysat) R 30662 30664 30001 0 -1 4202496 4916 0 0 0 28 0 0 0 20 0 1 0 286560034 23134208 4836 33554432000 4194304 8973514 140734230954032 140737196780216 4209365 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30664/statm: 5648 4836 418 1167 0 4429 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 22592
[startup+0.700365 s]
/proc/loadavg: 2.05 2.01 2.00 3/173 30664
/proc/meminfo: memFree=31464404/32873844 swapFree=6876/6876
[pid=30664] ppid=30662 vsize=44096 CPUtime=0.69 cores=1,3,5,7
/proc/30664/stat : 30664 (toysat) R 30662 30664 30001 0 -1 4202496 10292 0 0 0 67 2 0 0 20 0 1 0 286560034 45154304 10212 33554432000 4194304 8973514 140734230954032 140734230953528 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30664/statm: 11024 10212 418 1167 0 9805 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44096
[startup+1.50037 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 30675
/proc/meminfo: memFree=31337576/32873844 swapFree=6876/6876
[pid=30664] ppid=30662 vsize=92224 CPUtime=1.49 cores=1,3,5,7
/proc/30664/stat : 30664 (toysat) R 30662 30664 30001 0 -1 4202496 22340 0 0 0 145 4 0 0 20 0 1 0 286560034 94437376 22260 33554432000 4194304 8973514 140734230954032 140734230953296 7411662 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30664/statm: 23056 22260 428 1167 0 21837 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 92224
[startup+3.1003 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 30675
/proc/meminfo: memFree=31272112/32873844 swapFree=6872/6872
[pid=30664] ppid=30662 vsize=97344 CPUtime=3.09 cores=1,3,5,7
/proc/30664/stat : 30664 (toysat) R 30662 30664 30001 0 -1 4202496 23639 0 0 0 305 4 0 0 20 0 1 0 286560034 99680256 23559 33554432000 4194304 8973514 140734230954032 140734230953528 7717280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30664/statm: 24336 23559 447 1167 0 23117 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 97344
[startup+6.30037 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 30675
/proc/meminfo: memFree=31271080/32873844 swapFree=6872/6872
[pid=30664] ppid=30662 vsize=97344 CPUtime=6.29 cores=1,3,5,7
/proc/30664/stat : 30664 (toysat) R 30662 30664 30001 0 -1 4202496 23643 0 0 0 624 5 0 0 20 0 1 0 286560034 99680256 23559 33554432000 4194304 8973514 140734230954032 140734230953528 4204359 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30664/statm: 24336 23559 447 1167 0 23117 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 97344
[startup+12.7004 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 30675
/proc/meminfo: memFree=31269944/32873844 swapFree=6872/6872
[pid=30664] ppid=30662 vsize=97344 CPUtime=12.69 cores=1,3,5,7
/proc/30664/stat : 30664 (toysat) R 30662 30664 30001 0 -1 4202496 23643 0 0 0 1263 6 0 0 20 0 1 0 286560034 99680256 23559 33554432000 4194304 8973514 140734230954032 140734230953296 4372756 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30664/statm: 24336 23559 447 1167 0 23117 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 97344
[startup+25.5004 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 30676
/proc/meminfo: memFree=31265968/32873844 swapFree=6872/6872
[pid=30664] ppid=30662 vsize=98368 CPUtime=25.48 cores=1,3,5,7
/proc/30664/stat : 30664 (toysat) R 30662 30664 30001 0 -1 4202496 23904 0 0 0 2540 8 0 0 20 0 1 0 286560034 100728832 23815 33554432000 4194304 8973514 140734230954032 140734230953528 6661604 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30664/statm: 24592 23815 447 1167 0 23373 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 98368
[startup+51.1004 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 30676
/proc/meminfo: memFree=31266316/32873844 swapFree=6872/6872
[pid=30664] ppid=30662 vsize=98368 CPUtime=51.07 cores=1,3,5,7
/proc/30664/stat : 30664 (toysat) R 30662 30664 30001 0 -1 4202496 23912 0 0 0 5096 11 0 0 20 0 1 0 286560034 100728832 23815 33554432000 4194304 8973514 140734230954032 140734230953296 4204592 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30664/statm: 24592 23815 447 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.09 2.02 2.01 3/177 30676
/proc/meminfo: memFree=31258612/32873844 swapFree=6872/6872
[pid=30664] ppid=30662 vsize=102464 CPUtime=102.27 cores=1,3,5,7
/proc/30664/stat : 30664 (toysat) R 30662 30664 30001 0 -1 4202496 24936 0 0 0 10207 20 0 0 20 0 1 0 286560034 104923136 24839 33554432000 4194304 8973514 140734230954032 140734230952000 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30664/statm: 25616 24839 447 1167 0 24397 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 102464
[startup+162.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 30676
/proc/meminfo: memFree=31255364/32873844 swapFree=6872/6872
[pid=30664] ppid=30662 vsize=105536 CPUtime=162.25 cores=1,3,5,7
/proc/30664/stat : 30664 (toysat) R 30662 30664 30001 0 -1 4202496 25704 0 0 0 16196 29 0 0 20 0 1 0 286560034 108068864 25607 33554432000 4194304 8973514 140734230954032 140734230953296 7717280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30664/statm: 26384 25607 447 1167 0 25165 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 105536
[startup+222.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 30676
/proc/meminfo: memFree=31252132/32873844 swapFree=6872/6872
[pid=30664] ppid=30662 vsize=106560 CPUtime=222.25 cores=1,3,5,7
/proc/30664/stat : 30664 (toysat) R 30662 30664 30001 0 -1 4202496 25963 0 0 0 22183 42 0 0 20 0 1 0 286560034 109117440 25863 33554432000 4194304 8973514 140734230954032 140734230952000 7732974 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30664/statm: 26640 25863 447 1167 0 25421 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 106560
[startup+282.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/178 30679
/proc/meminfo: memFree=31250060/32873844 swapFree=6872/6872
[pid=30664] ppid=30662 vsize=108608 CPUtime=282.23 cores=1,3,5,7
/proc/30664/stat : 30664 (toysat) R 30662 30664 30001 0 -1 4202496 26475 0 0 0 28171 52 0 0 20 0 1 0 286560034 111214592 26375 33554432000 4194304 8973514 140734230954032 140734230953528 7720752 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30664/statm: 27152 26375 447 1167 0 25933 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 108608
[startup+342.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/177 30680
/proc/meminfo: memFree=31249276/32873844 swapFree=6872/6872
[pid=30664] ppid=30662 vsize=109632 CPUtime=342.22 cores=1,3,5,7
/proc/30664/stat : 30664 (toysat) R 30662 30664 30001 0 -1 4202496 26732 0 0 0 34158 64 0 0 20 0 1 0 286560034 112263168 26631 33554432000 4194304 8973514 140734230954032 140734230953528 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30664/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.03 2.03 2.00 3/177 30680
/proc/meminfo: memFree=31245928/32873844 swapFree=6872/6872
[pid=30664] ppid=30662 vsize=110656 CPUtime=402.21 cores=1,3,5,7
/proc/30664/stat : 30664 (toysat) R 30662 30664 30001 0 -1 4202496 26988 0 0 0 40146 75 0 0 20 0 1 0 286560034 113311744 26887 33554432000 4194304 8973514 140734230954032 140734230952256 4209344 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30664/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.09 2.04 2.01 3/177 30680
/proc/meminfo: memFree=31242204/32873844 swapFree=6872/6872
[pid=30664] ppid=30662 vsize=113728 CPUtime=462.21 cores=1,3,5,7
/proc/30664/stat : 30664 (toysat) R 30662 30664 30001 0 -1 4202496 27757 0 0 0 46133 88 0 0 20 0 1 0 286560034 116457472 27655 33554432000 4194304 8973514 140734230954032 140734230952000 6571870 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30664/statm: 28432 27655 447 1167 0 27213 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 113728
[startup+522.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/178 30681
/proc/meminfo: memFree=31239156/32873844 swapFree=6872/6872
[pid=30664] ppid=30662 vsize=116800 CPUtime=522.19 cores=1,3,5,7
/proc/30664/stat : 30664 (toysat) R 30662 30664 30001 0 -1 4202496 28525 0 0 0 52119 100 0 0 20 0 1 0 286560034 119603200 28423 33554432000 4194304 8973514 140734230954032 140734230953296 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30664/statm: 29200 28423 447 1167 0 27981 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 116800
[startup+582.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 30681
/proc/meminfo: memFree=31237236/32873844 swapFree=6872/6872
[pid=30664] ppid=30662 vsize=117824 CPUtime=582.19 cores=1,3,5,7
/proc/30664/stat : 30664 (toysat) R 30662 30664 30001 0 -1 4202496 28781 0 0 0 58106 113 0 0 20 0 1 0 286560034 120651776 28679 33554432000 4194304 8973514 140734230954032 140734230953296 4209198 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30664/statm: 29456 28679 447 1167 0 28237 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 117824
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/178 30686
/proc/meminfo: memFree=31223004/32873844 swapFree=6872/6872
[pid=30664] ppid=30662 vsize=127040 CPUtime=882.14 cores=1,3,5,7
/proc/30664/stat : 30664 (toysat) R 30662 30664 30001 0 -1 4202496 31088 0 0 0 88035 179 0 0 20 0 1 0 286560034 130088960 30983 33554432000 4194304 8973514 140734230954032 140734230952000 4213723 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30664/statm: 31760 30983 447 1167 0 30541 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 127040
[startup+942.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 30687
/proc/meminfo: memFree=31220112/32873844 swapFree=6872/6872
[pid=30664] ppid=30662 vsize=129088 CPUtime=942.13 cores=1,3,5,7
/proc/30664/stat : 30664 (toysat) R 30662 30664 30001 0 -1 4202496 31600 0 0 0 94017 196 0 0 20 0 1 0 286560034 132186112 31495 33554432000 4194304 8973514 140734230954032 140734230953528 4209365 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30664/statm: 32272 31495 447 1167 0 31053 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 129088
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 30687
/proc/meminfo: memFree=31218372/32873844 swapFree=6872/6872
[pid=30664] ppid=30662 vsize=131136 CPUtime=1002.11 cores=1,3,5,7
/proc/30664/stat : 30664 (toysat) R 30662 30664 30001 0 -1 4202496 32112 0 0 0 100002 209 0 0 20 0 1 0 286560034 134283264 32007 33554432000 4194304 8973514 140734230954032 140734230952000 6662995 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30664/statm: 32784 32007 447 1167 0 31565 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 131136
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 30687
/proc/meminfo: memFree=31214216/32873844 swapFree=6872/6872
[pid=30664] ppid=30662 vsize=133184 CPUtime=1062.11 cores=1,3,5,7
/proc/30664/stat : 30664 (toysat) R 30662 30664 30001 0 -1 4202496 32624 0 0 0 105987 224 0 0 20 0 1 0 286560034 136380416 32519 33554432000 4194304 8973514 140734230954032 140734230953528 4206072 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30664/statm: 33296 32519 447 1167 0 32077 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 133184
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 30687
/proc/meminfo: memFree=31211232/32873844 swapFree=6872/6872
[pid=30664] ppid=30662 vsize=136256 CPUtime=1122.1 cores=1,3,5,7
/proc/30664/stat : 30664 (toysat) R 30662 30664 30001 0 -1 4202496 33392 0 0 0 111972 238 0 0 20 0 1 0 286560034 139526144 33287 33554432000 4194304 8973514 140734230954032 140734230953296 4209332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30664/statm: 34064 33287 447 1167 0 32845 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 136256
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30687
/proc/meminfo: memFree=31211044/32873844 swapFree=6872/6872
[pid=30664] ppid=30662 vsize=136256 CPUtime=1182.09 cores=1,3,5,7
/proc/30664/stat : 30664 (toysat) R 30662 30664 30001 0 -1 4202496 33392 0 0 0 117957 252 0 0 20 0 1 0 286560034 139526144 33287 33554432000 4194304 8973514 140734230954032 140734230953296 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30664/statm: 34064 33287 447 1167 0 32845 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 136256
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30688
/proc/meminfo: memFree=31208936/32873844 swapFree=6872/6872
[pid=30664] ppid=30662 vsize=138304 CPUtime=1242.08 cores=1,3,5,7
/proc/30664/stat : 30664 (toysat) R 30662 30664 30001 0 -1 4202496 33904 0 0 0 123943 265 0 0 20 0 1 0 286560034 141623296 33799 33554432000 4194304 8973514 140734230954032 140734230953296 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30664/statm: 34576 33799 447 1167 0 33357 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 138304
[startup+1302.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 30688
/proc/meminfo: memFree=31207756/32873844 swapFree=6872/6872
[pid=30664] ppid=30662 vsize=139328 CPUtime=1302.08 cores=1,3,5,7
/proc/30664/stat : 30664 (toysat) R 30662 30664 30001 0 -1 4202496 34161 0 0 0 129930 278 0 0 20 0 1 0 286560034 142671872 34055 33554432000 4194304 8973514 140734230954032 140734230952000 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30664/statm: 34832 34055 447 1167 0 33613 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 139328
[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 30688
/proc/meminfo: memFree=31202672/32873844 swapFree=6872/6872
[pid=30664] ppid=30662 vsize=143424 CPUtime=1362.07 cores=1,3,5,7
/proc/30664/stat : 30664 (toysat) R 30662 30664 30001 0 -1 4202496 35185 0 0 0 135915 292 0 0 20 0 1 0 286560034 146866176 35079 33554432000 4194304 8973514 140734230954032 140734230953296 4204286 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30664/statm: 35856 35079 447 1167 0 34637 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 143424
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30688
/proc/meminfo: memFree=31201552/32873844 swapFree=6872/6872
[pid=30664] ppid=30662 vsize=144448 CPUtime=1422.06 cores=1,3,5,7
/proc/30664/stat : 30664 (toysat) R 30662 30664 30001 0 -1 4202496 35441 0 0 0 141898 308 0 0 20 0 1 0 286560034 147914752 35335 33554432000 4194304 8973514 140734230954032 140734230953296 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30664/statm: 36112 35335 447 1167 0 34893 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 144448
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30691
/proc/meminfo: memFree=31200668/32873844 swapFree=6872/6872
[pid=30664] ppid=30662 vsize=145472 CPUtime=1482.04 cores=1,3,5,7
/proc/30664/stat : 30664 (toysat) R 30662 30664 30001 0 -1 4202496 35697 0 0 0 147884 320 0 0 20 0 1 0 286560034 148963328 35591 33554432000 4194304 8973514 140734230954032 140734230953296 7730112 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30664/statm: 36368 35591 447 1167 0 35149 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 145472
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30714
/proc/meminfo: memFree=31196592/32873844 swapFree=6872/6872
[pid=30664] ppid=30662 vsize=147520 CPUtime=1542.03 cores=1,3,5,7
/proc/30664/stat : 30664 (toysat) R 30662 30664 30001 0 -1 4202496 36209 0 0 0 153872 331 0 0 20 0 1 0 286560034 151060480 36103 33554432000 4194304 8973514 140734230954032 140734230953296 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30664/statm: 36880 36103 447 1167 0 35661 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 147520
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30715
/proc/meminfo: memFree=31194852/32873844 swapFree=6872/6872
[pid=30664] ppid=30662 vsize=147520 CPUtime=1602.03 cores=1,3,5,7
/proc/30664/stat : 30664 (toysat) R 30662 30664 30001 0 -1 4202496 36211 0 0 0 159860 343 0 0 20 0 1 0 286560034 151060480 36103 33554432000 4194304 8973514 140734230954032 140734230952000 7399974 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30664/statm: 36880 36103 447 1167 0 35661 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 147520
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30715
/proc/meminfo: memFree=31192120/32873844 swapFree=6872/6872
[pid=30664] ppid=30662 vsize=150592 CPUtime=1662.01 cores=1,3,5,7
/proc/30664/stat : 30664 (toysat) R 30662 30664 30001 0 -1 4202496 36979 0 0 0 165847 354 0 0 20 0 1 0 286560034 154206208 36871 33554432000 4194304 8973514 140734230954032 140734230953528 4415828 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30664/statm: 37648 36871 447 1167 0 36429 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 150592
[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 30715
/proc/meminfo: memFree=31191124/32873844 swapFree=6872/6872
[pid=30664] ppid=30662 vsize=150592 CPUtime=1722.01 cores=1,3,5,7
/proc/30664/stat : 30664 (toysat) R 30662 30664 30001 0 -1 4202496 36979 0 0 0 171835 366 0 0 20 0 1 0 286560034 154206208 36871 33554432000 4194304 8973514 140734230954032 140734230953528 7656539 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30664/statm: 37648 36871 447 1167 0 36429 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 150592
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 30715
/proc/meminfo: memFree=31186288/32873844 swapFree=6872/6872
[pid=30664] ppid=30662 vsize=153664 CPUtime=1782 cores=1,3,5,7
/proc/30664/stat : 30664 (toysat) R 30662 30664 30001 0 -1 4202496 37747 0 0 0 177823 377 0 0 20 0 1 0 286560034 157351936 37639 33554432000 4194304 8973514 140734230954032 140734230952000 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30664/statm: 38416 37639 447 1167 0 37197 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 153664
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 30715
/proc/meminfo: memFree=31186224/32873844 swapFree=6872/6872
[pid=30664] ppid=30662 vsize=153664 CPUtime=1800 cores=1,3,5,7
/proc/30664/stat : 30664 (toysat) R 30662 30664 30001 0 -1 4202496 37747 0 0 0 179618 382 0 0 20 0 1 0 286560034 157351936 37639 33554432000 4194304 8973514 140734230954032 140734230952000 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30664/statm: 38416 37639 447 1167 0 37197 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 153664
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.01 2.00 2.00 3/177 30715
/proc/meminfo: memFree=31186224/32873844 swapFree=6872/6872
[pid=30664] ppid=30662 vsize=153664 CPUtime=1800 cores=1,3,5,7
/proc/30664/stat : 30664 (toysat) R 30662 30664 30001 0 -1 4202496 37747 0 0 0 179618 382 0 0 20 0 1 0 286560034 157351936 37639 33554432000 4194304 8973514 140734230954032 140734230952000 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30664/statm: 38416 37639 447 1167 0 37197 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 153664
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.01
CPU user time (s): 1796.19
CPU system time (s): 3.82142
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 153664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.19
system time used= 3.82142
maximum resident set size= 150556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37747
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= 31
involuntary context switches= 1849
runsolver used 6.93095 second user time and 7.47386 second system time
The end