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-3706046-1338145488/watcher-3706046-1338145488 -o /tmp/evaluation-result-3706046-1338145488/solver-3706046-1338145488 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706046-1338145488.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.10 2.02 2.01 3/176 17050
/proc/meminfo: memFree=27687068/32873648 swapFree=7372/7372
[pid=17050] ppid=17048 vsize=7232 CPUtime=0 cores=1,3,5,7
/proc/17050/stat : 17050 (toysat) R 17048 17050 12124 0 -1 4202496 828 0 0 0 0 0 0 0 20 0 1 0 280675594 7405568 749 33554432000 4194304 8973514 140735154540400 140735665804968 4209325 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/17050/statm: 1808 751 416 1167 0 589 0
[startup+0.0933901 s]
/proc/loadavg: 2.10 2.02 2.01 3/176 17050
/proc/meminfo: memFree=27687068/32873648 swapFree=7372/7372
[pid=17050] ppid=17048 vsize=13376 CPUtime=0.08 cores=1,3,5,7
/proc/17050/stat : 17050 (toysat) R 17048 17050 12124 0 -1 4202496 2388 0 0 0 8 0 0 0 20 0 1 0 280675594 13697024 2309 33554432000 4194304 8973514 140735154540400 140735665804968 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/17050/statm: 3344 2309 417 1167 0 2125 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13376
[startup+0.100199 s]
/proc/loadavg: 2.10 2.02 2.01 3/176 17050
/proc/meminfo: memFree=27687068/32873648 swapFree=7372/7372
[pid=17050] ppid=17048 vsize=13376 CPUtime=0.09 cores=1,3,5,7
/proc/17050/stat : 17050 (toysat) R 17048 17050 12124 0 -1 4202496 2388 0 0 0 9 0 0 0 20 0 1 0 280675594 13697024 2309 33554432000 4194304 8973514 140735154540400 140735665804968 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/17050/statm: 3344 2309 417 1167 0 2125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13376
[startup+0.300166 s]
/proc/loadavg: 2.10 2.02 2.01 3/176 17050
/proc/meminfo: memFree=27687068/32873648 swapFree=7372/7372
[pid=17050] ppid=17048 vsize=24640 CPUtime=0.29 cores=1,3,5,7
/proc/17050/stat : 17050 (toysat) R 17048 17050 12124 0 -1 4202496 5426 0 0 0 28 1 0 0 20 0 1 0 280675594 25231360 5347 33554432000 4194304 8973514 140735154540400 140735665804968 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/17050/statm: 6160 5347 417 1167 0 4941 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24640
[startup+0.700168 s]
/proc/loadavg: 2.10 2.02 2.01 3/176 17050
/proc/meminfo: memFree=27687068/32873648 swapFree=7372/7372
[pid=17050] ppid=17048 vsize=54336 CPUtime=0.69 cores=1,3,5,7
/proc/17050/stat : 17050 (toysat) R 17048 17050 12124 0 -1 4202496 12851 0 0 0 67 2 0 0 20 0 1 0 280675594 55640064 12772 33554432000 4194304 8973514 140735154540400 140735154539664 7841851 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/17050/statm: 13584 12772 418 1167 0 12365 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 54336
[startup+1.50017 s]
/proc/loadavg: 2.17 2.04 2.01 3/177 17051
/proc/meminfo: memFree=27618836/32873648 swapFree=7372/7372
[pid=17050] ppid=17048 vsize=97344 CPUtime=1.49 cores=1,3,5,7
/proc/17050/stat : 17050 (toysat) R 17048 17050 12124 0 -1 4202496 23603 0 0 0 144 5 0 0 20 0 1 0 280675594 99680256 23524 33554432000 4194304 8973514 140735154540400 140735154539240 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/17050/statm: 24336 23524 418 1167 0 23117 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 97344
[startup+3.10019 s]
/proc/loadavg: 2.17 2.04 2.01 3/177 17051
/proc/meminfo: memFree=27560572/32873648 swapFree=7372/7372
[pid=17050] ppid=17048 vsize=227392 CPUtime=3.09 cores=1,3,5,7
/proc/17050/stat : 17050 (toysat) R 17048 17050 12124 0 -1 4202496 56077 0 0 0 299 10 0 0 20 0 1 0 280675594 232849408 55998 33554432000 4194304 8973514 140735154540400 140735154539896 4209325 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/17050/statm: 56848 56005 418 1167 0 55629 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 227392
[startup+6.30025 s]
/proc/loadavg: 2.16 2.04 2.01 3/177 17051
/proc/meminfo: memFree=27374440/32873648 swapFree=7372/7372
[pid=17050] ppid=17048 vsize=440384 CPUtime=6.29 cores=1,3,5,7
/proc/17050/stat : 17050 (toysat) R 17048 17050 12124 0 -1 4202496 109363 0 0 0 609 20 0 0 20 0 1 0 280675594 450953216 109284 33554432000 4194304 8973514 140735154540400 140735154539896 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/17050/statm: 110096 109284 418 1167 0 108877 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 440384
[startup+12.7002 s]
/proc/loadavg: 2.14 2.04 2.01 3/177 17051
/proc/meminfo: memFree=26898308/32873648 swapFree=7372/7372
[pid=17050] ppid=17048 vsize=797760 CPUtime=12.68 cores=1,3,5,7
/proc/17050/stat : 17050 (toysat) R 17048 17050 12124 0 -1 4202496 198707 0 0 0 1229 39 0 0 20 0 1 0 280675594 816906240 198628 33554432000 4194304 8973514 140735154540400 140735154539896 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/17050/statm: 199440 198628 418 1167 0 198221 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 797760
[startup+25.5003 s]
/proc/loadavg: 2.19 2.05 2.01 3/177 17051
/proc/meminfo: memFree=26248936/32873648 swapFree=7372/7372
[pid=17050] ppid=17048 vsize=1443904 CPUtime=25.48 cores=1,3,5,7
/proc/17050/stat : 17050 (toysat) R 17048 17050 12124 0 -1 4202496 360243 0 0 0 2474 74 0 0 20 0 1 0 280675594 1478557696 360164 33554432000 4194304 8973514 140735154540400 140735154539896 4212507 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/17050/statm: 360976 360164 418 1167 0 359757 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1443904
[startup+51.1002 s]
/proc/loadavg: 2.12 2.04 2.01 3/177 17052
/proc/meminfo: memFree=24156904/32873648 swapFree=7372/7372
[pid=17050] ppid=17048 vsize=3525696 CPUtime=51.07 cores=1,3,5,7
/proc/17050/stat : 17050 (toysat) R 17048 17050 12124 0 -1 4202496 880691 0 0 0 4947 160 0 0 20 0 1 0 280675594 3610312704 880612 33554432000 4194304 8973514 140735154540400 140735154539664 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/17050/statm: 881424 880612 418 1167 0 880205 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 3525696
[startup+102.306 s]
/proc/loadavg: 2.05 2.03 2.01 3/177 17052
/proc/meminfo: memFree=21371864/32873648 swapFree=7372/7372
[pid=17050] ppid=17048 vsize=6292544 CPUtime=102.27 cores=1,3,5,7
/proc/17050/stat : 17050 (toysat) R 17048 17050 12124 0 -1 4202496 1572404 0 0 0 9922 305 0 0 20 0 1 0 280675594 6443565056 1572325 33554432000 4194304 8973514 140735154540400 140735154539896 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/17050/statm: 1573136 1572325 418 1167 0 1571917 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 6292544
[startup+162.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 17052
/proc/meminfo: memFree=16529044/32873648 swapFree=7372/7372
[pid=17050] ppid=17048 vsize=11112512 CPUtime=162.25 cores=1,3,5,7
/proc/17050/stat : 17050 (toysat) R 17048 17050 12124 0 -1 4202496 2777414 0 0 0 15717 508 0 0 20 0 1 0 280675594 11379212288 2777335 33554432000 4194304 8973514 140735154540400 140735154539896 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/17050/statm: 2778128 2777335 429 1167 0 2776909 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 11112512
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 17052
/proc/meminfo: memFree=15576608/32873648 swapFree=7372/7372
[pid=17050] ppid=17048 vsize=12046400 CPUtime=222.24 cores=1,3,5,7
/proc/17050/stat : 17050 (toysat) R 17048 17050 12124 0 -1 4202496 3010903 0 0 0 21663 561 0 0 20 0 1 0 280675594 12335513600 3010824 33554432000 4194304 8973514 140735154540400 140735154539664 4427144 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/17050/statm: 3011600 3010824 446 1167 0 3010381 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 12046400
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 17052
/proc/meminfo: memFree=15927156/32873648 swapFree=7372/7372
[pid=17050] ppid=17048 vsize=11682880 CPUtime=282.22 cores=1,3,5,7
/proc/17050/stat : 17050 (toysat) R 17048 17050 12124 0 -1 4202496 3010903 0 0 0 27650 572 0 0 20 0 1 0 280675594 11963269120 2919944 33554432000 4194304 8973514 140735154540400 140735154539896 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/17050/statm: 2920720 2919944 446 1167 0 2919501 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 11682880
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 17056
/proc/meminfo: memFree=15913616/32873648 swapFree=7372/7372
[pid=17050] ppid=17048 vsize=11682880 CPUtime=342.22 cores=1,3,5,7
/proc/17050/stat : 17050 (toysat) R 17048 17050 12124 0 -1 4202496 3010903 0 0 0 33641 581 0 0 20 0 1 0 280675594 11963269120 2919944 33554432000 4194304 8973514 140735154540400 140735154539664 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/17050/statm: 2920720 2919944 446 1167 0 2919501 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 11682880
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17056
/proc/meminfo: memFree=15896140/32873648 swapFree=7372/7372
[pid=17050] ppid=17048 vsize=11682880 CPUtime=402.21 cores=1,3,5,7
/proc/17050/stat : 17050 (toysat) R 17048 17050 12124 0 -1 4202496 3010903 0 0 0 39633 588 0 0 20 0 1 0 280675594 11963269120 2919944 33554432000 4194304 8973514 140735154540400 140735154539896 7672543 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/17050/statm: 2920720 2919944 446 1167 0 2919501 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 11682880
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17095
/proc/meminfo: memFree=16309956/32873648 swapFree=7372/7372
[pid=17050] ppid=17048 vsize=11682880 CPUtime=462.2 cores=1,3,5,7
/proc/17050/stat : 17050 (toysat) R 17048 17050 12124 0 -1 4202496 3010903 0 0 0 45622 598 0 0 20 0 1 0 280675594 11963269120 2919944 33554432000 4194304 8973514 140735154540400 140735154539896 7841851 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/17050/statm: 2920720 2919944 446 1167 0 2919501 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 11682880
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17095
/proc/meminfo: memFree=12697784/32873648 swapFree=7372/7372
[pid=17050] ppid=17048 vsize=11682880 CPUtime=522.19 cores=1,3,5,7
/proc/17050/stat : 17050 (toysat) R 17048 17050 12124 0 -1 4202496 3010925 0 0 0 51614 605 0 0 20 0 1 0 280675594 11963269120 2919944 33554432000 4194304 8973514 140735154540400 140735154539896 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/17050/statm: 2920720 2919944 446 1167 0 2919501 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 11682880
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17095
/proc/meminfo: memFree=13192704/32873648 swapFree=7372/7372
[pid=17050] ppid=17048 vsize=11682880 CPUtime=582.16 cores=1,3,5,7
/proc/17050/stat : 17050 (toysat) R 17048 17050 12124 0 -1 4202496 3010953 0 0 0 57603 613 0 0 20 0 1 0 280675594 11963269120 2919944 33554432000 4194304 8973514 140735154540400 140735154539896 7399967 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/17050/statm: 2920720 2919944 446 1167 0 2919501 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 11682880
[startup+642.3 s]
################
# More data... #
################
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17099
/proc/meminfo: memFree=13281980/32873648 swapFree=7372/7372
[pid=17050] ppid=17048 vsize=11682880 CPUtime=941.98 cores=1,3,5,7
/proc/17050/stat : 17050 (toysat) R 17048 17050 12124 0 -1 4202496 3011141 0 0 0 93544 654 0 0 20 0 1 0 280675594 11963269120 2919944 33554432000 4194304 8973514 140735154540400 140735154522368 4209309 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/17050/statm: 2920720 2919944 446 1167 0 2919501 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 11682880
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17100
/proc/meminfo: memFree=13327788/32873648 swapFree=7372/7372
[pid=17050] ppid=17048 vsize=11682880 CPUtime=1001.95 cores=1,3,5,7
/proc/17050/stat : 17050 (toysat) R 17048 17050 12124 0 -1 4202496 3011170 0 0 0 99533 662 0 0 20 0 1 0 280675594 11963269120 2919944 33554432000 4194304 8973514 140735154540400 140735154539664 4441196 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/17050/statm: 2920720 2919944 446 1167 0 2919501 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 11682880
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17100
/proc/meminfo: memFree=13327460/32873648 swapFree=7372/7372
[pid=17050] ppid=17048 vsize=11682880 CPUtime=1061.94 cores=1,3,5,7
/proc/17050/stat : 17050 (toysat) R 17048 17050 12124 0 -1 4202496 3011170 0 0 0 105524 670 0 0 20 0 1 0 280675594 11963269120 2919944 33554432000 4194304 8973514 140735154540400 140735154539896 4441393 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/17050/statm: 2920720 2919944 446 1167 0 2919501 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 11682880
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17100
/proc/meminfo: memFree=13327876/32873648 swapFree=7372/7372
[pid=17050] ppid=17048 vsize=11682880 CPUtime=1121.94 cores=1,3,5,7
/proc/17050/stat : 17050 (toysat) R 17048 17050 12124 0 -1 4202496 3011170 0 0 0 111515 679 0 0 20 0 1 0 280675594 11963269120 2919944 33554432000 4194304 8973514 140735154540400 140735154522368 7681396 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/17050/statm: 2920720 2919944 446 1167 0 2919501 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 11682880
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17100
/proc/meminfo: memFree=13327780/32873648 swapFree=7372/7372
[pid=17050] ppid=17048 vsize=11682880 CPUtime=1181.92 cores=1,3,5,7
/proc/17050/stat : 17050 (toysat) R 17048 17050 12124 0 -1 4202496 3011170 0 0 0 117506 686 0 0 20 0 1 0 280675594 11963269120 2919944 33554432000 4194304 8973514 140735154540400 140735154539664 7841851 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/17050/statm: 2920720 2919944 446 1167 0 2919501 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 11682880
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17100
/proc/meminfo: memFree=13328868/32873648 swapFree=7372/7372
[pid=17050] ppid=17048 vsize=11682880 CPUtime=1241.92 cores=1,3,5,7
/proc/17050/stat : 17050 (toysat) R 17048 17050 12124 0 -1 4202496 3011170 0 0 0 123498 694 0 0 20 0 1 0 280675594 11963269120 2919944 33554432000 4194304 8973514 140735154540400 140735154539664 7681396 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/17050/statm: 2920720 2919944 446 1167 0 2919501 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 11682880
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17102
/proc/meminfo: memFree=13327912/32873648 swapFree=7372/7372
[pid=17050] ppid=17048 vsize=11682880 CPUtime=1301.92 cores=1,3,5,7
/proc/17050/stat : 17050 (toysat) R 17048 17050 12124 0 -1 4202496 3011170 0 0 0 129490 702 0 0 20 0 1 0 280675594 11963269120 2919944 33554432000 4194304 8973514 140735154540400 140735154539896 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/17050/statm: 2920720 2919944 446 1167 0 2919501 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 11682880
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17102
/proc/meminfo: memFree=13328328/32873648 swapFree=7372/7372
[pid=17050] ppid=17048 vsize=11682880 CPUtime=1361.9 cores=1,3,5,7
/proc/17050/stat : 17050 (toysat) R 17048 17050 12124 0 -1 4202496 3011170 0 0 0 135482 708 0 0 20 0 1 0 280675594 11963269120 2919944 33554432000 4194304 8973514 140735154540400 140735154539896 7681396 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/17050/statm: 2920720 2919944 446 1167 0 2919501 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 11682880
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17102
/proc/meminfo: memFree=13328108/32873648 swapFree=7372/7372
[pid=17050] ppid=17048 vsize=11682880 CPUtime=1421.9 cores=1,3,5,7
/proc/17050/stat : 17050 (toysat) R 17048 17050 12124 0 -1 4202496 3011170 0 0 0 141474 716 0 0 20 0 1 0 280675594 11963269120 2919944 33554432000 4194304 8973514 140735154540400 140735154538368 4209212 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/17050/statm: 2920720 2919944 446 1167 0 2919501 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 11682880
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17102
/proc/meminfo: memFree=13327772/32873648 swapFree=7372/7372
[pid=17050] ppid=17048 vsize=11682880 CPUtime=1481.88 cores=1,3,5,7
/proc/17050/stat : 17050 (toysat) R 17048 17050 12124 0 -1 4202496 3011170 0 0 0 147466 722 0 0 20 0 1 0 280675594 11963269120 2919944 33554432000 4194304 8973514 140735154540400 140735154539896 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/17050/statm: 2920720 2919944 446 1167 0 2919501 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 11682880
[startup+1542.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 17105
/proc/meminfo: memFree=13327976/32873648 swapFree=7372/7372
[pid=17050] ppid=17048 vsize=11682880 CPUtime=1541.87 cores=1,3,5,7
/proc/17050/stat : 17050 (toysat) R 17048 17050 12124 0 -1 4202496 3011170 0 0 0 153460 727 0 0 20 0 1 0 280675594 11963269120 2919944 33554432000 4194304 8973514 140735154540400 140735154539664 7841851 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/17050/statm: 2920720 2919944 446 1167 0 2919501 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 11682880
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 17106
/proc/meminfo: memFree=13328156/32873648 swapFree=7372/7372
[pid=17050] ppid=17048 vsize=11682880 CPUtime=1601.86 cores=1,3,5,7
/proc/17050/stat : 17050 (toysat) R 17048 17050 12124 0 -1 4202496 3011170 0 0 0 159452 734 0 0 20 0 1 0 280675594 11963269120 2919944 33554432000 4194304 8973514 140735154540400 140735154539664 7841851 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/17050/statm: 2920720 2919944 446 1167 0 2919501 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 11682880
[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 17106
/proc/meminfo: memFree=13327812/32873648 swapFree=7372/7372
[pid=17050] ppid=17048 vsize=11682880 CPUtime=1661.85 cores=1,3,5,7
/proc/17050/stat : 17050 (toysat) R 17048 17050 12124 0 -1 4202496 3011170 0 0 0 165446 739 0 0 20 0 1 0 280675594 11963269120 2919944 33554432000 4194304 8973514 140735154540400 140735154539896 4206133 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/17050/statm: 2920720 2919944 446 1167 0 2919501 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 11682880
[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 17106
/proc/meminfo: memFree=13327344/32873648 swapFree=7372/7372
[pid=17050] ppid=17048 vsize=11682880 CPUtime=1721.85 cores=1,3,5,7
/proc/17050/stat : 17050 (toysat) R 17048 17050 12124 0 -1 4202496 3011170 0 0 0 171439 746 0 0 20 0 1 0 280675594 11963269120 2919944 33554432000 4194304 8973514 140735154540400 140735154539664 7681396 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/17050/statm: 2920720 2919944 446 1167 0 2919501 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 11682880
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 17106
/proc/meminfo: memFree=13327340/32873648 swapFree=7372/7372
[pid=17050] ppid=17048 vsize=11682880 CPUtime=1781.83 cores=1,3,5,7
/proc/17050/stat : 17050 (toysat) R 17048 17050 12124 0 -1 4202496 3011170 0 0 0 177432 751 0 0 20 0 1 0 280675594 11963269120 2919944 33554432000 4194304 8973514 140735154540400 140735154539664 7681396 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/17050/statm: 2920720 2919944 446 1167 0 2919501 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 11682880
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 17106
/proc/meminfo: memFree=13327184/32873648 swapFree=7372/7372
[pid=17050] ppid=17048 vsize=11682880 CPUtime=1800.04 cores=1,3,5,7
/proc/17050/stat : 17050 (toysat) R 17048 17050 12124 0 -1 4202496 3011170 0 0 0 179251 753 0 0 20 0 1 0 280675594 11963269120 2919944 33554432000 4194304 8973514 140735154540400 140735154538368 4213448 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/17050/statm: 2920720 2919944 446 1167 0 2919501 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 11682880
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.61 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 17107
/proc/meminfo: memFree=17257460/32873648 swapFree=7372/7372
[pid=17050] ppid=17048 vsize=0 CPUtime=1800.15 cores=1,3,5,7
/proc/17050/stat : 17050 (toysat) R 17048 17050 12124 0 -1 4203524 3011170 0 0 0 179251 764 0 0 20 0 1 0 280675594 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17050/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 0
[startup+1801 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 17107
/proc/meminfo: memFree=17257460/32873648 swapFree=7372/7372
[pid=17050] ppid=17048 vsize=0 CPUtime=1800.53 cores=1,3,5,7
/proc/17050/stat : 17050 (toysat) R 17048 17050 12124 0 -1 4203524 3011170 0 0 0 179251 802 0 0 20 0 1 0 280675594 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17050/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.53
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.02
CPU time (s): 1800.56
CPU user time (s): 1792.51
CPU system time (s): 8.04778
CPU usage (%): 99.9745
Max. virtual memory (cumulated for all children) (KiB): 12046400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.51
system time used= 8.04778
maximum resident set size= 12043296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3011170
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= 270
involuntary context switches= 4348
runsolver used 3.35049 second user time and 9.33558 second system time
The end