runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
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-3373001-1305432846/watcher-3373001-1305432846 -o /tmp/evaluation-result-3373001-1305432846/solver-3373001-1305432846 -C 4800 -W 1300 -M 15500 HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3373001-1305432846.cnf
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 3.68 4.41 5.96 2/238 17828
/proc/meminfo: memFree=24204052/32951124 swapFree=61559568/67111528
[pid=17828] ppid=17826 vsize=21808 CPUtime=0 cores=1,3,5,7
/proc/17828/stat : 17828 (claspmt) R 17826 17828 17257 0 -1 4202496 744 0 0 0 0 0 0 0 23 0 1 0 654885394 22331392 664 33554432000 4194304 4964800 140734824549072 18446744073709551615 4599599 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17828/statm: 5452 664 385 189 0 326 0
[startup+0.0975671 s]
/proc/loadavg: 3.68 4.41 5.96 2/238 17828
/proc/meminfo: memFree=24204052/32951124 swapFree=61559568/67111528
[pid=17828] ppid=17826 vsize=37692 CPUtime=0.09 cores=1,3,5,7
/proc/17828/stat : 17828 (claspmt) R 17826 17828 17257 0 -1 4202496 5799 0 0 0 9 0 0 0 23 0 1 0 654885394 38596608 4554 33554432000 4194304 4964800 140734824549072 18446744073709551615 4607604 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17828/statm: 9423 4554 398 189 0 4297 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37692
[startup+0.100564 s]
/proc/loadavg: 3.68 4.41 5.96 2/238 17828
/proc/meminfo: memFree=24204052/32951124 swapFree=61559568/67111528
[pid=17828] ppid=17826 vsize=37692 CPUtime=0.09 cores=1,3,5,7
/proc/17828/stat : 17828 (claspmt) R 17826 17828 17257 0 -1 4202496 5799 0 0 0 9 0 0 0 23 0 1 0 654885394 38596608 4554 33554432000 4194304 4964800 140734824549072 18446744073709551615 4607536 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17828/statm: 9423 4554 398 189 0 4297 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37692
[startup+0.300531 s]
/proc/loadavg: 3.68 4.41 5.96 2/238 17828
/proc/meminfo: memFree=24204052/32951124 swapFree=61559568/67111528
[pid=17828] ppid=17826 vsize=37692 CPUtime=0.29 cores=1,3,5,7
/proc/17828/stat : 17828 (claspmt) R 17826 17828 17257 0 -1 4202496 5799 0 0 0 29 0 0 0 25 0 1 0 654885394 38596608 4554 33554432000 4194304 4964800 140734824549072 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17828/statm: 9423 4554 398 189 0 4297 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37692
[startup+0.700455 s]
/proc/loadavg: 3.68 4.41 5.96 2/238 17828
/proc/meminfo: memFree=24204052/32951124 swapFree=61559568/67111528
[pid=17828] ppid=17826 vsize=37692 CPUtime=0.69 cores=1,3,5,7
/proc/17828/stat : 17828 (claspmt) R 17826 17828 17257 0 -1 4202496 5799 0 0 0 69 0 0 0 25 0 1 0 654885394 38596608 4554 33554432000 4194304 4964800 140734824549072 18446744073709551615 4607622 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17828/statm: 9423 4554 398 189 0 4297 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37692
[startup+1.50031 s]
/proc/loadavg: 3.87 4.44 5.96 7/242 17832
/proc/meminfo: memFree=24168300/32951124 swapFree=61559568/67111528
[pid=17828] ppid=17826 vsize=39540 CPUtime=1.49 cores=1,3,5,7
/proc/17828/stat : 17828 (claspmt) R 17826 17828 17257 0 -1 4202496 6261 0 0 0 149 0 0 0 25 0 1 0 654885394 40488960 5016 33554432000 4194304 4964800 140734824549072 18446744073709551615 4600425 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17828/statm: 9885 5016 399 189 0 4759 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 39540
[startup+3.10097 s]
/proc/loadavg: 3.87 4.44 5.96 10/245 17835
/proc/meminfo: memFree=24149304/32951124 swapFree=61559568/67111528
[pid=17828] ppid=17826 vsize=185132 CPUtime=6.99 cores=1,3,5,7
/proc/17828/stat : 17828 (claspmt) R 17826 17828 17257 0 -1 4202496 11322 0 0 0 697 2 0 0 25 0 4 0 654885394 189575168 9544 33554432000 4194304 4964800 140734824549072 18446744073709551615 4669022 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/17828/statm: 46283 9544 458 189 0 40632 0
[pid=17828/tid=17833] ppid=17826 vsize=185132 CPUtime=1.28 cores=1,3,5,7
/proc/17828/task/17833/stat : 17833 (claspmt) R 17826 17828 17257 0 -1 4202560 1480 0 0 0 128 0 0 0 25 0 4 0 654885574 189575168 9544 33554432000 4194304 4964800 140734824549072 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17828/tid=17834] ppid=17826 vsize=185132 CPUtime=1.3 cores=1,3,5,7
/proc/17828/task/17834/stat : 17834 (claspmt) R 17826 17828 17257 0 -1 4202560 1101 0 0 0 130 0 0 0 25 0 4 0 654885574 189575168 9544 33554432000 4194304 4964800 140734824549072 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17828/tid=17835] ppid=17826 vsize=185132 CPUtime=1.29 cores=1,3,5,7
/proc/17828/task/17835/stat : 17835 (claspmt) R 17826 17828 17257 0 -1 4202560 884 0 0 0 129 0 0 0 25 0 4 0 654885574 189575168 9544 33554432000 4194304 4964800 140734824549072 18446744073709551615 4653542 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.99
Current children cumulated vsize (KiB) 185132
[startup+6.30038 s]
/proc/loadavg: 3.87 4.44 5.96 10/245 17836
/proc/meminfo: memFree=24098536/32951124 swapFree=61559568/67111528
[pid=17828] ppid=17826 vsize=194796 CPUtime=19.76 cores=1,3,5,7
/proc/17828/stat : 17828 (claspmt) R 17826 17828 17257 0 -1 4202496 18314 0 0 0 1970 6 0 0 25 0 4 0 654885394 199471104 16536 33554432000 4194304 4964800 140734824549072 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/17828/statm: 48699 16536 460 189 0 43048 0
[pid=17828/tid=17833] ppid=17826 vsize=194796 CPUtime=4.46 cores=1,3,5,7
/proc/17828/task/17833/stat : 17833 (claspmt) R 17826 17828 17257 0 -1 4202560 3347 0 0 0 444 2 0 0 25 0 4 0 654885574 199471104 16536 33554432000 4194304 4964800 140734824549072 18446744073709551615 4653281 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17828/tid=17834] ppid=17826 vsize=194796 CPUtime=4.5 cores=1,3,5,7
/proc/17828/task/17834/stat : 17834 (claspmt) R 17826 17828 17257 0 -1 4202560 2515 0 0 0 450 0 0 0 25 0 4 0 654885574 199471104 16536 33554432000 4194304 4964800 140734824549072 18446744073709551615 4670363 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17828/tid=17835] ppid=17826 vsize=194796 CPUtime=4.49 cores=1,3,5,7
/proc/17828/task/17835/stat : 17835 (claspmt) R 17826 17828 17257 0 -1 4202560 2579 0 0 0 448 1 0 0 25 0 4 0 654885574 199471104 16536 33554432000 4194304 4964800 140734824549072 18446744073709551615 4627365 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 19.76
Current children cumulated vsize (KiB) 194796
[startup+12.7002 s]
/proc/loadavg: 4.50 4.55 5.98 9/245 17836
/proc/meminfo: memFree=24039660/32951124 swapFree=61559568/67111528
[pid=17828] ppid=17826 vsize=207192 CPUtime=45.31 cores=1,3,5,7
/proc/17828/stat : 17828 (claspmt) R 17826 17828 17257 0 -1 4202496 28311 0 0 0 4520 11 0 0 25 0 4 0 654885394 212164608 26533 33554432000 4194304 4964800 140734824549072 18446744073709551615 4320955 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/17828/statm: 51798 26533 460 189 0 46147 0
[pid=17828/tid=17833] ppid=17826 vsize=207192 CPUtime=10.81 cores=1,3,5,7
/proc/17828/task/17833/stat : 17833 (claspmt) R 17826 17828 17257 0 -1 4202560 6107 0 0 0 1077 4 0 0 25 0 4 0 654885574 212164608 26533 33554432000 4194304 4964800 140734824549072 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17828/tid=17834] ppid=17826 vsize=207192 CPUtime=10.9 cores=1,3,5,7
/proc/17828/task/17834/stat : 17834 (claspmt) R 17826 17828 17257 0 -1 4202560 4074 0 0 0 1089 1 0 0 25 0 4 0 654885574 212164608 26533 33554432000 4194304 4964800 140734824549072 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17828/tid=17835] ppid=17826 vsize=207192 CPUtime=10.9 cores=1,3,5,7
/proc/17828/task/17835/stat : 17835 (claspmt) R 17826 17828 17257 0 -1 4202560 4758 0 0 0 1088 2 0 0 25 0 4 0 654885574 212164608 26533 33554432000 4194304 4964800 140734824549072 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 45.31
Current children cumulated vsize (KiB) 207192
[startup+25.5009 s]
/proc/loadavg: 5.04 4.67 6.00 9/245 17836
/proc/meminfo: memFree=23972572/32951124 swapFree=61559568/67111528
[pid=17828] ppid=17826 vsize=227844 CPUtime=96.4 cores=1,3,5,7
/proc/17828/stat : 17828 (claspmt) R 17826 17828 17257 0 -1 4202496 39589 0 0 0 9624 16 0 0 25 0 4 0 654885394 233312256 37811 33554432000 4194304 4964800 140734824549072 18446744073709551615 4658556 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/17828/statm: 56961 37811 460 189 0 51310 0
[pid=17828/tid=17833] ppid=17826 vsize=227844 CPUtime=23.5 cores=1,3,5,7
/proc/17828/task/17833/stat : 17833 (claspmt) R 17826 17828 17257 0 -1 4202560 9035 0 0 0 2346 4 0 0 25 0 4 0 654885574 233312256 37811 33554432000 4194304 4964800 140734824549072 18446744073709551615 4627248 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17828/tid=17834] ppid=17826 vsize=227844 CPUtime=23.7 cores=1,3,5,7
/proc/17828/task/17834/stat : 17834 (claspmt) R 17826 17828 17257 0 -1 4202560 5999 0 0 0 2369 1 0 0 25 0 4 0 654885574 233312256 37811 33554432000 4194304 4964800 140734824549072 18446744073709551615 4320911 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17828/tid=17835] ppid=17826 vsize=227844 CPUtime=23.69 cores=1,3,5,7
/proc/17828/task/17835/stat : 17835 (claspmt) R 17826 17828 17257 0 -1 4202560 6944 0 0 0 2366 3 0 0 25 0 4 0 654885574 233312256 37811 33554432000 4194304 4964800 140734824549072 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 96.4
Current children cumulated vsize (KiB) 227844
[startup+51.1012 s]
/proc/loadavg: 6.05 4.93 6.05 9/245 17837
/proc/meminfo: memFree=23902492/32951124 swapFree=61559568/67111528
[pid=17828] ppid=17826 vsize=295372 CPUtime=198.62 cores=1,3,5,7
/proc/17828/stat : 17828 (claspmt) R 17826 17828 17257 0 -1 4202496 49811 0 0 0 19837 25 0 0 25 0 4 0 654885394 302460928 48026 33554432000 4194304 4964800 140734824549072 18446744073709551615 4320909 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/17828/statm: 73843 48026 460 189 0 68192 0
[pid=17828/tid=17833] ppid=17826 vsize=295372 CPUtime=48.91 cores=1,3,5,7
/proc/17828/task/17833/stat : 17833 (claspmt) R 17826 17828 17257 0 -1 4202560 11653 0 0 0 4884 7 0 0 25 0 4 0 654885574 302460928 48026 33554432000 4194304 4964800 140734824549072 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17828/tid=17834] ppid=17826 vsize=295372 CPUtime=49.3 cores=1,3,5,7
/proc/17828/task/17834/stat : 17834 (claspmt) R 17826 17828 17257 0 -1 4202560 8471 0 0 0 4928 2 0 0 25 0 4 0 654885574 302460928 48026 33554432000 4194304 4964800 140734824549072 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17828/tid=17835] ppid=17826 vsize=295372 CPUtime=49.29 cores=1,3,5,7
/proc/17828/task/17835/stat : 17835 (claspmt) R 17826 17828 17257 0 -1 4202560 8159 0 0 0 4925 4 0 0 25 0 4 0 654885574 302460928 48026 33554432000 4194304 4964800 140734824549072 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 198.62
Current children cumulated vsize (KiB) 295372
[startup+102.309 s]
/proc/loadavg: 7.30 5.47 6.17 9/245 17868
/proc/meminfo: memFree=23883536/32951124 swapFree=61559568/67111528
[pid=17828] ppid=17826 vsize=399088 CPUtime=403.04 cores=1,3,5,7
/proc/17828/stat : 17828 (claspmt) R 17826 17828 17257 0 -1 4202496 70106 0 0 0 40266 38 0 0 25 0 4 0 654885394 408666112 68290 33554432000 4194304 4964800 140734824549072 18446744073709551615 4320939 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/17828/statm: 99772 68290 460 189 0 94121 0
[pid=17828/tid=17833] ppid=17826 vsize=399088 CPUtime=99.73 cores=1,3,5,7
/proc/17828/task/17833/stat : 17833 (claspmt) R 17826 17828 17257 0 -1 4202560 16460 0 0 0 9963 10 0 0 25 0 4 0 654885574 408666112 68290 33554432000 4194304 4964800 140734824549072 18446744073709551615 4627290 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17828/tid=17834] ppid=17826 vsize=399088 CPUtime=100.51 cores=1,3,5,7
/proc/17828/task/17834/stat : 17834 (claspmt) R 17826 17828 17257 0 -1 4202560 11596 0 0 0 10048 3 0 0 25 0 4 0 654885574 408666112 68290 33554432000 4194304 4964800 140734824549072 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17828/tid=17835] ppid=17826 vsize=399088 CPUtime=100.49 cores=1,3,5,7
/proc/17828/task/17835/stat : 17835 (claspmt) R 17826 17828 17257 0 -1 4202560 11121 0 0 0 10043 6 0 0 25 0 4 0 654885574 408666112 68290 33554432000 4194304 4964800 140734824549072 18446744073709551615 4627248 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 403.04
Current children cumulated vsize (KiB) 399088
[startup+162.301 s]
/proc/loadavg: 7.84 5.96 6.30 9/245 17870
/proc/meminfo: memFree=23635440/32951124 swapFree=61559568/67111528
[pid=17828] ppid=17826 vsize=410808 CPUtime=642.56 cores=1,3,5,7
/proc/17828/stat : 17828 (claspmt) R 17826 17828 17257 0 -1 4202496 81572 0 0 0 64208 48 0 0 25 0 4 0 654885394 420667392 79598 33554432000 4194304 4964800 140734824549072 18446744073709551615 4669008 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/17828/statm: 102702 79598 460 189 0 97051 0
[pid=17828/tid=17833] ppid=17826 vsize=410808 CPUtime=159.28 cores=1,3,5,7
/proc/17828/task/17833/stat : 17833 (claspmt) R 17826 17828 17257 0 -1 4202560 18276 0 0 0 15915 13 0 0 25 0 4 0 654885574 420667392 79598 33554432000 4194304 4964800 140734824549072 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17828/tid=17834] ppid=17826 vsize=410808 CPUtime=160.5 cores=1,3,5,7
/proc/17828/task/17834/stat : 17834 (claspmt) R 17826 17828 17257 0 -1 4202560 14286 0 0 0 16047 3 0 0 25 0 4 0 654885574 420667392 79598 33554432000 4194304 4964800 140734824549072 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17828/tid=17835] ppid=17826 vsize=410808 CPUtime=160.48 cores=1,3,5,7
/proc/17828/task/17835/stat : 17835 (claspmt) R 17826 17828 17257 0 -1 4202560 13809 0 0 0 16038 10 0 0 25 0 4 0 654885574 420667392 79598 33554432000 4194304 4964800 140734824549072 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 642.56
Current children cumulated vsize (KiB) 410808
[startup+222.301 s]
/proc/loadavg: 7.98 6.35 6.40 9/245 17871
/proc/meminfo: memFree=23467888/32951124 swapFree=61559568/67111528
[pid=17828] ppid=17826 vsize=424676 CPUtime=882.11 cores=1,3,5,7
/proc/17828/stat : 17828 (claspmt) R 17826 17828 17257 0 -1 4202496 93716 0 0 0 88151 60 0 0 25 0 4 0 654885394 434868224 91628 33554432000 4194304 4964800 140734824549072 18446744073709551615 4320951 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/17828/statm: 106169 91628 460 189 0 100518 0
[pid=17828/tid=17833] ppid=17826 vsize=424676 CPUtime=218.82 cores=1,3,5,7
/proc/17828/task/17833/stat : 17833 (claspmt) R 17826 17828 17257 0 -1 4202560 20137 0 0 0 21867 15 0 0 25 0 4 0 654885574 434868224 91628 33554432000 4194304 4964800 140734824549072 18446744073709551615 4627248 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17828/tid=17834] ppid=17826 vsize=424676 CPUtime=220.5 cores=1,3,5,7
/proc/17828/task/17834/stat : 17834 (claspmt) R 17826 17828 17257 0 -1 4202560 17102 0 0 0 22046 4 0 0 25 0 4 0 654885574 434868224 91628 33554432000 4194304 4964800 140734824549072 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17828/tid=17835] ppid=17826 vsize=424676 CPUtime=220.48 cores=1,3,5,7
/proc/17828/task/17835/stat : 17835 (claspmt) R 17826 17828 17257 0 -1 4202560 16145 0 0 0 22036 12 0 0 25 0 4 0 654885574 434868224 91628 33554432000 4194304 4964800 140734824549072 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 882.11
Current children cumulated vsize (KiB) 424676
[startup+282.301 s]
/proc/loadavg: 8.02 6.66 6.51 9/245 17873
/proc/meminfo: memFree=23380924/32951124 swapFree=61559568/67111528
[pid=17828] ppid=17826 vsize=584392 CPUtime=1121.67 cores=1,3,5,7
/proc/17828/stat : 17828 (claspmt) R 17826 17828 17257 0 -1 4202496 108160 0 0 0 112096 71 0 0 25 0 4 0 654885394 598417408 106072 33554432000 4194304 4964800 140734824549072 18446744073709551615 4670299 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/17828/statm: 146098 106072 460 189 0 140447 0
[pid=17828/tid=17833] ppid=17826 vsize=584392 CPUtime=278.38 cores=1,3,5,7
################
# More data... #
################
[startup+342.301 s]
/proc/loadavg: 8.01 6.90 6.60 9/245 17875
/proc/meminfo: memFree=23209152/32951124 swapFree=61559568/67111528
[pid=17828] ppid=17826 vsize=590060 CPUtime=1361.21 cores=1,3,5,7
/proc/17828/stat : 17828 (claspmt) R 17826 17828 17257 0 -1 4202496 122460 0 0 0 136038 83 0 0 25 0 4 0 654885394 604221440 120356 33554432000 4194304 4964800 140734824549072 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/17828/statm: 147515 120356 460 189 0 141864 0
[pid=17828/tid=17833] ppid=17826 vsize=590060 CPUtime=337.93 cores=1,3,5,7
/proc/17828/task/17833/stat : 17833 (claspmt) R 17826 17828 17257 0 -1 4202560 25395 0 0 0 33773 20 0 0 25 0 4 0 654885574 604221440 120356 33554432000 4194304 4964800 140734824549072 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17828/tid=17834] ppid=17826 vsize=590060 CPUtime=340.51 cores=1,3,5,7
/proc/17828/task/17834/stat : 17834 (claspmt) R 17826 17828 17257 0 -1 4202560 22886 0 0 0 34045 6 0 0 25 0 4 0 654885574 604221440 120356 33554432000 4194304 4964800 140734824549072 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17828/tid=17835] ppid=17826 vsize=590060 CPUtime=340.48 cores=1,3,5,7
/proc/17828/task/17835/stat : 17835 (claspmt) R 17826 17828 17257 0 -1 4202560 22130 0 0 0 34029 19 0 0 25 0 4 0 654885574 604221440 120356 33554432000 4194304 4964800 140734824549072 18446744073709551615 4320905 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1361.21
Current children cumulated vsize (KiB) 590060
[startup+402.301 s]
/proc/loadavg: 8.04 7.11 6.69 9/245 17876
/proc/meminfo: memFree=23124436/32951124 swapFree=61559568/67111528
[pid=17828] ppid=17826 vsize=591568 CPUtime=1600.78 cores=1,3,5,7
/proc/17828/stat : 17828 (claspmt) R 17826 17828 17257 0 -1 4202496 125983 0 0 0 159993 85 0 0 25 0 4 0 654885394 605765632 123879 33554432000 4194304 4964800 140734824549072 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/17828/statm: 147892 123879 460 189 0 142241 0
[pid=17828/tid=17833] ppid=17826 vsize=591568 CPUtime=397.49 cores=1,3,5,7
/proc/17828/task/17833/stat : 17833 (claspmt) R 17826 17828 17257 0 -1 4202560 26176 0 0 0 39729 20 0 0 25 0 4 0 654885574 605765632 123879 33554432000 4194304 4964800 140734824549072 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17828/tid=17834] ppid=17826 vsize=591568 CPUtime=400.51 cores=1,3,5,7
/proc/17828/task/17834/stat : 17834 (claspmt) R 17826 17828 17257 0 -1 4202560 24901 0 0 0 40044 7 0 0 25 0 4 0 654885574 605765632 123879 33554432000 4194304 4964800 140734824549072 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17828/tid=17835] ppid=17826 vsize=591568 CPUtime=400.48 cores=1,3,5,7
/proc/17828/task/17835/stat : 17835 (claspmt) R 17826 17828 17257 0 -1 4202560 22856 0 0 0 40029 19 0 0 25 0 4 0 654885574 605765632 123879 33554432000 4194304 4964800 140734824549072 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1600.78
Current children cumulated vsize (KiB) 591568
[startup+462.301 s]
/proc/loadavg: 8.18 7.32 6.78 9/245 17878
/proc/meminfo: memFree=23076528/32951124 swapFree=61559568/67111528
[pid=17828] ppid=17826 vsize=593452 CPUtime=1840.34 cores=1,3,5,7
/proc/17828/stat : 17828 (claspmt) R 17826 17828 17257 0 -1 4202496 129205 0 0 0 183947 87 0 0 25 0 4 0 654885394 607694848 126860 33554432000 4194304 4964800 140734824549072 18446744073709551615 4670538 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/17828/statm: 148363 126860 460 189 0 142712 0
[pid=17828/tid=17833] ppid=17826 vsize=593452 CPUtime=457.04 cores=1,3,5,7
/proc/17828/task/17833/stat : 17833 (claspmt) R 17826 17828 17257 0 -1 4202560 27062 0 0 0 45683 21 0 0 25 0 4 0 654885574 607694848 126860 33554432000 4194304 4964800 140734824549072 18446744073709551615 4670538 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17828/tid=17834] ppid=17826 vsize=593452 CPUtime=460.51 cores=1,3,5,7
/proc/17828/task/17834/stat : 17834 (claspmt) R 17826 17828 17257 0 -1 4202560 26109 0 0 0 46044 7 0 0 25 0 4 0 654885574 607694848 126860 33554432000 4194304 4964800 140734824549072 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17828/tid=17835] ppid=17826 vsize=593452 CPUtime=460.48 cores=1,3,5,7
/proc/17828/task/17835/stat : 17835 (claspmt) R 17826 17828 17257 0 -1 4202560 22872 0 0 0 46028 20 0 0 25 0 4 0 654885574 607694848 126860 33554432000 4194304 4964800 140734824549072 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1840.34
Current children cumulated vsize (KiB) 593452
[startup+522.301 s]
/proc/loadavg: 8.19 7.47 6.87 9/245 17879
/proc/meminfo: memFree=23014748/32951124 swapFree=61559568/67111528
[pid=17828] ppid=17826 vsize=619740 CPUtime=2079.9 cores=1,3,5,7
/proc/17828/stat : 17828 (claspmt) R 17826 17828 17257 0 -1 4202496 141086 0 0 0 207893 97 0 0 25 0 4 0 654885394 634613760 138741 33554432000 4194304 4964800 140734824549072 18446744073709551615 4321079 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/17828/statm: 154935 138741 460 189 0 149284 0
[pid=17828/tid=17833] ppid=17826 vsize=619740 CPUtime=516.61 cores=1,3,5,7
/proc/17828/task/17833/stat : 17833 (claspmt) R 17826 17828 17257 0 -1 4202560 28902 0 0 0 51639 22 0 0 25 0 4 0 654885574 634613760 138741 33554432000 4194304 4964800 140734824549072 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17828/tid=17834] ppid=17826 vsize=619740 CPUtime=520.51 cores=1,3,5,7
/proc/17828/task/17834/stat : 17834 (claspmt) R 17826 17828 17257 0 -1 4202560 29437 0 0 0 52043 8 0 0 25 0 4 0 654885574 634613760 138741 33554432000 4194304 4964800 140734824549072 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17828/tid=17835] ppid=17826 vsize=619740 CPUtime=520.48 cores=1,3,5,7
/proc/17828/task/17835/stat : 17835 (claspmt) R 17826 17828 17257 0 -1 4202560 24468 0 0 0 52027 21 0 0 25 0 4 0 654885574 634613760 138741 33554432000 4194304 4964800 140734824549072 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2079.9
Current children cumulated vsize (KiB) 619740
Solver just ended. Dumping a history of the last processes samples
[startup+537.5 s]
/proc/loadavg: 8.15 7.50 6.88 9/245 17880
/proc/meminfo: memFree=23008172/32951124 swapFree=61559568/67111528
[pid=17828] ppid=17826 vsize=685276 CPUtime=2140.59 cores=1,3,5,7
/proc/17828/stat : 17828 (claspmt) R 17826 17828 17257 0 -1 4202496 142436 0 0 0 213960 99 0 0 25 0 4 0 654885394 701722624 140091 33554432000 4194304 4964800 140734824549072 18446744073709551615 4320966 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/17828/statm: 171319 140091 460 189 0 165668 0
[pid=17828/tid=17833] ppid=17826 vsize=685276 CPUtime=531.7 cores=1,3,5,7
/proc/17828/task/17833/stat : 17833 (claspmt) R 17826 17828 17257 0 -1 4202560 28928 0 0 0 53148 22 0 0 25 0 4 0 654885574 701722624 140091 33554432000 4194304 4964800 140734824549072 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17828/tid=17834] ppid=17826 vsize=685276 CPUtime=535.71 cores=1,3,5,7
/proc/17828/task/17834/stat : 17834 (claspmt) R 17826 17828 17257 0 -1 4202560 29567 0 0 0 53563 8 0 0 25 0 4 0 654885574 701722624 140091 33554432000 4194304 4964800 140734824549072 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17828/tid=17835] ppid=17826 vsize=685276 CPUtime=535.68 cores=1,3,5,7
/proc/17828/task/17835/stat : 17835 (claspmt) R 17826 17828 17257 0 -1 4202560 24769 0 0 0 53547 21 0 0 25 0 4 0 654885574 701722624 140091 33554432000 4194304 4964800 140734824549072 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2140.59
Current children cumulated vsize (KiB) 685276
[startup+550.301 s]
/proc/loadavg: 8.12 7.51 6.90 9/245 17880
/proc/meminfo: memFree=22977648/32951124 swapFree=61559568/67111528
[pid=17828] ppid=17826 vsize=692236 CPUtime=2191.7 cores=1,3,5,7
/proc/17828/stat : 17828 (claspmt) R 17826 17828 17257 0 -1 4202496 148950 0 0 0 219063 107 0 0 25 0 4 0 654885394 708849664 146605 33554432000 4194304 4964800 140734824549072 18446744073709551615 4320951 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/17828/statm: 173059 146605 460 189 0 167408 0
[pid=17828/tid=17833] ppid=17826 vsize=692236 CPUtime=544.4 cores=1,3,5,7
/proc/17828/task/17833/stat : 17833 (claspmt) R 17826 17828 17257 0 -1 4202560 28995 0 0 0 54418 22 0 0 25 0 4 0 654885574 708849664 146605 33554432000 4194304 4964800 140734824549072 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17828/tid=17834] ppid=17826 vsize=692236 CPUtime=548.52 cores=1,3,5,7
/proc/17828/task/17834/stat : 17834 (claspmt) R 17826 17828 17257 0 -1 4202560 30686 0 0 0 54843 9 0 0 25 0 4 0 654885574 708849664 146605 33554432000 4194304 4964800 140734824549072 18446744073709551615 4670340 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17828/tid=17835] ppid=17826 vsize=692236 CPUtime=548.47 cores=1,3,5,7
/proc/17828/task/17835/stat : 17835 (claspmt) R 17826 17828 17257 0 -1 4202560 26273 0 0 0 54825 22 0 0 25 0 4 0 654885574 708849664 146605 33554432000 4194304 4964800 140734824549072 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2191.7
Current children cumulated vsize (KiB) 692236
[startup+556.701 s]
/proc/loadavg: 8.18 7.54 6.91 9/245 17880
/proc/meminfo: memFree=22963884/32951124 swapFree=61559568/67111528
[pid=17828] ppid=17826 vsize=698272 CPUtime=2217.26 cores=1,3,5,7
/proc/17828/stat : 17828 (claspmt) R 17826 17828 17257 0 -1 4202496 152328 0 0 0 221615 111 0 0 25 0 4 0 654885394 715030528 149983 33554432000 4194304 4964800 140734824549072 18446744073709551615 4313552 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/17828/statm: 174568 149983 460 189 0 168917 0
[pid=17828/tid=17833] ppid=17826 vsize=698272 CPUtime=550.75 cores=1,3,5,7
/proc/17828/task/17833/stat : 17833 (claspmt) R 17826 17828 17257 0 -1 4202560 29025 0 0 0 55053 22 0 0 25 0 4 0 654885574 715030528 149983 33554432000 4194304 4964800 140734824549072 18446744073709551615 4659391 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17828/tid=17834] ppid=17826 vsize=698272 CPUtime=554.92 cores=1,3,5,7
/proc/17828/task/17834/stat : 17834 (claspmt) R 17826 17828 17257 0 -1 4202560 30913 0 0 0 55483 9 0 0 25 0 4 0 654885574 715030528 149983 33554432000 4194304 4964800 140734824549072 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17828/tid=17835] ppid=17826 vsize=698272 CPUtime=554.88 cores=1,3,5,7
/proc/17828/task/17835/stat : 17835 (claspmt) R 17826 17828 17257 0 -1 4202560 27556 0 0 0 55465 23 0 0 25 0 4 0 654885574 715030528 149983 33554432000 4194304 4964800 140734824549072 18446744073709551615 4343808 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2217.26
Current children cumulated vsize (KiB) 698272
[startup+559.909 s]
/proc/loadavg: 8.18 7.54 6.91 9/245 17880
/proc/meminfo: memFree=22960284/32951124 swapFree=61559568/67111528
[pid=17828] ppid=17826 vsize=700820 CPUtime=2230.06 cores=1,3,5,7
/proc/17828/stat : 17828 (claspmt) R 17826 17828 17257 0 -1 4202496 153096 0 0 0 222895 111 0 0 25 0 4 0 654885394 717639680 150751 33554432000 4194304 4964800 140734824549072 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/17828/statm: 175205 150751 460 189 0 169554 0
[pid=17828/tid=17833] ppid=17826 vsize=700820 CPUtime=553.94 cores=1,3,5,7
/proc/17828/task/17833/stat : 17833 (claspmt) R 17826 17828 17257 0 -1 4202560 29027 0 0 0 55372 22 0 0 25 0 4 0 654885574 717639680 150751 33554432000 4194304 4964800 140734824549072 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17828/tid=17834] ppid=17826 vsize=700820 CPUtime=558.13 cores=1,3,5,7
/proc/17828/task/17834/stat : 17834 (claspmt) R 17826 17828 17257 0 -1 4202560 31044 0 0 0 55804 9 0 0 25 0 4 0 654885574 717639680 150751 33554432000 4194304 4964800 140734824549072 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17828/tid=17835] ppid=17826 vsize=700820 CPUtime=558.09 cores=1,3,5,7
/proc/17828/task/17835/stat : 17835 (claspmt) R 17826 17828 17257 0 -1 4202560 28191 0 0 0 55785 24 0 0 25 0 4 0 654885574 717639680 150751 33554432000 4194304 4964800 140734824549072 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2230.06
Current children cumulated vsize (KiB) 700820
[startup+561.501 s]
/proc/loadavg: 8.16 7.55 6.92 9/245 17880
/proc/meminfo: memFree=22959416/32951124 swapFree=61559568/67111528
[pid=17828] ppid=17826 vsize=702324 CPUtime=2236.42 cores=1,3,5,7
/proc/17828/stat : 17828 (claspmt) R 17826 17828 17257 0 -1 4202496 153506 0 0 0 223531 111 0 0 25 0 4 0 654885394 719179776 151161 33554432000 4194304 4964800 140734824549072 18446744073709551615 4320963 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/17828/statm: 175581 151161 460 189 0 169930 0
[pid=17828/tid=17833] ppid=17826 vsize=702324 CPUtime=555.52 cores=1,3,5,7
/proc/17828/task/17833/stat : 17833 (claspmt) R 17826 17828 17257 0 -1 4202560 29027 0 0 0 55530 22 0 0 25 0 4 0 654885574 719179776 151161 33554432000 4194304 4964800 140734824549072 18446744073709551615 4670310 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17828/tid=17834] ppid=17826 vsize=702324 CPUtime=559.72 cores=1,3,5,7
/proc/17828/task/17834/stat : 17834 (claspmt) R 17826 17828 17257 0 -1 4202560 31098 0 0 0 55963 9 0 0 25 0 4 0 654885574 719179776 151161 33554432000 4194304 4964800 140734824549072 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17828/tid=17835] ppid=17826 vsize=702324 CPUtime=559.68 cores=1,3,5,7
/proc/17828/task/17835/stat : 17835 (claspmt) R 17826 17828 17257 0 -1 4202560 28547 0 0 0 55944 24 0 0 25 0 4 0 654885574 719179776 151161 33554432000 4194304 4964800 140734824549072 18446744073709551615 4325293 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2236.42
Current children cumulated vsize (KiB) 702324
[startup+561.901 s]
/proc/loadavg: 8.16 7.55 6.92 9/245 17880
/proc/meminfo: memFree=22959416/32951124 swapFree=61559568/67111528
[pid=17828] ppid=17826 vsize=702768 CPUtime=2238.02 cores=1,3,5,7
/proc/17828/stat : 17828 (claspmt) R 17826 17828 17257 0 -1 4202496 153622 0 0 0 223691 111 0 0 25 0 4 0 654885394 719634432 151277 33554432000 4194304 4964800 140734824549072 18446744073709551615 4325293 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/17828/statm: 175692 151277 460 189 0 170041 0
[pid=17828/tid=17833] ppid=17826 vsize=702768 CPUtime=555.92 cores=1,3,5,7
/proc/17828/task/17833/stat : 17833 (claspmt) R 17826 17828 17257 0 -1 4202560 29027 0 0 0 55570 22 0 0 25 0 4 0 654885574 719634432 151277 33554432000 4194304 4964800 140734824549072 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17828/tid=17834] ppid=17826 vsize=702768 CPUtime=560.12 cores=1,3,5,7
/proc/17828/task/17834/stat : 17834 (claspmt) R 17826 17828 17257 0 -1 4202560 31103 0 0 0 56003 9 0 0 25 0 4 0 654885574 719634432 151277 33554432000 4194304 4964800 140734824549072 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17828/tid=17835] ppid=17826 vsize=702768 CPUtime=560.08 cores=1,3,5,7
/proc/17828/task/17835/stat : 17835 (claspmt) R 17826 17828 17257 0 -1 4202560 28658 0 0 0 55984 24 0 0 25 0 4 0 654885574 719634432 151277 33554432000 4194304 4964800 140734824549072 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2238.02
Current children cumulated vsize (KiB) 702768
[startup+562.109 s]
/proc/loadavg: 8.16 7.55 6.92 9/245 17880
/proc/meminfo: memFree=22957432/32951124 swapFree=61559568/67111528
[pid=17828] ppid=17826 vsize=702980 CPUtime=2238.75 cores=1,3,5,7
/proc/17828/stat : 17828 (claspmt) R 17826 17828 17257 0 -1 4202496 153705 0 0 0 223764 111 0 0 25 0 1 0 654885394 719851520 151310 33554432000 4194304 4964800 140734824549072 18446744073709551615 4646607 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/17828/statm: 175745 151310 470 189 0 170094 0
Current children cumulated CPU time (s) 2238.75
Current children cumulated vsize (KiB) 702980
[startup+562.201 s]
/proc/loadavg: 8.16 7.55 6.92 9/245 17880
/proc/meminfo: memFree=22957432/32951124 swapFree=61559568/67111528
[pid=17828] ppid=17826 vsize=685204 CPUtime=2238.84 cores=1,3,5,7
/proc/17828/stat : 17828 (claspmt) R 17826 17828 17257 0 -1 4202496 153706 0 0 0 223773 111 0 0 25 0 1 0 654885394 701648896 145760 33554432000 4194304 4964800 140734824549072 18446744073709551615 222921820519 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/17828/statm: 171301 145760 471 189 0 165650 0
Current children cumulated CPU time (s) 2238.84
Current children cumulated vsize (KiB) 685204
Child status: 10
Real time (s): 562.227
CPU time (s): 2238.88
CPU user time (s): 2237.73
CPU system time (s): 1.14083
CPU usage (%): 398.216
Max. virtual memory (cumulated for all children) (KiB): 702980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2237.73
system time used= 1.14083
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153707
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= 8688
involuntary context switches= 15744
runsolver used 1.12983 second user time and 2.96655 second system time
The end