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-3724485-1338644198/watcher-3724485-1338644198 -o /tmp/evaluation-result-3724485-1338644198/solver-3724485-1338644198 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724485-1338644198.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.95 2.03 1.99 3/176 11489
/proc/meminfo: memFree=28977076/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=6224 CPUtime=0 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 799 0 0 0 0 0 0 0 20 0 1 0 330544668 6373376 720 33554432000 4194304 8989770 140733753948608 140737216611720 7953280 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/11489/statm: 1556 720 428 1171 0 333 0
[startup+0.00692093 s]
/proc/loadavg: 1.95 2.03 1.99 3/176 11489
/proc/meminfo: memFree=28977076/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=6224 CPUtime=0 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 805 0 0 0 0 0 0 0 20 0 1 0 330544668 6373376 726 33554432000 4194304 8989770 140733753948608 140737216611720 7626668 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/11489/statm: 1556 728 428 1171 0 333 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 6224
[startup+0.100217 s]
/proc/loadavg: 1.95 2.03 1.99 3/176 11489
/proc/meminfo: memFree=28977076/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=11344 CPUtime=0.09 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 2112 0 0 0 9 0 0 0 20 0 1 0 330544668 11616256 2033 33554432000 4194304 8989770 140733753948608 140733753948104 7750334 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/11489/statm: 2836 2033 431 1171 0 1613 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11344
[startup+0.300219 s]
/proc/loadavg: 1.95 2.03 1.99 3/176 11489
/proc/meminfo: memFree=28977076/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=23632 CPUtime=0.29 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 5201 0 0 0 29 0 0 0 20 0 1 0 330544668 24199168 5122 33554432000 4194304 8989770 140733753948608 140733753948104 7426599 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/11489/statm: 5908 5122 442 1171 0 4685 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23632
[startup+0.700229 s]
/proc/loadavg: 1.95 2.03 1.99 3/176 11489
/proc/meminfo: memFree=28977076/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=25680 CPUtime=0.69 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 5730 0 0 0 69 0 0 0 20 0 1 0 330544668 26296320 5651 33554432000 4194304 8989770 140733753948608 140733753948104 4552016 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/11489/statm: 6420 5651 459 1171 0 5197 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25680
[startup+1.50024 s]
/proc/loadavg: 1.95 2.03 1.99 3/177 11490
/proc/meminfo: memFree=28956468/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=25680 CPUtime=1.48 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 5730 0 0 0 148 0 0 0 20 0 1 0 330544668 26296320 5651 33554432000 4194304 8989770 140733753948608 140733753948104 4437612 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/11489/statm: 6420 5651 459 1171 0 5197 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 25680
[startup+3.10022 s]
/proc/loadavg: 1.95 2.03 1.99 3/177 11490
/proc/meminfo: memFree=28954880/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=27728 CPUtime=3.09 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 6242 0 0 0 308 1 0 0 20 0 1 0 330544668 28393472 6163 33554432000 4194304 8989770 140733753948608 140733753948104 4354529 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/11489/statm: 6932 6163 459 1171 0 5709 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27728
[startup+6.30023 s]
/proc/loadavg: 1.95 2.02 1.99 3/177 11490
/proc/meminfo: memFree=28947316/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=36944 CPUtime=6.29 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 8546 0 0 0 627 2 0 0 20 0 1 0 330544668 37830656 8467 33554432000 4194304 8989770 140733753948608 140733753948104 4209212 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/11489/statm: 9236 8467 459 1171 0 8013 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36944
[startup+12.7002 s]
/proc/loadavg: 1.95 2.02 1.99 3/177 11490
/proc/meminfo: memFree=28929840/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=53328 CPUtime=12.69 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 12404 0 0 0 1264 5 0 0 20 0 1 0 330544668 54607872 12325 33554432000 4194304 8989770 140733753948608 140733753948104 4355501 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/11489/statm: 13332 12325 459 1171 0 12109 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 53328
[startup+25.5003 s]
/proc/loadavg: 1.96 2.02 1.99 3/177 11490
/proc/meminfo: memFree=28900080/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=78928 CPUtime=25.48 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 19044 0 0 0 2538 10 0 0 20 0 1 0 330544668 80822272 18965 33554432000 4194304 8989770 140733753948608 140733753948104 4213683 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/11489/statm: 19732 18965 461 1171 0 18509 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 78928
[startup+51.1003 s]
/proc/loadavg: 1.97 2.02 1.99 3/177 11490
/proc/meminfo: memFree=28903836/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=99408 CPUtime=51.08 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 24164 0 0 0 5090 18 0 0 20 0 1 0 330544668 101793792 24085 33554432000 4194304 8989770 140733753948608 140733753948104 6587776 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/11489/statm: 24852 24085 461 1171 0 23629 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 99408
[startup+102.306 s]
/proc/loadavg: 1.99 2.02 1.99 3/177 11490
/proc/meminfo: memFree=28904516/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=114768 CPUtime=102.27 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 28012 0 0 0 10192 35 0 0 20 0 1 0 330544668 117522432 27925 33554432000 4194304 8989770 140733753948608 140733753948104 6586404 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/11489/statm: 28692 27925 461 1171 0 27469 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 114768
[startup+162.3 s]
/proc/loadavg: 2.04 2.03 2.00 4/177 11490
/proc/meminfo: memFree=28862384/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=141392 CPUtime=162.21 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 34714 0 0 0 16163 58 0 0 20 0 1 0 330544668 144785408 34581 33554432000 4194304 8989770 140733753948608 140733753947872 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/11489/statm: 35348 34581 461 1171 0 34125 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 141392
[startup+222.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/178 11494
/proc/meminfo: memFree=28879036/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=103504 CPUtime=222.19 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 34718 0 0 0 22142 77 0 0 20 0 1 0 330544668 105988096 25109 33554432000 4194304 8989770 140733753948608 140733753947872 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/11489/statm: 25876 25109 461 1171 0 24653 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 103504
[startup+282.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/177 11494
/proc/meminfo: memFree=28849924/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=133200 CPUtime=282.18 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 42142 0 0 0 28119 99 0 0 20 0 1 0 330544668 136396800 32533 33554432000 4194304 8989770 140733753948608 140733753948104 7697332 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/11489/statm: 33300 32533 461 1171 0 32077 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 133200
[startup+342.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 11494
/proc/meminfo: memFree=28805964/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=178256 CPUtime=342.15 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 53196 0 0 0 34093 122 0 0 20 0 1 0 330544668 182534144 43559 33554432000 4194304 8989770 140733753948608 140733753948104 7697332 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/11489/statm: 44564 43559 461 1171 0 43341 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 178256
[startup+402.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 11494
/proc/meminfo: memFree=28823072/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=184400 CPUtime=402.13 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 54975 0 0 0 40074 139 0 0 20 0 1 0 330544668 188825600 45333 33554432000 4194304 8989770 140733753948608 140733753947872 7697332 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/11489/statm: 46100 45333 461 1171 0 44877 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 184400
[startup+462.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/177 11494
/proc/meminfo: memFree=28809984/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=191568 CPUtime=462.13 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 56767 0 0 0 46059 154 0 0 20 0 1 0 330544668 196165632 47125 33554432000 4194304 8989770 140733753948608 140733753947872 4437508 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/11489/statm: 47892 47125 461 1171 0 46669 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 191568
[startup+522.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/177 11495
/proc/meminfo: memFree=28852208/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=140368 CPUtime=522.12 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 56768 0 0 0 52034 178 0 0 20 0 1 0 330544668 143736832 34325 33554432000 4194304 8989770 140733753948608 140733753948104 4438176 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/11489/statm: 35092 34325 461 1171 0 33869 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 140368
[startup+582.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/177 11495
/proc/meminfo: memFree=28870608/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=109648 CPUtime=582.1 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 56768 0 0 0 58012 198 0 0 20 0 1 0 330544668 112279552 26645 33554432000 4194304 8989770 140733753948608 140733753948104 4469522 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/11489/statm: 27412 26645 461 1171 0 26189 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 109648
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.10 2.05 2.00 3/177 11538
/proc/meminfo: memFree=29026036/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=91216 CPUtime=882.03 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 94941 0 0 0 87905 298 0 0 20 0 1 0 330544668 93405184 22037 33554432000 4194304 8989770 140733753948608 140733753947872 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/11489/statm: 22804 22037 461 1171 0 21581 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 91216
[startup+942.3 s]
/proc/loadavg: 2.10 2.05 2.00 3/177 11538
/proc/meminfo: memFree=29030020/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=95312 CPUtime=942.02 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 112105 0 0 0 93881 321 0 0 20 0 1 0 330544668 97599488 23061 33554432000 4194304 8989770 140733753948608 140733753947872 4437508 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/11489/statm: 23828 23061 461 1171 0 22605 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 95312
[startup+1002.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/177 11538
/proc/meminfo: memFree=29013748/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=111696 CPUtime=1002.01 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 117225 0 0 0 99860 341 0 0 20 0 1 0 330544668 114376704 27157 33554432000 4194304 8989770 140733753948608 140733753948104 4354973 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/11489/statm: 27924 27157 461 1171 0 26701 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 111696
[startup+1062.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 11538
/proc/meminfo: memFree=29029780/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=98384 CPUtime=1061.99 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 124657 0 0 0 105838 361 0 0 20 0 1 0 330544668 100745216 23829 33554432000 4194304 8989770 140733753948608 140733753947872 4370684 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/11489/statm: 24596 23829 461 1171 0 23373 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 98384
[startup+1122.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/176 11538
/proc/meminfo: memFree=28993132/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=130128 CPUtime=1121.98 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 134999 0 0 0 111815 383 0 0 20 0 1 0 330544668 133251072 31606 33554432000 4194304 8989770 140733753948608 140733753948104 6678116 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/11489/statm: 32532 31606 461 1171 0 31309 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 130128
[startup+1182.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 11539
/proc/meminfo: memFree=29035824/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=93264 CPUtime=1181.97 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 139933 0 0 0 117797 400 0 0 20 0 1 0 330544668 95502336 22453 33554432000 4194304 8989770 140733753948608 140733753947712 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/11489/statm: 23316 22453 461 1171 0 22093 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 93264
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 11539
/proc/meminfo: memFree=28990648/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=135248 CPUtime=1241.95 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 151230 0 0 0 123774 421 0 0 20 0 1 0 330544668 138493952 32970 33554432000 4194304 8989770 140733753948608 140733753948104 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/11489/statm: 33812 32970 461 1171 0 32589 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 135248
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 11539
/proc/meminfo: memFree=29017412/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=107600 CPUtime=1301.95 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 164115 0 0 0 129751 444 0 0 20 0 1 0 330544668 110182400 26133 33554432000 4194304 8989770 140733753948608 140733753947872 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/11489/statm: 26900 26133 461 1171 0 25677 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 107600
[startup+1362.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 11539
/proc/meminfo: memFree=28984040/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=140368 CPUtime=1361.93 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 178713 0 0 0 135731 462 0 0 20 0 1 0 330544668 143736832 34325 33554432000 4194304 8989770 140733753948608 140733753947872 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11489/statm: 35092 34325 461 1171 0 33869 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 140368
[startup+1422.31 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 11542
/proc/meminfo: memFree=28960648/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=164944 CPUtime=1421.93 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 184728 0 0 0 141706 487 0 0 20 0 1 0 330544668 168902656 40339 33554432000 4194304 8989770 140733753948608 140733753947872 6586472 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11489/statm: 41236 40339 461 1171 0 40013 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 164944
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 4/178 11566
/proc/meminfo: memFree=28938284/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=186448 CPUtime=1481.91 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 190241 0 0 0 147688 503 0 0 20 0 1 0 330544668 190922752 45845 33554432000 4194304 8989770 140733753948608 140733753948104 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11489/statm: 46612 45845 461 1171 0 45389 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 186448
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11566
/proc/meminfo: memFree=28907168/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=218192 CPUtime=1541.9 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 197955 0 0 0 153667 523 0 0 20 0 1 0 330544668 223428608 53559 33554432000 4194304 8989770 140733753948608 140733753947872 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11489/statm: 54548 53559 461 1171 0 53325 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 218192
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11566
/proc/meminfo: memFree=28925808/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=197712 CPUtime=1601.88 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 198695 0 0 0 159647 541 0 0 20 0 1 0 330544668 202457088 48661 33554432000 4194304 8989770 140733753948608 140733753947872 4361989 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11489/statm: 49428 48661 461 1171 0 48205 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 197712
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11566
/proc/meminfo: memFree=28937780/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=185424 CPUtime=1661.87 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 198695 0 0 0 165627 560 0 0 20 0 1 0 330544668 189874176 45589 33554432000 4194304 8989770 140733753948608 140733753947872 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11489/statm: 46356 45589 461 1171 0 45133 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 185424
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11566
/proc/meminfo: memFree=28962408/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=160848 CPUtime=1721.87 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 199975 0 0 0 171608 579 0 0 20 0 1 0 330544668 164708352 39445 33554432000 4194304 8989770 140733753948608 140733753947872 4469776 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11489/statm: 40212 39445 461 1171 0 38989 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 160848
[startup+1782.3 s]
/proc/loadavg: 2.22 2.05 2.02 3/177 11567
/proc/meminfo: memFree=28949000/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=174160 CPUtime=1781.85 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 203189 0 0 0 177588 597 0 0 20 0 1 0 330544668 178339840 42773 33554432000 4194304 8989770 140733753948608 140733753947872 4361400 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11489/statm: 43540 42773 461 1171 0 42317 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 174160
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.16 2.04 2.01 3/177 11567
/proc/meminfo: memFree=28949000/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=174160 CPUtime=1800.06 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 203189 0 0 0 179403 603 0 0 20 0 1 0 330544668 178339840 42773 33554432000 4194304 8989770 140733753948608 140733753947872 7732747 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11489/statm: 43540 42773 461 1171 0 42317 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 174160
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.16 2.04 2.01 3/177 11567
/proc/meminfo: memFree=28949000/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=174160 CPUtime=1800.06 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 203189 0 0 0 179403 603 0 0 20 0 1 0 330544668 178339840 42773 33554432000 4194304 8989770 140733753948608 140733753947872 7732747 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11489/statm: 43540 42773 461 1171 0 42317 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 174160
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.07
CPU user time (s): 1794.03
CPU system time (s): 6.03808
CPU usage (%): 99.9756
Max. virtual memory (cumulated for all children) (KiB): 220240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.03
system time used= 6.03808
maximum resident set size= 217172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 203189
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= 202
involuntary context switches= 1940
runsolver used 3.60145 second user time and 8.51271 second system time
The end