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-3707152-1338147798/watcher-3707152-1338147798 -o /tmp/evaluation-result-3707152-1338147798/solver-3707152-1338147798 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3707152-1338147798.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: 2.03 2.00 2.00 2/176 12671
/proc/meminfo: memFree=30003564/32873648 swapFree=6860/6860
[pid=12671] ppid=12669 vsize=6208 CPUtime=0 cores=0,2,4,6
/proc/12671/stat : 12671 (toysat) R 12669 12671 9979 0 -1 4202496 808 0 0 0 0 0 0 0 20 0 1 0 280905848 6356992 729 33554432000 4194304 8973514 140733374607984 140737254612648 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12671/statm: 1552 729 413 1167 0 333 0
[startup+0.098217 s]
/proc/loadavg: 2.03 2.00 2.00 2/176 12671
/proc/meminfo: memFree=30003564/32873648 swapFree=6860/6860
[pid=12671] ppid=12669 vsize=12352 CPUtime=0.09 cores=0,2,4,6
/proc/12671/stat : 12671 (toysat) R 12669 12671 9979 0 -1 4202496 2357 0 0 0 9 0 0 0 20 0 1 0 280905848 12648448 2278 33554432000 4194304 8973514 140733374607984 140737254612648 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12671/statm: 3088 2278 418 1167 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12352
[startup+0.100211 s]
/proc/loadavg: 2.03 2.00 2.00 2/176 12671
/proc/meminfo: memFree=30003564/32873648 swapFree=6860/6860
[pid=12671] ppid=12669 vsize=12352 CPUtime=0.09 cores=0,2,4,6
/proc/12671/stat : 12671 (toysat) R 12669 12671 9979 0 -1 4202496 2357 0 0 0 9 0 0 0 20 0 1 0 280905848 12648448 2278 33554432000 4194304 8973514 140733374607984 140737254612648 7841851 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12671/statm: 3088 2278 418 1167 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12352
[startup+0.300234 s]
/proc/loadavg: 2.03 2.00 2.00 2/176 12671
/proc/meminfo: memFree=30003564/32873648 swapFree=6860/6860
[pid=12671] ppid=12669 vsize=26688 CPUtime=0.29 cores=0,2,4,6
/proc/12671/stat : 12671 (toysat) R 12669 12671 9979 0 -1 4202496 5778 0 0 0 28 1 0 0 20 0 1 0 280905848 27328512 5699 33554432000 4194304 8973514 140733374607984 140733374606824 4212523 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12671/statm: 6672 5706 418 1167 0 5453 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26688
[startup+0.70024 s]
/proc/loadavg: 2.03 2.00 2.00 2/176 12671
/proc/meminfo: memFree=30003564/32873648 swapFree=6860/6860
[pid=12671] ppid=12669 vsize=46144 CPUtime=0.69 cores=0,2,4,6
/proc/12671/stat : 12671 (toysat) R 12669 12671 9979 0 -1 4202496 10822 0 0 0 67 2 0 0 20 0 1 0 280905848 47251456 10743 33554432000 4194304 8973514 140733374607984 140733374607248 4481181 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12671/statm: 11536 10743 428 1167 0 10317 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 46144
[startup+1.50018 s]
/proc/loadavg: 2.03 2.00 2.00 3/177 12672
/proc/meminfo: memFree=29962388/32873648 swapFree=6860/6860
[pid=12671] ppid=12669 vsize=46144 CPUtime=1.48 cores=0,2,4,6
/proc/12671/stat : 12671 (toysat) R 12669 12671 9979 0 -1 4202496 10852 0 0 0 146 2 0 0 20 0 1 0 280905848 47251456 10773 33554432000 4194304 8973514 140733374607984 140733374607248 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12671/statm: 11536 10773 458 1167 0 10317 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 46144
[startup+3.10019 s]
/proc/loadavg: 2.03 2.00 2.00 3/177 12672
/proc/meminfo: memFree=29962016/32873648 swapFree=6860/6860
[pid=12671] ppid=12669 vsize=46144 CPUtime=3.09 cores=0,2,4,6
/proc/12671/stat : 12671 (toysat) R 12669 12671 9979 0 -1 4202496 10852 0 0 0 306 3 0 0 20 0 1 0 280905848 47251456 10773 33554432000 4194304 8973514 140733374607984 140733374607480 4390306 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12671/statm: 11536 10773 458 1167 0 10317 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 46144
[startup+6.30018 s]
/proc/loadavg: 2.02 2.00 2.00 3/177 12672
/proc/meminfo: memFree=29961396/32873648 swapFree=6860/6860
[pid=12671] ppid=12669 vsize=46144 CPUtime=6.29 cores=0,2,4,6
/proc/12671/stat : 12671 (toysat) R 12669 12671 9979 0 -1 4202496 10852 0 0 0 624 5 0 0 20 0 1 0 280905848 47251456 10773 33554432000 4194304 8973514 140733374607984 140733374607248 4462681 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12671/statm: 11536 10773 458 1167 0 10317 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 46144
[startup+12.7002 s]
/proc/loadavg: 2.02 2.00 2.00 3/177 12672
/proc/meminfo: memFree=29957552/32873648 swapFree=6860/6860
[pid=12671] ppid=12669 vsize=46144 CPUtime=12.68 cores=0,2,4,6
/proc/12671/stat : 12671 (toysat) R 12669 12671 9979 0 -1 4202496 10852 0 0 0 1260 8 0 0 20 0 1 0 280905848 47251456 10773 33554432000 4194304 8973514 140733374607984 140733374607248 7841851 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12671/statm: 11536 10773 458 1167 0 10317 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 46144
[startup+25.5001 s]
/proc/loadavg: 2.09 2.02 2.00 3/177 12672
/proc/meminfo: memFree=29949972/32873648 swapFree=6860/6860
[pid=12671] ppid=12669 vsize=46144 CPUtime=25.48 cores=0,2,4,6
/proc/12671/stat : 12671 (toysat) R 12669 12671 9979 0 -1 4202496 10852 0 0 0 2532 16 0 0 20 0 1 0 280905848 47251456 10773 33554432000 4194304 8973514 140733374607984 140733374607480 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12671/statm: 11536 10773 458 1167 0 10317 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 46144
[startup+51.1002 s]
/proc/loadavg: 2.14 2.03 2.01 3/177 12672
/proc/meminfo: memFree=29935664/32873648 swapFree=6860/6860
[pid=12671] ppid=12669 vsize=48192 CPUtime=51.08 cores=0,2,4,6
/proc/12671/stat : 12671 (toysat) R 12669 12671 9979 0 -1 4202496 11364 0 0 0 5078 30 0 0 20 0 1 0 280905848 49348608 11285 33554432000 4194304 8973514 140733374607984 140733374607480 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12671/statm: 12048 11285 458 1167 0 10829 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 48192
[startup+102.307 s]
/proc/loadavg: 2.11 2.04 2.01 3/177 12672
/proc/meminfo: memFree=29898632/32873648 swapFree=6860/6860
[pid=12671] ppid=12669 vsize=57408 CPUtime=102.28 cores=0,2,4,6
/proc/12671/stat : 12671 (toysat) R 12669 12671 9979 0 -1 4202496 13668 0 0 0 10170 58 0 0 20 0 1 0 280905848 58785792 13589 33554432000 4194304 8973514 140733374607984 140733374607480 7399974 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12671/statm: 14352 13589 458 1167 0 13133 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 57408
[startup+162.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/177 12672
/proc/meminfo: memFree=29865308/32873648 swapFree=6860/6860
[pid=12671] ppid=12669 vsize=65600 CPUtime=162.26 cores=0,2,4,6
/proc/12671/stat : 12671 (toysat) R 12669 12671 9979 0 -1 4202496 15716 0 0 0 16138 88 0 0 20 0 1 0 280905848 67174400 15637 33554432000 4194304 8973514 140733374607984 140733374607480 7688800 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12671/statm: 16400 15637 458 1167 0 15181 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 65600
[startup+222.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/177 12673
/proc/meminfo: memFree=29831980/32873648 swapFree=6860/6860
[pid=12671] ppid=12669 vsize=73792 CPUtime=222.25 cores=0,2,4,6
/proc/12671/stat : 12671 (toysat) R 12669 12671 9979 0 -1 4202496 17764 0 0 0 22106 119 0 0 20 0 1 0 280905848 75563008 17685 33554432000 4194304 8973514 140733374607984 140733374607480 7841851 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12671/statm: 18448 17685 458 1167 0 17229 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 73792
[startup+282.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 12673
/proc/meminfo: memFree=29800264/32873648 swapFree=6860/6860
[pid=12671] ppid=12669 vsize=81984 CPUtime=282.24 cores=0,2,4,6
/proc/12671/stat : 12671 (toysat) R 12669 12671 9979 0 -1 4202496 19569 0 0 0 28073 151 0 0 20 0 1 0 280905848 83951616 19490 33554432000 4194304 8973514 140733374607984 140733374605952 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12671/statm: 20496 19490 458 1167 0 19277 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 81984
[startup+342.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 12673
/proc/meminfo: memFree=29768496/32873648 swapFree=6860/6860
[pid=12671] ppid=12669 vsize=88128 CPUtime=342.24 cores=0,2,4,6
/proc/12671/stat : 12671 (toysat) R 12669 12671 9979 0 -1 4202496 21348 0 0 0 34040 184 0 0 20 0 1 0 280905848 90243072 21269 33554432000 4194304 8973514 140733374607984 140733374607480 4204624 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12671/statm: 22032 21269 458 1167 0 20813 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 88128
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 12673
/proc/meminfo: memFree=29723436/32873648 swapFree=6860/6860
[pid=12671] ppid=12669 vsize=98368 CPUtime=402.2 cores=0,2,4,6
/proc/12671/stat : 12671 (toysat) R 12669 12671 9979 0 -1 4202496 23932 0 0 0 40006 214 0 0 20 0 1 0 280905848 100728832 23830 33554432000 4194304 8973514 140733374607984 140733374607480 6748662 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12671/statm: 24592 23830 459 1167 0 23373 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 98368
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 12676
/proc/meminfo: memFree=29688380/32873648 swapFree=6860/6860
[pid=12671] ppid=12669 vsize=98368 CPUtime=462.19 cores=0,2,4,6
/proc/12671/stat : 12671 (toysat) R 12669 12671 9979 0 -1 4202496 23932 0 0 0 45973 246 0 0 20 0 1 0 280905848 100728832 23830 33554432000 4194304 8973514 140733374607984 140733374607480 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12671/statm: 24592 23830 459 1167 0 23373 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 98368
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 12677
/proc/meminfo: memFree=29657760/32873648 swapFree=6860/6860
[pid=12671] ppid=12669 vsize=99392 CPUtime=522.19 cores=0,2,4,6
/proc/12671/stat : 12671 (toysat) R 12669 12671 9979 0 -1 4202496 24188 0 0 0 51943 276 0 0 20 0 1 0 280905848 101777408 24086 33554432000 4194304 8973514 140733374607984 140733374607480 4459464 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12671/statm: 24848 24086 459 1167 0 23629 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 99392
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12677
/proc/meminfo: memFree=29624904/32873648 swapFree=6860/6860
[pid=12671] ppid=12669 vsize=103488 CPUtime=582.18 cores=0,2,4,6
/proc/12671/stat : 12671 (toysat) R 12669 12671 9979 0 -1 4202496 25212 0 0 0 57911 307 0 0 20 0 1 0 280905848 105971712 25110 33554432000 4194304 8973514 140733374607984 140733374607480 4209376 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12671/statm: 25872 25110 459 1167 0 24653 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 103488
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 12677
/proc/meminfo: memFree=29504872/32873648 swapFree=6860/6860
[pid=12671] ppid=12669 vsize=113728 CPUtime=822.14 cores=0,2,4,6
/proc/12671/stat : 12671 (toysat) R 12669 12671 9979 0 -1 4202496 27772 0 0 0 81782 432 0 0 20 0 1 0 280905848 116457472 27670 33554432000 4194304 8973514 140733374607984 140733374607480 7688742 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12671/statm: 28432 27670 459 1167 0 27213 0
Current children cumulated CPU time (s) 822.14
Current children cumulated vsize (KiB) 113728
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12678
/proc/meminfo: memFree=29475980/32873648 swapFree=6860/6860
[pid=12671] ppid=12669 vsize=118848 CPUtime=882.13 cores=0,2,4,6
/proc/12671/stat : 12671 (toysat) R 12669 12671 9979 0 -1 4202496 29052 0 0 0 87749 464 0 0 20 0 1 0 280905848 121700352 28950 33554432000 4194304 8973514 140733374607984 140733374607248 4414808 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12671/statm: 29712 28950 459 1167 0 28493 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 118848
[startup+942.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 12678
/proc/meminfo: memFree=29441176/32873648 swapFree=6860/6860
[pid=12671] ppid=12669 vsize=124992 CPUtime=942.13 cores=0,2,4,6
/proc/12671/stat : 12671 (toysat) R 12669 12671 9979 0 -1 4202496 30588 0 0 0 93719 494 0 0 20 0 1 0 280905848 127991808 30486 33554432000 4194304 8973514 140733374607984 140733374607480 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12671/statm: 31248 30486 459 1167 0 30029 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 124992
[startup+1002.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 12678
/proc/meminfo: memFree=29406240/32873648 swapFree=6860/6860
[pid=12671] ppid=12669 vsize=132160 CPUtime=1002.12 cores=0,2,4,6
/proc/12671/stat : 12671 (toysat) R 12669 12671 9979 0 -1 4202496 32380 0 0 0 99685 527 0 0 20 0 1 0 280905848 135331840 32278 33554432000 4194304 8973514 140733374607984 140733374607480 7841851 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12671/statm: 33040 32278 459 1167 0 31821 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 132160
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12681
/proc/meminfo: memFree=29378484/32873648 swapFree=6860/6860
[pid=12671] ppid=12669 vsize=132160 CPUtime=1062.1 cores=0,2,4,6
/proc/12671/stat : 12671 (toysat) R 12669 12671 9979 0 -1 4202496 32380 0 0 0 105652 558 0 0 20 0 1 0 280905848 135331840 32278 33554432000 4194304 8973514 140733374607984 140733374607480 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12671/statm: 33040 32278 459 1167 0 31821 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 132160
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12704
/proc/meminfo: memFree=29346848/32873648 swapFree=6860/6860
[pid=12671] ppid=12669 vsize=132160 CPUtime=1122.1 cores=0,2,4,6
/proc/12671/stat : 12671 (toysat) R 12669 12671 9979 0 -1 4202496 32380 0 0 0 111619 591 0 0 20 0 1 0 280905848 135331840 32278 33554432000 4194304 8973514 140733374607984 140733374607248 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12671/statm: 33040 32278 459 1167 0 31821 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 132160
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12705
/proc/meminfo: memFree=29313844/32873648 swapFree=6860/6860
[pid=12671] ppid=12669 vsize=132160 CPUtime=1182.08 cores=0,2,4,6
/proc/12671/stat : 12671 (toysat) R 12669 12671 9979 0 -1 4202496 32380 0 0 0 117584 624 0 0 20 0 1 0 280905848 135331840 32278 33554432000 4194304 8973514 140733374607984 140733374607480 6576444 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12671/statm: 33040 32278 459 1167 0 31821 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 132160
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12705
/proc/meminfo: memFree=29282844/32873648 swapFree=6860/6860
[pid=12671] ppid=12669 vsize=132160 CPUtime=1242.08 cores=0,2,4,6
/proc/12671/stat : 12671 (toysat) R 12669 12671 9979 0 -1 4202496 32380 0 0 0 123554 654 0 0 20 0 1 0 280905848 135331840 32278 33554432000 4194304 8973514 140733374607984 140733374607480 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12671/statm: 33040 32278 459 1167 0 31821 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 132160
[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 12744
/proc/meminfo: memFree=29992000/32873648 swapFree=6860/6860
[pid=12671] ppid=12669 vsize=132160 CPUtime=1302.07 cores=0,2,4,6
/proc/12671/stat : 12671 (toysat) R 12669 12671 9979 0 -1 4202496 32380 0 0 0 129518 689 0 0 20 0 1 0 280905848 135331840 32278 33554432000 4194304 8973514 140733374607984 140733374607480 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12671/statm: 33040 32278 459 1167 0 31821 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 132160
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12744
/proc/meminfo: memFree=29985936/32873648 swapFree=6860/6860
[pid=12671] ppid=12669 vsize=138304 CPUtime=1362.06 cores=0,2,4,6
/proc/12671/stat : 12671 (toysat) R 12669 12671 9979 0 -1 4202496 33916 0 0 0 135483 723 0 0 20 0 1 0 280905848 141623296 33814 33554432000 4194304 8973514 140733374607984 140733374607480 7732563 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12671/statm: 34576 33814 459 1167 0 33357 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 138304
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12744
/proc/meminfo: memFree=29844512/32873648 swapFree=6860/6860
[pid=12671] ppid=12669 vsize=138304 CPUtime=1422.05 cores=0,2,4,6
/proc/12671/stat : 12671 (toysat) R 12669 12671 9979 0 -1 4202496 33916 0 0 0 141449 756 0 0 20 0 1 0 280905848 141623296 33814 33554432000 4194304 8973514 140733374607984 140733374607480 4209198 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12671/statm: 34576 33814 459 1167 0 33357 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 138304
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12745
/proc/meminfo: memFree=29626428/32873648 swapFree=6860/6860
[pid=12671] ppid=12669 vsize=143424 CPUtime=1482.04 cores=0,2,4,6
/proc/12671/stat : 12671 (toysat) R 12669 12671 9979 0 -1 4202496 35196 0 0 0 147417 787 0 0 20 0 1 0 280905848 146866176 35094 33554432000 4194304 8973514 140733374607984 140733374607480 6748536 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12671/statm: 35856 35094 459 1167 0 34637 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 143424
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12745
/proc/meminfo: memFree=29577600/32873648 swapFree=6860/6860
[pid=12671] ppid=12669 vsize=148544 CPUtime=1542.03 cores=0,2,4,6
/proc/12671/stat : 12671 (toysat) R 12669 12671 9979 0 -1 4202496 36476 0 0 0 153383 820 0 0 20 0 1 0 280905848 152109056 36374 33554432000 4194304 8973514 140733374607984 140733374607480 4204605 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12671/statm: 37136 36374 459 1167 0 35917 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 148544
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12745
/proc/meminfo: memFree=29535724/32873648 swapFree=6860/6860
[pid=12671] ppid=12669 vsize=148544 CPUtime=1602.02 cores=0,2,4,6
/proc/12671/stat : 12671 (toysat) R 12669 12671 9979 0 -1 4202496 36476 0 0 0 159349 853 0 0 20 0 1 0 280905848 152109056 36374 33554432000 4194304 8973514 140733374607984 140733374607248 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12671/statm: 37136 36374 459 1167 0 35917 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 148544
[startup+1662.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/178 12748
/proc/meminfo: memFree=29503128/32873648 swapFree=6860/6860
[pid=12671] ppid=12669 vsize=148544 CPUtime=1662.01 cores=0,2,4,6
/proc/12671/stat : 12671 (toysat) R 12669 12671 9979 0 -1 4202496 36476 0 0 0 165314 887 0 0 20 0 1 0 280905848 152109056 36374 33554432000 4194304 8973514 140733374607984 140733374605952 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12671/statm: 37136 36374 459 1167 0 35917 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 148544
[startup+1722.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 12748
/proc/meminfo: memFree=29439552/32873648 swapFree=6860/6860
[pid=12671] ppid=12669 vsize=148544 CPUtime=1722.01 cores=0,2,4,6
/proc/12671/stat : 12671 (toysat) R 12669 12671 9979 0 -1 4202496 36476 0 0 0 171278 923 0 0 20 0 1 0 280905848 152109056 36374 33554432000 4194304 8973514 140733374607984 140733374607248 4390256 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12671/statm: 37136 36374 459 1167 0 35917 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 148544
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 12749
/proc/meminfo: memFree=29419368/32873648 swapFree=6860/6860
[pid=12671] ppid=12669 vsize=148544 CPUtime=1781.99 cores=0,2,4,6
/proc/12671/stat : 12671 (toysat) R 12669 12671 9979 0 -1 4202496 36476 0 0 0 177244 955 0 0 20 0 1 0 280905848 152109056 36374 33554432000 4194304 8973514 140733374607984 140733374607480 4462307 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12671/statm: 37136 36374 459 1167 0 35917 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 148544
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 12749
/proc/meminfo: memFree=29417724/32873648 swapFree=6860/6860
[pid=12671] ppid=12669 vsize=148544 CPUtime=1800.1 cores=0,2,4,6
/proc/12671/stat : 12671 (toysat) R 12669 12671 9979 0 -1 4202496 36476 0 0 0 179045 965 0 0 20 0 1 0 280905848 152109056 36374 33554432000 4194304 8973514 140733374607984 140733374607480 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12671/statm: 37136 36374 459 1167 0 35917 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 148544
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.11
CPU user time (s): 1790.45
CPU system time (s): 9.65753
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 148544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.45
system time used= 9.65753
maximum resident set size= 145496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36476
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= 26
involuntary context switches= 3266
runsolver used 3.14052 second user time and 9.08462 second system time
The end