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-3706484-1338242757/watcher-3706484-1338242757 -o /tmp/evaluation-result-3706484-1338242757/solver-3706484-1338242757 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706484-1338242757.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 3701
/proc/meminfo: memFree=30481204/32873844 swapFree=7900/7900
[pid=3701] ppid=3699 vsize=7232 CPUtime=0 cores=0,2,4,6
/proc/3701/stat : 3701 (toysat) R 3699 3701 2640 0 -1 4202496 828 0 0 0 0 0 0 0 20 0 1 0 290400241 7405568 749 33554432000 4194304 8973514 140735372677776 140734355601240 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/3701/statm: 1808 749 411 1167 0 589 0
[startup+0.075191 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 3701
/proc/meminfo: memFree=30481204/32873844 swapFree=7900/7900
[pid=3701] ppid=3699 vsize=11328 CPUtime=0.07 cores=0,2,4,6
/proc/3701/stat : 3701 (toysat) R 3699 3701 2640 0 -1 4202496 1944 0 0 0 7 0 0 0 20 0 1 0 290400241 11599872 1865 33554432000 4194304 8973514 140735372677776 140734355601240 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/3701/statm: 2832 1865 418 1167 0 1613 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11328
[startup+0.100292 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 3701
/proc/meminfo: memFree=30481204/32873844 swapFree=7900/7900
[pid=3701] ppid=3699 vsize=13376 CPUtime=0.09 cores=0,2,4,6
/proc/3701/stat : 3701 (toysat) R 3699 3701 2640 0 -1 4202496 2376 0 0 0 9 0 0 0 20 0 1 0 290400241 13697024 2297 33554432000 4194304 8973514 140735372677776 140734355601240 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/3701/statm: 3344 2297 418 1167 0 2125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13376
[startup+0.300271 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 3701
/proc/meminfo: memFree=30481204/32873844 swapFree=7900/7900
[pid=3701] ppid=3699 vsize=27712 CPUtime=0.29 cores=0,2,4,6
/proc/3701/stat : 3701 (toysat) R 3699 3701 2640 0 -1 4202496 5994 0 0 0 28 1 0 0 20 0 1 0 290400241 28377088 5915 33554432000 4194304 8973514 140735372677776 140735372677040 4209325 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/3701/statm: 6928 5922 418 1167 0 5709 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27712
[startup+0.70027 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 3701
/proc/meminfo: memFree=30481204/32873844 swapFree=7900/7900
[pid=3701] ppid=3699 vsize=56384 CPUtime=0.69 cores=0,2,4,6
/proc/3701/stat : 3701 (toysat) R 3699 3701 2640 0 -1 4202496 13385 0 0 0 66 3 0 0 20 0 1 0 290400241 57737216 13306 33554432000 4194304 8973514 140735372677776 140735372677040 4434896 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/3701/statm: 14096 13306 433 1167 0 12877 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 56384
[startup+1.50027 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 3702
/proc/meminfo: memFree=30419584/32873844 swapFree=7900/7900
[pid=3701] ppid=3699 vsize=72768 CPUtime=1.48 cores=0,2,4,6
/proc/3701/stat : 3701 (toysat) R 3699 3701 2640 0 -1 4202496 17458 0 0 0 145 3 0 0 20 0 1 0 290400241 74514432 17379 33554432000 4194304 8973514 140735372677776 140735372677272 4209325 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/3701/statm: 18192 17383 447 1167 0 16973 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 72768
[startup+3.10028 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 3702
/proc/meminfo: memFree=30409044/32873844 swapFree=7900/7900
[pid=3701] ppid=3699 vsize=76864 CPUtime=3.09 cores=0,2,4,6
/proc/3701/stat : 3701 (toysat) R 3699 3701 2640 0 -1 4202496 18519 0 0 0 305 4 0 0 20 0 1 0 290400241 78708736 18440 33554432000 4194304 8973514 140735372677776 140735372675712 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/3701/statm: 19216 18440 447 1167 0 17997 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 76864
[startup+6.30028 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 3702
/proc/meminfo: memFree=30407556/32873844 swapFree=7900/7900
[pid=3701] ppid=3699 vsize=79936 CPUtime=6.29 cores=0,2,4,6
/proc/3701/stat : 3701 (toysat) R 3699 3701 2640 0 -1 4202496 19287 0 0 0 624 5 0 0 20 0 1 0 290400241 81854464 19208 33554432000 4194304 8973514 140735372677776 140735372677040 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/3701/statm: 19984 19208 447 1167 0 18765 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 79936
[startup+12.7003 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 3702
/proc/meminfo: memFree=30398272/32873844 swapFree=7900/7900
[pid=3701] ppid=3699 vsize=88128 CPUtime=12.69 cores=0,2,4,6
/proc/3701/stat : 3701 (toysat) R 3699 3701 2640 0 -1 4202496 21335 0 0 0 1262 7 0 0 20 0 1 0 290400241 90243072 21256 33554432000 4194304 8973514 140735372677776 140735372677272 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/3701/statm: 22032 21256 447 1167 0 20813 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 88128
[startup+25.5003 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 3702
/proc/meminfo: memFree=30384268/32873844 swapFree=7900/7900
[pid=3701] ppid=3699 vsize=101440 CPUtime=25.49 cores=0,2,4,6
/proc/3701/stat : 3701 (toysat) R 3699 3701 2640 0 -1 4202496 24663 0 0 0 2537 12 0 0 20 0 1 0 290400241 103874560 24584 33554432000 4194304 8973514 140735372677776 140735372659776 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/3701/statm: 25360 24584 447 1167 0 24141 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 101440
[startup+51.1003 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 3702
/proc/meminfo: memFree=30358764/32873844 swapFree=7900/7900
[pid=3701] ppid=3699 vsize=129088 CPUtime=51.08 cores=0,2,4,6
/proc/3701/stat : 3701 (toysat) R 3699 3701 2640 0 -1 4202496 31580 0 0 0 5089 19 0 0 20 0 1 0 290400241 132186112 31501 33554432000 4194304 8973514 140735372677776 140735372659712 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/3701/statm: 32272 31501 447 1167 0 31053 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 129088
[startup+102.307 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 3702
/proc/meminfo: memFree=30315408/32873844 swapFree=7900/7900
[pid=3701] ppid=3699 vsize=170048 CPUtime=102.24 cores=0,2,4,6
/proc/3701/stat : 3701 (toysat) R 3699 3701 2640 0 -1 4202496 41849 0 0 0 10193 31 0 0 20 0 1 0 290400241 174129152 41741 33554432000 4194304 8973514 140735372677776 140735372677040 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/3701/statm: 42512 41741 447 1167 0 41293 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 170048
[startup+162.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/176 3702
/proc/meminfo: memFree=30278500/32873844 swapFree=7900/7900
[pid=3701] ppid=3699 vsize=208960 CPUtime=162.21 cores=0,2,4,6
/proc/3701/stat : 3701 (toysat) R 3699 3701 2640 0 -1 4202496 51588 0 0 0 16175 46 0 0 20 0 1 0 290400241 213975040 51469 33554432000 4194304 8973514 140735372677776 140735372675776 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/3701/statm: 52240 51469 447 1167 0 51021 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 208960
[startup+222.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/177 3703
/proc/meminfo: memFree=30235588/32873844 swapFree=7900/7900
[pid=3701] ppid=3699 vsize=249920 CPUtime=222.21 cores=0,2,4,6
/proc/3701/stat : 3701 (toysat) R 3699 3701 2640 0 -1 4202496 61828 0 0 0 22157 64 0 0 20 0 1 0 290400241 255918080 61709 33554432000 4194304 8973514 140735372677776 140735372677272 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/3701/statm: 62480 61709 447 1167 0 61261 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 249920
[startup+282.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/178 3706
/proc/meminfo: memFree=30198504/32873844 swapFree=7900/7900
[pid=3701] ppid=3699 vsize=287808 CPUtime=282.2 cores=0,2,4,6
/proc/3701/stat : 3701 (toysat) R 3699 3701 2640 0 -1 4202496 71300 0 0 0 28143 77 0 0 20 0 1 0 290400241 294715392 71181 33554432000 4194304 8973514 140735372677776 140735372677272 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/3701/statm: 71952 71181 447 1167 0 70733 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 287808
[startup+342.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 3706
/proc/meminfo: memFree=30167860/32873844 swapFree=7900/7900
[pid=3701] ppid=3699 vsize=317504 CPUtime=342.19 cores=0,2,4,6
/proc/3701/stat : 3701 (toysat) R 3699 3701 2640 0 -1 4202496 78724 0 0 0 34128 91 0 0 20 0 1 0 290400241 325124096 78605 33554432000 4194304 8973514 140735372677776 140735372677040 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/3701/statm: 79376 78605 447 1167 0 78157 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 317504
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 3706
/proc/meminfo: memFree=30137012/32873844 swapFree=7900/7900
[pid=3701] ppid=3699 vsize=348224 CPUtime=402.17 cores=0,2,4,6
/proc/3701/stat : 3701 (toysat) R 3699 3701 2640 0 -1 4202496 86416 0 0 0 40115 102 0 0 20 0 1 0 290400241 356581376 86285 33554432000 4194304 8973514 140735372677776 140735372659776 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/3701/statm: 87056 86285 447 1167 0 85837 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 348224
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 3706
/proc/meminfo: memFree=30099164/32873844 swapFree=7900/7900
[pid=3701] ppid=3699 vsize=386112 CPUtime=462.15 cores=0,2,4,6
/proc/3701/stat : 3701 (toysat) R 3699 3701 2640 0 -1 4202496 95892 0 0 0 46098 117 0 0 20 0 1 0 290400241 395378688 95757 33554432000 4194304 8973514 140735372677776 140735372677272 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/3701/statm: 96528 95757 447 1167 0 95309 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 386112
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 3707
/proc/meminfo: memFree=30061344/32873844 swapFree=7900/7900
[pid=3701] ppid=3699 vsize=424000 CPUtime=522.15 cores=0,2,4,6
/proc/3701/stat : 3701 (toysat) R 3699 3701 2640 0 -1 4202496 105364 0 0 0 52085 130 0 0 20 0 1 0 290400241 434176000 105229 33554432000 4194304 8973514 140735372677776 140735372677272 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/3701/statm: 106000 105229 447 1167 0 104781 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 424000
[startup+582.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 3707
/proc/meminfo: memFree=30046960/32873844 swapFree=7900/7900
[pid=3701] ppid=3699 vsize=438336 CPUtime=582.13 cores=0,2,4,6
/proc/3701/stat : 3701 (toysat) R 3699 3701 2640 0 -1 4202496 108949 0 0 0 58071 142 0 0 20 0 1 0 290400241 448856064 108814 33554432000 4194304 8973514 140735372677776 140735372677272 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/3701/statm: 109584 108814 448 1167 0 108365 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 438336
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3708
/proc/meminfo: memFree=29994980/32873844 swapFree=7900/7900
[pid=3701] ppid=3699 vsize=489536 CPUtime=822.09 cores=0,2,4,6
/proc/3701/stat : 3701 (toysat) R 3699 3701 2640 0 -1 4202496 121769 0 0 0 82020 189 0 0 20 0 1 0 290400241 501284864 121614 33554432000 4194304 8973514 140735372677776 140735372677272 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/3701/statm: 122384 121614 448 1167 0 121165 0
Current children cumulated CPU time (s) 822.09
Current children cumulated vsize (KiB) 489536
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3711
/proc/meminfo: memFree=29979472/32873844 swapFree=7900/7900
[pid=3701] ppid=3699 vsize=504896 CPUtime=882.08 cores=0,2,4,6
/proc/3701/stat : 3701 (toysat) R 3699 3701 2640 0 -1 4202496 125609 0 0 0 88006 202 0 0 20 0 1 0 290400241 517013504 125454 33554432000 4194304 8973514 140735372677776 140735372677040 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/3701/statm: 126224 125454 448 1167 0 125005 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 504896
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3711
/proc/meminfo: memFree=29979852/32873844 swapFree=7900/7900
[pid=3701] ppid=3699 vsize=504896 CPUtime=942.07 cores=0,2,4,6
/proc/3701/stat : 3701 (toysat) R 3699 3701 2640 0 -1 4202496 125609 0 0 0 93993 214 0 0 20 0 1 0 290400241 517013504 125454 33554432000 4194304 8973514 140735372677776 140735372677272 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/3701/statm: 126224 125454 448 1167 0 125005 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 504896
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3711
/proc/meminfo: memFree=29979108/32873844 swapFree=7900/7900
[pid=3701] ppid=3699 vsize=505920 CPUtime=1002.06 cores=0,2,4,6
/proc/3701/stat : 3701 (toysat) R 3699 3701 2640 0 -1 4202496 125865 0 0 0 99979 227 0 0 20 0 1 0 290400241 518062080 125710 33554432000 4194304 8973514 140735372677776 140735372659712 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/3701/statm: 126480 125710 448 1167 0 125261 0
Current children cumulated CPU time (s) 1002.06
Current children cumulated vsize (KiB) 505920
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3711
/proc/meminfo: memFree=29953484/32873844 swapFree=7900/7900
[pid=3701] ppid=3699 vsize=531520 CPUtime=1062.05 cores=0,2,4,6
/proc/3701/stat : 3701 (toysat) R 3699 3701 2640 0 -1 4202496 132265 0 0 0 105962 243 0 0 20 0 1 0 290400241 544276480 132110 33554432000 4194304 8973514 140735372677776 140735372677272 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/3701/statm: 132880 132110 448 1167 0 131661 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 531520
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3712
/proc/meminfo: memFree=29939264/32873844 swapFree=7900/7900
[pid=3701] ppid=3699 vsize=545856 CPUtime=1122.02 cores=0,2,4,6
/proc/3701/stat : 3701 (toysat) R 3699 3701 2640 0 -1 4202496 135861 0 0 0 111946 256 0 0 20 0 1 0 290400241 558956544 135694 33554432000 4194304 8973514 140735372677776 140735372677040 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/3701/statm: 136464 135694 448 1167 0 135245 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 545856
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3712
/proc/meminfo: memFree=29910372/32873844 swapFree=7900/7900
[pid=3701] ppid=3699 vsize=574528 CPUtime=1182.02 cores=0,2,4,6
/proc/3701/stat : 3701 (toysat) R 3699 3701 2640 0 -1 4202496 143029 0 0 0 117931 271 0 0 20 0 1 0 290400241 588316672 142862 33554432000 4194304 8973514 140735372677776 140735372677272 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/3701/statm: 143632 142862 448 1167 0 142413 0
Current children cumulated CPU time (s) 1182.02
Current children cumulated vsize (KiB) 574528
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3712
/proc/meminfo: memFree=29885572/32873844 swapFree=7900/7900
[pid=3701] ppid=3699 vsize=599104 CPUtime=1242.01 cores=0,2,4,6
/proc/3701/stat : 3701 (toysat) R 3699 3701 2640 0 -1 4202496 149173 0 0 0 123914 287 0 0 20 0 1 0 290400241 613482496 149006 33554432000 4194304 8973514 140735372677776 140735372677272 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/3701/statm: 149776 149006 448 1167 0 148557 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 599104
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3712
/proc/meminfo: memFree=29885572/32873844 swapFree=7900/7900
[pid=3701] ppid=3699 vsize=599104 CPUtime=1302.01 cores=0,2,4,6
/proc/3701/stat : 3701 (toysat) R 3699 3701 2640 0 -1 4202496 149173 0 0 0 129901 300 0 0 20 0 1 0 290400241 613482496 149006 33554432000 4194304 8973514 140735372677776 140735372677272 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/3701/statm: 149776 149006 448 1167 0 148557 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 599104
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3712
/proc/meminfo: memFree=29873916/32873844 swapFree=7900/7900
[pid=3701] ppid=3699 vsize=610368 CPUtime=1361.99 cores=0,2,4,6
/proc/3701/stat : 3701 (toysat) R 3699 3701 2640 0 -1 4202496 151989 0 0 0 135891 308 0 0 20 0 1 0 290400241 625016832 151822 33554432000 4194304 8973514 140735372677776 140735372677272 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/3701/statm: 152592 151822 448 1167 0 151373 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 610368
[startup+1422.31 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 3752
/proc/meminfo: memFree=29335944/32873844 swapFree=7900/7900
[pid=3701] ppid=3699 vsize=639040 CPUtime=1421.99 cores=0,2,4,6
/proc/3701/stat : 3701 (toysat) R 3699 3701 2640 0 -1 4202496 159157 0 0 0 141878 321 0 0 20 0 1 0 290400241 654376960 158990 33554432000 4194304 8973514 140735372677776 140735372677272 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/3701/statm: 159760 158990 448 1167 0 158541 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 639040
[startup+1482.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/178 3755
/proc/meminfo: memFree=29295760/32873844 swapFree=7900/7900
[pid=3701] ppid=3699 vsize=666688 CPUtime=1481.97 cores=0,2,4,6
/proc/3701/stat : 3701 (toysat) R 3699 3701 2640 0 -1 4202496 166069 0 0 0 147864 333 0 0 20 0 1 0 290400241 682688512 165902 33554432000 4194304 8973514 140735372677776 140735372677272 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/3701/statm: 166672 165902 448 1167 0 165453 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 666688
[startup+1542.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 3755
/proc/meminfo: memFree=29244356/32873844 swapFree=7900/7900
[pid=3701] ppid=3699 vsize=697408 CPUtime=1541.96 cores=0,2,4,6
/proc/3701/stat : 3701 (toysat) R 3699 3701 2640 0 -1 4202496 173749 0 0 0 153851 345 0 0 20 0 1 0 290400241 714145792 173582 33554432000 4194304 8973514 140735372677776 140735372677272 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/3701/statm: 174352 173582 448 1167 0 173133 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 697408
[startup+1602.3 s]
/proc/loadavg: 2.04 2.00 2.00 3/177 3755
/proc/meminfo: memFree=29230328/32873844 swapFree=7900/7900
[pid=3701] ppid=3699 vsize=697408 CPUtime=1601.95 cores=0,2,4,6
/proc/3701/stat : 3701 (toysat) R 3699 3701 2640 0 -1 4202496 173756 0 0 0 159837 358 0 0 20 0 1 0 290400241 714145792 173582 33554432000 4194304 8973514 140735372677776 140735372677272 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/3701/statm: 174352 173582 448 1167 0 173133 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 697408
[startup+1662.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/177 3755
/proc/meminfo: memFree=29212748/32873844 swapFree=7900/7900
[pid=3701] ppid=3699 vsize=697408 CPUtime=1661.93 cores=0,2,4,6
/proc/3701/stat : 3701 (toysat) R 3699 3701 2640 0 -1 4202496 173756 0 0 0 165820 373 0 0 20 0 1 0 290400241 714145792 173582 33554432000 4194304 8973514 140735372677776 140735372677272 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/3701/statm: 174352 173582 448 1167 0 173133 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 697408
[startup+1722.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 3756
/proc/meminfo: memFree=29191572/32873844 swapFree=7900/7900
[pid=3701] ppid=3699 vsize=697408 CPUtime=1721.93 cores=0,2,4,6
/proc/3701/stat : 3701 (toysat) R 3699 3701 2640 0 -1 4202496 173756 0 0 0 171807 386 0 0 20 0 1 0 290400241 714145792 173582 33554432000 4194304 8973514 140735372677776 140735372677272 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/3701/statm: 174352 173582 448 1167 0 173133 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 697408
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 3756
/proc/meminfo: memFree=29173248/32873844 swapFree=7900/7900
[pid=3701] ppid=3699 vsize=697408 CPUtime=1781.92 cores=0,2,4,6
/proc/3701/stat : 3701 (toysat) R 3699 3701 2640 0 -1 4202496 173756 0 0 0 177795 397 0 0 20 0 1 0 290400241 714145792 173582 33554432000 4194304 8973514 140735372677776 140735372677272 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/3701/statm: 174352 173582 448 1167 0 173133 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 697408
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 3756
/proc/meminfo: memFree=29167884/32873844 swapFree=7900/7900
[pid=3701] ppid=3699 vsize=697408 CPUtime=1800.02 cores=0,2,4,6
/proc/3701/stat : 3701 (toysat) R 3699 3701 2640 0 -1 4202496 173756 0 0 0 179602 400 0 0 20 0 1 0 290400241 714145792 173582 33554432000 4194304 8973514 140735372677776 140735372677272 4447480 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/3701/statm: 174352 173582 448 1167 0 173133 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 697408
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.04
CPU user time (s): 1796.03
CPU system time (s): 4.00639
CPU usage (%): 99.9792
Max. virtual memory (cumulated for all children) (KiB): 697408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.03
system time used= 4.00639
maximum resident set size= 694328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 173756
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= 103
involuntary context switches= 1961
runsolver used 3.03954 second user time and 9.55455 second system time
The end