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-3707134-1338143949/watcher-3707134-1338143949 -o /tmp/evaluation-result-3707134-1338143949/solver-3707134-1338143949 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3707134-1338143949.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.93 2.00 1.99 3/176 21649
/proc/meminfo: memFree=30804608/32873648 swapFree=7112/7112
[pid=21649] ppid=21647 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/21649/stat : 21649 (toysat) R 21647 21649 18885 0 -1 4202496 807 0 0 0 0 0 0 0 20 0 1 0 280520800 6356992 727 33554432000 4194304 8973514 140736616746608 140733648669112 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21649/statm: 1552 727 415 1167 0 333 0
[startup+0.077315 s]
/proc/loadavg: 1.93 2.00 1.99 3/176 21649
/proc/meminfo: memFree=30804608/32873648 swapFree=7112/7112
[pid=21649] ppid=21647 vsize=11328 CPUtime=0.07 cores=1,3,5,7
/proc/21649/stat : 21649 (toysat) R 21647 21649 18885 0 -1 4202496 2009 0 0 0 7 0 0 0 20 0 1 0 280520800 11599872 1929 33554432000 4194304 8973514 140736616746608 140736616746104 4212523 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21649/statm: 2832 1936 418 1167 0 1613 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11328
[startup+0.100309 s]
/proc/loadavg: 1.93 2.00 1.99 3/176 21649
/proc/meminfo: memFree=30804608/32873648 swapFree=7112/7112
[pid=21649] ppid=21647 vsize=12352 CPUtime=0.09 cores=1,3,5,7
/proc/21649/stat : 21649 (toysat) R 21647 21649 18885 0 -1 4202496 2356 0 0 0 9 0 0 0 20 0 1 0 280520800 12648448 2276 33554432000 4194304 8973514 140736616746608 140736616746104 5781858 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21649/statm: 3088 2276 418 1167 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12352
[startup+0.300294 s]
/proc/loadavg: 1.93 2.00 1.99 3/176 21649
/proc/meminfo: memFree=30804608/32873648 swapFree=7112/7112
[pid=21649] ppid=21647 vsize=26688 CPUtime=0.28 cores=1,3,5,7
/proc/21649/stat : 21649 (toysat) R 21647 21649 18885 0 -1 4202496 5940 0 0 0 28 0 0 0 20 0 1 0 280520800 27328512 5860 33554432000 4194304 8973514 140736616746608 140736616746104 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21649/statm: 6672 5860 418 1167 0 5453 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 26688
[startup+0.700237 s]
/proc/loadavg: 1.93 2.00 1.99 3/176 21649
/proc/meminfo: memFree=30804608/32873648 swapFree=7112/7112
[pid=21649] ppid=21647 vsize=56384 CPUtime=0.69 cores=1,3,5,7
/proc/21649/stat : 21649 (toysat) R 21647 21649 18885 0 -1 4202496 13364 0 0 0 67 2 0 0 20 0 1 0 280520800 57737216 13284 33554432000 4194304 8973514 140736616746608 140736616745448 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21649/statm: 14096 13284 418 1167 0 12877 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 56384
[startup+1.5003 s]
/proc/loadavg: 1.93 2.00 1.99 3/177 21650
/proc/meminfo: memFree=30732556/32873648 swapFree=7112/7112
[pid=21649] ppid=21647 vsize=98368 CPUtime=1.49 cores=1,3,5,7
/proc/21649/stat : 21649 (toysat) R 21647 21649 18885 0 -1 4202496 23860 0 0 0 145 4 0 0 20 0 1 0 280520800 100728832 23780 33554432000 4194304 8973514 140736616746608 140736616745448 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21649/statm: 24592 23780 418 1167 0 23373 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 98368
[startup+3.1003 s]
/proc/loadavg: 1.93 2.00 1.99 3/177 21650
/proc/meminfo: memFree=30677120/32873648 swapFree=7112/7112
[pid=21649] ppid=21647 vsize=208960 CPUtime=3.08 cores=1,3,5,7
/proc/21649/stat : 21649 (toysat) R 21647 21649 18885 0 -1 4202496 51359 0 0 0 299 9 0 0 20 0 1 0 280520800 213975040 51279 33554432000 4194304 8973514 140736616746608 140736616729704 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21649/statm: 52240 51288 418 1167 0 51021 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 208960
[startup+6.30032 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 21650
/proc/meminfo: memFree=30511660/32873648 swapFree=7112/7112
[pid=21649] ppid=21647 vsize=297024 CPUtime=6.29 cores=1,3,5,7
/proc/21649/stat : 21649 (toysat) R 21647 21649 18885 0 -1 4202496 73557 0 0 0 616 13 0 0 20 0 1 0 280520800 304152576 73477 33554432000 4194304 8973514 140736616746608 140736616745872 7680128 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21649/statm: 74256 73477 445 1167 0 73037 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 297024
[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 21650
/proc/meminfo: memFree=30502760/32873648 swapFree=7112/7112
[pid=21649] ppid=21647 vsize=300096 CPUtime=12.68 cores=1,3,5,7
/proc/21649/stat : 21649 (toysat) R 21647 21649 18885 0 -1 4202496 74335 0 0 0 1254 14 0 0 20 0 1 0 280520800 307298304 74255 33554432000 4194304 8973514 140736616746608 140736616746104 7688847 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21649/statm: 75024 74255 455 1167 0 73805 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 300096
[startup+25.5003 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 21650
/proc/meminfo: memFree=30490360/32873648 swapFree=7112/7112
[pid=21649] ppid=21647 vsize=310336 CPUtime=25.48 cores=1,3,5,7
/proc/21649/stat : 21649 (toysat) R 21647 21649 18885 0 -1 4202496 76869 0 0 0 2529 19 0 0 20 0 1 0 280520800 317784064 76789 33554432000 4194304 8973514 140736616746608 140736616746104 4427236 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21649/statm: 77584 76789 455 1167 0 76365 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 310336
[startup+51.1002 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 21650
/proc/meminfo: memFree=30469980/32873648 swapFree=7112/7112
[pid=21649] ppid=21647 vsize=321600 CPUtime=51.08 cores=1,3,5,7
/proc/21649/stat : 21649 (toysat) R 21647 21649 18885 0 -1 4202496 79712 0 0 0 5079 29 0 0 20 0 1 0 280520800 329318400 79636 33554432000 4194304 8973514 140736616746608 140736616746104 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21649/statm: 80400 79636 455 1167 0 79181 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 321600
[startup+102.307 s]
/proc/loadavg: 2.07 2.04 2.00 3/178 21653
/proc/meminfo: memFree=30434868/32873648 swapFree=7112/7112
[pid=21649] ppid=21647 vsize=341056 CPUtime=102.27 cores=1,3,5,7
/proc/21649/stat : 21649 (toysat) R 21647 21649 18885 0 -1 4202496 84590 0 0 0 10182 45 0 0 20 0 1 0 280520800 349241344 84500 33554432000 4194304 8973514 140736616746608 140736616746104 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21649/statm: 85264 84500 455 1167 0 84045 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 341056
[startup+162.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 21654
/proc/meminfo: memFree=30398456/32873648 swapFree=7112/7112
[pid=21649] ppid=21647 vsize=364608 CPUtime=162.25 cores=1,3,5,7
/proc/21649/stat : 21649 (toysat) R 21647 21649 18885 0 -1 4202496 90488 0 0 0 16158 67 0 0 20 0 1 0 280520800 373358592 90388 33554432000 4194304 8973514 140736616746608 140736616746104 4208816 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21649/statm: 91152 90388 455 1167 0 89933 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 364608
[startup+222.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 21654
/proc/meminfo: memFree=30359420/32873648 swapFree=7112/7112
[pid=21649] ppid=21647 vsize=387136 CPUtime=222.22 cores=1,3,5,7
/proc/21649/stat : 21649 (toysat) R 21647 21649 18885 0 -1 4202496 96147 0 0 0 22131 91 0 0 20 0 1 0 280520800 396427264 96020 33554432000 4194304 8973514 140736616746608 140736616746104 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21649/statm: 96784 96020 455 1167 0 95565 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 387136
[startup+282.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/177 21654
/proc/meminfo: memFree=30319708/32873648 swapFree=7112/7112
[pid=21649] ppid=21647 vsize=411712 CPUtime=282.19 cores=1,3,5,7
/proc/21649/stat : 21649 (toysat) R 21647 21649 18885 0 -1 4202496 102311 0 0 0 28110 109 0 0 20 0 1 0 280520800 421593088 102164 33554432000 4194304 8973514 140736616746608 140736616745872 4427820 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21649/statm: 102928 102164 455 1167 0 101709 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 411712
[startup+342.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/177 21654
/proc/meminfo: memFree=30278420/32873648 swapFree=7112/7112
[pid=21649] ppid=21647 vsize=436288 CPUtime=342.18 cores=1,3,5,7
/proc/21649/stat : 21649 (toysat) R 21647 21649 18885 0 -1 4202496 108455 0 0 0 34090 128 0 0 20 0 1 0 280520800 446758912 108308 33554432000 4194304 8973514 140736616746608 140736616746104 4209446 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21649/statm: 109072 108308 455 1167 0 107853 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 436288
[startup+402.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 21654
/proc/meminfo: memFree=30237376/32873648 swapFree=7112/7112
[pid=21649] ppid=21647 vsize=461888 CPUtime=402.18 cores=1,3,5,7
/proc/21649/stat : 21649 (toysat) R 21647 21649 18885 0 -1 4202496 114855 0 0 0 40070 148 0 0 20 0 1 0 280520800 472973312 114708 33554432000 4194304 8973514 140736616746608 140736616746104 4208833 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21649/statm: 115472 114708 455 1167 0 114253 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 461888
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 21654
/proc/meminfo: memFree=30196464/32873648 swapFree=7112/7112
[pid=21649] ppid=21647 vsize=485440 CPUtime=462.16 cores=1,3,5,7
/proc/21649/stat : 21649 (toysat) R 21647 21649 18885 0 -1 4202496 120743 0 0 0 46051 165 0 0 20 0 1 0 280520800 497090560 120596 33554432000 4194304 8973514 140736616746608 140736616746104 6817632 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21649/statm: 121360 120596 455 1167 0 120141 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 485440
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 21655
/proc/meminfo: memFree=30157904/32873648 swapFree=7112/7112
[pid=21649] ppid=21647 vsize=507968 CPUtime=522.16 cores=1,3,5,7
/proc/21649/stat : 21649 (toysat) R 21647 21649 18885 0 -1 4202496 126375 0 0 0 52029 187 0 0 20 0 1 0 280520800 520159232 126228 33554432000 4194304 8973514 140736616746608 140736616746104 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21649/statm: 126992 126228 455 1167 0 125773 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 507968
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 21655
/proc/meminfo: memFree=30121108/32873648 swapFree=7112/7112
[pid=21649] ppid=21647 vsize=528448 CPUtime=582.14 cores=1,3,5,7
/proc/21649/stat : 21649 (toysat) R 21647 21649 18885 0 -1 4202496 131495 0 0 0 58008 206 0 0 20 0 1 0 280520800 541130752 131348 33554432000 4194304 8973514 140736616746608 140736616745872 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21649/statm: 132112 131348 455 1167 0 130893 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 528448
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/177 21659
/proc/meminfo: memFree=30021716/32873648 swapFree=7112/7112
[pid=21649] ppid=21647 vsize=608320 CPUtime=822.11 cores=1,3,5,7
/proc/21649/stat : 21649 (toysat) R 21647 21649 18885 0 -1 4202496 151464 0 0 0 81934 277 0 0 20 0 1 0 280520800 622919680 151317 33554432000 4194304 8973514 140736616746608 140736616746104 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21649/statm: 152080 151317 456 1167 0 150861 0
Current children cumulated CPU time (s) 822.11
Current children cumulated vsize (KiB) 608320
[startup+882.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/177 21659
/proc/meminfo: memFree=30021504/32873648 swapFree=7112/7112
[pid=21649] ppid=21647 vsize=608320 CPUtime=882.09 cores=1,3,5,7
/proc/21649/stat : 21649 (toysat) R 21647 21649 18885 0 -1 4202496 151480 0 0 0 87914 295 0 0 20 0 1 0 280520800 622919680 151317 33554432000 4194304 8973514 140736616746608 140736616746104 4214034 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21649/statm: 152080 151317 456 1167 0 150861 0
Current children cumulated CPU time (s) 882.09
Current children cumulated vsize (KiB) 608320
[startup+942.3 s]
/proc/loadavg: 2.05 2.06 2.00 3/177 21659
/proc/meminfo: memFree=30021284/32873648 swapFree=7112/7112
[pid=21649] ppid=21647 vsize=608320 CPUtime=942.07 cores=1,3,5,7
/proc/21649/stat : 21649 (toysat) R 21647 21649 18885 0 -1 4202496 151495 0 0 0 93895 312 0 0 20 0 1 0 280520800 622919680 151317 33554432000 4194304 8973514 140736616746608 140736616746104 5386907 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21649/statm: 152080 151317 456 1167 0 150861 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 608320
[startup+1002.3 s]
/proc/loadavg: 2.05 2.06 2.00 3/177 21659
/proc/meminfo: memFree=30021336/32873648 swapFree=7112/7112
[pid=21649] ppid=21647 vsize=608320 CPUtime=1002.06 cores=1,3,5,7
/proc/21649/stat : 21649 (toysat) R 21647 21649 18885 0 -1 4202496 151496 0 0 0 99876 330 0 0 20 0 1 0 280520800 622919680 151317 33554432000 4194304 8973514 140736616746608 140736616746104 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21649/statm: 152080 151317 456 1167 0 150861 0
Current children cumulated CPU time (s) 1002.06
Current children cumulated vsize (KiB) 608320
[startup+1062.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 21659
/proc/meminfo: memFree=30021460/32873648 swapFree=7112/7112
[pid=21649] ppid=21647 vsize=608320 CPUtime=1062.06 cores=1,3,5,7
/proc/21649/stat : 21649 (toysat) R 21647 21649 18885 0 -1 4202496 151496 0 0 0 105859 347 0 0 20 0 1 0 280520800 622919680 151317 33554432000 4194304 8973514 140736616746608 140736616746104 4415636 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21649/statm: 152080 151317 456 1167 0 150861 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 608320
[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 21660
/proc/meminfo: memFree=30021464/32873648 swapFree=7112/7112
[pid=21649] ppid=21647 vsize=608320 CPUtime=1122.04 cores=1,3,5,7
/proc/21649/stat : 21649 (toysat) R 21647 21649 18885 0 -1 4202496 151496 0 0 0 111843 361 0 0 20 0 1 0 280520800 622919680 151317 33554432000 4194304 8973514 140736616746608 140736616746104 4415209 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21649/statm: 152080 151317 456 1167 0 150861 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 608320
[startup+1182.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 21660
/proc/meminfo: memFree=30020348/32873648 swapFree=7112/7112
[pid=21649] ppid=21647 vsize=611392 CPUtime=1182.03 cores=1,3,5,7
/proc/21649/stat : 21649 (toysat) R 21647 21649 18885 0 -1 4202496 152264 0 0 0 117826 377 0 0 20 0 1 0 280520800 626065408 152085 33554432000 4194304 8973514 140736616746608 140736616746104 4437125 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21649/statm: 152848 152085 456 1167 0 151629 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 611392
[startup+1242.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 21699
/proc/meminfo: memFree=28651608/32873648 swapFree=7112/7112
[pid=21649] ppid=21647 vsize=628800 CPUtime=1242.02 cores=1,3,5,7
/proc/21649/stat : 21649 (toysat) R 21647 21649 18885 0 -1 4202496 156616 0 0 0 123809 393 0 0 20 0 1 0 280520800 643891200 156437 33554432000 4194304 8973514 140736616746608 140736616746104 4441196 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21649/statm: 157200 156437 456 1167 0 155981 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 628800
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 21702
/proc/meminfo: memFree=28708592/32873648 swapFree=7112/7112
[pid=21649] ppid=21647 vsize=647232 CPUtime=1302.02 cores=1,3,5,7
/proc/21649/stat : 21649 (toysat) R 21647 21649 18885 0 -1 4202496 161224 0 0 0 129794 408 0 0 20 0 1 0 280520800 662765568 161045 33554432000 4194304 8973514 140736616746608 140736616746104 4424740 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21649/statm: 161808 161045 456 1167 0 160589 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 647232
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 21725
/proc/meminfo: memFree=28692684/32873648 swapFree=7112/7112
[pid=21649] ppid=21647 vsize=663616 CPUtime=1362 cores=1,3,5,7
/proc/21649/stat : 21649 (toysat) R 21647 21649 18885 0 -1 4202496 165320 0 0 0 135773 427 0 0 20 0 1 0 280520800 679542784 165141 33554432000 4194304 8973514 140736616746608 140736616746104 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21649/statm: 165904 165141 456 1167 0 164685 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 663616
[startup+1422.31 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 21726
/proc/meminfo: memFree=28677316/32873648 swapFree=7112/7112
[pid=21649] ppid=21647 vsize=678976 CPUtime=1422.01 cores=1,3,5,7
/proc/21649/stat : 21649 (toysat) R 21647 21649 18885 0 -1 4202496 169160 0 0 0 141758 443 0 0 20 0 1 0 280520800 695271424 168981 33554432000 4194304 8973514 140736616746608 140736616746104 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21649/statm: 169744 168981 456 1167 0 168525 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 678976
[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 21726
/proc/meminfo: memFree=28677316/32873648 swapFree=7112/7112
[pid=21649] ppid=21647 vsize=678976 CPUtime=1481.99 cores=1,3,5,7
/proc/21649/stat : 21649 (toysat) R 21647 21649 18885 0 -1 4202496 169160 0 0 0 147741 458 0 0 20 0 1 0 280520800 695271424 168981 33554432000 4194304 8973514 140736616746608 140736616746104 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21649/statm: 169744 168981 456 1167 0 168525 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 678976
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 21726
/proc/meminfo: memFree=28677576/32873648 swapFree=7112/7112
[pid=21649] ppid=21647 vsize=678976 CPUtime=1541.98 cores=1,3,5,7
/proc/21649/stat : 21649 (toysat) R 21647 21649 18885 0 -1 4202496 169160 0 0 0 153719 479 0 0 20 0 1 0 280520800 695271424 168981 33554432000 4194304 8973514 140736616746608 140736616746104 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21649/statm: 169744 168981 456 1167 0 168525 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 678976
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 21726
/proc/meminfo: memFree=28677416/32873648 swapFree=7112/7112
[pid=21649] ppid=21647 vsize=678976 CPUtime=1601.96 cores=1,3,5,7
/proc/21649/stat : 21649 (toysat) R 21647 21649 18885 0 -1 4202496 169163 0 0 0 159698 498 0 0 20 0 1 0 280520800 695271424 168981 33554432000 4194304 8973514 140736616746608 140736616746104 4208816 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21649/statm: 169744 168981 456 1167 0 168525 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 678976
[startup+1662.3 s]
/proc/loadavg: 2.06 2.03 2.01 3/177 21726
/proc/meminfo: memFree=28677028/32873648 swapFree=7112/7112
[pid=21649] ppid=21647 vsize=678976 CPUtime=1661.96 cores=1,3,5,7
/proc/21649/stat : 21649 (toysat) R 21647 21649 18885 0 -1 4202496 169163 0 0 0 165679 517 0 0 20 0 1 0 280520800 695271424 168981 33554432000 4194304 8973514 140736616746608 140736616746104 4447480 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21649/statm: 169744 168981 456 1167 0 168525 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 678976
[startup+1722.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 21727
/proc/meminfo: memFree=28676684/32873648 swapFree=7112/7112
[pid=21649] ppid=21647 vsize=678976 CPUtime=1721.95 cores=1,3,5,7
/proc/21649/stat : 21649 (toysat) R 21647 21649 18885 0 -1 4202496 169163 0 0 0 171661 534 0 0 20 0 1 0 280520800 695271424 168981 33554432000 4194304 8973514 140736616746608 140736616745872 4414896 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21649/statm: 169744 168981 456 1167 0 168525 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 678976
[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 21727
/proc/meminfo: memFree=28676588/32873648 swapFree=7112/7112
[pid=21649] ppid=21647 vsize=678976 CPUtime=1781.94 cores=1,3,5,7
/proc/21649/stat : 21649 (toysat) R 21647 21649 18885 0 -1 4202496 169163 0 0 0 177647 547 0 0 20 0 1 0 280520800 695271424 168981 33554432000 4194304 8973514 140736616746608 140736616746104 4415636 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21649/statm: 169744 168981 456 1167 0 168525 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 678976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 21727
/proc/meminfo: memFree=28676220/32873648 swapFree=7112/7112
[pid=21649] ppid=21647 vsize=678976 CPUtime=1800.05 cores=1,3,5,7
/proc/21649/stat : 21649 (toysat) R 21647 21649 18885 0 -1 4202496 169163 0 0 0 179452 553 0 0 20 0 1 0 280520800 695271424 168981 33554432000 4194304 8973514 140736616746608 140736616746104 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21649/statm: 169744 168981 456 1167 0 168525 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 678976
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.05
CPU user time (s): 1794.52
CPU system time (s): 5.53416
CPU usage (%): 99.9803
Max. virtual memory (cumulated for all children) (KiB): 678976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.52
system time used= 5.53416
maximum resident set size= 675924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 169163
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= 110
involuntary context switches= 1852
runsolver used 2.55161 second user time and 10.6324 second system time
The end