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-3724950-1338648230/watcher-3724950-1338648230 -o /tmp/evaluation-result-3724950-1338648230/solver-3724950-1338648230 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724950-1338648230.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 2/176 27300
/proc/meminfo: memFree=18732004/32873844 swapFree=7628/7628
[pid=27300] ppid=27298 vsize=7248 CPUtime=0 cores=1,3,5,7
/proc/27300/stat : 27300 (toysat) R 27298 27300 25747 0 -1 4202496 835 0 0 0 0 0 0 0 20 0 1 0 330947406 7421952 755 33554432000 4194304 8989770 140737191579792 140733652028776 4209325 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/27300/statm: 1812 757 424 1171 0 589 0
[startup+0.0324659 s]
/proc/loadavg: 1.92 1.98 1.99 2/176 27300
/proc/meminfo: memFree=18732004/32873844 swapFree=7628/7628
[pid=27300] ppid=27298 vsize=8272 CPUtime=0.02 cores=1,3,5,7
/proc/27300/stat : 27300 (toysat) R 27298 27300 25747 0 -1 4202496 1191 0 0 0 2 0 0 0 20 0 1 0 330947406 8470528 1111 33554432000 4194304 8989770 140737191579792 140733652028776 7953280 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/27300/statm: 2068 1111 426 1171 0 845 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 8272
[startup+0.100324 s]
/proc/loadavg: 1.92 1.98 1.99 2/176 27300
/proc/meminfo: memFree=18732004/32873844 swapFree=7628/7628
[pid=27300] ppid=27298 vsize=12368 CPUtime=0.09 cores=1,3,5,7
/proc/27300/stat : 27300 (toysat) R 27298 27300 25747 0 -1 4202496 2138 0 0 0 9 0 0 0 20 0 1 0 330947406 12664832 2058 33554432000 4194304 8989770 140737191579792 140737191579056 7953280 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/27300/statm: 3092 2058 426 1171 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12368
[startup+0.300351 s]
/proc/loadavg: 1.92 1.98 1.99 2/176 27300
/proc/meminfo: memFree=18732004/32873844 swapFree=7628/7628
[pid=27300] ppid=27298 vsize=22608 CPUtime=0.29 cores=1,3,5,7
/proc/27300/stat : 27300 (toysat) R 27298 27300 25747 0 -1 4202496 4925 0 0 0 28 1 0 0 20 0 1 0 330947406 23150592 4845 33554432000 4194304 8989770 140737191579792 140737191579056 7857787 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/27300/statm: 5652 4845 426 1171 0 4429 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22608
[startup+0.700362 s]
/proc/loadavg: 1.92 1.98 1.99 2/176 27300
/proc/meminfo: memFree=18732004/32873844 swapFree=7628/7628
[pid=27300] ppid=27298 vsize=44112 CPUtime=0.69 cores=1,3,5,7
/proc/27300/stat : 27300 (toysat) R 27298 27300 25747 0 -1 4202496 10306 0 0 0 67 2 0 0 20 0 1 0 330947406 45170688 10226 33554432000 4194304 8989770 140737191579792 140737191579288 7953280 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/27300/statm: 11028 10226 431 1171 0 9805 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44112
[startup+1.50036 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 27301
/proc/meminfo: memFree=18681876/32873844 swapFree=7628/7628
[pid=27300] ppid=27298 vsize=93264 CPUtime=1.49 cores=1,3,5,7
/proc/27300/stat : 27300 (toysat) R 27298 27300 25747 0 -1 4202496 22594 0 0 0 144 5 0 0 20 0 1 0 330947406 95502336 22514 33554432000 4194304 8989770 140737191579792 140737191579288 7953280 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/27300/statm: 23316 22514 431 1171 0 22093 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 93264
[startup+3.10037 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 27301
/proc/meminfo: memFree=18615396/32873844 swapFree=7628/7628
[pid=27300] ppid=27298 vsize=210000 CPUtime=3.09 cores=1,3,5,7
/proc/27300/stat : 27300 (toysat) R 27298 27300 25747 0 -1 4202496 51604 0 0 0 299 10 0 0 20 0 1 0 330947406 215040000 51524 33554432000 4194304 8989770 140737191579792 140737191578632 7953280 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/27300/statm: 52500 51524 431 1171 0 51277 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 210000
[startup+6.30036 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 27301
/proc/meminfo: memFree=18370488/32873844 swapFree=7628/7628
[pid=27300] ppid=27298 vsize=377936 CPUtime=6.29 cores=1,3,5,7
/proc/27300/stat : 27300 (toysat) R 27298 27300 25747 0 -1 4202496 93762 0 0 0 610 19 0 0 20 0 1 0 330947406 387006464 93682 33554432000 4194304 8989770 140737191579792 140737191579288 7857787 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/27300/statm: 94484 93682 431 1171 0 93261 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 377936
[startup+12.7004 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 27301
/proc/meminfo: memFree=17955600/32873844 swapFree=7628/7628
[pid=27300] ppid=27298 vsize=816208 CPUtime=12.69 cores=1,3,5,7
/proc/27300/stat : 27300 (toysat) R 27298 27300 25747 0 -1 4202496 203351 0 0 0 1227 42 0 0 20 0 1 0 330947406 835796992 203271 33554432000 4194304 8989770 140737191579792 140737191579288 7953280 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/27300/statm: 204052 203271 446 1171 0 202829 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 816208
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27301
/proc/meminfo: memFree=17774844/32873844 swapFree=7628/7628
[pid=27300] ppid=27298 vsize=959568 CPUtime=25.48 cores=1,3,5,7
/proc/27300/stat : 27300 (toysat) R 27298 27300 25747 0 -1 4202496 239194 0 0 0 2498 50 0 0 20 0 1 0 330947406 982597632 239114 33554432000 4194304 8989770 140737191579792 140737191579288 7857787 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/27300/statm: 239892 239114 449 1171 0 238669 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 959568
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27301
/proc/meminfo: memFree=17776036/32873844 swapFree=7628/7628
[pid=27300] ppid=27298 vsize=959568 CPUtime=51.07 cores=1,3,5,7
/proc/27300/stat : 27300 (toysat) R 27298 27300 25747 0 -1 4202496 239194 0 0 0 5050 57 0 0 20 0 1 0 330947406 982597632 239114 33554432000 4194304 8989770 140737191579792 140737191579288 7953280 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/27300/statm: 239892 239114 449 1171 0 238669 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 959568
[startup+102.307 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 27301
/proc/meminfo: memFree=17775700/32873844 swapFree=7628/7628
[pid=27300] ppid=27298 vsize=959568 CPUtime=102.27 cores=1,3,5,7
/proc/27300/stat : 27300 (toysat) R 27298 27300 25747 0 -1 4202496 239194 0 0 0 10154 73 0 0 20 0 1 0 330947406 982597632 239114 33554432000 4194304 8989770 140737191579792 140737191579288 7857787 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/27300/statm: 239892 239114 449 1171 0 238669 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 959568
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 27302
/proc/meminfo: memFree=17775108/32873844 swapFree=7628/7628
[pid=27300] ppid=27298 vsize=959568 CPUtime=162.25 cores=1,3,5,7
/proc/27300/stat : 27300 (toysat) R 27298 27300 25747 0 -1 4202496 239194 0 0 0 16135 90 0 0 20 0 1 0 330947406 982597632 239114 33554432000 4194304 8989770 140737191579792 140737191577728 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/27300/statm: 239892 239114 449 1171 0 238669 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 959568
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27302
/proc/meminfo: memFree=17775260/32873844 swapFree=7628/7628
[pid=27300] ppid=27298 vsize=959568 CPUtime=222.23 cores=1,3,5,7
/proc/27300/stat : 27300 (toysat) R 27298 27300 25747 0 -1 4202496 239194 0 0 0 22117 106 0 0 20 0 1 0 330947406 982597632 239114 33554432000 4194304 8989770 140737191579792 140737191579288 5383299 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/27300/statm: 239892 239114 449 1171 0 238669 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 959568
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27302
/proc/meminfo: memFree=17775164/32873844 swapFree=7628/7628
[pid=27300] ppid=27298 vsize=959568 CPUtime=282.21 cores=1,3,5,7
/proc/27300/stat : 27300 (toysat) R 27298 27300 25747 0 -1 4202496 239194 0 0 0 28101 120 0 0 20 0 1 0 330947406 982597632 239114 33554432000 4194304 8989770 140737191579792 140737191579056 7857787 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/27300/statm: 239892 239114 449 1171 0 238669 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 959568
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27302
/proc/meminfo: memFree=17775192/32873844 swapFree=7628/7628
[pid=27300] ppid=27298 vsize=959568 CPUtime=342.19 cores=1,3,5,7
/proc/27300/stat : 27300 (toysat) R 27298 27300 25747 0 -1 4202496 239194 0 0 0 34083 136 0 0 20 0 1 0 330947406 982597632 239114 33554432000 4194304 8989770 140737191579792 140737191579288 7953280 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/27300/statm: 239892 239114 449 1171 0 238669 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 959568
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 27305
/proc/meminfo: memFree=17774840/32873844 swapFree=7628/7628
[pid=27300] ppid=27298 vsize=959568 CPUtime=402.18 cores=1,3,5,7
/proc/27300/stat : 27300 (toysat) R 27298 27300 25747 0 -1 4202496 239194 0 0 0 40067 151 0 0 20 0 1 0 330947406 982597632 239114 33554432000 4194304 8989770 140737191579792 140737191579056 7857787 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/27300/statm: 239892 239114 449 1171 0 238669 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 959568
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27306
/proc/meminfo: memFree=17775248/32873844 swapFree=7628/7628
[pid=27300] ppid=27298 vsize=959568 CPUtime=462.16 cores=1,3,5,7
/proc/27300/stat : 27300 (toysat) R 27298 27300 25747 0 -1 4202496 239194 0 0 0 46050 166 0 0 20 0 1 0 330947406 982597632 239114 33554432000 4194304 8989770 140737191579792 140737191578896 7953280 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/27300/statm: 239892 239114 449 1171 0 238669 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 959568
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27306
/proc/meminfo: memFree=17775044/32873844 swapFree=7628/7628
[pid=27300] ppid=27298 vsize=959568 CPUtime=522.15 cores=1,3,5,7
/proc/27300/stat : 27300 (toysat) R 27298 27300 25747 0 -1 4202496 239194 0 0 0 52036 179 0 0 20 0 1 0 330947406 982597632 239114 33554432000 4194304 8989770 140737191579792 140737191577984 4209309 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/27300/statm: 239892 239114 449 1171 0 238669 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 959568
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27306
/proc/meminfo: memFree=17775180/32873844 swapFree=7628/7628
[pid=27300] ppid=27298 vsize=959568 CPUtime=582.13 cores=1,3,5,7
/proc/27300/stat : 27300 (toysat) R 27298 27300 25747 0 -1 4202496 239194 0 0 0 58020 193 0 0 20 0 1 0 330947406 982597632 239114 33554432000 4194304 8989770 140737191579792 140737191579288 7953280 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/27300/statm: 239892 239114 449 1171 0 238669 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 959568
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27307
/proc/meminfo: memFree=17775556/32873844 swapFree=7628/7628
[pid=27300] ppid=27298 vsize=959568 CPUtime=822.07 cores=1,3,5,7
/proc/27300/stat : 27300 (toysat) R 27298 27300 25747 0 -1 4202496 239194 0 0 0 81951 256 0 0 20 0 1 0 330947406 982597632 239114 33554432000 4194304 8989770 140737191579792 140737191577728 4209212 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/27300/statm: 239892 239114 449 1171 0 238669 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 959568
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27307
/proc/meminfo: memFree=17775320/32873844 swapFree=7628/7628
[pid=27300] ppid=27298 vsize=959568 CPUtime=882.05 cores=1,3,5,7
/proc/27300/stat : 27300 (toysat) R 27298 27300 25747 0 -1 4202496 239194 0 0 0 87935 270 0 0 20 0 1 0 330947406 982597632 239114 33554432000 4194304 8989770 140737191579792 140737191579288 7953280 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/27300/statm: 239892 239114 449 1171 0 238669 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 959568
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27307
/proc/meminfo: memFree=17775488/32873844 swapFree=7628/7628
[pid=27300] ppid=27298 vsize=959568 CPUtime=942.03 cores=1,3,5,7
/proc/27300/stat : 27300 (toysat) R 27298 27300 25747 0 -1 4202496 239194 0 0 0 93915 288 0 0 20 0 1 0 330947406 982597632 239114 33554432000 4194304 8989770 140737191579792 140737191579056 7953280 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/27300/statm: 239892 239114 449 1171 0 238669 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 959568
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 27310
/proc/meminfo: memFree=17775740/32873844 swapFree=7628/7628
[pid=27300] ppid=27298 vsize=959568 CPUtime=1002.02 cores=1,3,5,7
/proc/27300/stat : 27300 (toysat) R 27298 27300 25747 0 -1 4202496 239194 0 0 0 99899 303 0 0 20 0 1 0 330947406 982597632 239114 33554432000 4194304 8989770 140737191579792 140737191577792 7953280 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/27300/statm: 239892 239114 449 1171 0 238669 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 959568
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27333
/proc/meminfo: memFree=17775544/32873844 swapFree=7628/7628
[pid=27300] ppid=27298 vsize=959568 CPUtime=1062 cores=1,3,5,7
/proc/27300/stat : 27300 (toysat) R 27298 27300 25747 0 -1 4202496 239194 0 0 0 105883 317 0 0 20 0 1 0 330947406 982597632 239114 33554432000 4194304 8989770 140737191579792 140737191579288 4209212 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/27300/statm: 239892 239114 449 1171 0 238669 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 959568
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27334
/proc/meminfo: memFree=17775184/32873844 swapFree=7628/7628
[pid=27300] ppid=27298 vsize=959568 CPUtime=1121.99 cores=1,3,5,7
/proc/27300/stat : 27300 (toysat) R 27298 27300 25747 0 -1 4202496 239194 0 0 0 111867 332 0 0 20 0 1 0 330947406 982597632 239114 33554432000 4194304 8989770 140737191579792 140737191579288 7953280 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/27300/statm: 239892 239114 449 1171 0 238669 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 959568
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27334
/proc/meminfo: memFree=17775476/32873844 swapFree=7628/7628
[pid=27300] ppid=27298 vsize=959568 CPUtime=1181.98 cores=1,3,5,7
/proc/27300/stat : 27300 (toysat) R 27298 27300 25747 0 -1 4202496 239194 0 0 0 117853 345 0 0 20 0 1 0 330947406 982597632 239114 33554432000 4194304 8989770 140737191579792 140737191579056 4213815 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/27300/statm: 239892 239114 449 1171 0 238669 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 959568
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27334
/proc/meminfo: memFree=17775504/32873844 swapFree=7628/7628
[pid=27300] ppid=27298 vsize=959568 CPUtime=1241.96 cores=1,3,5,7
/proc/27300/stat : 27300 (toysat) R 27298 27300 25747 0 -1 4202496 239194 0 0 0 123839 357 0 0 20 0 1 0 330947406 982597632 239114 33554432000 4194304 8989770 140737191579792 140737191579288 7857787 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/27300/statm: 239892 239114 449 1171 0 238669 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 959568
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27334
/proc/meminfo: memFree=17775392/32873844 swapFree=7628/7628
[pid=27300] ppid=27298 vsize=959568 CPUtime=1301.95 cores=1,3,5,7
/proc/27300/stat : 27300 (toysat) R 27298 27300 25747 0 -1 4202496 239194 0 0 0 129825 370 0 0 20 0 1 0 330947406 982597632 239114 33554432000 4194304 8989770 140737191579792 140737191579288 7953280 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/27300/statm: 239892 239114 449 1171 0 238669 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 959568
[startup+1362.3 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 27373
/proc/meminfo: memFree=25820356/32873844 swapFree=7628/7628
[pid=27300] ppid=27298 vsize=959568 CPUtime=1361.91 cores=1,3,5,7
/proc/27300/stat : 27300 (toysat) R 27298 27300 25747 0 -1 4202496 239211 0 0 0 135809 382 0 0 20 0 1 0 330947406 982597632 239119 33554432000 4194304 8989770 140737191579792 140737191579056 4214020 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/27300/statm: 239892 239119 449 1171 0 238669 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 959568
[startup+1422.31 s]
/proc/loadavg: 2.02 2.00 2.00 3/177 27374
/proc/meminfo: memFree=25819128/32873844 swapFree=7628/7628
[pid=27300] ppid=27298 vsize=959568 CPUtime=1421.87 cores=1,3,5,7
/proc/27300/stat : 27300 (toysat) R 27298 27300 25747 0 -1 4202496 239230 0 0 0 141789 398 0 0 20 0 1 0 330947406 982597632 239119 33554432000 4194304 8989770 140737191579792 140737191579056 7857787 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/27300/statm: 239892 239119 449 1171 0 238669 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 959568
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27374
/proc/meminfo: memFree=25819172/32873844 swapFree=7628/7628
[pid=27300] ppid=27298 vsize=959568 CPUtime=1481.85 cores=1,3,5,7
/proc/27300/stat : 27300 (toysat) R 27298 27300 25747 0 -1 4202496 239233 0 0 0 147772 413 0 0 20 0 1 0 330947406 982597632 239119 33554432000 4194304 8989770 140737191579792 140737191579288 4493912 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/27300/statm: 239892 239119 449 1171 0 238669 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 959568
[startup+1542.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 27374
/proc/meminfo: memFree=25819076/32873844 swapFree=7628/7628
[pid=27300] ppid=27298 vsize=959568 CPUtime=1541.82 cores=1,3,5,7
/proc/27300/stat : 27300 (toysat) R 27298 27300 25747 0 -1 4202496 239244 0 0 0 153753 429 0 0 20 0 1 0 330947406 982597632 239119 33554432000 4194304 8989770 140737191579792 140737191579288 7953280 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/27300/statm: 239892 239119 449 1171 0 238669 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 959568
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 27377
/proc/meminfo: memFree=25818972/32873844 swapFree=7628/7628
[pid=27300] ppid=27298 vsize=959568 CPUtime=1601.8 cores=1,3,5,7
/proc/27300/stat : 27300 (toysat) R 27298 27300 25747 0 -1 4202496 239258 0 0 0 159733 447 0 0 20 0 1 0 330947406 982597632 239119 33554432000 4194304 8989770 140737191579792 140737191579288 5400076 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/27300/statm: 239892 239119 449 1171 0 238669 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 959568
[startup+1662.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 27377
/proc/meminfo: memFree=25816900/32873844 swapFree=7628/7628
[pid=27300] ppid=27298 vsize=959568 CPUtime=1661.74 cores=1,3,5,7
/proc/27300/stat : 27300 (toysat) R 27298 27300 25747 0 -1 4202496 239299 0 0 0 165712 462 0 0 20 0 1 0 330947406 982597632 239119 33554432000 4194304 8989770 140737191579792 140737191579056 7953280 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/27300/statm: 239892 239119 449 1171 0 238669 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 959568
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 27378
/proc/meminfo: memFree=25817052/32873844 swapFree=7628/7628
[pid=27300] ppid=27298 vsize=959568 CPUtime=1721.73 cores=1,3,5,7
/proc/27300/stat : 27300 (toysat) R 27298 27300 25747 0 -1 4202496 239308 0 0 0 171696 477 0 0 20 0 1 0 330947406 982597632 239119 33554432000 4194304 8989770 140737191579792 140737191579288 4208870 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/27300/statm: 239892 239119 449 1171 0 238669 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 959568
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 27378
/proc/meminfo: memFree=25816460/32873844 swapFree=7628/7628
[pid=27300] ppid=27298 vsize=959568 CPUtime=1781.71 cores=1,3,5,7
/proc/27300/stat : 27300 (toysat) R 27298 27300 25747 0 -1 4202496 239309 0 0 0 177677 494 0 0 20 0 1 0 330947406 982597632 239119 33554432000 4194304 8989770 140737191579792 140737191579288 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/27300/statm: 239892 239119 449 1171 0 238669 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 959568
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27378
/proc/meminfo: memFree=25816676/32873844 swapFree=7628/7628
[pid=27300] ppid=27298 vsize=959568 CPUtime=1800.02 cores=1,3,5,7
/proc/27300/stat : 27300 (toysat) R 27298 27300 25747 0 -1 4202496 239309 0 0 0 179503 499 0 0 20 0 1 0 330947406 982597632 239119 33554432000 4194304 8989770 140737191579792 140737191579056 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/27300/statm: 239892 239119 449 1171 0 238669 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 959568
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.04
CPU user time (s): 1795.03
CPU system time (s): 5.01124
CPU usage (%): 99.9677
Max. virtual memory (cumulated for all children) (KiB): 959568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.03
system time used= 5.01124
maximum resident set size= 956476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 239309
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= 118
involuntary context switches= 3335
runsolver used 3.99139 second user time and 9.41457 second system time
The end