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-3725630-1338639697/watcher-3725630-1338639697 -o /tmp/evaluation-result-3725630-1338639697/solver-3725630-1338639697 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725630-1338639697.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.92 1.98 1.99 2/176 29003
/proc/meminfo: memFree=26666016/32873844 swapFree=6608/6608
[pid=29003] ppid=29001 vsize=6224 CPUtime=0 cores=0,2,4,6
/proc/29003/stat : 29003 (toysat) R 29001 29003 28266 0 -1 4202496 808 0 0 0 0 0 0 0 20 0 1 0 330094520 6373376 729 33554432000 4194304 8989770 140735938178528 140736918434568 4627347 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29003/statm: 1556 729 428 1171 0 333 0
[startup+0.0574281 s]
/proc/loadavg: 1.92 1.98 1.99 2/176 29003
/proc/meminfo: memFree=26666016/32873844 swapFree=6608/6608
[pid=29003] ppid=29001 vsize=9296 CPUtime=0.05 cores=0,2,4,6
/proc/29003/stat : 29003 (toysat) R 29001 29003 28266 0 -1 4202496 1599 0 0 0 5 0 0 0 20 0 1 0 330094520 9519104 1520 33554432000 4194304 8989770 140735938178528 140736918434568 4209168 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29003/statm: 2324 1520 429 1171 0 1101 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9296
[startup+0.100276 s]
/proc/loadavg: 1.92 1.98 1.99 2/176 29003
/proc/meminfo: memFree=26666016/32873844 swapFree=6608/6608
[pid=29003] ppid=29001 vsize=12368 CPUtime=0.09 cores=0,2,4,6
/proc/29003/stat : 29003 (toysat) R 29001 29003 28266 0 -1 4202496 2382 0 0 0 9 0 0 0 20 0 1 0 330094520 12664832 2303 33554432000 4194304 8989770 140735938178528 140736918434568 6581728 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29003/statm: 3092 2303 441 1171 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12368
[startup+0.30023 s]
/proc/loadavg: 1.92 1.98 1.99 2/176 29003
/proc/meminfo: memFree=26666016/32873844 swapFree=6608/6608
[pid=29003] ppid=29001 vsize=28752 CPUtime=0.29 cores=0,2,4,6
/proc/29003/stat : 29003 (toysat) R 29001 29003 28266 0 -1 4202496 6499 0 0 0 28 1 0 0 20 0 1 0 330094520 29442048 6420 33554432000 4194304 8989770 140735938178528 140735938178024 7676350 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29003/statm: 7188 6420 459 1171 0 5965 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28752
[startup+0.700273 s]
/proc/loadavg: 1.92 1.98 1.99 2/176 29003
/proc/meminfo: memFree=26666016/32873844 swapFree=6608/6608
[pid=29003] ppid=29001 vsize=34896 CPUtime=0.69 cores=0,2,4,6
/proc/29003/stat : 29003 (toysat) R 29001 29003 28266 0 -1 4202496 8035 0 0 0 68 1 0 0 20 0 1 0 330094520 35733504 7956 33554432000 4194304 8989770 140735938178528 140735938178024 4437359 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29003/statm: 8724 7956 459 1171 0 7501 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34896
[startup+1.50027 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 29004
/proc/meminfo: memFree=26635868/32873844 swapFree=6608/6608
[pid=29003] ppid=29001 vsize=35920 CPUtime=1.49 cores=0,2,4,6
/proc/29003/stat : 29003 (toysat) R 29001 29003 28266 0 -1 4202496 8291 0 0 0 148 1 0 0 20 0 1 0 330094520 36782080 8212 33554432000 4194304 8989770 140735938178528 140735938178024 6586372 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29003/statm: 8980 8212 459 1171 0 7757 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 35920
[startup+3.10023 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 29004
/proc/meminfo: memFree=26633636/32873844 swapFree=6608/6608
[pid=29003] ppid=29001 vsize=36944 CPUtime=3.09 cores=0,2,4,6
/proc/29003/stat : 29003 (toysat) R 29001 29003 28266 0 -1 4202496 8547 0 0 0 308 1 0 0 20 0 1 0 330094520 37830656 8468 33554432000 4194304 8989770 140735938178528 140735938177792 4469828 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29003/statm: 9236 8468 459 1171 0 8013 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 36944
[startup+6.30023 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 29004
/proc/meminfo: memFree=26620104/32873844 swapFree=6608/6608
[pid=29003] ppid=29001 vsize=40016 CPUtime=6.29 cores=0,2,4,6
/proc/29003/stat : 29003 (toysat) R 29001 29003 28266 0 -1 4202496 9315 0 0 0 627 2 0 0 20 0 1 0 330094520 40976384 9236 33554432000 4194304 8989770 140735938178528 140735938177792 4208879 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29003/statm: 10004 9236 459 1171 0 8781 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 40016
[startup+12.7002 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 29004
/proc/meminfo: memFree=26612812/32873844 swapFree=6608/6608
[pid=29003] ppid=29001 vsize=47184 CPUtime=12.69 cores=0,2,4,6
/proc/29003/stat : 29003 (toysat) R 29001 29003 28266 0 -1 4202496 11107 0 0 0 1265 4 0 0 20 0 1 0 330094520 48316416 11028 33554432000 4194304 8989770 140735938178528 140735938176512 7732749 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29003/statm: 11796 11028 459 1171 0 10573 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 47184
[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 29004
/proc/meminfo: memFree=26597528/32873844 swapFree=6608/6608
[pid=29003] ppid=29001 vsize=61520 CPUtime=25.49 cores=0,2,4,6
/proc/29003/stat : 29003 (toysat) R 29001 29003 28266 0 -1 4202496 14691 0 0 0 2542 7 0 0 20 0 1 0 330094520 62996480 14612 33554432000 4194304 8989770 140735938178528 140735938178024 4452453 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/29003/statm: 15380 14612 459 1171 0 14157 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 61520
[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 29004
/proc/meminfo: memFree=26555708/32873844 swapFree=6608/6608
[pid=29003] ppid=29001 vsize=93264 CPUtime=51.08 cores=0,2,4,6
/proc/29003/stat : 29003 (toysat) R 29001 29003 28266 0 -1 4202496 22627 0 0 0 5095 13 0 0 20 0 1 0 330094520 95502336 22548 33554432000 4194304 8989770 140735938178528 140735938177792 6579776 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/29003/statm: 23316 22548 459 1171 0 22093 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 93264
[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 29004
/proc/meminfo: memFree=26458476/32873844 swapFree=6608/6608
[pid=29003] ppid=29001 vsize=164944 CPUtime=102.28 cores=0,2,4,6
/proc/29003/stat : 29003 (toysat) R 29001 29003 28266 0 -1 4202496 40550 0 0 0 10201 27 0 0 20 0 1 0 330094520 168902656 40468 33554432000 4194304 8989770 140735938178528 140735938176448 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/29003/statm: 41236 40468 459 1171 0 40013 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 164944
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 29004
/proc/meminfo: memFree=26387608/32873844 swapFree=6608/6608
[pid=29003] ppid=29001 vsize=222288 CPUtime=162.23 cores=0,2,4,6
/proc/29003/stat : 29003 (toysat) R 29001 29003 28266 0 -1 4202496 64653 0 0 0 16177 46 0 0 20 0 1 0 330094520 227622912 54817 33554432000 4194304 8989770 140735938178528 140735938178024 4204286 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/29003/statm: 55572 54817 472 1171 0 54349 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 222288
[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 29005
/proc/meminfo: memFree=26362840/32873844 swapFree=6608/6608
[pid=29003] ppid=29001 vsize=222288 CPUtime=222.22 cores=0,2,4,6
/proc/29003/stat : 29003 (toysat) R 29001 29003 28266 0 -1 4202496 64660 0 0 0 22168 54 0 0 20 0 1 0 330094520 227622912 54817 33554432000 4194304 8989770 140735938178528 140735938177792 4457900 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/29003/statm: 55572 54817 472 1171 0 54349 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 222288
[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.99 4/177 29005
/proc/meminfo: memFree=26351072/32873844 swapFree=6608/6608
[pid=29003] ppid=29001 vsize=222288 CPUtime=282.21 cores=0,2,4,6
/proc/29003/stat : 29003 (toysat) R 29001 29003 28266 0 -1 4202496 64671 0 0 0 28159 62 0 0 20 0 1 0 330094520 227622912 54817 33554432000 4194304 8989770 140735938178528 140735938177792 4208857 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/29003/statm: 55572 54817 472 1171 0 54349 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 222288
[startup+342.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 29005
/proc/meminfo: memFree=26327264/32873844 swapFree=6608/6608
[pid=29003] ppid=29001 vsize=222288 CPUtime=342.2 cores=0,2,4,6
/proc/29003/stat : 29003 (toysat) R 29001 29003 28266 0 -1 4202496 64671 0 0 0 34149 71 0 0 20 0 1 0 330094520 227622912 54817 33554432000 4194304 8989770 140735938178528 140735938177792 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/29003/statm: 55572 54817 472 1171 0 54349 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 222288
[startup+402.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 29005
/proc/meminfo: memFree=26312384/32873844 swapFree=6608/6608
[pid=29003] ppid=29001 vsize=222288 CPUtime=402.19 cores=0,2,4,6
/proc/29003/stat : 29003 (toysat) R 29001 29003 28266 0 -1 4202496 64671 0 0 0 40141 78 0 0 20 0 1 0 330094520 227622912 54817 33554432000 4194304 8989770 140735938178528 140735938177792 4208879 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/29003/statm: 55572 54817 472 1171 0 54349 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 222288
[startup+462.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 29005
/proc/meminfo: memFree=26299860/32873844 swapFree=6608/6608
[pid=29003] ppid=29001 vsize=222288 CPUtime=462.19 cores=0,2,4,6
/proc/29003/stat : 29003 (toysat) R 29001 29003 28266 0 -1 4202496 64671 0 0 0 46132 87 0 0 20 0 1 0 330094520 227622912 54817 33554432000 4194304 8989770 140735938178528 140735938178024 7685523 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/29003/statm: 55572 54817 472 1171 0 54349 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 222288
[startup+522.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 29008
/proc/meminfo: memFree=26273200/32873844 swapFree=6608/6608
[pid=29003] ppid=29001 vsize=222288 CPUtime=522.18 cores=0,2,4,6
/proc/29003/stat : 29003 (toysat) R 29001 29003 28266 0 -1 4202496 64671 0 0 0 52122 96 0 0 20 0 1 0 330094520 227622912 54817 33554432000 4194304 8989770 140735938178528 140735938177792 4457900 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/29003/statm: 55572 54817 472 1171 0 54349 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 222288
[startup+582.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 29009
/proc/meminfo: memFree=26259428/32873844 swapFree=6608/6608
[pid=29003] ppid=29001 vsize=222288 CPUtime=582.17 cores=0,2,4,6
/proc/29003/stat : 29003 (toysat) R 29001 29003 28266 0 -1 4202496 64671 0 0 0 58113 104 0 0 20 0 1 0 330094520 227622912 54817 33554432000 4194304 8989770 140735938178528 140735938177792 4208870 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/29003/statm: 55572 54817 472 1171 0 54349 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 222288
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 29009
/proc/meminfo: memFree=26213232/32873844 swapFree=6608/6608
[pid=29003] ppid=29001 vsize=197712 CPUtime=822.12 cores=0,2,4,6
/proc/29003/stat : 29003 (toysat) R 29001 29003 28266 0 -1 4202496 64671 0 0 0 82076 136 0 0 20 0 1 0 330094520 202457088 48673 33554432000 4194304 8989770 140735938178528 140735938178024 7697332 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/29003/statm: 49428 48673 472 1171 0 48205 0
Current children cumulated CPU time (s) 822.12
Current children cumulated vsize (KiB) 197712
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29010
/proc/meminfo: memFree=26192428/32873844 swapFree=6608/6608
[pid=29003] ppid=29001 vsize=203856 CPUtime=882.12 cores=0,2,4,6
/proc/29003/stat : 29003 (toysat) R 29001 29003 28266 0 -1 4202496 66207 0 0 0 88066 146 0 0 20 0 1 0 330094520 208748544 50209 33554432000 4194304 8989770 140735938178528 140735938177792 7697332 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/29003/statm: 50964 50209 472 1171 0 49741 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 203856
[startup+942.3 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 29049
/proc/meminfo: memFree=27225980/32873844 swapFree=6608/6608
[pid=29003] ppid=29001 vsize=215120 CPUtime=942.11 cores=0,2,4,6
/proc/29003/stat : 29003 (toysat) R 29001 29003 28266 0 -1 4202496 69023 0 0 0 94056 155 0 0 20 0 1 0 330094520 220282880 53025 33554432000 4194304 8989770 140735938178528 140735938177792 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/29003/statm: 53780 53025 472 1171 0 52557 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 215120
[startup+1002.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 29049
/proc/meminfo: memFree=27217672/32873844 swapFree=6608/6608
[pid=29003] ppid=29001 vsize=222288 CPUtime=1002.1 cores=0,2,4,6
/proc/29003/stat : 29003 (toysat) R 29001 29003 28266 0 -1 4202496 70815 0 0 0 100046 164 0 0 20 0 1 0 330094520 227622912 54817 33554432000 4194304 8989770 140735938178528 140735938177792 4472800 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/29003/statm: 55572 54817 472 1171 0 54349 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 222288
[startup+1062.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 29049
/proc/meminfo: memFree=27208320/32873844 swapFree=6608/6608
[pid=29003] ppid=29001 vsize=231504 CPUtime=1062.08 cores=0,2,4,6
/proc/29003/stat : 29003 (toysat) R 29001 29003 28266 0 -1 4202496 73127 0 0 0 106036 172 0 0 20 0 1 0 330094520 237060096 57121 33554432000 4194304 8989770 140735938178528 140735938177792 6592286 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/29003/statm: 57876 57121 472 1171 0 56653 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 231504
[startup+1122.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 29052
/proc/meminfo: memFree=27195540/32873844 swapFree=6608/6608
[pid=29003] ppid=29001 vsize=243792 CPUtime=1122.07 cores=0,2,4,6
/proc/29003/stat : 29003 (toysat) R 29001 29003 28266 0 -1 4202496 76199 0 0 0 112027 180 0 0 20 0 1 0 330094520 249643008 60193 33554432000 4194304 8989770 140735938178528 140735938177792 6586375 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/29003/statm: 60948 60193 472 1171 0 59725 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 243792
[startup+1182.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 29053
/proc/meminfo: memFree=27183272/32873844 swapFree=6608/6608
[pid=29003] ppid=29001 vsize=256080 CPUtime=1182.06 cores=0,2,4,6
/proc/29003/stat : 29003 (toysat) R 29001 29003 28266 0 -1 4202496 79271 0 0 0 118019 187 0 0 20 0 1 0 330094520 262225920 63265 33554432000 4194304 8989770 140735938178528 140735938177792 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/29003/statm: 64020 63265 472 1171 0 62797 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 256080
[startup+1242.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/177 29053
/proc/meminfo: memFree=27173752/32873844 swapFree=6608/6608
[pid=29003] ppid=29001 vsize=265296 CPUtime=1242.04 cores=0,2,4,6
/proc/29003/stat : 29003 (toysat) R 29001 29003 28266 0 -1 4202496 81584 0 0 0 124010 194 0 0 20 0 1 0 330094520 271663104 65569 33554432000 4194304 8989770 140735938178528 140735938177792 7697332 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/29003/statm: 66324 65569 472 1171 0 65101 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 265296
[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 29053
/proc/meminfo: memFree=27157384/32873844 swapFree=6608/6608
[pid=29003] ppid=29001 vsize=281680 CPUtime=1302.05 cores=0,2,4,6
/proc/29003/stat : 29003 (toysat) R 29001 29003 28266 0 -1 4202496 85680 0 0 0 130003 202 0 0 20 0 1 0 330094520 288440320 69665 33554432000 4194304 8989770 140735938178528 140735938178024 4209212 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/29003/statm: 70420 69665 472 1171 0 69197 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 281680
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29053
/proc/meminfo: memFree=27150192/32873844 swapFree=6608/6608
[pid=29003] ppid=29001 vsize=288848 CPUtime=1362.02 cores=0,2,4,6
/proc/29003/stat : 29003 (toysat) R 29001 29003 28266 0 -1 4202496 87472 0 0 0 135992 210 0 0 20 0 1 0 330094520 295780352 71457 33554432000 4194304 8989770 140735938178528 140735938178024 7697332 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/29003/statm: 72212 71457 472 1171 0 70989 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 288848
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29053
/proc/meminfo: memFree=27139932/32873844 swapFree=6608/6608
[pid=29003] ppid=29001 vsize=299088 CPUtime=1422.02 cores=0,2,4,6
/proc/29003/stat : 29003 (toysat) R 29001 29003 28266 0 -1 4202496 90041 0 0 0 141985 217 0 0 20 0 1 0 330094520 306266112 74017 33554432000 4194304 8989770 140735938178528 140735938177792 4204363 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/29003/statm: 74772 74017 472 1171 0 73549 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 299088
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29054
/proc/meminfo: memFree=27133732/32873844 swapFree=6608/6608
[pid=29003] ppid=29001 vsize=305232 CPUtime=1482.01 cores=0,2,4,6
/proc/29003/stat : 29003 (toysat) R 29001 29003 28266 0 -1 4202496 91577 0 0 0 147978 223 0 0 20 0 1 0 330094520 312557568 75553 33554432000 4194304 8989770 140735938178528 140735938178024 4209206 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/29003/statm: 76308 75553 472 1171 0 75085 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 305232
[startup+1542.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 29054
/proc/meminfo: memFree=27122944/32873844 swapFree=6608/6608
[pid=29003] ppid=29001 vsize=316496 CPUtime=1542 cores=0,2,4,6
/proc/29003/stat : 29003 (toysat) R 29001 29003 28266 0 -1 4202496 94393 0 0 0 153970 230 0 0 20 0 1 0 330094520 324091904 78369 33554432000 4194304 8989770 140735938178528 140735938177792 7697332 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/29003/statm: 79124 78369 472 1171 0 77901 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 316496
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 29054
/proc/meminfo: memFree=27117584/32873844 swapFree=6608/6608
[pid=29003] ppid=29001 vsize=321616 CPUtime=1601.98 cores=0,2,4,6
/proc/29003/stat : 29003 (toysat) R 29001 29003 28266 0 -1 4202496 95681 0 0 0 159962 236 0 0 20 0 1 0 330094520 329334784 79649 33554432000 4194304 8989770 140735938178528 140735938178024 4204359 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/29003/statm: 80404 79649 472 1171 0 79181 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 321616
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29054
/proc/meminfo: memFree=27109772/32873844 swapFree=6608/6608
[pid=29003] ppid=29001 vsize=329808 CPUtime=1661.97 cores=0,2,4,6
/proc/29003/stat : 29003 (toysat) R 29001 29003 28266 0 -1 4202496 97729 0 0 0 165954 243 0 0 20 0 1 0 330094520 337723392 81697 33554432000 4194304 8989770 140735938178528 140735938177792 4204694 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/29003/statm: 82452 81697 472 1171 0 81229 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 329808
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29057
/proc/meminfo: memFree=27104928/32873844 swapFree=6608/6608
[pid=29003] ppid=29001 vsize=334928 CPUtime=1721.96 cores=0,2,4,6
/proc/29003/stat : 29003 (toysat) R 29001 29003 28266 0 -1 4202496 99009 0 0 0 171948 248 0 0 20 0 1 0 330094520 342966272 82977 33554432000 4194304 8989770 140735938178528 140735938177792 4204729 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/29003/statm: 83732 82977 472 1171 0 82509 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 334928
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29058
/proc/meminfo: memFree=27099108/32873844 swapFree=6608/6608
[pid=29003] ppid=29001 vsize=343120 CPUtime=1781.95 cores=0,2,4,6
/proc/29003/stat : 29003 (toysat) R 29001 29003 28266 0 -1 4202496 101049 0 0 0 177940 255 0 0 20 0 1 0 330094520 351354880 85017 33554432000 4194304 8989770 140735938178528 140735938177792 4371340 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/29003/statm: 85780 85017 472 1171 0 84557 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 343120
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29058
/proc/meminfo: memFree=27094024/32873844 swapFree=6608/6608
[pid=29003] ppid=29001 vsize=345168 CPUtime=1800.06 cores=0,2,4,6
/proc/29003/stat : 29003 (toysat) R 29001 29003 28266 0 -1 4202496 101569 0 0 0 179749 257 0 0 20 0 1 0 330094520 353452032 85537 33554432000 4194304 8989770 140735938178528 140735938177792 7697332 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/29003/statm: 86292 85537 472 1171 0 85069 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 345168
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.07
CPU user time (s): 1797.49
CPU system time (s): 2.57561
CPU usage (%): 99.981
Max. virtual memory (cumulated for all children) (KiB): 345168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.49
system time used= 2.57561
maximum resident set size= 342148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101569
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= 84
involuntary context switches= 1909
runsolver used 3.12952 second user time and 9.43456 second system time
The end