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-3373097-1305430194/watcher-3373097-1305430194 -o /tmp/evaluation-result-3373097-1305430194/solver-3373097-1305430194 -C 4800 -W 1300 -M 15500 HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3373097-1305430194.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: 7.79 8.03 7.90 6/352 12126
/proc/meminfo: memFree=26168212/32951124 swapFree=53501236/67111528
[pid=12126] ppid=12124 vsize=22384 CPUtime=0 cores=0,2,4,6
/proc/12126/stat : 12126 (claspmt) R 12124 12126 11874 0 -1 4202496 948 0 0 0 0 0 0 0 25 0 1 0 654621977 22921216 781 33554432000 4194304 4964800 140735172241888 18446744073709551615 216634176197 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12126/statm: 5596 783 385 189 0 470 0
[startup+0.0306609 s]
/proc/loadavg: 7.79 8.03 7.90 6/352 12126
/proc/meminfo: memFree=26168212/32951124 swapFree=53501236/67111528
[pid=12126] ppid=12124 vsize=25460 CPUtime=0.02 cores=0,2,4,6
/proc/12126/stat : 12126 (claspmt) R 12124 12126 11874 0 -1 4202496 1874 0 0 0 2 0 0 0 25 0 1 0 654621977 26071040 1497 33554432000 4194304 4964800 140735172241888 18446744073709551615 4607622 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12126/statm: 6365 1497 398 189 0 1239 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 25460
[startup+0.100646 s]
/proc/loadavg: 7.79 8.03 7.90 6/352 12126
/proc/meminfo: memFree=26168212/32951124 swapFree=53501236/67111528
[pid=12126] ppid=12124 vsize=25460 CPUtime=0.09 cores=0,2,4,6
/proc/12126/stat : 12126 (claspmt) R 12124 12126 11874 0 -1 4202496 1875 0 0 0 9 0 0 0 25 0 1 0 654621977 26071040 1498 33554432000 4194304 4964800 140735172241888 18446744073709551615 4600431 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12126/statm: 6365 1498 399 189 0 1239 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25460
[startup+0.300571 s]
/proc/loadavg: 7.79 8.03 7.90 6/352 12126
/proc/meminfo: memFree=26168212/32951124 swapFree=53501236/67111528
[pid=12126] ppid=12124 vsize=171968 CPUtime=0.65 cores=0,2,4,6
/proc/12126/stat : 12126 (claspmt) R 12124 12126 11874 0 -1 4202496 2827 0 0 0 65 0 0 0 18 0 4 0 654621977 176095232 2328 33554432000 4194304 4964800 140735172241888 18446744073709551615 4670437 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/12126/statm: 42992 2328 458 189 0 37341 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 171968
[startup+0.700502 s]
/proc/loadavg: 7.79 8.03 7.90 6/352 12126
/proc/meminfo: memFree=26168212/32951124 swapFree=53501236/67111528
[pid=12126] ppid=12124 vsize=174060 CPUtime=2.26 cores=0,2,4,6
/proc/12126/stat : 12126 (claspmt) R 12124 12126 11874 0 -1 4202496 4621 0 0 0 225 1 0 0 18 0 4 0 654621977 178237440 4122 33554432000 4194304 4964800 140735172241888 18446744073709551615 4669119 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/12126/statm: 43515 4123 458 189 0 37864 0
Current children cumulated CPU time (s) 2.26
Current children cumulated vsize (KiB) 174060
[startup+1.50036 s]
/proc/loadavg: 7.79 8.03 7.90 9/356 12130
/proc/meminfo: memFree=26150704/32951124 swapFree=53501236/67111528
[pid=12126] ppid=12124 vsize=176216 CPUtime=5.44 cores=0,2,4,6
/proc/12126/stat : 12126 (claspmt) R 12124 12126 11874 0 -1 4202496 6028 0 0 0 543 1 0 0 19 0 4 0 654621977 180445184 5529 33554432000 4194304 4964800 140735172241888 18446744073709551615 4320909 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/12126/statm: 44054 5529 458 189 0 38403 0
[pid=12126/tid=12128] ppid=12124 vsize=176216 CPUtime=1.31 cores=0,2,4,6
/proc/12126/task/12128/stat : 12128 (claspmt) R 12124 12126 11874 0 -1 4202560 926 0 0 0 131 0 0 0 19 0 4 0 654621994 180445184 5529 33554432000 4194304 4964800 140735172241888 18446744073709551615 4627556 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=12126/tid=12129] ppid=12124 vsize=176216 CPUtime=1.31 cores=0,2,4,6
/proc/12126/task/12129/stat : 12129 (claspmt) R 12124 12126 11874 0 -1 4202560 1157 0 0 0 131 0 0 0 25 0 4 0 654621994 180445184 5529 33554432000 4194304 4964800 140735172241888 18446744073709551615 4320944 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12126/tid=12130] ppid=12124 vsize=176216 CPUtime=1.31 cores=0,2,4,6
/proc/12126/task/12130/stat : 12130 (claspmt) R 12124 12126 11874 0 -1 4202560 983 0 0 0 131 0 0 0 19 0 4 0 654621994 180445184 5529 33554432000 4194304 4964800 140735172241888 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.44
Current children cumulated vsize (KiB) 176216
[startup+3.10108 s]
/proc/loadavg: 7.79 8.03 7.90 9/356 12130
/proc/meminfo: memFree=26141424/32951124 swapFree=53501236/67111528
[pid=12126] ppid=12124 vsize=177416 CPUtime=11.83 cores=0,2,4,6
/proc/12126/stat : 12126 (claspmt) R 12124 12126 11874 0 -1 4202496 6834 0 0 0 1181 2 0 0 24 0 4 0 654621977 181673984 6335 33554432000 4194304 4964800 140735172241888 18446744073709551615 4669140 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/12126/statm: 44354 6335 460 189 0 38703 0
[pid=12126/tid=12128] ppid=12124 vsize=177416 CPUtime=2.91 cores=0,2,4,6
/proc/12126/task/12128/stat : 12128 (claspmt) R 12124 12126 11874 0 -1 4202560 1171 0 0 0 291 0 0 0 25 0 4 0 654621994 181673984 6335 33554432000 4194304 4964800 140735172241888 18446744073709551615 4342174 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=12126/tid=12129] ppid=12124 vsize=177416 CPUtime=2.91 cores=0,2,4,6
/proc/12126/task/12129/stat : 12129 (claspmt) R 12124 12126 11874 0 -1 4202560 1350 0 0 0 291 0 0 0 25 0 4 0 654621994 181673984 6335 33554432000 4194304 4964800 140735172241888 18446744073709551615 4627536 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12126/tid=12130] ppid=12124 vsize=177416 CPUtime=2.91 cores=0,2,4,6
/proc/12126/task/12130/stat : 12130 (claspmt) R 12124 12126 11874 0 -1 4202560 1159 0 0 0 291 0 0 0 24 0 4 0 654621994 181673984 6335 33554432000 4194304 4964800 140735172241888 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 11.83
Current children cumulated vsize (KiB) 177416
[startup+6.30052 s]
/proc/loadavg: 7.81 8.03 7.90 9/356 12130
/proc/meminfo: memFree=26130796/32951124 swapFree=53501236/67111528
[pid=12126] ppid=12124 vsize=178592 CPUtime=24.59 cores=0,2,4,6
/proc/12126/stat : 12126 (claspmt) R 12124 12126 11874 0 -1 4202496 8319 0 0 0 2456 3 0 0 25 0 4 0 654621977 182878208 7820 33554432000 4194304 4964800 140735172241888 18446744073709551615 4670264 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/12126/statm: 44648 7820 460 189 0 38997 0
[pid=12126/tid=12128] ppid=12124 vsize=178592 CPUtime=6.11 cores=0,2,4,6
/proc/12126/task/12128/stat : 12128 (claspmt) R 12124 12126 11874 0 -1 4202560 1513 0 0 0 611 0 0 0 25 0 4 0 654621994 182878208 7820 33554432000 4194304 4964800 140735172241888 18446744073709551615 4670361 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=12126/tid=12129] ppid=12124 vsize=178592 CPUtime=6.12 cores=0,2,4,6
/proc/12126/task/12129/stat : 12129 (claspmt) R 12124 12126 11874 0 -1 4202560 1858 0 0 0 611 1 0 0 25 0 4 0 654621994 182878208 7820 33554432000 4194304 4964800 140735172241888 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12126/tid=12130] ppid=12124 vsize=178592 CPUtime=6.11 cores=0,2,4,6
/proc/12126/task/12130/stat : 12130 (claspmt) R 12124 12126 11874 0 -1 4202560 1469 0 0 0 611 0 0 0 25 0 4 0 654621994 182878208 7820 33554432000 4194304 4964800 140735172241888 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 24.59
Current children cumulated vsize (KiB) 178592
[startup+12.7004 s]
/proc/loadavg: 7.82 8.03 7.90 9/356 12130
/proc/meminfo: memFree=26093612/32951124 swapFree=53501236/67111528
[pid=12126] ppid=12124 vsize=184132 CPUtime=50.12 cores=0,2,4,6
/proc/12126/stat : 12126 (claspmt) R 12124 12126 11874 0 -1 4202496 13720 0 0 0 5007 5 0 0 25 0 4 0 654621977 188551168 13221 33554432000 4194304 4964800 140735172241888 18446744073709551615 4670534 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/12126/statm: 46033 13221 460 189 0 40382 0
[pid=12126/tid=12128] ppid=12124 vsize=184132 CPUtime=12.51 cores=0,2,4,6
/proc/12126/task/12128/stat : 12128 (claspmt) R 12124 12126 11874 0 -1 4202560 2991 0 0 0 1251 0 0 0 25 0 4 0 654621994 188551168 13221 33554432000 4194304 4964800 140735172241888 18446744073709551615 4669026 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=12126/tid=12129] ppid=12124 vsize=184132 CPUtime=12.51 cores=0,2,4,6
/proc/12126/task/12129/stat : 12129 (claspmt) R 12124 12126 11874 0 -1 4202560 3693 0 0 0 1250 1 0 0 25 0 4 0 654621994 188551168 13221 33554432000 4194304 4964800 140735172241888 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12126/tid=12130] ppid=12124 vsize=184132 CPUtime=12.51 cores=0,2,4,6
/proc/12126/task/12130/stat : 12130 (claspmt) R 12124 12126 11874 0 -1 4202560 2463 0 0 0 1251 0 0 0 25 0 4 0 654621994 188551168 13221 33554432000 4194304 4964800 140735172241888 18446744073709551615 4660444 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.12
Current children cumulated vsize (KiB) 184132
[startup+25.5011 s]
/proc/loadavg: 7.86 8.03 7.90 9/356 12131
/proc/meminfo: memFree=26065708/32951124 swapFree=53501236/67111528
[pid=12126] ppid=12124 vsize=190612 CPUtime=101.17 cores=0,2,4,6
/proc/12126/stat : 12126 (claspmt) R 12124 12126 11874 0 -1 4202496 16255 0 0 0 10112 5 0 0 25 0 4 0 654621977 195186688 15663 33554432000 4194304 4964800 140735172241888 18446744073709551615 4669119 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/12126/statm: 47653 15663 460 189 0 42002 0
[pid=12126/tid=12128] ppid=12124 vsize=190612 CPUtime=25.31 cores=0,2,4,6
/proc/12126/task/12128/stat : 12128 (claspmt) R 12124 12126 11874 0 -1 4202560 3782 0 0 0 2531 0 0 0 25 0 4 0 654621994 195186688 15663 33554432000 4194304 4964800 140735172241888 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=12126/tid=12129] ppid=12124 vsize=190612 CPUtime=25.32 cores=0,2,4,6
/proc/12126/task/12129/stat : 12129 (claspmt) R 12124 12126 11874 0 -1 4202560 4634 0 0 0 2530 2 0 0 25 0 4 0 654621994 195186688 15663 33554432000 4194304 4964800 140735172241888 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12126/tid=12130] ppid=12124 vsize=190612 CPUtime=25.3 cores=0,2,4,6
/proc/12126/task/12130/stat : 12130 (claspmt) R 12124 12126 11874 0 -1 4202560 2886 0 0 0 2530 0 0 0 25 0 4 0 654621994 195186688 15663 33554432000 4194304 4964800 140735172241888 18446744073709551615 4670330 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.17
Current children cumulated vsize (KiB) 190612
[startup+51.1006 s]
/proc/loadavg: 7.91 8.03 7.90 9/356 12131
/proc/meminfo: memFree=26009980/32951124 swapFree=53501236/67111528
[pid=12126] ppid=12124 vsize=204852 CPUtime=203.28 cores=0,2,4,6
/proc/12126/stat : 12126 (claspmt) R 12124 12126 11874 0 -1 4202496 25592 0 0 0 20319 9 0 0 25 0 4 0 654621977 209768448 24713 33554432000 4194304 4964800 140735172241888 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/12126/statm: 51213 24713 460 189 0 45562 0
[pid=12126/tid=12128] ppid=12124 vsize=204852 CPUtime=50.91 cores=0,2,4,6
/proc/12126/task/12128/stat : 12128 (claspmt) R 12124 12126 11874 0 -1 4202560 5955 0 0 0 5089 2 0 0 25 0 4 0 654621994 209768448 24713 33554432000 4194304 4964800 140735172241888 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=12126/tid=12129] ppid=12124 vsize=204852 CPUtime=50.91 cores=0,2,4,6
/proc/12126/task/12129/stat : 12129 (claspmt) R 12124 12126 11874 0 -1 4202560 7203 0 0 0 5088 3 0 0 25 0 4 0 654621994 209768448 24713 33554432000 4194304 4964800 140735172241888 18446744073709551615 4321116 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12126/tid=12130] ppid=12124 vsize=204852 CPUtime=50.9 cores=0,2,4,6
/proc/12126/task/12130/stat : 12130 (claspmt) R 12124 12126 11874 0 -1 4202560 4508 0 0 0 5089 1 0 0 25 0 4 0 654621994 209768448 24713 33554432000 4194304 4964800 140735172241888 18446744073709551615 4321029 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 203.28
Current children cumulated vsize (KiB) 204852
[startup+102.313 s]
/proc/loadavg: 7.96 8.02 7.91 9/356 12133
/proc/meminfo: memFree=25959848/32951124 swapFree=53501236/67111528
[pid=12126] ppid=12124 vsize=212176 CPUtime=407.55 cores=0,2,4,6
/proc/12126/stat : 12126 (claspmt) R 12124 12126 11874 0 -1 4202496 31787 0 0 0 40742 13 0 0 25 0 4 0 654621977 217268224 30775 33554432000 4194304 4964800 140735172241888 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/12126/statm: 53044 30775 460 189 0 47393 0
[pid=12126/tid=12128] ppid=12124 vsize=212176 CPUtime=102.11 cores=0,2,4,6
/proc/12126/task/12128/stat : 12128 (claspmt) R 12124 12126 11874 0 -1 4202560 7918 0 0 0 10208 3 0 0 25 0 4 0 654621994 217268224 30775 33554432000 4194304 4964800 140735172241888 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=12126/tid=12129] ppid=12124 vsize=212176 CPUtime=102.11 cores=0,2,4,6
/proc/12126/task/12129/stat : 12129 (claspmt) R 12124 12126 11874 0 -1 4202560 9723 0 0 0 10208 3 0 0 25 0 4 0 654621994 217268224 30775 33554432000 4194304 4964800 140735172241888 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12126/tid=12130] ppid=12124 vsize=212176 CPUtime=102.12 cores=0,2,4,6
/proc/12126/task/12130/stat : 12130 (claspmt) R 12124 12126 11874 0 -1 4202560 5445 0 0 0 10209 3 0 0 25 0 4 0 654621994 217268224 30775 33554432000 4194304 4964800 140735172241888 18446744073709551615 4320942 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 407.55
Current children cumulated vsize (KiB) 212176
[startup+162.301 s]
/proc/loadavg: 8.07 8.04 7.92 9/356 12134
/proc/meminfo: memFree=25915160/32951124 swapFree=53501236/67111528
[pid=12126] ppid=12124 vsize=223768 CPUtime=646.82 cores=0,2,4,6
/proc/12126/stat : 12126 (claspmt) R 12124 12126 11874 0 -1 4202496 38276 0 0 0 64664 18 0 0 25 0 4 0 654621977 229138432 37141 33554432000 4194304 4964800 140735172241888 18446744073709551615 4670328 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/12126/statm: 55942 37141 460 189 0 50291 0
[pid=12126/tid=12128] ppid=12124 vsize=223768 CPUtime=162.09 cores=0,2,4,6
/proc/12126/task/12128/stat : 12128 (claspmt) R 12124 12126 11874 0 -1 4202560 10086 0 0 0 16205 4 0 0 25 0 4 0 654621994 229138432 37141 33554432000 4194304 4964800 140735172241888 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=12126/tid=12129] ppid=12124 vsize=223768 CPUtime=162.09 cores=0,2,4,6
/proc/12126/task/12129/stat : 12129 (claspmt) R 12124 12126 11874 0 -1 4202560 11678 0 0 0 16204 5 0 0 25 0 4 0 654621994 229138432 37141 33554432000 4194304 4964800 140735172241888 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12126/tid=12130] ppid=12124 vsize=223768 CPUtime=162.1 cores=0,2,4,6
/proc/12126/task/12130/stat : 12130 (claspmt) R 12124 12126 11874 0 -1 4202560 6381 0 0 0 16207 3 0 0 25 0 4 0 654621994 229138432 37141 33554432000 4194304 4964800 140735172241888 18446744073709551615 4312133 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 646.82
Current children cumulated vsize (KiB) 223768
[startup+222.3 s]
/proc/loadavg: 8.10 8.06 7.93 9/356 12136
/proc/meminfo: memFree=25876304/32951124 swapFree=53501236/67111528
[pid=12126] ppid=12124 vsize=235216 CPUtime=886.16 cores=0,2,4,6
/proc/12126/stat : 12126 (claspmt) R 12124 12126 11874 0 -1 4202496 43514 0 0 0 88595 21 0 0 25 0 4 0 654621977 240861184 42141 33554432000 4194304 4964800 140735172241888 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/12126/statm: 58804 42141 460 189 0 53153 0
[pid=12126/tid=12128] ppid=12124 vsize=235216 CPUtime=222.08 cores=0,2,4,6
/proc/12126/task/12128/stat : 12128 (claspmt) R 12124 12126 11874 0 -1 4202560 11385 0 0 0 22204 4 0 0 25 0 4 0 654621994 240861184 42141 33554432000 4194304 4964800 140735172241888 18446744073709551615 4668998 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=12126/tid=12129] ppid=12124 vsize=235216 CPUtime=222.08 cores=0,2,4,6
/proc/12126/task/12129/stat : 12129 (claspmt) R 12124 12126 11874 0 -1 4202560 14010 0 0 0 22203 5 0 0 25 0 4 0 654621994 240861184 42141 33554432000 4194304 4964800 140735172241888 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12126/tid=12130] ppid=12124 vsize=235216 CPUtime=222.11 cores=0,2,4,6
/proc/12126/task/12130/stat : 12130 (claspmt) R 12124 12126 11874 0 -1 4202560 7488 0 0 0 22206 5 0 0 25 0 4 0 654621994 240861184 42141 33554432000 4194304 4964800 140735172241888 18446744073709551615 4642167 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 886.16
Current children cumulated vsize (KiB) 235216
[startup+282.301 s]
################
# More data... #
################
/proc/12126/statm: 60278 46144 460 189 0 54627 0
[pid=12126/tid=12128] ppid=12124 vsize=241112 CPUtime=282.08 cores=0,2,4,6
/proc/12126/task/12128/stat : 12128 (claspmt) R 12124 12126 11874 0 -1 4202560 12284 0 0 0 28203 5 0 0 25 0 4 0 654621994 246898688 46144 33554432000 4194304 4964800 140735172241888 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=12126/tid=12129] ppid=12124 vsize=241112 CPUtime=282.06 cores=0,2,4,6
/proc/12126/task/12129/stat : 12129 (claspmt) R 12124 12126 11874 0 -1 4202560 15447 0 0 0 28200 6 0 0 25 0 4 0 654621994 246898688 46144 33554432000 4194304 4964800 140735172241888 18446744073709551615 4320921 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12126/tid=12130] ppid=12124 vsize=241112 CPUtime=282.1 cores=0,2,4,6
/proc/12126/task/12130/stat : 12130 (claspmt) R 12124 12126 11874 0 -1 4202560 8533 0 0 0 28204 6 0 0 25 0 4 0 654621994 246898688 46144 33554432000 4194304 4964800 140735172241888 18446744073709551615 4653602 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1125.49
Current children cumulated vsize (KiB) 241112
[startup+342.3 s]
/proc/loadavg: 8.14 8.09 7.95 9/356 12139
/proc/meminfo: memFree=25841480/32951124 swapFree=53501236/67111528
[pid=12126] ppid=12124 vsize=243096 CPUtime=1364.81 cores=0,2,4,6
/proc/12126/stat : 12126 (claspmt) R 12124 12126 11874 0 -1 4202496 49924 0 0 0 136455 26 0 0 25 0 4 0 654621977 248930304 48291 33554432000 4194304 4964800 140735172241888 18446744073709551615 4321076 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/12126/statm: 60774 48291 460 189 0 55123 0
[pid=12126/tid=12128] ppid=12124 vsize=243096 CPUtime=342.07 cores=0,2,4,6
/proc/12126/task/12128/stat : 12128 (claspmt) R 12124 12126 11874 0 -1 4202560 12840 0 0 0 34202 5 0 0 25 0 4 0 654621994 248930304 48291 33554432000 4194304 4964800 140735172241888 18446744073709551615 4670330 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=12126/tid=12129] ppid=12124 vsize=243096 CPUtime=342.06 cores=0,2,4,6
/proc/12126/task/12129/stat : 12129 (claspmt) R 12124 12126 11874 0 -1 4202560 16353 0 0 0 34199 7 0 0 25 0 4 0 654621994 248930304 48291 33554432000 4194304 4964800 140735172241888 18446744073709551615 4321076 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12126/tid=12130] ppid=12124 vsize=243096 CPUtime=342.1 cores=0,2,4,6
/proc/12126/task/12130/stat : 12130 (claspmt) R 12124 12126 11874 0 -1 4202560 8859 0 0 0 34204 6 0 0 25 0 4 0 654621994 248930304 48291 33554432000 4194304 4964800 140735172241888 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1364.81
Current children cumulated vsize (KiB) 243096
[startup+402.301 s]
/proc/loadavg: 8.12 8.09 7.96 9/356 12141
/proc/meminfo: memFree=25819240/32951124 swapFree=53501236/67111528
[pid=12126] ppid=12124 vsize=245888 CPUtime=1604.15 cores=0,2,4,6
/proc/12126/stat : 12126 (claspmt) R 12124 12126 11874 0 -1 4202496 51189 0 0 0 160388 27 0 0 25 0 4 0 654621977 251789312 49556 33554432000 4194304 4964800 140735172241888 18446744073709551615 4627204 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/12126/statm: 61472 49556 460 189 0 55821 0
[pid=12126/tid=12128] ppid=12124 vsize=245888 CPUtime=402.07 cores=0,2,4,6
/proc/12126/task/12128/stat : 12128 (claspmt) R 12124 12126 11874 0 -1 4202560 13534 0 0 0 40201 6 0 0 25 0 4 0 654621994 251789312 49556 33554432000 4194304 4964800 140735172241888 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=12126/tid=12129] ppid=12124 vsize=245888 CPUtime=402.04 cores=0,2,4,6
/proc/12126/task/12129/stat : 12129 (claspmt) R 12124 12126 11874 0 -1 4202560 16774 0 0 0 40197 7 0 0 25 0 4 0 654621994 251789312 49556 33554432000 4194304 4964800 140735172241888 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12126/tid=12130] ppid=12124 vsize=245888 CPUtime=402.1 cores=0,2,4,6
/proc/12126/task/12130/stat : 12130 (claspmt) R 12124 12126 11874 0 -1 4202560 8971 0 0 0 40204 6 0 0 25 0 4 0 654621994 251789312 49556 33554432000 4194304 4964800 140735172241888 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1604.15
Current children cumulated vsize (KiB) 245888
[startup+462.3 s]
/proc/loadavg: 8.14 8.10 7.97 9/356 12142
/proc/meminfo: memFree=25807524/32951124 swapFree=53501236/67111528
[pid=12126] ppid=12124 vsize=249156 CPUtime=1843.45 cores=0,2,4,6
/proc/12126/stat : 12126 (claspmt) R 12124 12126 11874 0 -1 4202496 53727 0 0 0 184317 28 0 0 25 0 4 0 654621977 255135744 51970 33554432000 4194304 4964800 140735172241888 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/12126/statm: 62289 51970 460 189 0 56638 0
[pid=12126/tid=12128] ppid=12124 vsize=249156 CPUtime=462.05 cores=0,2,4,6
/proc/12126/task/12128/stat : 12128 (claspmt) R 12124 12126 11874 0 -1 4202560 14561 0 0 0 46199 6 0 0 25 0 4 0 654621994 255135744 51970 33554432000 4194304 4964800 140735172241888 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=12126/tid=12129] ppid=12124 vsize=249156 CPUtime=462.03 cores=0,2,4,6
/proc/12126/task/12129/stat : 12129 (claspmt) R 12124 12126 11874 0 -1 4202560 17380 0 0 0 46196 7 0 0 25 0 4 0 654621994 255135744 51970 33554432000 4194304 4964800 140735172241888 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12126/tid=12130] ppid=12124 vsize=249156 CPUtime=462.1 cores=0,2,4,6
/proc/12126/task/12130/stat : 12130 (claspmt) R 12124 12126 11874 0 -1 4202560 9509 0 0 0 46203 7 0 0 25 0 4 0 654621994 255135744 51970 33554432000 4194304 4964800 140735172241888 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1843.45
Current children cumulated vsize (KiB) 249156
[startup+522.301 s]
/proc/loadavg: 8.11 8.09 7.97 9/356 12144
/proc/meminfo: memFree=25799792/32951124 swapFree=53501236/67111528
[pid=12126] ppid=12124 vsize=380944 CPUtime=2082.8 cores=0,2,4,6
/proc/12126/stat : 12126 (claspmt) R 12124 12126 11874 0 -1 4202496 55022 0 0 0 208250 30 0 0 25 0 4 0 654621977 390086656 53124 33554432000 4194304 4964800 140735172241888 18446744073709551615 4321079 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/12126/statm: 95236 53124 460 189 0 89585 0
[pid=12126/tid=12128] ppid=12124 vsize=380944 CPUtime=522.04 cores=0,2,4,6
/proc/12126/task/12128/stat : 12128 (claspmt) R 12124 12126 11874 0 -1 4202560 15036 0 0 0 52197 7 0 0 25 0 4 0 654621994 390086656 53124 33554432000 4194304 4964800 140735172241888 18446744073709551615 4670332 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=12126/tid=12129] ppid=12124 vsize=380944 CPUtime=522.02 cores=0,2,4,6
/proc/12126/task/12129/stat : 12129 (claspmt) R 12124 12126 11874 0 -1 4202560 18141 0 0 0 52195 7 0 0 25 0 4 0 654621994 390086656 53124 33554432000 4194304 4964800 140735172241888 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12126/tid=12130] ppid=12124 vsize=380944 CPUtime=522.1 cores=0,2,4,6
/proc/12126/task/12130/stat : 12130 (claspmt) R 12124 12126 11874 0 -1 4202560 9547 0 0 0 52203 7 0 0 25 0 4 0 654621994 390086656 53124 33554432000 4194304 4964800 140735172241888 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2082.8
Current children cumulated vsize (KiB) 380944
Solver just ended. Dumping a history of the last processes samples
[startup+524.713 s]
/proc/loadavg: 8.18 8.11 7.98 9/356 12144
/proc/meminfo: memFree=25799048/32951124 swapFree=53501236/67111528
[pid=12126] ppid=12124 vsize=381292 CPUtime=2092.41 cores=0,2,4,6
/proc/12126/stat : 12126 (claspmt) R 12124 12126 11874 0 -1 4202496 55109 0 0 0 209211 30 0 0 25 0 4 0 654621977 390443008 53211 33554432000 4194304 4964800 140735172241888 18446744073709551615 4684107 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/12126/statm: 95323 53211 460 189 0 89672 0
[pid=12126/tid=12128] ppid=12124 vsize=381292 CPUtime=524.46 cores=0,2,4,6
/proc/12126/task/12128/stat : 12128 (claspmt) R 12124 12126 11874 0 -1 4202560 15036 0 0 0 52439 7 0 0 25 0 4 0 654621994 390443008 53211 33554432000 4194304 4964800 140735172241888 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=12126/tid=12129] ppid=12124 vsize=381292 CPUtime=524.44 cores=0,2,4,6
/proc/12126/task/12129/stat : 12129 (claspmt) R 12124 12126 11874 0 -1 4202560 18228 0 0 0 52436 8 0 0 25 0 4 0 654621994 390443008 53211 33554432000 4194304 4964800 140735172241888 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12126/tid=12130] ppid=12124 vsize=381292 CPUtime=524.51 cores=0,2,4,6
/proc/12126/task/12130/stat : 12130 (claspmt) R 12124 12126 11874 0 -1 4202560 9547 0 0 0 52444 7 0 0 25 0 4 0 654621994 390443008 53211 33554432000 4194304 4964800 140735172241888 18446744073709551615 4321082 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2092.41
Current children cumulated vsize (KiB) 381292
[startup+527.901 s]
/proc/loadavg: 8.18 8.11 7.98 9/356 12144
/proc/meminfo: memFree=25799032/32951124 swapFree=53501236/67111528
[pid=12126] ppid=12124 vsize=381292 CPUtime=2105.16 cores=0,2,4,6
/proc/12126/stat : 12126 (claspmt) R 12124 12126 11874 0 -1 4202496 55126 0 0 0 210486 30 0 0 25 0 4 0 654621977 390443008 53228 33554432000 4194304 4964800 140735172241888 18446744073709551615 4321016 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/12126/statm: 95323 53228 460 189 0 89672 0
[pid=12126/tid=12128] ppid=12124 vsize=381292 CPUtime=527.66 cores=0,2,4,6
/proc/12126/task/12128/stat : 12128 (claspmt) R 12124 12126 11874 0 -1 4202560 15036 0 0 0 52759 7 0 0 25 0 4 0 654621994 390443008 53228 33554432000 4194304 4964800 140735172241888 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=12126/tid=12129] ppid=12124 vsize=381292 CPUtime=527.64 cores=0,2,4,6
/proc/12126/task/12129/stat : 12129 (claspmt) R 12124 12126 11874 0 -1 4202560 18245 0 0 0 52756 8 0 0 25 0 4 0 654621994 390443008 53228 33554432000 4194304 4964800 140735172241888 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12126/tid=12130] ppid=12124 vsize=381292 CPUtime=527.71 cores=0,2,4,6
/proc/12126/task/12130/stat : 12130 (claspmt) R 12124 12126 11874 0 -1 4202560 9547 0 0 0 52764 7 0 0 25 0 4 0 654621994 390443008 53228 33554432000 4194304 4964800 140735172241888 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2105.16
Current children cumulated vsize (KiB) 381292
[startup+529.5 s]
/proc/loadavg: 8.18 8.11 7.98 9/356 12144
/proc/meminfo: memFree=25799032/32951124 swapFree=53501236/67111528
[pid=12126] ppid=12124 vsize=381292 CPUtime=2111.51 cores=0,2,4,6
/proc/12126/stat : 12126 (claspmt) R 12124 12126 11874 0 -1 4202496 55126 0 0 0 211121 30 0 0 25 0 4 0 654621977 390443008 53228 33554432000 4194304 4964800 140735172241888 18446744073709551615 4653507 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/12126/statm: 95323 53228 460 189 0 89672 0
[pid=12126/tid=12128] ppid=12124 vsize=381292 CPUtime=529.24 cores=0,2,4,6
/proc/12126/task/12128/stat : 12128 (claspmt) R 12124 12126 11874 0 -1 4202560 15036 0 0 0 52917 7 0 0 25 0 4 0 654621994 390443008 53228 33554432000 4194304 4964800 140735172241888 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=12126/tid=12129] ppid=12124 vsize=381292 CPUtime=529.23 cores=0,2,4,6
/proc/12126/task/12129/stat : 12129 (claspmt) R 12124 12126 11874 0 -1 4202560 18245 0 0 0 52915 8 0 0 25 0 4 0 654621994 390443008 53228 33554432000 4194304 4964800 140735172241888 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12126/tid=12130] ppid=12124 vsize=381292 CPUtime=529.3 cores=0,2,4,6
/proc/12126/task/12130/stat : 12130 (claspmt) R 12124 12126 11874 0 -1 4202560 9547 0 0 0 52923 7 0 0 25 0 4 0 654621994 390443008 53228 33554432000 4194304 4964800 140735172241888 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2111.51
Current children cumulated vsize (KiB) 381292
[startup+530.3 s]
/proc/loadavg: 8.16 8.11 7.98 9/356 12144
/proc/meminfo: memFree=25799032/32951124 swapFree=53501236/67111528
[pid=12126] ppid=12124 vsize=381292 CPUtime=2114.7 cores=0,2,4,6
/proc/12126/stat : 12126 (claspmt) R 12124 12126 11874 0 -1 4202496 55126 0 0 0 211440 30 0 0 25 0 4 0 654621977 390443008 53228 33554432000 4194304 4964800 140735172241888 18446744073709551615 4320993 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/12126/statm: 95323 53228 460 189 0 89672 0
[pid=12126/tid=12128] ppid=12124 vsize=381292 CPUtime=530.04 cores=0,2,4,6
/proc/12126/task/12128/stat : 12128 (claspmt) R 12124 12126 11874 0 -1 4202560 15036 0 0 0 52997 7 0 0 25 0 4 0 654621994 390443008 53228 33554432000 4194304 4964800 140735172241888 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=12126/tid=12129] ppid=12124 vsize=381292 CPUtime=530.03 cores=0,2,4,6
/proc/12126/task/12129/stat : 12129 (claspmt) R 12124 12126 11874 0 -1 4202560 18245 0 0 0 52995 8 0 0 25 0 4 0 654621994 390443008 53228 33554432000 4194304 4964800 140735172241888 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12126/tid=12130] ppid=12124 vsize=381292 CPUtime=530.1 cores=0,2,4,6
/proc/12126/task/12130/stat : 12130 (claspmt) R 12124 12126 11874 0 -1 4202560 9547 0 0 0 53003 7 0 0 25 0 4 0 654621994 390443008 53228 33554432000 4194304 4964800 140735172241888 18446744073709551615 4670335 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2114.7
Current children cumulated vsize (KiB) 381292
[startup+530.701 s]
/proc/loadavg: 8.16 8.11 7.98 9/356 12144
/proc/meminfo: memFree=25799032/32951124 swapFree=53501236/67111528
[pid=12126] ppid=12124 vsize=381292 CPUtime=2116.3 cores=0,2,4,6
/proc/12126/stat : 12126 (claspmt) R 12124 12126 11874 0 -1 4202496 55126 0 0 0 211600 30 0 0 25 0 4 0 654621977 390443008 53228 33554432000 4194304 4964800 140735172241888 18446744073709551615 4627309 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/12126/statm: 95323 53228 460 189 0 89672 0
[pid=12126/tid=12128] ppid=12124 vsize=381292 CPUtime=530.45 cores=0,2,4,6
/proc/12126/task/12128/stat : 12128 (claspmt) R 12124 12126 11874 0 -1 4202560 15036 0 0 0 53038 7 0 0 25 0 4 0 654621994 390443008 53228 33554432000 4194304 4964800 140735172241888 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=12126/tid=12129] ppid=12124 vsize=381292 CPUtime=530.43 cores=0,2,4,6
/proc/12126/task/12129/stat : 12129 (claspmt) R 12124 12126 11874 0 -1 4202560 18245 0 0 0 53035 8 0 0 25 0 4 0 654621994 390443008 53228 33554432000 4194304 4964800 140735172241888 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12126/tid=12130] ppid=12124 vsize=381292 CPUtime=530.5 cores=0,2,4,6
/proc/12126/task/12130/stat : 12130 (claspmt) R 12124 12126 11874 0 -1 4202560 9547 0 0 0 53043 7 0 0 25 0 4 0 654621994 390443008 53228 33554432000 4194304 4964800 140735172241888 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2116.3
Current children cumulated vsize (KiB) 381292
[startup+530.901 s]
/proc/loadavg: 8.16 8.11 7.98 9/356 12144
/proc/meminfo: memFree=25799032/32951124 swapFree=53501236/67111528
[pid=12126] ppid=12124 vsize=381292 CPUtime=2117.1 cores=0,2,4,6
/proc/12126/stat : 12126 (claspmt) R 12124 12126 11874 0 -1 4202496 55126 0 0 0 211680 30 0 0 25 0 4 0 654621977 390443008 53228 33554432000 4194304 4964800 140735172241888 18446744073709551615 4320976 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/12126/statm: 95323 53228 460 189 0 89672 0
[pid=12126/tid=12128] ppid=12124 vsize=381292 CPUtime=530.65 cores=0,2,4,6
/proc/12126/task/12128/stat : 12128 (claspmt) R 12124 12126 11874 0 -1 4202560 15036 0 0 0 53058 7 0 0 25 0 4 0 654621994 390443008 53228 33554432000 4194304 4964800 140735172241888 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=12126/tid=12129] ppid=12124 vsize=381292 CPUtime=530.63 cores=0,2,4,6
/proc/12126/task/12129/stat : 12129 (claspmt) R 12124 12126 11874 0 -1 4202560 18245 0 0 0 53055 8 0 0 25 0 4 0 654621994 390443008 53228 33554432000 4194304 4964800 140735172241888 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12126/tid=12130] ppid=12124 vsize=381292 CPUtime=530.7 cores=0,2,4,6
/proc/12126/task/12130/stat : 12130 (claspmt) R 12124 12126 11874 0 -1 4202560 9547 0 0 0 53063 7 0 0 25 0 4 0 654621994 390443008 53228 33554432000 4194304 4964800 140735172241888 18446744073709551615 4670330 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2117.1
Current children cumulated vsize (KiB) 381292
[startup+531.001 s]
/proc/loadavg: 8.16 8.11 7.98 9/356 12144
/proc/meminfo: memFree=25799032/32951124 swapFree=53501236/67111528
[pid=12126] ppid=12124 vsize=381292 CPUtime=2117.42 cores=0,2,4,6
/proc/12126/stat : 12126 (claspmt) R 12124 12126 11874 0 -1 4202496 55136 0 0 0 211712 30 0 0 25 0 1 0 654621977 390443008 53238 33554432000 4194304 4964800 140735172241888 18446744073709551615 216634170491 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/12126/statm: 95323 53238 470 189 0 89672 0
Current children cumulated CPU time (s) 2117.42
Current children cumulated vsize (KiB) 381292
Child status: 10
Real time (s): 531.054
CPU time (s): 2117.49
CPU user time (s): 2117.17
CPU system time (s): 0.314952
CPU usage (%): 398.733
Max. virtual memory (cumulated for all children) (KiB): 381292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2117.17
system time used= 0.314952
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55138
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= 3447
involuntary context switches= 10142
runsolver used 1.62275 second user time and 4.17337 second system time
The end