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-3724736-1338643302/watcher-3724736-1338643302 -o /tmp/evaluation-result-3724736-1338643302/solver-3724736-1338643302 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724736-1338643302.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.12 2.08 2.01 3/176 29212
/proc/meminfo: memFree=26562760/32873844 swapFree=6608/6608
[pid=29212] ppid=29210 vsize=7248 CPUtime=0 cores=0,2,4,6
/proc/29212/stat : 29212 (toysat) R 29210 29212 28266 0 -1 4202496 847 0 0 0 0 0 0 0 20 0 1 0 330455163 7421952 767 33554432000 4194304 8989770 140734011471600 140734440189624 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29212/statm: 1812 767 426 1171 0 589 0
[startup+0.084153 s]
/proc/loadavg: 2.12 2.08 2.01 3/176 29212
/proc/meminfo: memFree=26562760/32873844 swapFree=6608/6608
[pid=29212] ppid=29210 vsize=11344 CPUtime=0.07 cores=0,2,4,6
/proc/29212/stat : 29212 (toysat) R 29210 29212 28266 0 -1 4202496 2073 0 0 0 7 0 0 0 20 0 1 0 330455163 11616256 1993 33554432000 4194304 8989770 140734011471600 140734011470440 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29212/statm: 2836 1993 426 1171 0 1613 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11344
[startup+0.100294 s]
/proc/loadavg: 2.12 2.08 2.01 3/176 29212
/proc/meminfo: memFree=26562760/32873844 swapFree=6608/6608
[pid=29212] ppid=29210 vsize=11344 CPUtime=0.09 cores=0,2,4,6
/proc/29212/stat : 29212 (toysat) R 29210 29212 28266 0 -1 4202496 2109 0 0 0 9 0 0 0 20 0 1 0 330455163 11616256 2029 33554432000 4194304 8989770 140734011471600 140734011470440 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29212/statm: 2836 2029 426 1171 0 1613 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11344
[startup+0.30027 s]
/proc/loadavg: 2.12 2.08 2.01 3/176 29212
/proc/meminfo: memFree=26562760/32873844 swapFree=6608/6608
[pid=29212] ppid=29210 vsize=24656 CPUtime=0.29 cores=0,2,4,6
/proc/29212/stat : 29212 (toysat) R 29210 29212 28266 0 -1 4202496 5437 0 0 0 28 1 0 0 20 0 1 0 330455163 25247744 5357 33554432000 4194304 8989770 140734011471600 140734011470440 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29212/statm: 6164 5357 426 1171 0 4941 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24656
[startup+0.700287 s]
/proc/loadavg: 2.12 2.08 2.01 3/176 29212
/proc/meminfo: memFree=26562760/32873844 swapFree=6608/6608
[pid=29212] ppid=29210 vsize=46160 CPUtime=0.69 cores=0,2,4,6
/proc/29212/stat : 29212 (toysat) R 29210 29212 28266 0 -1 4202496 10817 0 0 0 67 2 0 0 20 0 1 0 330455163 47267840 10737 33554432000 4194304 8989770 140734011471600 140734011470440 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29212/statm: 11540 10737 430 1171 0 10317 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 46160
[startup+1.50027 s]
/proc/loadavg: 2.12 2.08 2.01 3/177 29213
/proc/meminfo: memFree=26510400/32873844 swapFree=6608/6608
[pid=29212] ppid=29210 vsize=93264 CPUtime=1.49 cores=0,2,4,6
/proc/29212/stat : 29212 (toysat) R 29210 29212 28266 0 -1 4202496 22593 0 0 0 145 4 0 0 20 0 1 0 330455163 95502336 22513 33554432000 4194304 8989770 140734011471600 140734011471096 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29212/statm: 23316 22513 430 1171 0 22093 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 93264
[startup+3.10027 s]
/proc/loadavg: 2.12 2.08 2.01 3/177 29213
/proc/meminfo: memFree=26445540/32873844 swapFree=6608/6608
[pid=29212] ppid=29210 vsize=198736 CPUtime=3.09 cores=0,2,4,6
/proc/29212/stat : 29212 (toysat) R 29210 29212 28266 0 -1 4202496 48962 0 0 0 301 8 0 0 20 0 1 0 330455163 203505664 48882 33554432000 4194304 8989770 140734011471600 140734011471096 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29212/statm: 49684 48882 431 1171 0 48461 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 198736
[startup+6.30028 s]
/proc/loadavg: 2.11 2.08 2.01 3/177 29213
/proc/meminfo: memFree=26232260/32873844 swapFree=6608/6608
[pid=29212] ppid=29210 vsize=333904 CPUtime=6.29 cores=0,2,4,6
/proc/29212/stat : 29212 (toysat) R 29210 29212 28266 0 -1 4202496 82755 0 0 0 613 16 0 0 20 0 1 0 330455163 341917696 82675 33554432000 4194304 8989770 140734011471600 140734011471096 4204286 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29212/statm: 83476 82675 431 1171 0 82253 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 333904
[startup+12.7003 s]
/proc/loadavg: 2.10 2.07 2.01 3/177 29213
/proc/meminfo: memFree=25830120/32873844 swapFree=6608/6608
[pid=29212] ppid=29210 vsize=735312 CPUtime=12.69 cores=0,2,4,6
/proc/29212/stat : 29212 (toysat) R 29210 29212 28266 0 -1 4202496 183107 0 0 0 1235 34 0 0 20 0 1 0 330455163 752959488 183027 33554432000 4194304 8989770 140734011471600 140734011471096 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29212/statm: 183828 183027 431 1171 0 182605 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 735312
[startup+25.5002 s]
/proc/loadavg: 2.08 2.07 2.01 3/177 29213
/proc/meminfo: memFree=26020700/32873844 swapFree=6608/6608
[pid=29212] ppid=29210 vsize=541776 CPUtime=25.48 cores=0,2,4,6
/proc/29212/stat : 29212 (toysat) R 29210 29212 28266 0 -1 4202496 250201 0 0 0 2498 50 0 0 20 0 1 0 330455163 554778624 134665 33554432000 4194304 8989770 140734011471600 140734011471096 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29212/statm: 135444 134665 447 1171 0 134221 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 541776
[startup+51.1002 s]
/proc/loadavg: 2.05 2.06 2.01 3/177 29213
/proc/meminfo: memFree=26013708/32873844 swapFree=6608/6608
[pid=29212] ppid=29210 vsize=541776 CPUtime=51.09 cores=0,2,4,6
/proc/29212/stat : 29212 (toysat) R 29210 29212 28266 0 -1 4202496 250201 0 0 0 5050 59 0 0 20 0 1 0 330455163 554778624 134665 33554432000 4194304 8989770 140734011471600 140734011471096 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29212/statm: 135444 134665 447 1171 0 134221 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 541776
[startup+102.306 s]
/proc/loadavg: 2.10 2.08 2.01 3/177 29213
/proc/meminfo: memFree=26003212/32873844 swapFree=6608/6608
[pid=29212] ppid=29210 vsize=541776 CPUtime=102.28 cores=0,2,4,6
/proc/29212/stat : 29212 (toysat) R 29210 29212 28266 0 -1 4202496 250201 0 0 0 10155 73 0 0 20 0 1 0 330455163 554778624 134665 33554432000 4194304 8989770 140734011471600 140734011471096 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29212/statm: 135444 134665 447 1171 0 134221 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 541776
[startup+162.3 s]
/proc/loadavg: 2.07 2.08 2.01 3/177 29213
/proc/meminfo: memFree=25990716/32873844 swapFree=6608/6608
[pid=29212] ppid=29210 vsize=537680 CPUtime=162.24 cores=0,2,4,6
/proc/29212/stat : 29212 (toysat) R 29210 29212 28266 0 -1 4202496 250239 0 0 0 16131 93 0 0 20 0 1 0 330455163 550584320 133641 33554432000 4194304 8989770 140734011471600 140734011470864 4208816 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29212/statm: 134420 133641 447 1171 0 133197 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 537680
[startup+222.3 s]
/proc/loadavg: 2.06 2.08 2.01 3/177 29213
/proc/meminfo: memFree=25980824/32873844 swapFree=6608/6608
[pid=29212] ppid=29210 vsize=537680 CPUtime=222.23 cores=0,2,4,6
/proc/29212/stat : 29212 (toysat) R 29210 29212 28266 0 -1 4202496 250246 0 0 0 22111 112 0 0 20 0 1 0 330455163 550584320 133641 33554432000 4194304 8989770 140734011471600 140734011470864 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29212/statm: 134420 133641 447 1171 0 133197 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 537680
[startup+282.3 s]
/proc/loadavg: 2.06 2.07 2.01 3/177 29214
/proc/meminfo: memFree=25968452/32873844 swapFree=6608/6608
[pid=29212] ppid=29210 vsize=537680 CPUtime=282.23 cores=0,2,4,6
/proc/29212/stat : 29212 (toysat) R 29210 29212 28266 0 -1 4202496 250247 0 0 0 28092 131 0 0 20 0 1 0 330455163 550584320 133642 33554432000 4194304 8989770 140734011471600 140734011470864 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29212/statm: 134420 133642 447 1171 0 133197 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 537680
[startup+342.3 s]
/proc/loadavg: 2.02 2.06 2.01 3/177 29214
/proc/meminfo: memFree=25956080/32873844 swapFree=6608/6608
[pid=29212] ppid=29210 vsize=537680 CPUtime=342.21 cores=0,2,4,6
/proc/29212/stat : 29212 (toysat) R 29210 29212 28266 0 -1 4202496 250250 0 0 0 34073 148 0 0 20 0 1 0 330455163 550584320 133642 33554432000 4194304 8989770 140734011471600 140734011471096 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29212/statm: 134420 133642 447 1171 0 133197 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 537680
[startup+402.3 s]
/proc/loadavg: 2.01 2.05 2.00 3/177 29214
/proc/meminfo: memFree=25937260/32873844 swapFree=6608/6608
[pid=29212] ppid=29210 vsize=537680 CPUtime=402.21 cores=0,2,4,6
/proc/29212/stat : 29212 (toysat) R 29210 29212 28266 0 -1 4202496 250254 0 0 0 40055 166 0 0 20 0 1 0 330455163 550584320 133642 33554432000 4194304 8989770 140734011471600 140734011471096 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29212/statm: 134420 133642 447 1171 0 133197 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 537680
[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 29214
/proc/meminfo: memFree=25931984/32873844 swapFree=6608/6608
[pid=29212] ppid=29210 vsize=533584 CPUtime=462.19 cores=0,2,4,6
/proc/29212/stat : 29212 (toysat) R 29210 29212 28266 0 -1 4202496 250255 0 0 0 46034 185 0 0 20 0 1 0 330455163 546390016 132618 33554432000 4194304 8989770 140734011471600 140734011471096 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29212/statm: 133396 132618 447 1171 0 132173 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 533584
[startup+522.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/178 29217
/proc/meminfo: memFree=25917840/32873844 swapFree=6608/6608
[pid=29212] ppid=29210 vsize=533584 CPUtime=522.18 cores=0,2,4,6
/proc/29212/stat : 29212 (toysat) R 29210 29212 28266 0 -1 4202496 250255 0 0 0 52017 201 0 0 20 0 1 0 330455163 546390016 132618 33554432000 4194304 8989770 140734011471600 140734011470864 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29212/statm: 133396 132618 447 1171 0 132173 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 533584
[startup+582.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/178 29218
/proc/meminfo: memFree=25905564/32873844 swapFree=6608/6608
[pid=29212] ppid=29210 vsize=533584 CPUtime=582.17 cores=0,2,4,6
/proc/29212/stat : 29212 (toysat) R 29210 29212 28266 0 -1 4202496 250255 0 0 0 57997 220 0 0 20 0 1 0 330455163 546390016 132618 33554432000 4194304 8989770 140734011471600 140734011470864 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29212/statm: 133396 132618 447 1171 0 132173 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 533584
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 29218
/proc/meminfo: memFree=25814556/32873844 swapFree=6608/6608
[pid=29212] ppid=29210 vsize=533584 CPUtime=822.14 cores=0,2,4,6
/proc/29212/stat : 29212 (toysat) R 29210 29212 28266 0 -1 4202496 250255 0 0 0 81920 294 0 0 20 0 1 0 330455163 546390016 132618 33554432000 4194304 8989770 140734011471600 140734011471096 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29212/statm: 133396 132618 447 1171 0 132173 0
Current children cumulated CPU time (s) 822.14
Current children cumulated vsize (KiB) 533584
[startup+882.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/176 29218
/proc/meminfo: memFree=25790632/32873844 swapFree=6608/6608
[pid=29212] ppid=29210 vsize=533584 CPUtime=882.13 cores=0,2,4,6
/proc/29212/stat : 29212 (toysat) R 29210 29212 28266 0 -1 4202496 250255 0 0 0 87901 312 0 0 20 0 1 0 330455163 546390016 132618 33554432000 4194304 8989770 140734011471600 140734011470864 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29212/statm: 133396 132618 447 1171 0 132173 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 533584
[startup+942.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 29258
/proc/meminfo: memFree=26815708/32873844 swapFree=6608/6608
[pid=29212] ppid=29210 vsize=533584 CPUtime=942.12 cores=0,2,4,6
/proc/29212/stat : 29212 (toysat) R 29210 29212 28266 0 -1 4202496 250255 0 0 0 93884 328 0 0 20 0 1 0 330455163 546390016 132618 33554432000 4194304 8989770 140734011471600 140734011471096 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29212/statm: 133396 132618 447 1171 0 132173 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 533584
[startup+1002.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 29258
/proc/meminfo: memFree=26750236/32873844 swapFree=6608/6608
[pid=29212] ppid=29210 vsize=533584 CPUtime=1002.11 cores=0,2,4,6
/proc/29212/stat : 29212 (toysat) R 29210 29212 28266 0 -1 4202496 250255 0 0 0 99867 344 0 0 20 0 1 0 330455163 546390016 132618 33554432000 4194304 8989770 140734011471600 140734011471096 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29212/statm: 133396 132618 447 1171 0 132173 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 533584
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 29258
/proc/meminfo: memFree=26754328/32873844 swapFree=6608/6608
[pid=29212] ppid=29210 vsize=533584 CPUtime=1062.1 cores=0,2,4,6
/proc/29212/stat : 29212 (toysat) R 29210 29212 28266 0 -1 4202496 250255 0 0 0 105849 361 0 0 20 0 1 0 330455163 546390016 132618 33554432000 4194304 8989770 140734011471600 140734011471096 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29212/statm: 133396 132618 447 1171 0 132173 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 533584
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 29261
/proc/meminfo: memFree=26783460/32873844 swapFree=6608/6608
[pid=29212] ppid=29210 vsize=533584 CPUtime=1122.1 cores=0,2,4,6
/proc/29212/stat : 29212 (toysat) R 29210 29212 28266 0 -1 4202496 250255 0 0 0 111830 380 0 0 20 0 1 0 330455163 546390016 132618 33554432000 4194304 8989770 140734011471600 140734011471096 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29212/statm: 133396 132618 447 1171 0 132173 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 533584
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 29261
/proc/meminfo: memFree=26780000/32873844 swapFree=6608/6608
[pid=29212] ppid=29210 vsize=529488 CPUtime=1182.08 cores=0,2,4,6
/proc/29212/stat : 29212 (toysat) R 29210 29212 28266 0 -1 4202496 250255 0 0 0 117811 397 0 0 20 0 1 0 330455163 542195712 131594 33554432000 4194304 8989770 140734011471600 140734011471096 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29212/statm: 132372 131594 447 1171 0 131149 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 529488
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29262
/proc/meminfo: memFree=26779192/32873844 swapFree=6608/6608
[pid=29212] ppid=29210 vsize=529488 CPUtime=1242.07 cores=0,2,4,6
/proc/29212/stat : 29212 (toysat) R 29210 29212 28266 0 -1 4202496 250255 0 0 0 123793 414 0 0 20 0 1 0 330455163 542195712 131594 33554432000 4194304 8989770 140734011471600 140734011471096 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29212/statm: 132372 131594 447 1171 0 131149 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 529488
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29262
/proc/meminfo: memFree=26808016/32873844 swapFree=6608/6608
[pid=29212] ppid=29210 vsize=529488 CPUtime=1302.07 cores=0,2,4,6
/proc/29212/stat : 29212 (toysat) R 29210 29212 28266 0 -1 4202496 250255 0 0 0 129776 431 0 0 20 0 1 0 330455163 542195712 131594 33554432000 4194304 8989770 140734011471600 140734011470864 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29212/statm: 132372 131594 447 1171 0 131149 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 529488
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29262
/proc/meminfo: memFree=26799832/32873844 swapFree=6608/6608
[pid=29212] ppid=29210 vsize=529488 CPUtime=1362.05 cores=0,2,4,6
/proc/29212/stat : 29212 (toysat) R 29210 29212 28266 0 -1 4202496 250255 0 0 0 135755 450 0 0 20 0 1 0 330455163 542195712 131594 33554432000 4194304 8989770 140734011471600 140734011471096 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29212/statm: 132372 131594 447 1171 0 131149 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 529488
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29262
/proc/meminfo: memFree=26803800/32873844 swapFree=6608/6608
[pid=29212] ppid=29210 vsize=529488 CPUtime=1422.05 cores=0,2,4,6
/proc/29212/stat : 29212 (toysat) R 29210 29212 28266 0 -1 4202496 250255 0 0 0 141739 466 0 0 20 0 1 0 330455163 542195712 131594 33554432000 4194304 8989770 140734011471600 140734011470864 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29212/statm: 132372 131594 447 1171 0 131149 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 529488
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29262
/proc/meminfo: memFree=26751472/32873844 swapFree=6608/6608
[pid=29212] ppid=29210 vsize=529488 CPUtime=1482.04 cores=0,2,4,6
/proc/29212/stat : 29212 (toysat) R 29210 29212 28266 0 -1 4202496 250255 0 0 0 147720 484 0 0 20 0 1 0 330455163 542195712 131594 33554432000 4194304 8989770 140734011471600 140734011471096 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29212/statm: 132372 131594 447 1171 0 131149 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 529488
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29263
/proc/meminfo: memFree=26746264/32873844 swapFree=6608/6608
[pid=29212] ppid=29210 vsize=529488 CPUtime=1542.03 cores=0,2,4,6
/proc/29212/stat : 29212 (toysat) R 29210 29212 28266 0 -1 4202496 250255 0 0 0 153702 501 0 0 20 0 1 0 330455163 542195712 131594 33554432000 4194304 8989770 140734011471600 140734011471096 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29212/statm: 132372 131594 447 1171 0 131149 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 529488
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29263
/proc/meminfo: memFree=26799080/32873844 swapFree=6608/6608
[pid=29212] ppid=29210 vsize=529488 CPUtime=1602.02 cores=0,2,4,6
/proc/29212/stat : 29212 (toysat) R 29210 29212 28266 0 -1 4202496 250255 0 0 0 159683 519 0 0 20 0 1 0 330455163 542195712 131594 33554432000 4194304 8989770 140734011471600 140734011471096 4204320 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29212/statm: 132372 131594 447 1171 0 131149 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 529488
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29263
/proc/meminfo: memFree=26787424/32873844 swapFree=6608/6608
[pid=29212] ppid=29210 vsize=529488 CPUtime=1662.01 cores=0,2,4,6
/proc/29212/stat : 29212 (toysat) R 29210 29212 28266 0 -1 4202496 250255 0 0 0 165665 536 0 0 20 0 1 0 330455163 542195712 131594 33554432000 4194304 8989770 140734011471600 140734011471096 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29212/statm: 132372 131594 447 1171 0 131149 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 529488
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29266
/proc/meminfo: memFree=26807876/32873844 swapFree=6608/6608
[pid=29212] ppid=29210 vsize=529488 CPUtime=1722 cores=0,2,4,6
/proc/29212/stat : 29212 (toysat) R 29210 29212 28266 0 -1 4202496 250255 0 0 0 171646 554 0 0 20 0 1 0 330455163 542195712 131594 33554432000 4194304 8989770 140734011471600 140734011470864 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29212/statm: 132372 131594 447 1171 0 131149 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 529488
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29266
/proc/meminfo: memFree=26806396/32873844 swapFree=6608/6608
[pid=29212] ppid=29210 vsize=529488 CPUtime=1781.99 cores=0,2,4,6
/proc/29212/stat : 29212 (toysat) R 29210 29212 28266 0 -1 4202496 250255 0 0 0 177627 572 0 0 20 0 1 0 330455163 542195712 131594 33554432000 4194304 8989770 140734011471600 140734011470864 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29212/statm: 132372 131594 447 1171 0 131149 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 529488
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29267
/proc/meminfo: memFree=26807760/32873844 swapFree=6608/6608
[pid=29212] ppid=29210 vsize=529488 CPUtime=1800.09 cores=0,2,4,6
/proc/29212/stat : 29212 (toysat) R 29210 29212 28266 0 -1 4202496 250255 0 0 0 179431 578 0 0 20 0 1 0 330455163 542195712 131594 33554432000 4194304 8989770 140734011471600 140734011471096 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29212/statm: 132372 131594 447 1171 0 131149 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 529488
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.11
CPU user time (s): 1794.32
CPU system time (s): 5.78812
CPU usage (%): 99.9832
Max. virtual memory (cumulated for all children) (KiB): 1003600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.32
system time used= 5.78812
maximum resident set size= 1000480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 250255
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= 56
involuntary context switches= 1854
runsolver used 3.35949 second user time and 8.91664 second system time
The end