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-3707268-1338130827/watcher-3707268-1338130827 -o /tmp/evaluation-result-3707268-1338130827/solver-3707268-1338130827 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3707268-1338130827.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.04 2.01 2.00 3/177 15626
/proc/meminfo: memFree=27443876/32873648 swapFree=6848/6848
[pid=15626] ppid=15624 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/15626/stat : 15626 (toysat) R 15624 15626 14927 0 -1 4202496 785 0 0 0 0 0 0 0 20 0 1 0 279209540 6356992 707 33554432000 4194304 8973514 140734174452896 140735656280808 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15626/statm: 1552 707 411 1167 0 333 0
[startup+0.10231 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 15626
/proc/meminfo: memFree=27443876/32873648 swapFree=6848/6848
[pid=15626] ppid=15624 vsize=13376 CPUtime=0.09 cores=1,3,5,7
/proc/15626/stat : 15626 (toysat) R 15624 15626 14927 0 -1 4202496 2520 0 0 0 9 0 0 0 20 0 1 0 279209540 13697024 2442 33554432000 4194304 8973514 140734174452896 140735656280808 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15626/statm: 3344 2442 418 1167 0 2125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13376
[startup+0.200293 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 15626
/proc/meminfo: memFree=27443876/32873648 swapFree=6848/6848
[pid=15626] ppid=15624 vsize=19520 CPUtime=0.19 cores=1,3,5,7
/proc/15626/stat : 15626 (toysat) R 15624 15626 14927 0 -1 4202496 4158 0 0 0 18 1 0 0 20 0 1 0 279209540 19988480 4080 33554432000 4194304 8973514 140734174452896 140735656280808 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15626/statm: 4880 4080 427 1167 0 3661 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 19520
[startup+0.300287 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 15626
/proc/meminfo: memFree=27443876/32873648 swapFree=6848/6848
[pid=15626] ppid=15624 vsize=33856 CPUtime=0.28 cores=1,3,5,7
/proc/15626/stat : 15626 (toysat) R 15624 15626 14927 0 -1 4202496 7650 0 0 0 27 1 0 0 20 0 1 0 279209540 34668544 7572 33554432000 4194304 8973514 140734174452896 140734174451736 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15626/statm: 8464 7572 427 1167 0 7245 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 33856
[startup+0.700274 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 15626
/proc/meminfo: memFree=27443876/32873648 swapFree=6848/6848
[pid=15626] ppid=15624 vsize=58432 CPUtime=0.69 cores=1,3,5,7
/proc/15626/stat : 15626 (toysat) R 15624 15626 14927 0 -1 4202496 13902 0 0 0 66 3 0 0 20 0 1 0 279209540 59834368 13824 33554432000 4194304 8973514 140734174452896 140734174451736 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15626/statm: 14608 13824 441 1167 0 13389 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 58432
[startup+1.50025 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 15627
/proc/meminfo: memFree=27352728/32873648 swapFree=6848/6848
[pid=15626] ppid=15624 vsize=130112 CPUtime=1.49 cores=1,3,5,7
/proc/15626/stat : 15626 (toysat) R 15624 15626 14927 0 -1 4202496 31840 0 0 0 144 5 0 0 20 0 1 0 279209540 133234688 31762 33554432000 4194304 8973514 140734174452896 140734174451736 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15626/statm: 32528 31762 458 1167 0 31309 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 130112
[startup+3.10028 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 15627
/proc/meminfo: memFree=27313280/32873648 swapFree=6848/6848
[pid=15626] ppid=15624 vsize=135232 CPUtime=3.08 cores=1,3,5,7
/proc/15626/stat : 15626 (toysat) R 15624 15626 14927 0 -1 4202496 33120 0 0 0 303 5 0 0 20 0 1 0 279209540 138477568 33042 33554432000 4194304 8973514 140734174452896 140734174452392 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15626/statm: 33808 33042 458 1167 0 32589 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 135232
[startup+6.30027 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 15627
/proc/meminfo: memFree=27313268/32873648 swapFree=6848/6848
[pid=15626] ppid=15624 vsize=135232 CPUtime=6.29 cores=1,3,5,7
/proc/15626/stat : 15626 (toysat) R 15624 15626 14927 0 -1 4202496 33120 0 0 0 623 6 0 0 20 0 1 0 279209540 138477568 33042 33554432000 4194304 8973514 140734174452896 140734174452160 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15626/statm: 33808 33042 458 1167 0 32589 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 135232
[startup+12.7003 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 15627
/proc/meminfo: memFree=27311176/32873648 swapFree=6848/6848
[pid=15626] ppid=15624 vsize=137280 CPUtime=12.69 cores=1,3,5,7
/proc/15626/stat : 15626 (toysat) R 15624 15626 14927 0 -1 4202496 33632 0 0 0 1262 7 0 0 20 0 1 0 279209540 140574720 33554 33554432000 4194304 8973514 140734174452896 140734174452160 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15626/statm: 34320 33554 458 1167 0 33101 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 137280
[startup+25.5003 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 15627
/proc/meminfo: memFree=27311388/32873648 swapFree=6848/6848
[pid=15626] ppid=15624 vsize=137280 CPUtime=25.49 cores=1,3,5,7
/proc/15626/stat : 15626 (toysat) R 15624 15626 14927 0 -1 4202496 33632 0 0 0 2541 8 0 0 20 0 1 0 279209540 140574720 33554 33554432000 4194304 8973514 140734174452896 140734174452392 4208823 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15626/statm: 34320 33554 458 1167 0 33101 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 137280
[startup+51.1003 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 15650
/proc/meminfo: memFree=27307148/32873648 swapFree=6848/6848
[pid=15626] ppid=15624 vsize=139328 CPUtime=51.08 cores=1,3,5,7
/proc/15626/stat : 15626 (toysat) R 15624 15626 14927 0 -1 4202496 34144 0 0 0 5098 10 0 0 20 0 1 0 279209540 142671872 34066 33554432000 4194304 8973514 140734174452896 140734174452392 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15626/statm: 34832 34066 458 1167 0 33613 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 139328
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15650
/proc/meminfo: memFree=27304872/32873648 swapFree=6848/6848
[pid=15626] ppid=15624 vsize=141376 CPUtime=102.28 cores=1,3,5,7
/proc/15626/stat : 15626 (toysat) R 15624 15626 14927 0 -1 4202496 34656 0 0 0 10213 15 0 0 20 0 1 0 279209540 144769024 34578 33554432000 4194304 8973514 140734174452896 140734174452392 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15626/statm: 35344 34578 458 1167 0 34125 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 141376
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15650
/proc/meminfo: memFree=27297212/32873648 swapFree=6848/6848
[pid=15626] ppid=15624 vsize=145472 CPUtime=162.24 cores=1,3,5,7
/proc/15626/stat : 15626 (toysat) R 15624 15626 14927 0 -1 4202496 35705 0 0 0 16204 20 0 0 20 0 1 0 279209540 148963328 35607 33554432000 4194304 8973514 140734174452896 140734174452160 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15626/statm: 36368 35607 458 1167 0 35149 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 145472
[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15650
/proc/meminfo: memFree=27295312/32873648 swapFree=6848/6848
[pid=15626] ppid=15624 vsize=148544 CPUtime=222.24 cores=1,3,5,7
/proc/15626/stat : 15626 (toysat) R 15624 15626 14927 0 -1 4202496 36475 0 0 0 22199 25 0 0 20 0 1 0 279209540 152109056 36375 33554432000 4194304 8973514 140734174452896 140734174450816 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15626/statm: 37136 36375 458 1167 0 35917 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 148544
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15652
/proc/meminfo: memFree=27288932/32873648 swapFree=6848/6848
[pid=15626] ppid=15624 vsize=150592 CPUtime=282.22 cores=1,3,5,7
/proc/15626/stat : 15626 (toysat) R 15624 15626 14927 0 -1 4202496 36987 0 0 0 28191 31 0 0 20 0 1 0 279209540 154206208 36887 33554432000 4194304 8973514 140734174452896 140734174452392 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15626/statm: 37648 36887 458 1167 0 36429 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 150592
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15652
/proc/meminfo: memFree=27282048/32873648 swapFree=6848/6848
[pid=15626] ppid=15624 vsize=152640 CPUtime=342.22 cores=1,3,5,7
/proc/15626/stat : 15626 (toysat) R 15624 15626 14927 0 -1 4202496 37499 0 0 0 34185 37 0 0 20 0 1 0 279209540 156303360 37399 33554432000 4194304 8973514 140734174452896 140734174452392 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15626/statm: 38160 37399 458 1167 0 36941 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 152640
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15652
/proc/meminfo: memFree=27276212/32873648 swapFree=6848/6848
[pid=15626] ppid=15624 vsize=154688 CPUtime=402.21 cores=1,3,5,7
/proc/15626/stat : 15626 (toysat) R 15624 15626 14927 0 -1 4202496 38011 0 0 0 40178 43 0 0 20 0 1 0 279209540 158400512 37911 33554432000 4194304 8973514 140734174452896 140734174452160 4208887 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15626/statm: 38672 37911 458 1167 0 37453 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 154688
[startup+462.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 15652
/proc/meminfo: memFree=27273616/32873648 swapFree=6848/6848
[pid=15626] ppid=15624 vsize=157760 CPUtime=462.2 cores=1,3,5,7
/proc/15626/stat : 15626 (toysat) R 15624 15626 14927 0 -1 4202496 38779 0 0 0 46171 49 0 0 20 0 1 0 279209540 161546240 38679 33554432000 4194304 8973514 140734174452896 140734174452160 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15626/statm: 39440 38679 458 1167 0 38221 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 157760
[startup+522.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 15652
/proc/meminfo: memFree=27267528/32873648 swapFree=6848/6848
[pid=15626] ppid=15624 vsize=160832 CPUtime=522.19 cores=1,3,5,7
/proc/15626/stat : 15626 (toysat) R 15624 15626 14927 0 -1 4202496 39547 0 0 0 52165 54 0 0 20 0 1 0 279209540 164691968 39447 33554432000 4194304 8973514 140734174452896 140734174450880 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15626/statm: 40208 39447 458 1167 0 38989 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 160832
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15656
/proc/meminfo: memFree=27263268/32873648 swapFree=6848/6848
[pid=15626] ppid=15624 vsize=161856 CPUtime=582.18 cores=1,3,5,7
/proc/15626/stat : 15626 (toysat) R 15624 15626 14927 0 -1 4202496 39803 0 0 0 58159 59 0 0 20 0 1 0 279209540 165740544 39703 33554432000 4194304 8973514 140734174452896 140734174452160 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15626/statm: 40464 39703 458 1167 0 39245 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 161856
[startup+642.3 s]
################
# More data... #
################
[startup+882.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15657
/proc/meminfo: memFree=27223320/32873648 swapFree=6848/6848
[pid=15626] ppid=15624 vsize=177216 CPUtime=882.14 cores=1,3,5,7
/proc/15626/stat : 15626 (toysat) R 15624 15626 14927 0 -1 4202496 43643 0 0 0 88131 83 0 0 20 0 1 0 279209540 181469184 43543 33554432000 4194304 8973514 140734174452896 140734174452392 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15626/statm: 44304 43543 458 1167 0 43085 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 177216
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15657
/proc/meminfo: memFree=27220840/32873648 swapFree=6848/6848
[pid=15626] ppid=15624 vsize=179264 CPUtime=942.13 cores=1,3,5,7
/proc/15626/stat : 15626 (toysat) R 15624 15626 14927 0 -1 4202496 44155 0 0 0 94126 87 0 0 20 0 1 0 279209540 183566336 44055 33554432000 4194304 8973514 140734174452896 140734174450816 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15626/statm: 44816 44055 458 1167 0 43597 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 179264
[startup+1002.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 15657
/proc/meminfo: memFree=27216484/32873648 swapFree=6848/6848
[pid=15626] ppid=15624 vsize=181312 CPUtime=1002.11 cores=1,3,5,7
/proc/15626/stat : 15626 (toysat) R 15624 15626 14927 0 -1 4202496 44667 0 0 0 100119 92 0 0 20 0 1 0 279209540 185663488 44567 33554432000 4194304 8973514 140734174452896 140734174450816 4209198 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15626/statm: 45328 44567 458 1167 0 44109 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 181312
[startup+1062.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 15657
/proc/meminfo: memFree=27212516/32873648 swapFree=6848/6848
[pid=15626] ppid=15624 vsize=184384 CPUtime=1062.11 cores=1,3,5,7
/proc/15626/stat : 15626 (toysat) R 15624 15626 14927 0 -1 4202496 45435 0 0 0 106114 97 0 0 20 0 1 0 279209540 188809216 45335 33554432000 4194304 8973514 140734174452896 140734174452392 6571900 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15626/statm: 46096 45335 458 1167 0 44877 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 184384
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15657
/proc/meminfo: memFree=27199732/32873648 swapFree=6848/6848
[pid=15626] ppid=15624 vsize=186432 CPUtime=1122.1 cores=1,3,5,7
/proc/15626/stat : 15626 (toysat) R 15624 15626 14927 0 -1 4202496 45947 0 0 0 112108 102 0 0 20 0 1 0 279209540 190906368 45847 33554432000 4194304 8973514 140734174452896 140734174452392 4427820 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15626/statm: 46608 45847 458 1167 0 45389 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 186432
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15661
/proc/meminfo: memFree=27194392/32873648 swapFree=6848/6848
[pid=15626] ppid=15624 vsize=189504 CPUtime=1182.09 cores=1,3,5,7
/proc/15626/stat : 15626 (toysat) R 15624 15626 14927 0 -1 4202496 46715 0 0 0 118102 107 0 0 20 0 1 0 279209540 194052096 46615 33554432000 4194304 8973514 140734174452896 140734174452392 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15626/statm: 47376 46615 458 1167 0 46157 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 189504
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15661
/proc/meminfo: memFree=27191828/32873648 swapFree=6848/6848
[pid=15626] ppid=15624 vsize=191552 CPUtime=1242.08 cores=1,3,5,7
/proc/15626/stat : 15626 (toysat) R 15624 15626 14927 0 -1 4202496 47227 0 0 0 124096 112 0 0 20 0 1 0 279209540 196149248 47127 33554432000 4194304 8973514 140734174452896 140734174452392 4441196 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15626/statm: 47888 47127 458 1167 0 46669 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 191552
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15661
/proc/meminfo: memFree=27185924/32873648 swapFree=6848/6848
[pid=15626] ppid=15624 vsize=194624 CPUtime=1302.07 cores=1,3,5,7
/proc/15626/stat : 15626 (toysat) R 15624 15626 14927 0 -1 4202496 47995 0 0 0 130091 116 0 0 20 0 1 0 279209540 199294976 47895 33554432000 4194304 8973514 140734174452896 140734174452392 4427820 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15626/statm: 48656 47895 458 1167 0 47437 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 194624
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15661
/proc/meminfo: memFree=27182452/32873648 swapFree=6848/6848
[pid=15626] ppid=15624 vsize=197696 CPUtime=1362.06 cores=1,3,5,7
/proc/15626/stat : 15626 (toysat) R 15624 15626 14927 0 -1 4202496 48763 0 0 0 136085 121 0 0 20 0 1 0 279209540 202440704 48663 33554432000 4194304 8973514 140734174452896 140734174452392 4441196 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15626/statm: 49424 48663 458 1167 0 48205 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 197696
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15661
/proc/meminfo: memFree=27175756/32873648 swapFree=6848/6848
[pid=15626] ppid=15624 vsize=200768 CPUtime=1422.06 cores=1,3,5,7
/proc/15626/stat : 15626 (toysat) R 15624 15626 14927 0 -1 4202496 49532 0 0 0 142079 127 0 0 20 0 1 0 279209540 205586432 49431 33554432000 4194304 8973514 140734174452896 140734174452392 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15626/statm: 50192 49431 458 1167 0 48973 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 200768
[startup+1482.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/177 15662
/proc/meminfo: memFree=27173648/32873648 swapFree=6848/6848
[pid=15626] ppid=15624 vsize=202816 CPUtime=1482.05 cores=1,3,5,7
/proc/15626/stat : 15626 (toysat) R 15624 15626 14927 0 -1 4202496 50044 0 0 0 148074 131 0 0 20 0 1 0 279209540 207683584 49943 33554432000 4194304 8973514 140734174452896 140734174452392 4427744 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15626/statm: 50704 49943 458 1167 0 49485 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 202816
[startup+1542.31 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 15662
/proc/meminfo: memFree=27170788/32873648 swapFree=6848/6848
[pid=15626] ppid=15624 vsize=203840 CPUtime=1542.04 cores=1,3,5,7
/proc/15626/stat : 15626 (toysat) R 15624 15626 14927 0 -1 4202496 50300 0 0 0 154068 136 0 0 20 0 1 0 279209540 208732160 50199 33554432000 4194304 8973514 140734174452896 140734174452160 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15626/statm: 50960 50199 458 1167 0 49741 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 203840
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 15662
/proc/meminfo: memFree=27163596/32873648 swapFree=6848/6848
[pid=15626] ppid=15624 vsize=206912 CPUtime=1602.02 cores=1,3,5,7
/proc/15626/stat : 15626 (toysat) R 15624 15626 14927 0 -1 4202496 51068 0 0 0 160061 141 0 0 20 0 1 0 279209540 211877888 50967 33554432000 4194304 8973514 140734174452896 140734174452392 6571896 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15626/statm: 51728 50967 458 1167 0 50509 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 206912
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 15662
/proc/meminfo: memFree=27160980/32873648 swapFree=6848/6848
[pid=15626] ppid=15624 vsize=208960 CPUtime=1662.01 cores=1,3,5,7
/proc/15626/stat : 15626 (toysat) R 15624 15626 14927 0 -1 4202496 51582 0 0 0 166054 147 0 0 20 0 1 0 279209540 213975040 51479 33554432000 4194304 8973514 140734174452896 140734174452392 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15626/statm: 52240 51479 458 1167 0 51021 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 208960
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15701
/proc/meminfo: memFree=27115452/32873648 swapFree=6848/6848
[pid=15626] ppid=15624 vsize=213056 CPUtime=1722 cores=1,3,5,7
/proc/15626/stat : 15626 (toysat) R 15624 15626 14927 0 -1 4202496 52606 0 0 0 172046 154 0 0 20 0 1 0 279209540 218169344 52503 33554432000 4194304 8973514 140734174452896 140734174452160 4372288 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15626/statm: 53264 52503 458 1167 0 52045 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 213056
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15705
/proc/meminfo: memFree=27004184/32873648 swapFree=6848/6848
[pid=15626] ppid=15624 vsize=215104 CPUtime=1782 cores=1,3,5,7
/proc/15626/stat : 15626 (toysat) R 15624 15626 14927 0 -1 4202496 53118 0 0 0 178041 159 0 0 20 0 1 0 279209540 220266496 53015 33554432000 4194304 8973514 140734174452896 140734174452392 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15626/statm: 53776 53015 458 1167 0 52557 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 215104
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15705
/proc/meminfo: memFree=26960956/32873648 swapFree=6848/6848
[pid=15626] ppid=15624 vsize=216128 CPUtime=1800.1 cores=1,3,5,7
/proc/15626/stat : 15626 (toysat) R 15624 15626 14927 0 -1 4202496 53375 0 0 0 179850 160 0 0 20 0 1 0 279209540 221315072 53271 33554432000 4194304 8973514 140734174452896 140734174452392 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15626/statm: 54032 53271 458 1167 0 52813 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 216128
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15705
/proc/meminfo: memFree=26960956/32873648 swapFree=6848/6848
[pid=15626] ppid=15624 vsize=216128 CPUtime=1800.1 cores=1,3,5,7
/proc/15626/stat : 15626 (toysat) R 15624 15626 14927 0 -1 4202496 53375 0 0 0 179850 160 0 0 20 0 1 0 279209540 221315072 53271 33554432000 4194304 8973514 140734174452896 140734174452392 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15626/statm: 54032 53271 458 1167 0 52813 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 216128
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.11
CPU user time (s): 1798.5
CPU system time (s): 1.60876
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 216128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.5
system time used= 1.60875
maximum resident set size= 213084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53375
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= 34
involuntary context switches= 1854
runsolver used 3.3215 second user time and 9.06362 second system time
The end