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-3724568-1338635127/watcher-3724568-1338635127 -o /tmp/evaluation-result-3724568-1338635127/solver-3724568-1338635127 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724568-1338635127.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.00 2.00 1.92 3/176 20451
/proc/meminfo: memFree=27959460/32873844 swapFree=7128/7128
[pid=20451] ppid=20449 vsize=7248 CPUtime=0 cores=0,2,4,6
/proc/20451/stat : 20451 (toysat) R 20449 20451 20159 0 -1 4202496 837 0 0 0 0 0 0 0 20 0 1 0 329579726 7421952 757 33554432000 4194304 8989770 140736184600688 140737115484152 4209439 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/20451/statm: 1812 758 428 1171 0 589 0
[startup+0.050977 s]
/proc/loadavg: 2.00 2.00 1.92 3/176 20451
/proc/meminfo: memFree=27959460/32873844 swapFree=7128/7128
[pid=20451] ppid=20449 vsize=9296 CPUtime=0.04 cores=0,2,4,6
/proc/20451/stat : 20451 (toysat) R 20449 20451 20159 0 -1 4202496 1357 0 0 0 4 0 0 0 20 0 1 0 329579726 9519104 1277 33554432000 4194304 8989770 140736184600688 140737115484152 5796472 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/20451/statm: 2324 1277 430 1171 0 1101 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9296
[startup+0.100219 s]
/proc/loadavg: 2.00 2.00 1.92 3/176 20451
/proc/meminfo: memFree=27959460/32873844 swapFree=7128/7128
[pid=20451] ppid=20449 vsize=11344 CPUtime=0.09 cores=0,2,4,6
/proc/20451/stat : 20451 (toysat) R 20449 20451 20159 0 -1 4202496 1947 0 0 0 9 0 0 0 20 0 1 0 329579726 11616256 1867 33554432000 4194304 8989770 140736184600688 140737115484152 5798196 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/20451/statm: 2836 1867 430 1171 0 1613 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11344
[startup+0.300222 s]
/proc/loadavg: 2.00 2.00 1.92 3/176 20451
/proc/meminfo: memFree=27959460/32873844 swapFree=7128/7128
[pid=20451] ppid=20449 vsize=21584 CPUtime=0.29 cores=0,2,4,6
/proc/20451/stat : 20451 (toysat) R 20449 20451 20159 0 -1 4202496 4672 0 0 0 29 0 0 0 20 0 1 0 329579726 22102016 4592 33554432000 4194304 8989770 140736184600688 140737115484152 4643421 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/20451/statm: 5396 4592 430 1171 0 4173 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21584
[startup+0.700232 s]
/proc/loadavg: 2.00 2.00 1.92 3/176 20451
/proc/meminfo: memFree=27959460/32873844 swapFree=7128/7128
[pid=20451] ppid=20449 vsize=44112 CPUtime=0.69 cores=0,2,4,6
/proc/20451/stat : 20451 (toysat) R 20449 20451 20159 0 -1 4202496 10305 0 0 0 67 2 0 0 20 0 1 0 329579726 45170688 10225 33554432000 4194304 8989770 140736184600688 140736184599952 4657636 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/20451/statm: 11028 10225 431 1171 0 9805 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44112
[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 20452
/proc/meminfo: memFree=27903504/32873844 swapFree=7128/7128
[pid=20451] ppid=20449 vsize=77904 CPUtime=1.49 cores=0,2,4,6
/proc/20451/stat : 20451 (toysat) R 20449 20451 20159 0 -1 4202496 18773 0 0 0 146 3 0 0 20 0 1 0 329579726 79773696 18693 33554432000 4194304 8989770 140736184600688 140736184599952 7415873 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/20451/statm: 19476 18693 445 1171 0 18253 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 77904
[startup+3.10019 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 20452
/proc/meminfo: memFree=27859252/32873844 swapFree=7128/7128
[pid=20451] ppid=20449 vsize=115792 CPUtime=3.09 cores=0,2,4,6
/proc/20451/stat : 20451 (toysat) R 20449 20451 20159 0 -1 4202496 28260 0 0 0 304 5 0 0 20 0 1 0 329579726 118571008 28180 33554432000 4194304 8989770 140736184600688 140736184600184 7415913 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/20451/statm: 28948 28180 460 1171 0 27725 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 115792
[startup+6.30029 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 20452
/proc/meminfo: memFree=27846480/32873844 swapFree=7128/7128
[pid=20451] ppid=20449 vsize=116816 CPUtime=6.28 cores=0,2,4,6
/proc/20451/stat : 20451 (toysat) R 20449 20451 20159 0 -1 4202496 28516 0 0 0 621 7 0 0 20 0 1 0 329579726 119619584 28436 33554432000 4194304 8989770 140736184600688 140736184599952 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20451/statm: 29204 28436 460 1171 0 27981 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 116816
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 20452
/proc/meminfo: memFree=27842908/32873844 swapFree=7128/7128
[pid=20451] ppid=20449 vsize=116816 CPUtime=12.69 cores=0,2,4,6
/proc/20451/stat : 20451 (toysat) R 20449 20451 20159 0 -1 4202496 28516 0 0 0 1258 11 0 0 20 0 1 0 329579726 119619584 28436 33554432000 4194304 8989770 140736184600688 140736184600184 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20451/statm: 29204 28436 460 1171 0 27981 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 116816
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 20452
/proc/meminfo: memFree=27840940/32873844 swapFree=7128/7128
[pid=20451] ppid=20449 vsize=118864 CPUtime=25.48 cores=0,2,4,6
/proc/20451/stat : 20451 (toysat) R 20449 20451 20159 0 -1 4202496 29028 0 0 0 2527 21 0 0 20 0 1 0 329579726 121716736 28948 33554432000 4194304 8989770 140736184600688 140736184600184 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20451/statm: 29716 28948 460 1171 0 28493 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 118864
[startup+51.1001 s]
/proc/loadavg: 2.00 2.00 1.92 4/177 20491
/proc/meminfo: memFree=28031232/32873844 swapFree=7128/7128
[pid=20451] ppid=20449 vsize=120912 CPUtime=51.07 cores=0,2,4,6
/proc/20451/stat : 20451 (toysat) R 20449 20451 20159 0 -1 4202496 29544 0 0 0 5070 37 0 0 20 0 1 0 329579726 123813888 29466 33554432000 4194304 8989770 140736184600688 140736184600184 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20451/statm: 30228 29466 460 1171 0 29005 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 120912
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 20491
/proc/meminfo: memFree=28024084/32873844 swapFree=7128/7128
[pid=20451] ppid=20449 vsize=122960 CPUtime=102.26 cores=0,2,4,6
/proc/20451/stat : 20451 (toysat) R 20449 20451 20159 0 -1 4202496 30074 0 0 0 10158 68 0 0 20 0 1 0 329579726 125911040 29978 33554432000 4194304 8989770 140736184600688 140736184600184 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20451/statm: 30740 29978 460 1171 0 29517 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 122960
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 20492
/proc/meminfo: memFree=28018948/32873844 swapFree=7128/7128
[pid=20451] ppid=20449 vsize=126032 CPUtime=162.25 cores=0,2,4,6
/proc/20451/stat : 20451 (toysat) R 20449 20451 20159 0 -1 4202496 30842 0 0 0 16132 93 0 0 20 0 1 0 329579726 129056768 30746 33554432000 4194304 8989770 140736184600688 140736184600184 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20451/statm: 31508 30746 460 1171 0 30285 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 126032
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 20492
/proc/meminfo: memFree=28018700/32873844 swapFree=7128/7128
[pid=20451] ppid=20449 vsize=126032 CPUtime=222.24 cores=0,2,4,6
/proc/20451/stat : 20451 (toysat) R 20449 20451 20159 0 -1 4202496 30842 0 0 0 22103 121 0 0 20 0 1 0 329579726 129056768 30746 33554432000 4194304 8989770 140736184600688 140736184600184 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20451/statm: 31508 30746 460 1171 0 30285 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 126032
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 20495
/proc/meminfo: memFree=28018796/32873844 swapFree=7128/7128
[pid=20451] ppid=20449 vsize=126032 CPUtime=282.23 cores=0,2,4,6
/proc/20451/stat : 20451 (toysat) R 20449 20451 20159 0 -1 4202496 30842 0 0 0 28080 143 0 0 20 0 1 0 329579726 129056768 30746 33554432000 4194304 8989770 140736184600688 140736184600184 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20451/statm: 31508 30746 460 1171 0 30285 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 126032
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 20495
/proc/meminfo: memFree=28018200/32873844 swapFree=7128/7128
[pid=20451] ppid=20449 vsize=127056 CPUtime=342.22 cores=0,2,4,6
/proc/20451/stat : 20451 (toysat) R 20449 20451 20159 0 -1 4202496 31098 0 0 0 34044 178 0 0 20 0 1 0 329579726 130105344 31002 33554432000 4194304 8989770 140736184600688 140736184600184 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20451/statm: 31764 31002 460 1171 0 30541 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 127056
[startup+402.3 s]
/proc/loadavg: 2.08 2.02 1.93 3/177 20495
/proc/meminfo: memFree=28017332/32873844 swapFree=7128/7128
[pid=20451] ppid=20449 vsize=128080 CPUtime=402.22 cores=0,2,4,6
/proc/20451/stat : 20451 (toysat) R 20449 20451 20159 0 -1 4202496 31354 0 0 0 40017 205 0 0 20 0 1 0 329579726 131153920 31258 33554432000 4194304 8989770 140736184600688 140736184600184 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20451/statm: 32020 31258 460 1171 0 30797 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 128080
[startup+462.3 s]
/proc/loadavg: 2.06 2.03 1.93 3/177 20496
/proc/meminfo: memFree=28015224/32873844 swapFree=7128/7128
[pid=20451] ppid=20449 vsize=128080 CPUtime=462.2 cores=0,2,4,6
/proc/20451/stat : 20451 (toysat) R 20449 20451 20159 0 -1 4202496 31354 0 0 0 45993 227 0 0 20 0 1 0 329579726 131153920 31258 33554432000 4194304 8989770 140736184600688 140736184600184 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20451/statm: 32020 31258 460 1171 0 30797 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 128080
[startup+522.3 s]
/proc/loadavg: 2.02 2.02 1.93 3/177 20496
/proc/meminfo: memFree=28013176/32873844 swapFree=7128/7128
[pid=20451] ppid=20449 vsize=130128 CPUtime=522.19 cores=0,2,4,6
/proc/20451/stat : 20451 (toysat) R 20449 20451 20159 0 -1 4202496 31866 0 0 0 51966 253 0 0 20 0 1 0 329579726 133251072 31770 33554432000 4194304 8989770 140736184600688 140736184600184 7704702 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20451/statm: 32532 31770 460 1171 0 31309 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 130128
[startup+582.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/177 20496
/proc/meminfo: memFree=28012180/32873844 swapFree=7128/7128
[pid=20451] ppid=20449 vsize=131152 CPUtime=582.19 cores=0,2,4,6
/proc/20451/stat : 20451 (toysat) R 20449 20451 20159 0 -1 4202496 32122 0 0 0 57938 281 0 0 20 0 1 0 329579726 134299648 32026 33554432000 4194304 8989770 140736184600688 140736184600184 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20451/statm: 32788 32026 460 1171 0 31565 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 131152
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.03 2.04 1.96 3/178 20500
/proc/meminfo: memFree=28010348/32873844 swapFree=7128/7128
[pid=20451] ppid=20449 vsize=131152 CPUtime=882.14 cores=0,2,4,6
/proc/20451/stat : 20451 (toysat) R 20449 20451 20159 0 -1 4202496 32122 0 0 0 87787 427 0 0 20 0 1 0 329579726 134299648 32026 33554432000 4194304 8989770 140736184600688 140736184600184 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20451/statm: 32788 32026 460 1171 0 31565 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 131152
[startup+942.3 s]
/proc/loadavg: 2.01 2.03 1.96 3/177 20500
/proc/meminfo: memFree=28010504/32873844 swapFree=7128/7128
[pid=20451] ppid=20449 vsize=131152 CPUtime=942.13 cores=0,2,4,6
/proc/20451/stat : 20451 (toysat) R 20449 20451 20159 0 -1 4202496 32122 0 0 0 93756 457 0 0 20 0 1 0 329579726 134299648 32026 33554432000 4194304 8989770 140736184600688 140736184600184 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20451/statm: 32788 32026 460 1171 0 31565 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 131152
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 1.96 3/177 20500
/proc/meminfo: memFree=28010380/32873844 swapFree=7128/7128
[pid=20451] ppid=20449 vsize=131152 CPUtime=1002.13 cores=0,2,4,6
/proc/20451/stat : 20451 (toysat) R 20449 20451 20159 0 -1 4202496 32122 0 0 0 99721 492 0 0 20 0 1 0 329579726 134299648 32026 33554432000 4194304 8989770 140736184600688 140736184600184 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20451/statm: 32788 32026 460 1171 0 31565 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 131152
[startup+1062.3 s]
/proc/loadavg: 2.03 2.03 1.96 3/177 20501
/proc/meminfo: memFree=28008272/32873844 swapFree=7128/7128
[pid=20451] ppid=20449 vsize=133200 CPUtime=1062.11 cores=0,2,4,6
/proc/20451/stat : 20451 (toysat) R 20449 20451 20159 0 -1 4202496 32634 0 0 0 105681 530 0 0 20 0 1 0 329579726 136396800 32538 33554432000 4194304 8989770 140736184600688 140736184600184 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20451/statm: 33300 32538 460 1171 0 32077 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 133200
[startup+1122.3 s]
/proc/loadavg: 2.08 2.04 1.97 3/177 20501
/proc/meminfo: memFree=28008272/32873844 swapFree=7128/7128
[pid=20451] ppid=20449 vsize=133200 CPUtime=1122.1 cores=0,2,4,6
/proc/20451/stat : 20451 (toysat) R 20449 20451 20159 0 -1 4202496 32634 0 0 0 111638 572 0 0 20 0 1 0 329579726 136396800 32538 33554432000 4194304 8989770 140736184600688 140736184599952 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20451/statm: 33300 32538 460 1171 0 32077 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 133200
[startup+1182.3 s]
/proc/loadavg: 2.15 2.06 1.98 3/177 20501
/proc/meminfo: memFree=28008208/32873844 swapFree=7128/7128
[pid=20451] ppid=20449 vsize=133200 CPUtime=1182.1 cores=0,2,4,6
/proc/20451/stat : 20451 (toysat) R 20449 20451 20159 0 -1 4202496 32635 0 0 0 117610 600 0 0 20 0 1 0 329579726 136396800 32538 33554432000 4194304 8989770 140736184600688 140736184600184 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20451/statm: 33300 32538 460 1171 0 32077 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 133200
[startup+1242.3 s]
/proc/loadavg: 2.05 2.05 1.98 3/177 20501
/proc/meminfo: memFree=28007836/32873844 swapFree=7128/7128
[pid=20451] ppid=20449 vsize=133200 CPUtime=1242.09 cores=0,2,4,6
/proc/20451/stat : 20451 (toysat) R 20449 20451 20159 0 -1 4202496 32635 0 0 0 123583 626 0 0 20 0 1 0 329579726 136396800 32538 33554432000 4194304 8989770 140736184600688 140736184600184 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20451/statm: 33300 32538 460 1171 0 32077 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 133200
[startup+1302.3 s]
/proc/loadavg: 2.02 2.04 1.98 3/177 20501
/proc/meminfo: memFree=28007712/32873844 swapFree=7128/7128
[pid=20451] ppid=20449 vsize=133200 CPUtime=1302.08 cores=0,2,4,6
/proc/20451/stat : 20451 (toysat) R 20449 20451 20159 0 -1 4202496 32635 0 0 0 129557 651 0 0 20 0 1 0 329579726 136396800 32538 33554432000 4194304 8989770 140736184600688 140736184600184 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20451/statm: 33300 32538 460 1171 0 32077 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 133200
[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 1.98 3/177 20502
/proc/meminfo: memFree=28007216/32873844 swapFree=7128/7128
[pid=20451] ppid=20449 vsize=134224 CPUtime=1362.07 cores=0,2,4,6
/proc/20451/stat : 20451 (toysat) R 20449 20451 20159 0 -1 4202496 32891 0 0 0 135534 673 0 0 20 0 1 0 329579726 137445376 32794 33554432000 4194304 8989770 140736184600688 140736184600184 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20451/statm: 33556 32794 460 1171 0 32333 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 134224
[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 1.98 3/177 20502
/proc/meminfo: memFree=28005044/32873844 swapFree=7128/7128
[pid=20451] ppid=20449 vsize=135248 CPUtime=1422.06 cores=0,2,4,6
/proc/20451/stat : 20451 (toysat) R 20449 20451 20159 0 -1 4202496 33148 0 0 0 141500 706 0 0 20 0 1 0 329579726 138493952 33050 33554432000 4194304 8989770 140736184600688 140736184600184 4445206 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20451/statm: 33812 33050 460 1171 0 32589 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 135248
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/178 20505
/proc/meminfo: memFree=28004584/32873844 swapFree=7128/7128
[pid=20451] ppid=20449 vsize=135248 CPUtime=1482.05 cores=0,2,4,6
/proc/20451/stat : 20451 (toysat) R 20449 20451 20159 0 -1 4202496 33148 0 0 0 147474 731 0 0 20 0 1 0 329579726 138493952 33050 33554432000 4194304 8989770 140736184600688 140736184600184 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20451/statm: 33812 33050 460 1171 0 32589 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 135248
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/177 20505
/proc/meminfo: memFree=28004732/32873844 swapFree=7128/7128
[pid=20451] ppid=20449 vsize=135248 CPUtime=1542.04 cores=0,2,4,6
/proc/20451/stat : 20451 (toysat) R 20449 20451 20159 0 -1 4202496 33148 0 0 0 153444 760 0 0 20 0 1 0 329579726 138493952 33050 33554432000 4194304 8989770 140736184600688 140736184600184 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20451/statm: 33812 33050 460 1171 0 32589 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 135248
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 20505
/proc/meminfo: memFree=28004732/32873844 swapFree=7128/7128
[pid=20451] ppid=20449 vsize=135248 CPUtime=1602.03 cores=0,2,4,6
/proc/20451/stat : 20451 (toysat) R 20449 20451 20159 0 -1 4202496 33148 0 0 0 159413 790 0 0 20 0 1 0 329579726 138493952 33050 33554432000 4194304 8989770 140736184600688 140736184600184 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20451/statm: 33812 33050 460 1171 0 32589 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 135248
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 20506
/proc/meminfo: memFree=28001756/32873844 swapFree=7128/7128
[pid=20451] ppid=20449 vsize=136272 CPUtime=1662.02 cores=0,2,4,6
/proc/20451/stat : 20451 (toysat) R 20449 20451 20159 0 -1 4202496 33404 0 0 0 165383 819 0 0 20 0 1 0 329579726 139542528 33306 33554432000 4194304 8989770 140736184600688 140736184600184 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20451/statm: 34068 33306 460 1171 0 32845 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 136272
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 20506
/proc/meminfo: memFree=28002004/32873844 swapFree=7128/7128
[pid=20451] ppid=20449 vsize=136272 CPUtime=1722.01 cores=0,2,4,6
/proc/20451/stat : 20451 (toysat) R 20449 20451 20159 0 -1 4202496 33404 0 0 0 171357 844 0 0 20 0 1 0 329579726 139542528 33306 33554432000 4194304 8989770 140736184600688 140736184600184 4448000 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20451/statm: 34068 33306 460 1171 0 32845 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 136272
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 20506
/proc/meminfo: memFree=28001692/32873844 swapFree=7128/7128
[pid=20451] ppid=20449 vsize=136272 CPUtime=1782 cores=0,2,4,6
/proc/20451/stat : 20451 (toysat) R 20449 20451 20159 0 -1 4202496 33404 0 0 0 177327 873 0 0 20 0 1 0 329579726 139542528 33306 33554432000 4194304 8989770 140736184600688 140736184600184 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20451/statm: 34068 33306 460 1171 0 32845 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 136272
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 20506
/proc/meminfo: memFree=28001568/32873844 swapFree=7128/7128
[pid=20451] ppid=20449 vsize=136272 CPUtime=1800.01 cores=0,2,4,6
/proc/20451/stat : 20451 (toysat) R 20449 20451 20159 0 -1 4202496 33404 0 0 0 179118 883 0 0 20 0 1 0 329579726 139542528 33306 33554432000 4194304 8989770 140736184600688 140736184600184 4450237 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20451/statm: 34068 33306 460 1171 0 32845 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 136272
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 20506
/proc/meminfo: memFree=28001568/32873844 swapFree=7128/7128
[pid=20451] ppid=20449 vsize=136272 CPUtime=1800.01 cores=0,2,4,6
/proc/20451/stat : 20451 (toysat) R 20449 20451 20159 0 -1 4202496 33404 0 0 0 179118 883 0 0 20 0 1 0 329579726 139542528 33306 33554432000 4194304 8989770 140736184600688 140736184600184 4450237 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20451/statm: 34068 33306 460 1171 0 32845 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 136272
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1791.18
CPU system time (s): 8.83366
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 136272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.18
system time used= 8.83366
maximum resident set size= 133224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33404
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= 1861
runsolver used 2.98155 second user time and 8.72267 second system time
The end