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-3373175-1305432846/watcher-3373175-1305432846 -o /tmp/evaluation-result-3373175-1305432846/solver-3373175-1305432846 -C 4800 -W 1300 -M 15500 HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3373175-1305432846.cnf
running on 4 cores: 0,2,4,6
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 3/235 17822
/proc/meminfo: memFree=24209408/32951124 swapFree=61559568/67111528
[pid=17822] ppid=17820 vsize=21644 CPUtime=0 cores=0,2,4,6
/proc/17822/stat : 17822 (claspmt) R 17820 17822 17257 0 -1 4202496 701 0 0 0 0 0 0 0 24 0 1 0 654885386 22163456 625 33554432000 4194304 4964800 140736096633152 18446744073709551615 4599599 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17822/statm: 5411 625 385 189 0 285 0
[startup+0.018236 s]
/proc/loadavg: 3.68 4.41 5.96 3/235 17822
/proc/meminfo: memFree=24209408/32951124 swapFree=61559568/67111528
[pid=17822] ppid=17820 vsize=23948 CPUtime=0.01 cores=0,2,4,6
/proc/17822/stat : 17822 (claspmt) R 17820 17822 17257 0 -1 4202496 1547 0 0 0 1 0 0 0 24 0 1 0 654885386 24522752 1173 33554432000 4194304 4964800 140736096633152 18446744073709551615 222921437893 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17822/statm: 5987 1173 396 189 0 861 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 23948
[startup+0.100209 s]
/proc/loadavg: 3.68 4.41 5.96 3/235 17822
/proc/meminfo: memFree=24209408/32951124 swapFree=61559568/67111528
[pid=17822] ppid=17820 vsize=25568 CPUtime=0.09 cores=0,2,4,6
/proc/17822/stat : 17822 (claspmt) R 17820 17822 17257 0 -1 4202496 1914 0 0 0 9 0 0 0 24 0 1 0 654885386 26181632 1540 33554432000 4194304 4964800 140736096633152 18446744073709551615 4607562 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17822/statm: 6392 1540 398 189 0 1266 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25568
[startup+0.300138 s]
/proc/loadavg: 3.68 4.41 5.96 3/235 17822
/proc/meminfo: memFree=24209408/32951124 swapFree=61559568/67111528
[pid=17822] ppid=17820 vsize=237452 CPUtime=0.54 cores=0,2,4,6
/proc/17822/stat : 17822 (claspmt) R 17820 17822 17257 0 -1 4202496 3016 0 0 0 53 1 0 0 25 0 4 0 654885386 243150848 2509 33554432000 4194304 4964800 140736096633152 18446744073709551615 4627204 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/17822/statm: 59363 2509 458 189 0 53712 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 237452
[startup+0.701066 s]
/proc/loadavg: 3.68 4.41 5.96 3/235 17822
/proc/meminfo: memFree=24209408/32951124 swapFree=61559568/67111528
[pid=17822] ppid=17820 vsize=239912 CPUtime=2.14 cores=0,2,4,6
/proc/17822/stat : 17822 (claspmt) R 17820 17822 17257 0 -1 4202496 5723 0 0 0 204 10 0 0 25 0 4 0 654885386 245669888 5216 33554432000 4194304 4964800 140736096633152 18446744073709551615 4627263 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/17822/statm: 59978 5216 458 189 0 54327 0
Current children cumulated CPU time (s) 2.14
Current children cumulated vsize (KiB) 239912
[startup+1.50091 s]
/proc/loadavg: 3.68 4.41 5.96 6/242 17832
/proc/meminfo: memFree=24169788/32951124 swapFree=61559568/67111528
[pid=17822] ppid=17820 vsize=241084 CPUtime=5.33 cores=0,2,4,6
/proc/17822/stat : 17822 (claspmt) R 17820 17822 17257 0 -1 4202496 8126 0 0 0 518 15 0 0 25 0 4 0 654885386 246870016 7619 33554432000 4194304 4964800 140736096633152 18446744073709551615 4362240 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/17822/statm: 60271 7619 458 189 0 54620 0
[pid=17822/tid=17830] ppid=17820 vsize=241084 CPUtime=1.27 cores=0,2,4,6
/proc/17822/task/17830/stat : 17830 (claspmt) R 17820 17822 17257 0 -1 4202560 1406 0 0 0 121 6 0 0 19 0 4 0 654885407 246870016 7619 33554432000 4194304 4964800 140736096633152 18446744073709551615 4654549 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17822/tid=17831] ppid=17820 vsize=241084 CPUtime=1.28 cores=0,2,4,6
/proc/17822/task/17831/stat : 17831 (claspmt) R 17820 17822 17257 0 -1 4202560 1237 0 0 0 124 4 0 0 19 0 4 0 654885407 246870016 7619 33554432000 4194304 4964800 140736096633152 18446744073709551615 4320976 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17822/tid=17832] ppid=17820 vsize=241084 CPUtime=1.28 cores=0,2,4,6
/proc/17822/task/17832/stat : 17832 (claspmt) R 17820 17822 17257 0 -1 4202560 1396 0 0 0 124 4 0 0 18 0 4 0 654885407 246870016 7619 33554432000 4194304 4964800 140736096633152 18446744073709551615 222921438241 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.33
Current children cumulated vsize (KiB) 241084
[startup+3.10059 s]
/proc/loadavg: 3.87 4.44 5.96 10/245 17835
/proc/meminfo: memFree=24151164/32951124 swapFree=61559568/67111528
[pid=17822] ppid=17820 vsize=243080 CPUtime=11.72 cores=0,2,4,6
/proc/17822/stat : 17822 (claspmt) R 17820 17822 17257 0 -1 4202496 10599 0 0 0 1154 18 0 0 25 0 4 0 654885386 248913920 10092 33554432000 4194304 4964800 140736096633152 18446744073709551615 4670328 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/17822/statm: 60770 10092 460 189 0 55119 0
[pid=17822/tid=17830] ppid=17820 vsize=243080 CPUtime=2.86 cores=0,2,4,6
/proc/17822/task/17830/stat : 17830 (claspmt) R 17820 17822 17257 0 -1 4202560 2279 0 0 0 279 7 0 0 22 0 4 0 654885407 248913920 10092 33554432000 4194304 4964800 140736096633152 18446744073709551615 4332351 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17822/tid=17831] ppid=17820 vsize=243080 CPUtime=2.88 cores=0,2,4,6
/proc/17822/task/17831/stat : 17831 (claspmt) R 17820 17822 17257 0 -1 4202560 1872 0 0 0 284 4 0 0 24 0 4 0 654885407 248913920 10092 33554432000 4194304 4964800 140736096633152 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17822/tid=17832] ppid=17820 vsize=243080 CPUtime=2.87 cores=0,2,4,6
/proc/17822/task/17832/stat : 17832 (claspmt) R 17820 17822 17257 0 -1 4202560 1881 0 0 0 282 5 0 0 22 0 4 0 654885407 248913920 10092 33554432000 4194304 4964800 140736096633152 18446744073709551615 4332418 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 11.72
Current children cumulated vsize (KiB) 243080
[startup+6.301 s]
/proc/loadavg: 3.87 4.44 5.96 9/245 17836
/proc/meminfo: memFree=24099280/32951124 swapFree=61559568/67111528
[pid=17822] ppid=17820 vsize=247392 CPUtime=24.5 cores=0,2,4,6
/proc/17822/stat : 17822 (claspmt) R 17820 17822 17257 0 -1 4202496 13659 0 0 0 2431 19 0 0 25 0 4 0 654885386 253329408 13152 33554432000 4194304 4964800 140736096633152 18446744073709551615 4321093 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/17822/statm: 61848 13152 460 189 0 56197 0
[pid=17822/tid=17830] ppid=17820 vsize=247392 CPUtime=6.03 cores=0,2,4,6
/proc/17822/task/17830/stat : 17830 (claspmt) R 17820 17822 17257 0 -1 4202560 3408 0 0 0 596 7 0 0 18 0 4 0 654885407 253329408 13152 33554432000 4194304 4964800 140736096633152 18446744073709551615 4652132 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17822/tid=17831] ppid=17820 vsize=247392 CPUtime=6.08 cores=0,2,4,6
/proc/17822/task/17831/stat : 17831 (claspmt) R 17820 17822 17257 0 -1 4202560 2343 0 0 0 604 4 0 0 25 0 4 0 654885407 253329408 13152 33554432000 4194304 4964800 140736096633152 18446744073709551615 4320928 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17822/tid=17832] ppid=17820 vsize=247392 CPUtime=6.07 cores=0,2,4,6
/proc/17822/task/17832/stat : 17832 (claspmt) R 17820 17822 17257 0 -1 4202560 2233 0 0 0 602 5 0 0 25 0 4 0 654885407 253329408 13152 33554432000 4194304 4964800 140736096633152 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 24.5
Current children cumulated vsize (KiB) 247392
[startup+12.7008 s]
/proc/loadavg: 4.50 4.55 5.98 9/245 17836
/proc/meminfo: memFree=24040404/32951124 swapFree=61559568/67111528
[pid=17822] ppid=17820 vsize=251676 CPUtime=50.05 cores=0,2,4,6
/proc/17822/stat : 17822 (claspmt) R 17820 17822 17257 0 -1 4202496 17975 0 0 0 4984 21 0 0 25 0 4 0 654885386 257716224 17468 33554432000 4194304 4964800 140736096633152 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/17822/statm: 62919 17468 460 189 0 57268 0
[pid=17822/tid=17830] ppid=17820 vsize=251676 CPUtime=12.38 cores=0,2,4,6
/proc/17822/task/17830/stat : 17830 (claspmt) R 17820 17822 17257 0 -1 4202560 4863 0 0 0 1230 8 0 0 25 0 4 0 654885407 257716224 17468 33554432000 4194304 4964800 140736096633152 18446744073709551615 4670403 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17822/tid=17831] ppid=17820 vsize=251676 CPUtime=12.48 cores=0,2,4,6
/proc/17822/task/17831/stat : 17831 (claspmt) R 17820 17822 17257 0 -1 4202560 2736 0 0 0 1244 4 0 0 25 0 4 0 654885407 257716224 17468 33554432000 4194304 4964800 140736096633152 18446744073709551615 4628010 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17822/tid=17832] ppid=17820 vsize=251676 CPUtime=12.48 cores=0,2,4,6
/proc/17822/task/17832/stat : 17832 (claspmt) R 17820 17822 17257 0 -1 4202560 3950 0 0 0 1242 6 0 0 25 0 4 0 654885407 257716224 17468 33554432000 4194304 4964800 140736096633152 18446744073709551615 4670520 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.05
Current children cumulated vsize (KiB) 251676
[startup+25.5005 s]
/proc/loadavg: 5.04 4.67 6.00 9/245 17836
/proc/meminfo: memFree=23972572/32951124 swapFree=61559568/67111528
[pid=17822] ppid=17820 vsize=260132 CPUtime=101.15 cores=0,2,4,6
/proc/17822/stat : 17822 (claspmt) R 17820 17822 17257 0 -1 4202496 22543 0 0 0 10093 22 0 0 25 0 4 0 654885386 266375168 22036 33554432000 4194304 4964800 140736096633152 18446744073709551615 4658551 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/17822/statm: 65033 22036 460 189 0 59382 0
[pid=17822/tid=17830] ppid=17820 vsize=260132 CPUtime=25.08 cores=0,2,4,6
/proc/17822/task/17830/stat : 17830 (claspmt) R 17820 17822 17257 0 -1 4202560 5714 0 0 0 2500 8 0 0 25 0 4 0 654885407 266375168 22036 33554432000 4194304 4964800 140736096633152 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17822/tid=17831] ppid=17820 vsize=260132 CPUtime=25.27 cores=0,2,4,6
/proc/17822/task/17831/stat : 17831 (claspmt) R 17820 17822 17257 0 -1 4202560 4775 0 0 0 2523 4 0 0 25 0 4 0 654885407 266375168 22036 33554432000 4194304 4964800 140736096633152 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17822/tid=17832] ppid=17820 vsize=260132 CPUtime=25.27 cores=0,2,4,6
/proc/17822/task/17832/stat : 17832 (claspmt) R 17820 17822 17257 0 -1 4202560 4856 0 0 0 2521 6 0 0 25 0 4 0 654885407 266375168 22036 33554432000 4194304 4964800 140736096633152 18446744073709551615 4321016 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.15
Current children cumulated vsize (KiB) 260132
[startup+51.1008 s]
/proc/loadavg: 6.05 4.93 6.05 9/245 17837
/proc/meminfo: memFree=23902988/32951124 swapFree=61559568/67111528
[pid=17822] ppid=17820 vsize=267420 CPUtime=203.35 cores=0,2,4,6
/proc/17822/stat : 17822 (claspmt) R 17820 17822 17257 0 -1 4202496 30243 0 0 0 20308 27 0 0 25 0 4 0 654885386 273838080 29731 33554432000 4194304 4964800 140736096633152 18446744073709551615 4628021 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/17822/statm: 66855 29731 460 189 0 61204 0
[pid=17822/tid=17830] ppid=17820 vsize=267420 CPUtime=50.5 cores=0,2,4,6
/proc/17822/task/17830/stat : 17830 (claspmt) R 17820 17822 17257 0 -1 4202560 8184 0 0 0 5040 10 0 0 25 0 4 0 654885407 273838080 29731 33554432000 4194304 4964800 140736096633152 18446744073709551615 4660224 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17822/tid=17831] ppid=17820 vsize=267420 CPUtime=50.86 cores=0,2,4,6
/proc/17822/task/17831/stat : 17831 (claspmt) R 17820 17822 17257 0 -1 4202560 7052 0 0 0 5081 5 0 0 25 0 4 0 654885407 273838080 29731 33554432000 4194304 4964800 140736096633152 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17822/tid=17832] ppid=17820 vsize=267420 CPUtime=50.88 cores=0,2,4,6
/proc/17822/task/17832/stat : 17832 (claspmt) R 17820 17822 17257 0 -1 4202560 7599 0 0 0 5079 9 0 0 25 0 4 0 654885407 273838080 29731 33554432000 4194304 4964800 140736096633152 18446744073709551615 4670496 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 203.35
Current children cumulated vsize (KiB) 267420
Solver just ended. Dumping a history of the last processes samples
[startup+76.7011 s]
/proc/loadavg: 6.85 5.21 6.12 9/245 17837
/proc/meminfo: memFree=23829940/32951124 swapFree=61559568/67111528
[pid=17822] ppid=17820 vsize=270600 CPUtime=305.57 cores=0,2,4,6
/proc/17822/stat : 17822 (claspmt) R 17820 17822 17257 0 -1 4202496 39065 0 0 0 30523 34 0 0 25 0 4 0 654885386 277094400 38440 33554432000 4194304 4964800 140736096633152 18446744073709551615 4669523 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/17822/statm: 67650 38440 460 189 0 61999 0
[pid=17822/tid=17830] ppid=17820 vsize=270600 CPUtime=75.91 cores=0,2,4,6
/proc/17822/task/17830/stat : 17830 (claspmt) R 17820 17822 17257 0 -1 4202560 9743 0 0 0 7580 11 0 0 25 0 4 0 654885407 277094400 38440 33554432000 4194304 4964800 140736096633152 18446744073709551615 4627290 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17822/tid=17831] ppid=17820 vsize=270600 CPUtime=76.47 cores=0,2,4,6
/proc/17822/task/17831/stat : 17831 (claspmt) R 17820 17822 17257 0 -1 4202560 8651 0 0 0 7641 6 0 0 25 0 4 0 654885407 277094400 38440 33554432000 4194304 4964800 140736096633152 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17822/tid=17832] ppid=17820 vsize=270600 CPUtime=76.48 cores=0,2,4,6
/proc/17822/task/17832/stat : 17832 (claspmt) R 17820 17822 17257 0 -1 4202560 10229 0 0 0 7636 12 0 0 25 0 4 0 654885407 277094400 38440 33554432000 4194304 4964800 140736096633152 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 305.57
Current children cumulated vsize (KiB) 270600
[startup+89.5008 s]
/proc/loadavg: 7.10 5.35 6.14 9/245 17838
/proc/meminfo: memFree=23767316/32951124 swapFree=61559568/67111528
[pid=17822] ppid=17820 vsize=282392 CPUtime=356.68 cores=0,2,4,6
/proc/17822/stat : 17822 (claspmt) R 17820 17822 17257 0 -1 4202496 44400 0 0 0 35629 39 0 0 25 0 4 0 654885386 289169408 43775 33554432000 4194304 4964800 140736096633152 18446744073709551615 4362279 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/17822/statm: 70598 43775 460 189 0 64947 0
[pid=17822/tid=17830] ppid=17820 vsize=282392 CPUtime=88.61 cores=0,2,4,6
/proc/17822/task/17830/stat : 17830 (claspmt) R 17820 17822 17257 0 -1 4202560 11342 0 0 0 8849 12 0 0 25 0 4 0 654885407 289169408 43775 33554432000 4194304 4964800 140736096633152 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17822/tid=17831] ppid=17820 vsize=282392 CPUtime=89.27 cores=0,2,4,6
/proc/17822/task/17831/stat : 17831 (claspmt) R 17820 17822 17257 0 -1 4202560 9084 0 0 0 8921 6 0 0 25 0 4 0 654885407 289169408 43775 33554432000 4194304 4964800 140736096633152 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17822/tid=17832] ppid=17820 vsize=282392 CPUtime=89.27 cores=0,2,4,6
/proc/17822/task/17832/stat : 17832 (claspmt) R 17820 17822 17257 0 -1 4202560 11511 0 0 0 8914 13 0 0 25 0 4 0 654885407 289169408 43775 33554432000 4194304 4964800 140736096633152 18446744073709551615 4660177 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 356.68
Current children cumulated vsize (KiB) 282392
[startup+92.7002 s]
/proc/loadavg: 7.17 5.39 6.15 9/245 17838
/proc/meminfo: memFree=23762852/32951124 swapFree=61559568/67111528
[pid=17822] ppid=17820 vsize=282392 CPUtime=369.45 cores=0,2,4,6
/proc/17822/stat : 17822 (claspmt) R 17820 17822 17257 0 -1 4202496 44650 0 0 0 36906 39 0 0 25 0 4 0 654885386 289169408 44025 33554432000 4194304 4964800 140736096633152 18446744073709551615 4320970 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/17822/statm: 70598 44025 460 189 0 64947 0
[pid=17822/tid=17830] ppid=17820 vsize=282392 CPUtime=91.79 cores=0,2,4,6
/proc/17822/task/17830/stat : 17830 (claspmt) R 17820 17822 17257 0 -1 4202560 11381 0 0 0 9167 12 0 0 25 0 4 0 654885407 289169408 44025 33554432000 4194304 4964800 140736096633152 18446744073709551615 4321016 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17822/tid=17831] ppid=17820 vsize=282392 CPUtime=92.46 cores=0,2,4,6
/proc/17822/task/17831/stat : 17831 (claspmt) R 17820 17822 17257 0 -1 4202560 9093 0 0 0 9240 6 0 0 25 0 4 0 654885407 289169408 44025 33554432000 4194304 4964800 140736096633152 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17822/tid=17832] ppid=17820 vsize=282392 CPUtime=92.47 cores=0,2,4,6
/proc/17822/task/17832/stat : 17832 (claspmt) R 17820 17822 17257 0 -1 4202560 11511 0 0 0 9234 13 0 0 25 0 4 0 654885407 289169408 44026 33554432000 4194304 4964800 140736096633152 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 369.45
Current children cumulated vsize (KiB) 282392
[startup+95.9006 s]
/proc/loadavg: 7.17 5.39 6.15 9/245 17838
/proc/meminfo: memFree=23759620/32951124 swapFree=61559568/67111528
[pid=17822] ppid=17820 vsize=282392 CPUtime=382.23 cores=0,2,4,6
/proc/17822/stat : 17822 (claspmt) R 17820 17822 17257 0 -1 4202496 45319 0 0 0 38183 40 0 0 25 0 4 0 654885386 289169408 44694 33554432000 4194304 4964800 140736096633152 18446744073709551615 4320944 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/17822/statm: 70598 44694 460 189 0 64947 0
[pid=17822/tid=17830] ppid=17820 vsize=282392 CPUtime=94.97 cores=0,2,4,6
/proc/17822/task/17830/stat : 17830 (claspmt) R 17820 17822 17257 0 -1 4202560 11437 0 0 0 9485 12 0 0 25 0 4 0 654885407 289169408 44694 33554432000 4194304 4964800 140736096633152 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17822/tid=17831] ppid=17820 vsize=282392 CPUtime=95.66 cores=0,2,4,6
/proc/17822/task/17831/stat : 17831 (claspmt) R 17820 17822 17257 0 -1 4202560 9100 0 0 0 9560 6 0 0 25 0 4 0 654885407 289169408 44694 33554432000 4194304 4964800 140736096633152 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17822/tid=17832] ppid=17820 vsize=282392 CPUtime=95.68 cores=0,2,4,6
/proc/17822/task/17832/stat : 17832 (claspmt) R 17820 17822 17257 0 -1 4202560 11715 0 0 0 9554 14 0 0 25 0 4 0 654885407 289169408 44694 33554432000 4194304 4964800 140736096633152 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 382.23
Current children cumulated vsize (KiB) 282392
[startup+97.5003 s]
/proc/loadavg: 7.24 5.43 6.16 9/245 17838
/proc/meminfo: memFree=23757636/32951124 swapFree=61559568/67111528
[pid=17822] ppid=17820 vsize=282392 CPUtime=388.61 cores=0,2,4,6
/proc/17822/stat : 17822 (claspmt) R 17820 17822 17257 0 -1 4202496 45764 0 0 0 38821 40 0 0 25 0 4 0 654885386 289169408 45139 33554432000 4194304 4964800 140736096633152 18446744073709551615 4670394 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/17822/statm: 70598 45139 460 189 0 64947 0
[pid=17822/tid=17830] ppid=17820 vsize=282392 CPUtime=96.56 cores=0,2,4,6
/proc/17822/task/17830/stat : 17830 (claspmt) R 17820 17822 17257 0 -1 4202560 11483 0 0 0 9644 12 0 0 25 0 4 0 654885407 289169408 45139 33554432000 4194304 4964800 140736096633152 18446744073709551615 4653507 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17822/tid=17831] ppid=17820 vsize=282392 CPUtime=97.26 cores=0,2,4,6
/proc/17822/task/17831/stat : 17831 (claspmt) R 17820 17822 17257 0 -1 4202560 9103 0 0 0 9720 6 0 0 25 0 4 0 654885407 289169408 45139 33554432000 4194304 4964800 140736096633152 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17822/tid=17832] ppid=17820 vsize=282392 CPUtime=97.27 cores=0,2,4,6
/proc/17822/task/17832/stat : 17832 (claspmt) R 17820 17822 17257 0 -1 4202560 12111 0 0 0 9713 14 0 0 25 0 4 0 654885407 289169408 45139 33554432000 4194304 4964800 140736096633152 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 388.61
Current children cumulated vsize (KiB) 282392
[startup+98.3012 s]
/proc/loadavg: 7.24 5.43 6.16 9/245 17838
/proc/meminfo: memFree=23757136/32951124 swapFree=61559568/67111528
[pid=17822] ppid=17820 vsize=282392 CPUtime=391.81 cores=0,2,4,6
/proc/17822/stat : 17822 (claspmt) R 17820 17822 17257 0 -1 4202496 45832 0 0 0 39141 40 0 0 25 0 4 0 654885386 289169408 45176 33554432000 4194304 4964800 140736096633152 18446744073709551615 4659391 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/17822/statm: 70598 45176 460 189 0 64947 0
[pid=17822/tid=17830] ppid=17820 vsize=282392 CPUtime=97.35 cores=0,2,4,6
/proc/17822/task/17830/stat : 17830 (claspmt) R 17820 17822 17257 0 -1 4202560 11548 0 0 0 9723 12 0 0 25 0 4 0 654885407 289169408 45176 33554432000 4194304 4964800 140736096633152 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17822/tid=17831] ppid=17820 vsize=282392 CPUtime=98.06 cores=0,2,4,6
/proc/17822/task/17831/stat : 17831 (claspmt) R 17820 17822 17257 0 -1 4202560 9105 0 0 0 9800 6 0 0 25 0 4 0 654885407 289169408 45176 33554432000 4194304 4964800 140736096633152 18446744073709551615 4320984 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17822/tid=17832] ppid=17820 vsize=282392 CPUtime=98.07 cores=0,2,4,6
/proc/17822/task/17832/stat : 17832 (claspmt) R 17820 17822 17257 0 -1 4202560 12111 0 0 0 9793 14 0 0 25 0 4 0 654885407 289169408 45176 33554432000 4194304 4964800 140736096633152 18446744073709551615 4670323 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 391.81
Current children cumulated vsize (KiB) 282392
[startup+98.5011 s]
/proc/loadavg: 7.24 5.43 6.16 9/245 17838
/proc/meminfo: memFree=23757136/32951124 swapFree=61559568/67111528
[pid=17822] ppid=17820 vsize=282392 CPUtime=392.61 cores=0,2,4,6
/proc/17822/stat : 17822 (claspmt) R 17820 17822 17257 0 -1 4202496 45833 0 0 0 39221 40 0 0 25 0 4 0 654885386 289169408 45177 33554432000 4194304 4964800 140736096633152 18446744073709551615 4321016 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/17822/statm: 70598 45177 460 189 0 64947 0
[pid=17822/tid=17830] ppid=17820 vsize=282392 CPUtime=97.55 cores=0,2,4,6
/proc/17822/task/17830/stat : 17830 (claspmt) R 17820 17822 17257 0 -1 4202560 11548 0 0 0 9743 12 0 0 25 0 4 0 654885407 289169408 45177 33554432000 4194304 4964800 140736096633152 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17822/tid=17831] ppid=17820 vsize=282392 CPUtime=98.26 cores=0,2,4,6
/proc/17822/task/17831/stat : 17831 (claspmt) R 17820 17822 17257 0 -1 4202560 9106 0 0 0 9820 6 0 0 25 0 4 0 654885407 289169408 45177 33554432000 4194304 4964800 140736096633152 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17822/tid=17832] ppid=17820 vsize=282392 CPUtime=98.27 cores=0,2,4,6
/proc/17822/task/17832/stat : 17832 (claspmt) R 17820 17822 17257 0 -1 4202560 12111 0 0 0 9813 14 0 0 25 0 4 0 654885407 289169408 45177 33554432000 4194304 4964800 140736096633152 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 392.61
Current children cumulated vsize (KiB) 282392
Child status: 10
Real time (s): 98.5776
CPU time (s): 392.803
CPU user time (s): 392.386
CPU system time (s): 0.416936
CPU usage (%): 398.471
Max. virtual memory (cumulated for all children) (KiB): 282392
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 392.386
system time used= 0.416936
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45867
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= 1462
involuntary context switches= 1747
runsolver used 0.19097 second user time and 0.529919 second system time
The end