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-3707299-1338133211/watcher-3707299-1338133211 -o /tmp/evaluation-result-3707299-1338133211/solver-3707299-1338133211 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3707299-1338133211.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 21120
/proc/meminfo: memFree=30353888/32873844 swapFree=7388/7388
[pid=21120] ppid=21118 vsize=7232 CPUtime=0 cores=1,3,5,7
/proc/21120/stat : 21120 (toysat) R 21118 21120 20110 0 -1 4202496 822 0 0 0 0 0 0 0 20 0 1 0 279445512 7405568 743 33554432000 4194304 8973514 140736077358672 140736299453192 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21120/statm: 1808 743 416 1167 0 589 0
[startup+0.091254 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 21120
/proc/meminfo: memFree=30353888/32873844 swapFree=7388/7388
[pid=21120] ppid=21118 vsize=11328 CPUtime=0.08 cores=1,3,5,7
/proc/21120/stat : 21120 (toysat) R 21118 21120 20110 0 -1 4202496 2101 0 0 0 8 0 0 0 20 0 1 0 279445512 11599872 2022 33554432000 4194304 8973514 140736077358672 140736299453192 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21120/statm: 2832 2022 418 1167 0 1613 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11328
[startup+0.100345 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 21120
/proc/meminfo: memFree=30353888/32873844 swapFree=7388/7388
[pid=21120] ppid=21118 vsize=13376 CPUtime=0.09 cores=1,3,5,7
/proc/21120/stat : 21120 (toysat) R 21118 21120 20110 0 -1 4202496 2411 0 0 0 9 0 0 0 20 0 1 0 279445512 13697024 2332 33554432000 4194304 8973514 140736077358672 140736299453192 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21120/statm: 3344 2332 418 1167 0 2125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13376
[startup+0.300328 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 21120
/proc/meminfo: memFree=30353888/32873844 swapFree=7388/7388
[pid=21120] ppid=21118 vsize=35904 CPUtime=0.28 cores=1,3,5,7
/proc/21120/stat : 21120 (toysat) R 21118 21120 20110 0 -1 4202496 8065 0 0 0 27 1 0 0 20 0 1 0 279445512 36765696 7986 33554432000 4194304 8973514 140736077358672 140736299453192 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21120/statm: 8976 7993 429 1167 0 7757 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 35904
[startup+0.700321 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 21120
/proc/meminfo: memFree=30353888/32873844 swapFree=7388/7388
[pid=21120] ppid=21118 vsize=59456 CPUtime=0.68 cores=1,3,5,7
/proc/21120/stat : 21120 (toysat) R 21118 21120 20110 0 -1 4202496 14179 0 0 0 66 2 0 0 20 0 1 0 279445512 60882944 14100 33554432000 4194304 8973514 140736077358672 140736077357936 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21120/statm: 14864 14100 458 1167 0 13645 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 59456
[startup+1.50033 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 21121
/proc/meminfo: memFree=30287152/32873844 swapFree=7388/7388
[pid=21120] ppid=21118 vsize=72768 CPUtime=1.49 cores=1,3,5,7
/proc/21120/stat : 21120 (toysat) R 21118 21120 20110 0 -1 4202496 17346 0 0 0 146 3 0 0 20 0 1 0 279445512 74514432 17267 33554432000 4194304 8973514 140736077358672 140736077357936 4427236 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21120/statm: 18192 17267 458 1167 0 16973 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 72768
[startup+3.10033 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 21121
/proc/meminfo: memFree=30280432/32873844 swapFree=7388/7388
[pid=21120] ppid=21118 vsize=80960 CPUtime=3.09 cores=1,3,5,7
/proc/21120/stat : 21120 (toysat) R 21118 21120 20110 0 -1 4202496 19331 0 0 0 305 4 0 0 20 0 1 0 279445512 82903040 19252 33554432000 4194304 8973514 140736077358672 140736077358168 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21120/statm: 20240 19252 458 1167 0 19021 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 80960
[startup+6.30034 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 21121
/proc/meminfo: memFree=30267784/32873844 swapFree=7388/7388
[pid=21120] ppid=21118 vsize=93248 CPUtime=6.29 cores=1,3,5,7
/proc/21120/stat : 21120 (toysat) R 21118 21120 20110 0 -1 4202496 22627 0 0 0 623 6 0 0 20 0 1 0 279445512 95485952 22548 33554432000 4194304 8973514 140736077358672 140736077358168 4209425 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21120/statm: 23312 22548 458 1167 0 22093 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 93248
[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 21121
/proc/meminfo: memFree=30242264/32873844 swapFree=7388/7388
[pid=21120] ppid=21118 vsize=116800 CPUtime=12.69 cores=1,3,5,7
/proc/21120/stat : 21120 (toysat) R 21118 21120 20110 0 -1 4202496 28329 0 0 0 1260 9 0 0 20 0 1 0 279445512 119603200 28250 33554432000 4194304 8973514 140736077358672 140736077358168 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21120/statm: 29200 28250 458 1167 0 27981 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 116800
[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.99 3/178 21121
/proc/meminfo: memFree=30200104/32873844 swapFree=7388/7388
[pid=21120] ppid=21118 vsize=156736 CPUtime=25.48 cores=1,3,5,7
/proc/21120/stat : 21120 (toysat) R 21118 21120 20110 0 -1 4202496 38305 0 0 0 2535 13 0 0 20 0 1 0 279445512 160497664 38226 33554432000 4194304 8973514 140736077358672 140736077357936 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21120/statm: 39184 38226 458 1167 0 37965 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 156736
[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 21121
/proc/meminfo: memFree=30134888/32873844 swapFree=7388/7388
[pid=21120] ppid=21118 vsize=225344 CPUtime=51.08 cores=1,3,5,7
/proc/21120/stat : 21120 (toysat) R 21118 21120 20110 0 -1 4202496 55456 0 0 0 5086 22 0 0 20 0 1 0 279445512 230752256 55377 33554432000 4194304 8973514 140736077358672 140736077357936 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21120/statm: 56336 55377 458 1167 0 55117 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 225344
[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 21121
/proc/meminfo: memFree=30014356/32873844 swapFree=7388/7388
[pid=21120] ppid=21118 vsize=336960 CPUtime=102.28 cores=1,3,5,7
/proc/21120/stat : 21120 (toysat) R 21118 21120 20110 0 -1 4202496 83554 0 0 0 10193 35 0 0 20 0 1 0 279445512 345047040 83475 33554432000 4194304 8973514 140736077358672 140736077357936 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21120/statm: 84240 83475 458 1167 0 83021 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 336960
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 21121
/proc/meminfo: memFree=29914456/32873844 swapFree=7388/7388
[pid=21120] ppid=21118 vsize=433216 CPUtime=162.25 cores=1,3,5,7
/proc/21120/stat : 21120 (toysat) R 21118 21120 20110 0 -1 4202496 107436 0 0 0 16177 48 0 0 20 0 1 0 279445512 443613184 107338 33554432000 4194304 8973514 140736077358672 140736077357936 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21120/statm: 108304 107338 458 1167 0 107085 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 433216
[startup+222.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/177 21121
/proc/meminfo: memFree=29843804/32873844 swapFree=7388/7388
[pid=21120] ppid=21118 vsize=495680 CPUtime=222.19 cores=1,3,5,7
/proc/21120/stat : 21120 (toysat) R 21118 21120 20110 0 -1 4202496 123149 0 0 0 22162 57 0 0 20 0 1 0 279445512 507576320 123003 33554432000 4194304 8973514 140736077358672 140736077358168 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21120/statm: 123920 123003 458 1167 0 122701 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 495680
[startup+282.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 21122
/proc/meminfo: memFree=29798944/32873844 swapFree=7388/7388
[pid=21120] ppid=21118 vsize=538688 CPUtime=282.13 cores=1,3,5,7
/proc/21120/stat : 21120 (toysat) R 21118 21120 20110 0 -1 4202496 134092 0 0 0 28150 63 0 0 20 0 1 0 279445512 551616512 133900 33554432000 4194304 8973514 140736077358672 140736077357936 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21120/statm: 134672 133900 458 1167 0 133453 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 538688
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21122
/proc/meminfo: memFree=29755572/32873844 swapFree=7388/7388
[pid=21120] ppid=21118 vsize=576576 CPUtime=342.08 cores=1,3,5,7
/proc/21120/stat : 21120 (toysat) R 21118 21120 20110 0 -1 4202496 143436 0 0 0 34139 69 0 0 20 0 1 0 279445512 590413824 143199 33554432000 4194304 8973514 140736077358672 140736077357936 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21120/statm: 144144 143199 458 1167 0 142925 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 576576
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21122
/proc/meminfo: memFree=29719144/32873844 swapFree=7388/7388
[pid=21120] ppid=21118 vsize=607296 CPUtime=402.03 cores=1,3,5,7
/proc/21120/stat : 21120 (toysat) R 21118 21120 20110 0 -1 4202496 151304 0 0 0 40129 74 0 0 20 0 1 0 279445512 621871104 151024 33554432000 4194304 8973514 140736077358672 140736077357936 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21120/statm: 151824 151024 458 1167 0 150605 0
Current children cumulated CPU time (s) 402.03
Current children cumulated vsize (KiB) 607296
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21122
/proc/meminfo: memFree=29680732/32873844 swapFree=7388/7388
[pid=21120] ppid=21118 vsize=640064 CPUtime=461.99 cores=1,3,5,7
/proc/21120/stat : 21120 (toysat) R 21118 21120 20110 0 -1 4202496 159389 0 0 0 46121 78 0 0 20 0 1 0 279445512 655425536 159074 33554432000 4194304 8973514 140736077358672 140736077357936 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21120/statm: 160016 159074 458 1167 0 158797 0
Current children cumulated CPU time (s) 461.99
Current children cumulated vsize (KiB) 640064
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21122
/proc/meminfo: memFree=29643936/32873844 swapFree=7388/7388
[pid=21120] ppid=21118 vsize=672832 CPUtime=521.97 cores=1,3,5,7
/proc/21120/stat : 21120 (toysat) R 21118 21120 20110 0 -1 4202496 167557 0 0 0 52115 82 0 0 20 0 1 0 279445512 688979968 167227 33554432000 4194304 8973514 140736077358672 140736077357936 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21120/statm: 168208 167227 458 1167 0 166989 0
Current children cumulated CPU time (s) 521.97
Current children cumulated vsize (KiB) 672832
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21123
/proc/meminfo: memFree=29615540/32873844 swapFree=7388/7388
[pid=21120] ppid=21118 vsize=695360 CPUtime=581.96 cores=1,3,5,7
/proc/21120/stat : 21120 (toysat) R 21118 21120 20110 0 -1 4202496 173386 0 0 0 58109 87 0 0 20 0 1 0 279445512 712048640 173056 33554432000 4194304 8973514 140736077358672 140736077357936 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21120/statm: 173840 173056 458 1167 0 172621 0
Current children cumulated CPU time (s) 581.96
Current children cumulated vsize (KiB) 695360
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21165
/proc/meminfo: memFree=29709076/32873844 swapFree=7388/7388
[pid=21120] ppid=21118 vsize=795712 CPUtime=821.92 cores=1,3,5,7
/proc/21120/stat : 21120 (toysat) R 21118 21120 20110 0 -1 4202496 198319 0 0 0 82090 102 0 0 20 0 1 0 279445512 814809088 197989 33554432000 4194304 8973514 140736077358672 140736077357936 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21120/statm: 198928 197989 458 1167 0 197709 0
Current children cumulated CPU time (s) 821.92
Current children cumulated vsize (KiB) 795712
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21166
/proc/meminfo: memFree=29674480/32873844 swapFree=7388/7388
[pid=21120] ppid=21118 vsize=822336 CPUtime=881.91 cores=1,3,5,7
/proc/21120/stat : 21120 (toysat) R 21118 21120 20110 0 -1 4202496 205091 0 0 0 88087 104 0 0 20 0 1 0 279445512 842072064 204761 33554432000 4194304 8973514 140736077358672 140736077357936 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21120/statm: 205584 204761 458 1167 0 204365 0
Current children cumulated CPU time (s) 881.91
Current children cumulated vsize (KiB) 822336
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21166
/proc/meminfo: memFree=29659228/32873844 swapFree=7388/7388
[pid=21120] ppid=21118 vsize=836672 CPUtime=941.9 cores=1,3,5,7
/proc/21120/stat : 21120 (toysat) R 21118 21120 20110 0 -1 4202496 208734 0 0 0 94083 107 0 0 20 0 1 0 279445512 856752128 208404 33554432000 4194304 8973514 140736077358672 140736077357936 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21120/statm: 209168 208404 458 1167 0 207949 0
Current children cumulated CPU time (s) 941.9
Current children cumulated vsize (KiB) 836672
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21166
/proc/meminfo: memFree=29626120/32873844 swapFree=7388/7388
[pid=21120] ppid=21118 vsize=866368 CPUtime=1001.9 cores=1,3,5,7
/proc/21120/stat : 21120 (toysat) R 21118 21120 20110 0 -1 4202496 216042 0 0 0 100080 110 0 0 20 0 1 0 279445512 887160832 215712 33554432000 4194304 8973514 140736077358672 140736077357936 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21120/statm: 216592 215712 458 1167 0 215373 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 866368
[startup+1062.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 21166
/proc/meminfo: memFree=29615456/32873844 swapFree=7388/7388
[pid=21120] ppid=21118 vsize=880704 CPUtime=1061.88 cores=1,3,5,7
/proc/21120/stat : 21120 (toysat) R 21118 21120 20110 0 -1 4202496 219742 0 0 0 106075 113 0 0 20 0 1 0 279445512 901840896 219412 33554432000 4194304 8973514 140736077358672 140736077357936 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21120/statm: 220176 219412 458 1167 0 218957 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 880704
[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 21166
/proc/meminfo: memFree=29585608/32873844 swapFree=7388/7388
[pid=21120] ppid=21118 vsize=910400 CPUtime=1121.85 cores=1,3,5,7
/proc/21120/stat : 21120 (toysat) R 21118 21120 20110 0 -1 4202496 227085 0 0 0 112069 116 0 0 20 0 1 0 279445512 932249600 226724 33554432000 4194304 8973514 140736077358672 140736077357936 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21120/statm: 227600 226724 458 1167 0 226381 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 910400
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21167
/proc/meminfo: memFree=29564928/32873844 swapFree=7388/7388
[pid=21120] ppid=21118 vsize=926784 CPUtime=1181.81 cores=1,3,5,7
/proc/21120/stat : 21120 (toysat) R 21118 21120 20110 0 -1 4202496 231153 0 0 0 118062 119 0 0 20 0 1 0 279445512 949026816 230762 33554432000 4194304 8973514 140736077358672 140736077357936 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21120/statm: 231696 230762 458 1167 0 230477 0
Current children cumulated CPU time (s) 1181.81
Current children cumulated vsize (KiB) 926784
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21170
/proc/meminfo: memFree=29548152/32873844 swapFree=7388/7388
[pid=21120] ppid=21118 vsize=942144 CPUtime=1241.79 cores=1,3,5,7
/proc/21120/stat : 21120 (toysat) R 21118 21120 20110 0 -1 4202496 235179 0 0 0 124058 121 0 0 20 0 1 0 279445512 964755456 234772 33554432000 4194304 8973514 140736077358672 140736077357936 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21120/statm: 235536 234772 458 1167 0 234317 0
Current children cumulated CPU time (s) 1241.79
Current children cumulated vsize (KiB) 942144
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21193
/proc/meminfo: memFree=29521164/32873844 swapFree=7388/7388
[pid=21120] ppid=21118 vsize=973888 CPUtime=1301.79 cores=1,3,5,7
/proc/21120/stat : 21120 (toysat) R 21118 21120 20110 0 -1 4202496 242989 0 0 0 130055 124 0 0 20 0 1 0 279445512 997261312 242582 33554432000 4194304 8973514 140736077358672 140736077357936 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21120/statm: 243472 242582 458 1167 0 242253 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 973888
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21193
/proc/meminfo: memFree=29501332/32873844 swapFree=7388/7388
[pid=21120] ppid=21118 vsize=989248 CPUtime=1361.77 cores=1,3,5,7
/proc/21120/stat : 21120 (toysat) R 21118 21120 20110 0 -1 4202496 246923 0 0 0 136051 126 0 0 20 0 1 0 279445512 1012989952 246516 33554432000 4194304 8973514 140736077358672 140736077357936 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21120/statm: 247312 246516 458 1167 0 246093 0
Current children cumulated CPU time (s) 1361.77
Current children cumulated vsize (KiB) 989248
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21193
/proc/meminfo: memFree=29483724/32873844 swapFree=7388/7388
[pid=21120] ppid=21118 vsize=1005632 CPUtime=1421.77 cores=1,3,5,7
/proc/21120/stat : 21120 (toysat) R 21118 21120 20110 0 -1 4202496 250884 0 0 0 142048 129 0 0 20 0 1 0 279445512 1029767168 250477 33554432000 4194304 8973514 140736077358672 140736077357936 7681392 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21120/statm: 251408 250477 458 1167 0 250189 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 1005632
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21194
/proc/meminfo: memFree=29465000/32873844 swapFree=7388/7388
[pid=21120] ppid=21118 vsize=1022016 CPUtime=1481.75 cores=1,3,5,7
/proc/21120/stat : 21120 (toysat) R 21118 21120 20110 0 -1 4202496 255006 0 0 0 148044 131 0 0 20 0 1 0 279445512 1046544384 254599 33554432000 4194304 8973514 140736077358672 140736077357936 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21120/statm: 255504 254599 458 1167 0 254285 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 1022016
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21194
/proc/meminfo: memFree=29451856/32873844 swapFree=7388/7388
[pid=21120] ppid=21118 vsize=1039424 CPUtime=1541.74 cores=1,3,5,7
/proc/21120/stat : 21120 (toysat) R 21118 21120 20110 0 -1 4202496 259332 0 0 0 154040 134 0 0 20 0 1 0 279445512 1064370176 258925 33554432000 4194304 8973514 140736077358672 140736077357936 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21120/statm: 259856 258925 458 1167 0 258637 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 1039424
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21194
/proc/meminfo: memFree=29435240/32873844 swapFree=7388/7388
[pid=21120] ppid=21118 vsize=1055808 CPUtime=1601.74 cores=1,3,5,7
/proc/21120/stat : 21120 (toysat) R 21118 21120 20110 0 -1 4202496 263491 0 0 0 160036 138 0 0 20 0 1 0 279445512 1081147392 263084 33554432000 4194304 8973514 140736077358672 140736077357936 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21120/statm: 263952 263084 458 1167 0 262733 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 1055808
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21194
/proc/meminfo: memFree=29418252/32873844 swapFree=7388/7388
[pid=21120] ppid=21118 vsize=1073216 CPUtime=1661.72 cores=1,3,5,7
/proc/21120/stat : 21120 (toysat) R 21118 21120 20110 0 -1 4202496 267762 0 0 0 166032 140 0 0 20 0 1 0 279445512 1098973184 267355 33554432000 4194304 8973514 140736077358672 140736077357936 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21120/statm: 268304 267355 458 1167 0 267085 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 1073216
[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 21194
/proc/meminfo: memFree=29399900/32873844 swapFree=7388/7388
[pid=21120] ppid=21118 vsize=1090624 CPUtime=1721.72 cores=1,3,5,7
/proc/21120/stat : 21120 (toysat) R 21118 21120 20110 0 -1 4202496 272277 0 0 0 172029 143 0 0 20 0 1 0 279445512 1116798976 271870 33554432000 4194304 8973514 140736077358672 140736077357936 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21120/statm: 272656 271870 458 1167 0 271437 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 1090624
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 21195
/proc/meminfo: memFree=29376340/32873844 swapFree=7388/7388
[pid=21120] ppid=21118 vsize=1110080 CPUtime=1781.71 cores=1,3,5,7
/proc/21120/stat : 21120 (toysat) R 21118 21120 20110 0 -1 4202496 277039 0 0 0 178025 146 0 0 20 0 1 0 279445512 1136721920 276632 33554432000 4194304 8973514 140736077358672 140736077357936 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21120/statm: 277520 276632 458 1167 0 276301 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 1110080
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 21198
/proc/meminfo: memFree=29375696/32873844 swapFree=7388/7388
[pid=21120] ppid=21118 vsize=1110080 CPUtime=1800.02 cores=1,3,5,7
/proc/21120/stat : 21120 (toysat) R 21118 21120 20110 0 -1 4202496 277039 0 0 0 179856 146 0 0 20 0 1 0 279445512 1136721920 276632 33554432000 4194304 8973514 140736077358672 140736077357936 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21120/statm: 277520 276632 458 1167 0 276301 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1110080
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.63
CPU time (s): 1800.05
CPU user time (s): 1798.56
CPU system time (s): 1.48277
CPU usage (%): 99.9676
Max. virtual memory (cumulated for all children) (KiB): 1110080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.56
system time used= 1.48277
maximum resident set size= 1106528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 277039
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= 331
involuntary context switches= 1837
runsolver used 3.25251 second user time and 9.49256 second system time
The end