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-3706756-1338113342/watcher-3706756-1338113342 -o /tmp/evaluation-result-3706756-1338113342/solver-3706756-1338113342 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706756-1338113342.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.99 2.04 2.00 3/176 836
/proc/meminfo: memFree=28861036/32873648 swapFree=6844/6844
[pid=836] ppid=834 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/836/stat : 836 (toysat) R 834 836 32696 0 -1 4202496 758 0 0 0 0 0 0 0 20 0 1 0 277460077 6356992 679 33554432000 4194304 8973514 140737207468496 140735890484680 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/836/statm: 1552 679 412 1167 0 333 0
[startup+0.0183589 s]
/proc/loadavg: 1.99 2.04 2.00 3/176 836
/proc/meminfo: memFree=28861036/32873648 swapFree=6844/6844
[pid=836] ppid=834 vsize=7232 CPUtime=0.01 cores=1,3,5,7
/proc/836/stat : 836 (toysat) R 834 836 32696 0 -1 4202496 1071 0 0 0 1 0 0 0 20 0 1 0 277460077 7405568 992 33554432000 4194304 8973514 140737207468496 140735890484680 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/836/statm: 1808 992 412 1167 0 589 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 7232
[startup+0.100204 s]
/proc/loadavg: 1.99 2.04 2.00 3/176 836
/proc/meminfo: memFree=28861036/32873648 swapFree=6844/6844
[pid=836] ppid=834 vsize=13376 CPUtime=0.09 cores=1,3,5,7
/proc/836/stat : 836 (toysat) R 834 836 32696 0 -1 4202496 2484 0 0 0 9 0 0 0 20 0 1 0 277460077 13697024 2405 33554432000 4194304 8973514 140737207468496 140735890484680 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/836/statm: 3344 2405 418 1167 0 2125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13376
[startup+0.300234 s]
/proc/loadavg: 1.99 2.04 2.00 3/176 836
/proc/meminfo: memFree=28861036/32873648 swapFree=6844/6844
[pid=836] ppid=834 vsize=25664 CPUtime=0.29 cores=1,3,5,7
/proc/836/stat : 836 (toysat) R 834 836 32696 0 -1 4202496 5685 0 0 0 28 1 0 0 20 0 1 0 277460077 26279936 5606 33554432000 4194304 8973514 140737207468496 140735890484680 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/836/statm: 6416 5606 418 1167 0 5197 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25664
[startup+0.700227 s]
/proc/loadavg: 1.99 2.04 2.00 3/176 836
/proc/meminfo: memFree=28861036/32873648 swapFree=6844/6844
[pid=836] ppid=834 vsize=57408 CPUtime=0.69 cores=1,3,5,7
/proc/836/stat : 836 (toysat) R 834 836 32696 0 -1 4202496 13621 0 0 0 67 2 0 0 20 0 1 0 277460077 58785792 13542 33554432000 4194304 8973514 140737207468496 140735890484680 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/836/statm: 14352 13542 418 1167 0 13133 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 57408
[startup+1.50023 s]
/proc/loadavg: 1.99 2.04 2.00 3/177 837
/proc/meminfo: memFree=28787736/32873648 swapFree=6844/6844
[pid=836] ppid=834 vsize=104512 CPUtime=1.49 cores=1,3,5,7
/proc/836/stat : 836 (toysat) R 834 836 32696 0 -1 4202496 25397 0 0 0 145 4 0 0 20 0 1 0 277460077 107020288 25318 33554432000 4194304 8973514 140737207468496 140737207467992 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/836/statm: 26128 25318 418 1167 0 24909 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 104512
[startup+3.1011 s]
/proc/loadavg: 1.99 2.04 2.00 3/177 837
/proc/meminfo: memFree=28721768/32873648 swapFree=6844/6844
[pid=836] ppid=834 vsize=197696 CPUtime=3.09 cores=1,3,5,7
/proc/836/stat : 836 (toysat) R 834 836 32696 0 -1 4202496 48693 0 0 0 300 9 0 0 20 0 1 0 277460077 202440704 48614 33554432000 4194304 8973514 140737207468496 140737207467992 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/836/statm: 49424 48614 418 1167 0 48205 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 197696
[startup+6.30024 s]
/proc/loadavg: 1.99 2.04 2.00 3/177 837
/proc/meminfo: memFree=28490976/32873648 swapFree=6844/6844
[pid=836] ppid=834 vsize=478272 CPUtime=6.29 cores=1,3,5,7
/proc/836/stat : 836 (toysat) R 834 836 32696 0 -1 4202496 118696 0 0 0 608 21 0 0 20 0 1 0 277460077 489750528 118617 33554432000 4194304 8973514 140737207468496 140737207467992 4209439 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/836/statm: 119568 118624 418 1167 0 118349 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 478272
[startup+12.7002 s]
/proc/loadavg: 1.99 2.04 2.00 3/177 837
/proc/meminfo: memFree=28121492/32873648 swapFree=6844/6844
[pid=836] ppid=834 vsize=728128 CPUtime=12.69 cores=1,3,5,7
/proc/836/stat : 836 (toysat) R 834 836 32696 0 -1 4202496 181315 0 0 0 1237 32 0 0 20 0 1 0 277460077 745603072 181236 33554432000 4194304 8973514 140737207468496 140737207467992 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/836/statm: 182032 181236 426 1167 0 180813 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 728128
[startup+25.5011 s]
/proc/loadavg: 1.99 2.03 2.00 3/177 837
/proc/meminfo: memFree=28121756/32873648 swapFree=6844/6844
[pid=836] ppid=834 vsize=728128 CPUtime=25.48 cores=1,3,5,7
/proc/836/stat : 836 (toysat) R 834 836 32696 0 -1 4202496 181333 0 0 0 2512 36 0 0 20 0 1 0 277460077 745603072 181258 33554432000 4194304 8973514 140737207468496 140737207467992 4209136 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/836/statm: 182032 181258 443 1167 0 180813 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 728128
[startup+51.1003 s]
/proc/loadavg: 1.99 2.03 2.00 3/177 837
/proc/meminfo: memFree=28123420/32873648 swapFree=6844/6844
[pid=836] ppid=834 vsize=728128 CPUtime=51.07 cores=1,3,5,7
/proc/836/stat : 836 (toysat) R 834 836 32696 0 -1 4202496 181360 0 0 0 5066 41 0 0 20 0 1 0 277460077 745603072 181270 33554432000 4194304 8973514 140737207468496 140737207466432 4208816 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/836/statm: 182032 181270 455 1167 0 180813 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 728128
[startup+102.307 s]
/proc/loadavg: 1.99 2.02 2.00 3/178 840
/proc/meminfo: memFree=28114604/32873648 swapFree=6844/6844
[pid=836] ppid=834 vsize=728128 CPUtime=102.26 cores=1,3,5,7
/proc/836/stat : 836 (toysat) R 834 836 32696 0 -1 4202496 181380 0 0 0 10172 54 0 0 20 0 1 0 277460077 745603072 181270 33554432000 4194304 8973514 140737207468496 140737207467992 4208870 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/836/statm: 182032 181270 455 1167 0 180813 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 728128
[startup+162.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 840
/proc/meminfo: memFree=28114528/32873648 swapFree=6844/6844
[pid=836] ppid=834 vsize=728128 CPUtime=162.24 cores=1,3,5,7
/proc/836/stat : 836 (toysat) R 834 836 32696 0 -1 4202496 181380 0 0 0 16154 70 0 0 20 0 1 0 277460077 745603072 181270 33554432000 4194304 8973514 140737207468496 140737207467760 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/836/statm: 182032 181270 455 1167 0 180813 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 728128
[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 841
/proc/meminfo: memFree=28114064/32873648 swapFree=6844/6844
[pid=836] ppid=834 vsize=728128 CPUtime=222.23 cores=1,3,5,7
/proc/836/stat : 836 (toysat) R 834 836 32696 0 -1 4202496 181383 0 0 0 22140 83 0 0 20 0 1 0 277460077 745603072 181270 33554432000 4194304 8973514 140737207468496 140737207466432 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/836/statm: 182032 181270 455 1167 0 180813 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 728128
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 841
/proc/meminfo: memFree=28114472/32873648 swapFree=6844/6844
[pid=836] ppid=834 vsize=728128 CPUtime=282.22 cores=1,3,5,7
/proc/836/stat : 836 (toysat) R 834 836 32696 0 -1 4202496 181395 0 0 0 28125 97 0 0 20 0 1 0 277460077 745603072 181270 33554432000 4194304 8973514 140737207468496 140737207467992 4213876 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/836/statm: 182032 181270 455 1167 0 180813 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 728128
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 841
/proc/meminfo: memFree=28114512/32873648 swapFree=6844/6844
[pid=836] ppid=834 vsize=728128 CPUtime=342.2 cores=1,3,5,7
/proc/836/stat : 836 (toysat) R 834 836 32696 0 -1 4202496 181413 0 0 0 34109 111 0 0 20 0 1 0 277460077 745603072 181270 33554432000 4194304 8973514 140737207468496 140737207466432 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/836/statm: 182032 181270 455 1167 0 180813 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 728128
[startup+402.301 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 841
/proc/meminfo: memFree=28114300/32873648 swapFree=6844/6844
[pid=836] ppid=834 vsize=728128 CPUtime=402.19 cores=1,3,5,7
/proc/836/stat : 836 (toysat) R 834 836 32696 0 -1 4202496 181429 0 0 0 40094 125 0 0 20 0 1 0 277460077 745603072 181270 33554432000 4194304 8973514 140737207468496 140737207467992 4214011 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/836/statm: 182032 181270 455 1167 0 180813 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 728128
[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 841
/proc/meminfo: memFree=28114460/32873648 swapFree=6844/6844
[pid=836] ppid=834 vsize=728128 CPUtime=462.16 cores=1,3,5,7
/proc/836/stat : 836 (toysat) R 834 836 32696 0 -1 4202496 181454 0 0 0 46079 137 0 0 20 0 1 0 277460077 745603072 181270 33554432000 4194304 8973514 140737207468496 140737207467760 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/836/statm: 182032 181270 455 1167 0 180813 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 728128
[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 842
/proc/meminfo: memFree=28103456/32873648 swapFree=6844/6844
[pid=836] ppid=834 vsize=728128 CPUtime=522.16 cores=1,3,5,7
/proc/836/stat : 836 (toysat) R 834 836 32696 0 -1 4202496 181454 0 0 0 52065 151 0 0 20 0 1 0 277460077 745603072 181270 33554432000 4194304 8973514 140737207468496 140737207467992 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/836/statm: 182032 181270 455 1167 0 180813 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 728128
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 842
/proc/meminfo: memFree=28103332/32873648 swapFree=6844/6844
[pid=836] ppid=834 vsize=728128 CPUtime=582.14 cores=1,3,5,7
/proc/836/stat : 836 (toysat) R 834 836 32696 0 -1 4202496 181454 0 0 0 58051 163 0 0 20 0 1 0 277460077 745603072 181270 33554432000 4194304 8973514 140737207468496 140737207467992 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/836/statm: 182032 181270 455 1167 0 180813 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 728128
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.04 2.00 2.00 3/176 884
/proc/meminfo: memFree=27541392/32873648 swapFree=6844/6844
[pid=836] ppid=834 vsize=728128 CPUtime=822.11 cores=1,3,5,7
/proc/836/stat : 836 (toysat) R 834 836 32696 0 -1 4202496 181454 0 0 0 81996 215 0 0 20 0 1 0 277460077 745603072 181270 33554432000 4194304 8973514 140737207468496 140737207466432 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/836/statm: 182032 181270 455 1167 0 180813 0
Current children cumulated CPU time (s) 822.11
Current children cumulated vsize (KiB) 728128
[startup+882.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 885
/proc/meminfo: memFree=27541632/32873648 swapFree=6844/6844
[pid=836] ppid=834 vsize=728128 CPUtime=882.1 cores=1,3,5,7
/proc/836/stat : 836 (toysat) R 834 836 32696 0 -1 4202496 181454 0 0 0 87982 228 0 0 20 0 1 0 277460077 745603072 181270 33554432000 4194304 8973514 140737207468496 140737207467760 7662101 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/836/statm: 182032 181270 455 1167 0 180813 0
Current children cumulated CPU time (s) 882.1
Current children cumulated vsize (KiB) 728128
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 885
/proc/meminfo: memFree=27541756/32873648 swapFree=6844/6844
[pid=836] ppid=834 vsize=728128 CPUtime=942.09 cores=1,3,5,7
/proc/836/stat : 836 (toysat) R 834 836 32696 0 -1 4202496 181454 0 0 0 93968 241 0 0 20 0 1 0 277460077 745603072 181270 33554432000 4194304 8973514 140737207468496 140737207466432 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/836/statm: 182032 181270 455 1167 0 180813 0
Current children cumulated CPU time (s) 942.09
Current children cumulated vsize (KiB) 728128
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 885
/proc/meminfo: memFree=27541764/32873648 swapFree=6844/6844
[pid=836] ppid=834 vsize=728128 CPUtime=1002.08 cores=1,3,5,7
/proc/836/stat : 836 (toysat) R 834 836 32696 0 -1 4202496 181454 0 0 0 99954 254 0 0 20 0 1 0 277460077 745603072 181270 33554432000 4194304 8973514 140737207468496 140737207467992 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/836/statm: 182032 181270 455 1167 0 180813 0
Current children cumulated CPU time (s) 1002.08
Current children cumulated vsize (KiB) 728128
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 886
/proc/meminfo: memFree=27540856/32873648 swapFree=6844/6844
[pid=836] ppid=834 vsize=728128 CPUtime=1062.07 cores=1,3,5,7
/proc/836/stat : 836 (toysat) R 834 836 32696 0 -1 4202496 181454 0 0 0 105940 267 0 0 20 0 1 0 277460077 745603072 181270 33554432000 4194304 8973514 140737207468496 140737207466432 7659779 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/836/statm: 182032 181270 455 1167 0 180813 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 728128
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 886
/proc/meminfo: memFree=27541008/32873648 swapFree=6844/6844
[pid=836] ppid=834 vsize=728128 CPUtime=1122.07 cores=1,3,5,7
/proc/836/stat : 836 (toysat) R 834 836 32696 0 -1 4202496 181454 0 0 0 111927 280 0 0 20 0 1 0 277460077 745603072 181270 33554432000 4194304 8973514 140737207468496 140737207466432 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/836/statm: 182032 181270 455 1167 0 180813 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 728128
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 887
/proc/meminfo: memFree=27541048/32873648 swapFree=6844/6844
[pid=836] ppid=834 vsize=728128 CPUtime=1182.06 cores=1,3,5,7
/proc/836/stat : 836 (toysat) R 834 836 32696 0 -1 4202496 181454 0 0 0 117914 292 0 0 20 0 1 0 277460077 745603072 181270 33554432000 4194304 8973514 140737207468496 140737207466432 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/836/statm: 182032 181270 455 1167 0 180813 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 728128
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 887
/proc/meminfo: memFree=27541076/32873648 swapFree=6844/6844
[pid=836] ppid=834 vsize=728128 CPUtime=1242.05 cores=1,3,5,7
/proc/836/stat : 836 (toysat) R 834 836 32696 0 -1 4202496 181454 0 0 0 123901 304 0 0 20 0 1 0 277460077 745603072 181270 33554432000 4194304 8973514 140737207468496 140737207467760 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/836/statm: 182032 181270 455 1167 0 180813 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 728128
[startup+1302.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 890
/proc/meminfo: memFree=27541364/32873648 swapFree=6844/6844
[pid=836] ppid=834 vsize=728128 CPUtime=1302.04 cores=1,3,5,7
/proc/836/stat : 836 (toysat) R 834 836 32696 0 -1 4202496 181454 0 0 0 129886 318 0 0 20 0 1 0 277460077 745603072 181270 33554432000 4194304 8973514 140737207468496 140737207467992 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/836/statm: 182032 181270 455 1167 0 180813 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 728128
[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 890
/proc/meminfo: memFree=27541152/32873648 swapFree=6844/6844
[pid=836] ppid=834 vsize=728128 CPUtime=1362.03 cores=1,3,5,7
/proc/836/stat : 836 (toysat) R 834 836 32696 0 -1 4202496 181454 0 0 0 135874 329 0 0 20 0 1 0 277460077 745603072 181270 33554432000 4194304 8973514 140737207468496 140737207467760 4209376 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/836/statm: 182032 181270 455 1167 0 180813 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 728128
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 890
/proc/meminfo: memFree=27541056/32873648 swapFree=6844/6844
[pid=836] ppid=834 vsize=728128 CPUtime=1422.02 cores=1,3,5,7
/proc/836/stat : 836 (toysat) R 834 836 32696 0 -1 4202496 181454 0 0 0 141862 340 0 0 20 0 1 0 277460077 745603072 181270 33554432000 4194304 8973514 140737207468496 140737207466432 4209376 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/836/statm: 182032 181270 455 1167 0 180813 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 728128
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 891
/proc/meminfo: memFree=27541276/32873648 swapFree=6844/6844
[pid=836] ppid=834 vsize=728128 CPUtime=1482.01 cores=1,3,5,7
/proc/836/stat : 836 (toysat) R 834 836 32696 0 -1 4202496 181454 0 0 0 147847 354 0 0 20 0 1 0 277460077 745603072 181270 33554432000 4194304 8973514 140737207468496 140737207466496 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/836/statm: 182032 181270 455 1167 0 180813 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 728128
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 891
/proc/meminfo: memFree=27541276/32873648 swapFree=6844/6844
[pid=836] ppid=834 vsize=728128 CPUtime=1542 cores=1,3,5,7
/proc/836/stat : 836 (toysat) R 834 836 32696 0 -1 4202496 181454 0 0 0 153834 366 0 0 20 0 1 0 277460077 745603072 181270 33554432000 4194304 8973514 140737207468496 140737207467992 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/836/statm: 182032 181270 455 1167 0 180813 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 728128
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 891
/proc/meminfo: memFree=27541280/32873648 swapFree=6844/6844
[pid=836] ppid=834 vsize=728128 CPUtime=1602 cores=1,3,5,7
/proc/836/stat : 836 (toysat) R 834 836 32696 0 -1 4202496 181454 0 0 0 159820 380 0 0 20 0 1 0 277460077 745603072 181270 33554432000 4194304 8973514 140737207468496 140737207467760 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/836/statm: 182032 181270 455 1167 0 180813 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 728128
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 891
/proc/meminfo: memFree=27541404/32873648 swapFree=6844/6844
[pid=836] ppid=834 vsize=728128 CPUtime=1661.98 cores=1,3,5,7
/proc/836/stat : 836 (toysat) R 834 836 32696 0 -1 4202496 181454 0 0 0 165807 391 0 0 20 0 1 0 277460077 745603072 181270 33554432000 4194304 8973514 140737207468496 140737207467760 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/836/statm: 182032 181270 455 1167 0 180813 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 728128
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 891
/proc/meminfo: memFree=27541280/32873648 swapFree=6844/6844
[pid=836] ppid=834 vsize=728128 CPUtime=1721.98 cores=1,3,5,7
/proc/836/stat : 836 (toysat) R 834 836 32696 0 -1 4202496 181454 0 0 0 171793 405 0 0 20 0 1 0 277460077 745603072 181270 33554432000 4194304 8973514 140737207468496 140737207467760 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/836/statm: 182032 181270 455 1167 0 180813 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 728128
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 892
/proc/meminfo: memFree=27540908/32873648 swapFree=6844/6844
[pid=836] ppid=834 vsize=728128 CPUtime=1781.97 cores=1,3,5,7
/proc/836/stat : 836 (toysat) R 834 836 32696 0 -1 4202496 181454 0 0 0 177780 417 0 0 20 0 1 0 277460077 745603072 181270 33554432000 4194304 8973514 140737207468496 140737207467992 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/836/statm: 182032 181270 455 1167 0 180813 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 728128
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 892
/proc/meminfo: memFree=27541280/32873648 swapFree=6844/6844
[pid=836] ppid=834 vsize=728128 CPUtime=1800.07 cores=1,3,5,7
/proc/836/stat : 836 (toysat) R 834 836 32696 0 -1 4202496 181454 0 0 0 179587 420 0 0 20 0 1 0 277460077 745603072 181270 33554432000 4194304 8973514 140737207468496 140737207467992 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/836/statm: 182032 181270 455 1167 0 180813 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 728128
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.08
CPU user time (s): 1795.88
CPU system time (s): 4.20236
CPU usage (%): 99.9817
Max. virtual memory (cumulated for all children) (KiB): 728128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.88
system time used= 4.20236
maximum resident set size= 725080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 181454
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= 113
involuntary context switches= 1853
runsolver used 3.36149 second user time and 9.48356 second system time
The end