runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15334 MiB free)
memory of node 1: 16384 MiB (15120 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396212-1568403356/watcher-4396212-1568403356 -o /tmp/evaluation-result-4396212-1568403356/solver-4396212-1568403356 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568398330-31019 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1003131615 HOME/instance-4396212-1568403356.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=32103, runsolver pid=32100
Current StackSize limit: 8192 KiB
[startup+0.100162 s]*
/proc/loadavg: 1.50 1.40 1.38 3/222 32160
/proc/meminfo: memFree=31181556/32770624 swapFree=67009404/67108860
[pid=32103] ppid=32100 vsize=9972712 memory=16952 CPUtime=0.1 cores=0,2,4,6
/proc/32103/stat : 32103 (java) S 32100 32103 30988 0 -1 1077944320 4513 13430 0 0 1 1 5 3 20 0 6 0 416258369 10212057088 4238 33554432000 4194304 4196468 140721947993344 140721947975888 140523216273143 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
/proc/32103/statm: 2493178 4238 1935 1 0 2481616 0
[pid=32103/tid=32156] ppid=32100 vsize=9972712 memory=-8187100386482147110 CPUtime=0.08 cores=0,2,4,6
/proc/32103/task/32156/stat : 32156 (java) R 32100 32103 30988 0 -1 4202560 2303 13430 0 0 0 0 5 3 20 0 6 0 416258379 10212057088 4238 33554432000 4194304 4196468 140721947993344 140523188109904 140523200353630 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32157] ppid=32100 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32103/task/32157/stat : 32157 (java) S 32100 32103 30988 0 -1 1077944384 1 13430 0 0 0 0 5 3 20 0 6 0 416258379 10212057088 4238 33554432000 4194304 4196468 140721947993344 140523220515088 140523216283349 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32158] ppid=32100 vsize=9972712 memory=140183871649408 CPUtime=0.08 cores=0,2,4,6
/proc/32103/task/32158/stat : 32158 (java) S 32100 32103 30988 0 -1 1077944384 1 13430 0 0 0 0 5 3 20 0 6 0 416258379 10212057088 4238 33554432000 4194304 4196468 140721947993344 140522788985232 140523216283349 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32159] ppid=32100 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32103/task/32159/stat : 32159 (java) S 32100 32103 30988 0 -1 1077944384 1 13430 0 0 0 0 5 3 20 0 6 0 416258379 10212057088 4304 33554432000 4194304 4196468 140721947993344 140522787932688 140523216283349 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32160] ppid=32100 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/32103/task/32160/stat : 32160 (java) S 32100 32103 30988 0 -1 1077944384 2 13430 0 0 0 0 5 3 20 0 6 0 416258379 10212057088 4304 33554432000 4194304 4196468 140721947993344 140522786880144 140523216283349 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16952 KiB
[startup+0.210349 s]*
/proc/loadavg: 1.50 1.40 1.38 3/231 32169
/proc/meminfo: memFree=31156696/32770624 swapFree=67009404/67108860
[pid=32103] ppid=32100 vsize=10819664 memory=41884 CPUtime=0.26 cores=0,2,4,6
/proc/32103/stat : 32103 (java) S 32100 32103 30988 0 -1 1077944320 7279 13430 0 0 16 2 5 3 20 0 15 0 416258369 11079335936 10471 33554432000 4194304 4196468 140721947993344 140721947975888 140523216273143 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
/proc/32103/statm: 2704916 10471 3168 1 0 2667149 0
[pid=32103/tid=32156] ppid=32100 vsize=10819664 memory=4495308486094259592 CPUtime=0.19 cores=0,2,4,6
/proc/32103/task/32156/stat : 32156 (java) R 32100 32103 30988 0 -1 4202560 3776 13430 0 0 10 1 5 3 20 0 15 0 416258379 11079335936 10471 33554432000 4194304 4196468 140721947993344 140523188083112 140523200316773 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32157] ppid=32100 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32103/task/32157/stat : 32157 (java) S 32100 32103 30988 0 -1 1077944384 1 13430 0 0 0 0 5 3 20 0 15 0 416258379 11079335936 10471 33554432000 4194304 4196468 140721947993344 140523220515088 140523216283349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32158] ppid=32100 vsize=10819664 memory=140183871649408 CPUtime=0.08 cores=0,2,4,6
/proc/32103/task/32158/stat : 32158 (java) S 32100 32103 30988 0 -1 1077944384 1 13430 0 0 0 0 5 3 20 0 15 0 416258379 11079335936 10471 33554432000 4194304 4196468 140721947993344 140522788985232 140523216283349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32159] ppid=32100 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32103/task/32159/stat : 32159 (java) S 32100 32103 30988 0 -1 1077944384 1 13430 0 0 0 0 5 3 20 0 15 0 416258379 11079335936 10471 33554432000 4194304 4196468 140721947993344 140522787932688 140523216283349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32160] ppid=32100 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/32103/task/32160/stat : 32160 (java) S 32100 32103 30988 0 -1 1077944384 2 13430 0 0 0 0 5 3 20 0 15 0 416258379 11079335936 10471 33554432000 4194304 4196468 140721947993344 140522786880144 140523216283349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32161] ppid=32100 vsize=10819664 memory=140183871649408 CPUtime=0.08 cores=0,2,4,6
/proc/32103/task/32161/stat : 32161 (java) S 32100 32103 30988 0 -1 1077944384 2 13430 0 0 0 0 5 3 20 0 15 0 416258381 11079335936 10471 33554432000 4194304 4196468 140721947993344 140522742921712 140523216284290 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32162] ppid=32100 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/32103/task/32162/stat : 32162 (java) S 32100 32103 30988 0 -1 1077944384 13 13430 0 0 0 0 5 3 20 0 15 0 416258381 11079335936 10471 33554432000 4194304 4196468 140721947993344 140522136004000 140523216283349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32163] ppid=32100 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32103/task/32163/stat : 32163 (java) S 32100 32103 30988 0 -1 1077944384 1 13430 0 0 0 0 5 3 20 0 15 0 416258381 11079335936 10471 33554432000 4194304 4196468 140721947993344 140522001786352 140523216283349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32164] ppid=32100 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32103/task/32164/stat : 32164 (java) S 32100 32103 30988 0 -1 1077944384 3 13430 0 0 0 0 5 3 20 0 15 0 416258384 11079335936 10471 33554432000 4194304 4196468 140721947993344 140521761495760 140523216291739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32165] ppid=32100 vsize=10819664 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/32103/task/32165/stat : 32165 (java) S 32100 32103 30988 0 -1 1077944384 510 13430 0 0 1 0 5 3 20 0 15 0 416258384 11079335936 10471 33554432000 4194304 4196468 140721947993344 140522741868528 140523216284290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32166] ppid=32100 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/32103/task/32166/stat : 32166 (java) S 32100 32103 30988 0 -1 1077944384 157 13430 0 0 0 0 5 3 20 0 15 0 416258384 11079335936 10471 33554432000 4194304 4196468 140721947993344 140522216745072 140523216284290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32167] ppid=32100 vsize=10819664 memory=140183871649408 CPUtime=0.11 cores=0,2,4,6
/proc/32103/task/32167/stat : 32167 (java) S 32100 32103 30988 0 -1 1077944384 598 13430 0 0 3 0 5 3 20 0 15 0 416258384 11079335936 10471 33554432000 4194304 4196468 140721947993344 140522215692528 140523216284290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32168] ppid=32100 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/32103/task/32168/stat : 32168 (java) S 32100 32103 30988 0 -1 1077944384 3 13430 0 0 0 0 5 3 20 0 15 0 416258384 11079335936 10471 33554432000 4194304 4196468 140721947993344 140521727937120 140523216283349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32169] ppid=32100 vsize=10819664 memory=140183871649408 CPUtime=0.08 cores=0,2,4,6
/proc/32103/task/32169/stat : 32169 (java) S 32100 32103 30988 0 -1 1077944384 1 13430 0 0 0 0 5 3 20 0 15 0 416258385 11079335936 10471 33554432000 4194304 4196468 140721947993344 140522214640432 140523216284290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 41884 KiB
[startup+0.310668 s]*
/proc/loadavg: 1.50 1.40 1.38 4/231 32169
/proc/meminfo: memFree=31143648/32770624 swapFree=67009404/67108860
[pid=32103] ppid=32100 vsize=10820148 memory=53064 CPUtime=0.41 cores=0,2,4,6
/proc/32103/stat : 32103 (java) S 32100 32103 30988 0 -1 1077944320 10975 13430 0 0 29 4 5 3 20 0 15 0 416258369 11079831552 13266 33554432000 4194304 4196468 140721947993344 140721947975888 140523216273143 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
/proc/32103/statm: 2705037 13266 3300 1 0 2667149 0
[pid=32103/tid=32156] ppid=32100 vsize=10820148 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/32103/task/32156/stat : 32156 (java) R 32100 32103 30988 0 -1 4202560 7454 13430 0 0 19 2 5 3 20 0 15 0 416258379 11079831552 13266 33554432000 4194304 4196468 140721947993344 140523188084656 140523200353630 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32157] ppid=32100 vsize=10820148 memory=1408 CPUtime=0.08 cores=0,2,4,6
/proc/32103/task/32157/stat : 32157 (java) S 32100 32103 30988 0 -1 1077944384 1 13430 0 0 0 0 5 3 20 0 15 0 416258379 11079831552 13266 33554432000 4194304 4196468 140721947993344 140523220515088 140523216283349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32158] ppid=32100 vsize=10820148 memory=2209 CPUtime=0.08 cores=0,2,4,6
/proc/32103/task/32158/stat : 32158 (java) S 32100 32103 30988 0 -1 1077944384 1 13430 0 0 0 0 5 3 20 0 15 0 416258379 11079831552 13266 33554432000 4194304 4196468 140721947993344 140522788985232 140523216283349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32159] ppid=32100 vsize=10820148 memory=92612 CPUtime=0.08 cores=0,2,4,6
/proc/32103/task/32159/stat : 32159 (java) S 32100 32103 30988 0 -1 1077944384 1 13430 0 0 0 0 5 3 20 0 15 0 416258379 11079831552 13266 33554432000 4194304 4196468 140721947993344 140522787932688 140523216283349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32160] ppid=32100 vsize=10820148 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/32103/task/32160/stat : 32160 (java) S 32100 32103 30988 0 -1 1077944384 2 13430 0 0 0 0 5 3 20 0 15 0 416258379 11079831552 13266 33554432000 4194304 4196468 140721947993344 140522786880144 140523216283349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32161] ppid=32100 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32103/task/32161/stat : 32161 (java) S 32100 32103 30988 0 -1 1077944384 2 13430 0 0 0 0 5 3 20 0 15 0 416258381 11079831552 13266 33554432000 4194304 4196468 140721947993344 140522742921712 140523216284290 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32162] ppid=32100 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32103/task/32162/stat : 32162 (java) S 32100 32103 30988 0 -1 1077944384 13 13430 0 0 0 0 5 3 20 0 15 0 416258381 11079831552 13266 33554432000 4194304 4196468 140721947993344 140522136004000 140523216283349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32163] ppid=32100 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32103/task/32163/stat : 32163 (java) S 32100 32103 30988 0 -1 1077944384 1 13430 0 0 0 0 5 3 20 0 15 0 416258381 11079831552 13266 33554432000 4194304 4196468 140721947993344 140522001786352 140523216283349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32164] ppid=32100 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32103/task/32164/stat : 32164 (java) S 32100 32103 30988 0 -1 1077944384 3 13430 0 0 0 0 5 3 20 0 15 0 416258384 11079831552 13266 33554432000 4194304 4196468 140721947993344 140521761495760 140523216291739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32165] ppid=32100 vsize=10820148 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/32103/task/32165/stat : 32165 (java) S 32100 32103 30988 0 -1 1077944384 511 13430 0 0 1 0 5 3 20 0 15 0 416258384 11079831552 13266 33554432000 4194304 4196468 140721947993344 140522741868528 140523216284290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32166] ppid=32100 vsize=10820148 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/32103/task/32166/stat : 32166 (java) S 32100 32103 30988 0 -1 1077944384 166 13430 0 0 1 0 5 3 20 0 15 0 416258384 11079831552 13266 33554432000 4194304 4196468 140721947993344 140522216745072 140523216284290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32167] ppid=32100 vsize=10820148 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/32103/task/32167/stat : 32167 (java) S 32100 32103 30988 0 -1 1077944384 608 13430 0 0 5 0 5 3 20 0 15 0 416258384 11079831552 13266 33554432000 4194304 4196468 140721947993344 140522215692528 140523216284290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32168] ppid=32100 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32103/task/32168/stat : 32168 (java) S 32100 32103 30988 0 -1 1077944384 3 13430 0 0 0 0 5 3 20 0 15 0 416258384 11079831552 13266 33554432000 4194304 4196468 140721947993344 140521727937120 140523216283349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32169] ppid=32100 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32103/task/32169/stat : 32169 (java) S 32100 32103 30988 0 -1 1077944384 1 13430 0 0 0 0 5 3 20 0 15 0 416258385 11079831552 13266 33554432000 4194304 4196468 140721947993344 140522214640432 140523216284290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 53064 KiB
[startup+0.701651 s]
/proc/loadavg: 1.50 1.40 1.38 3/231 32169
/proc/meminfo: memFree=31129372/32770624 swapFree=67009404/67108860
[pid=32103] ppid=32100 vsize=10824360 memory=85116 CPUtime=1.13 cores=0,2,4,6
/proc/32103/stat : 32103 (java) S 32100 32103 30988 0 -1 1077944320 15014 13430 0 0 99 6 5 3 20 0 15 0 416258369 11084144640 21279 33554432000 4194304 4196468 140721947993344 140721947975888 140523216273143 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
/proc/32103/statm: 2706090 21279 3510 1 0 2668173 0
[pid=32103/tid=32156] ppid=32100 vsize=10824360 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/32103/task/32156/stat : 32156 (java) R 32100 32103 30988 0 -1 4202560 10411 13430 0 0 54 4 5 3 20 0 15 0 416258379 11084144640 21279 33554432000 4194304 4196468 140721947993344 140523188087648 140523200353630 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32157] ppid=32100 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32103/task/32157/stat : 32157 (java) S 32100 32103 30988 0 -1 1077944384 1 13430 0 0 0 0 5 3 20 0 15 0 416258379 11084144640 21279 33554432000 4194304 4196468 140721947993344 140523220515088 140523216283349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32158] ppid=32100 vsize=10824360 memory=4420 CPUtime=0.08 cores=0,2,4,6
/proc/32103/task/32158/stat : 32158 (java) S 32100 32103 30988 0 -1 1077944384 1 13430 0 0 0 0 5 3 20 0 15 0 416258379 11084144640 21279 33554432000 4194304 4196468 140721947993344 140522788985232 140523216283349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32159] ppid=32100 vsize=10824360 memory=6628 CPUtime=0.08 cores=0,2,4,6
/proc/32103/task/32159/stat : 32159 (java) S 32100 32103 30988 0 -1 1077944384 1 13430 0 0 0 0 5 3 20 0 15 0 416258379 11084144640 21279 33554432000 4194304 4196468 140721947993344 140522787932688 140523216283349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32160] ppid=32100 vsize=10824360 memory=8836 CPUtime=0.08 cores=0,2,4,6
/proc/32103/task/32160/stat : 32160 (java) S 32100 32103 30988 0 -1 1077944384 2 13430 0 0 0 0 5 3 20 0 15 0 416258379 11084144640 21279 33554432000 4194304 4196468 140721947993344 140522786880144 140523216283349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32161] ppid=32100 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32103/task/32161/stat : 32161 (java) S 32100 32103 30988 0 -1 1077944384 5 13430 0 0 0 0 5 3 20 0 15 0 416258381 11084144640 21279 33554432000 4194304 4196468 140721947993344 140522742921712 140523216284290 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32162] ppid=32100 vsize=10824360 memory=8102582798355869745 CPUtime=0.08 cores=0,2,4,6
/proc/32103/task/32162/stat : 32162 (java) S 32100 32103 30988 0 -1 1077944384 13 13430 0 0 0 0 5 3 20 0 15 0 416258381 11084144640 21279 33554432000 4194304 4196468 140721947993344 140522136004000 140523216283349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32163] ppid=32100 vsize=10824360 memory=6946891830691059032 CPUtime=0.08 cores=0,2,4,6
/proc/32103/task/32163/stat : 32163 (java) S 32100 32103 30988 0 -1 1077944384 1 13430 0 0 0 0 5 3 20 0 15 0 416258381 11084144640 21279 33554432000 4194304 4196468 140721947993344 140522001786352 140523216283349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32164] ppid=32100 vsize=10824360 memory=7597402612410957923 CPUtime=0.08 cores=0,2,4,6
/proc/32103/task/32164/stat : 32164 (java) S 32100 32103 30988 0 -1 1077944384 3 13430 0 0 0 0 5 3 20 0 15 0 416258384 11084144640 21279 33554432000 4194304 4196468 140721947993344 140521761495760 140523216291739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32165] ppid=32100 vsize=10824360 memory=6935649255945628241 CPUtime=0.22 cores=0,2,4,6
/proc/32103/task/32165/stat : 32165 (java) S 32100 32103 30988 0 -1 1077944384 953 13430 0 0 14 0 5 3 20 0 15 0 416258384 11084144640 21279 33554432000 4194304 4196468 140721947993344 140522741868528 140523216284290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32166] ppid=32100 vsize=10824360 memory=7100839878645619564 CPUtime=0.2 cores=0,2,4,6
/proc/32103/task/32166/stat : 32166 (java) S 32100 32103 30988 0 -1 1077944384 620 13430 0 0 12 0 5 3 20 0 15 0 416258384 11084144640 21279 33554432000 4194304 4196468 140721947993344 140522216745072 140523216284290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32167] ppid=32100 vsize=10824360 memory=-8918990855134196790 CPUtime=0.25 cores=0,2,4,6
/proc/32103/task/32167/stat : 32167 (java) S 32100 32103 30988 0 -1 1077944384 791 13430 0 0 17 0 5 3 20 0 15 0 416258384 11084144640 21279 33554432000 4194304 4196468 140721947993344 140522215692528 140523216284290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32168] ppid=32100 vsize=10824360 memory=6944656591801717918 CPUtime=0.08 cores=0,2,4,6
/proc/32103/task/32168/stat : 32168 (java) S 32100 32103 30988 0 -1 1077944384 3 13430 0 0 0 0 5 3 20 0 15 0 416258384 11084144640 21279 33554432000 4194304 4196468 140721947993344 140521727937120 140523216283349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32169] ppid=32100 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32103/task/32169/stat : 32169 (java) S 32100 32103 30988 0 -1 1077944384 1 13430 0 0 0 0 5 3 20 0 15 0 416258385 11084144640 21279 33554432000 4194304 4196468 140721947993344 140522214640432 140523216284290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 85116 KiB
[startup+1.50114 s]
/proc/loadavg: 1.50 1.40 1.38 3/231 32169
/proc/meminfo: memFree=31092428/32770624 swapFree=67009404/67108860
[pid=32103] ppid=32100 vsize=10834676 memory=172972 CPUtime=2.45 cores=0,2,4,6
/proc/32103/stat : 32103 (java) S 32100 32103 30988 0 -1 1077944320 21678 13430 0 0 227 10 5 3 20 0 15 0 416258369 11094708224 43179 33554432000 4194304 4196468 140721947993344 140721947975888 140523216273143 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
/proc/32103/statm: 2708669 43179 3577 1 0 2670733 0
[pid=32103/tid=32156] ppid=32100 vsize=10834676 memory=4420 CPUtime=1.44 cores=0,2,4,6
/proc/32103/task/32156/stat : 32156 (java) R 32100 32103 30988 0 -1 4202560 15314 13430 0 0 130 6 5 3 20 0 15 0 416258379 11094708224 43262 33554432000 4194304 4196468 140721947993344 140523188069408 140523200353630 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32157] ppid=32100 vsize=10834676 memory=169684 CPUtime=0.09 cores=0,2,4,6
/proc/32103/task/32157/stat : 32157 (java) S 32100 32103 30988 0 -1 1077944384 361 13430 0 0 1 0 5 3 20 0 15 0 416258379 11094708224 43262 33554432000 4194304 4196468 140721947993344 140523220515088 140523216283349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32158] ppid=32100 vsize=10834676 memory=8334083345238234249 CPUtime=0.09 cores=0,2,4,6
/proc/32103/task/32158/stat : 32158 (java) S 32100 32103 30988 0 -1 1077944384 74 13430 0 0 1 0 5 3 20 0 15 0 416258379 11094708224 43262 33554432000 4194304 4196468 140721947993344 140522788985232 140523216283349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32159] ppid=32100 vsize=10834676 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32103/task/32159/stat : 32159 (java) S 32100 32103 30988 0 -1 1077944384 27 13430 0 0 0 0 5 3 20 0 15 0 416258379 11094708224 43262 33554432000 4194304 4196468 140721947993344 140522787932688 140523216283349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32160] ppid=32100 vsize=10834676 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/32103/task/32160/stat : 32160 (java) S 32100 32103 30988 0 -1 1077944384 50 13430 0 0 1 0 5 3 20 0 15 0 416258379 11094708224 43262 33554432000 4194304 4196468 140721947993344 140522786880144 140523216283349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32161] ppid=32100 vsize=10834676 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/32103/task/32161/stat : 32161 (java) S 32100 32103 30988 0 -1 1077944384 178 13430 0 0 1 0 5 3 20 0 15 0 416258381 11094708224 43262 33554432000 4194304 4196468 140721947993344 140522742921712 140523216284290 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32162] ppid=32100 vsize=10834676 memory=140183773348144 CPUtime=0.08 cores=0,2,4,6
/proc/32103/task/32162/stat : 32162 (java) S 32100 32103 30988 0 -1 1077944384 14 13430 0 0 0 0 5 3 20 0 15 0 416258381 11094708224 43262 33554432000 4194304 4196468 140721947993344 140522136004064 140523216283349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32163] ppid=32100 vsize=10834676 memory=6944656575208382560 CPUtime=0.08 cores=0,2,4,6
/proc/32103/task/32163/stat : 32163 (java) S 32100 32103 30988 0 -1 1077944384 1 13430 0 0 0 0 5 3 20 0 15 0 416258381 11094708224 43262 33554432000 4194304 4196468 140721947993344 140522001786368 140523216283349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32164] ppid=32100 vsize=10834676 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32103/task/32164/stat : 32164 (java) S 32100 32103 30988 0 -1 1077944384 3 13430 0 0 0 0 5 3 20 0 15 0 416258384 11094708224 43262 33554432000 4194304 4196468 140721947993344 140521761495760 140523216291739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32165] ppid=32100 vsize=10834676 memory=6655300316396806240 CPUtime=0.34 cores=0,2,4,6
/proc/32103/task/32165/stat : 32165 (java) S 32100 32103 30988 0 -1 1077944384 1138 13430 0 0 26 0 5 3 20 0 15 0 416258384 11094708224 43262 33554432000 4194304 4196468 140721947993344 140522741868528 140523216284290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32166] ppid=32100 vsize=10834676 memory=662363397872623668 CPUtime=0.3 cores=0,2,4,6
/proc/32103/task/32166/stat : 32166 (java) S 32100 32103 30988 0 -1 1077944384 768 13430 0 0 22 0 5 3 20 0 15 0 416258384 11094708224 43262 33554432000 4194304 4196468 140721947993344 140522216745072 140523216284290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32167] ppid=32100 vsize=10834676 memory=0 CPUtime=0.49 cores=0,2,4,6
/proc/32103/task/32167/stat : 32167 (java) S 32100 32103 30988 0 -1 1077944384 1562 13430 0 0 41 0 5 3 20 0 15 0 416258384 11094708224 43262 33554432000 4194304 4196468 140721947993344 140522215692528 140523216284290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32168] ppid=32100 vsize=10834676 memory=-3967418655009478193 CPUtime=0.08 cores=0,2,4,6
/proc/32103/task/32168/stat : 32168 (java) S 32100 32103 30988 0 -1 1077944384 3 13430 0 0 0 0 5 3 20 0 15 0 416258384 11094708224 43262 33554432000 4194304 4196468 140721947993344 140521727937120 140523216283349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32169] ppid=32100 vsize=10834676 memory=6944656592455360604 CPUtime=0.08 cores=0,2,4,6
/proc/32103/task/32169/stat : 32169 (java) S 32100 32103 30988 0 -1 1077944384 1 13430 0 0 0 0 5 3 20 0 15 0 416258385 11094708224 43262 33554432000 4194304 4196468 140721947993344 140522214640432 140523216284290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
Current children cumulated CPU time: 2.45 s
Current children cumulated vsize: 10834676 KiB
################
# More data... #
################
/proc/32103/task/32156/stat : 32156 (java) R 32100 32103 30988 0 -1 4202560 57279 13430 0 0 236371 33 5 3 20 0 15 0 416258379 11107311616 157195 33554432000 4194304 4196468 140721947993344 140523188108768 140522834246764 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32157] ppid=32100 vsize=10846984 memory=628780 CPUtime=7.87 cores=0,2,4,6
/proc/32103/task/32157/stat : 32157 (java) S 32100 32103 30988 0 -1 1077944384 10538 13430 0 0 738 41 5 3 20 0 15 0 416258379 11107311616 157195 33554432000 4194304 4196468 140721947993344 140523220515088 140523216283349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32158] ppid=32100 vsize=10846984 memory=628780 CPUtime=7.89 cores=0,2,4,6
/proc/32103/task/32158/stat : 32158 (java) S 32100 32103 30988 0 -1 1077944384 6381 13430 0 0 741 40 5 3 20 0 15 0 416258379 11107311616 157195 33554432000 4194304 4196468 140721947993344 140522788985232 140523216283349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32159] ppid=32100 vsize=10846984 memory=628780 CPUtime=7.91 cores=0,2,4,6
/proc/32103/task/32159/stat : 32159 (java) S 32100 32103 30988 0 -1 1077944384 11822 13430 0 0 743 40 5 3 20 0 15 0 416258379 11107311616 157195 33554432000 4194304 4196468 140721947993344 140522787932688 140523216283349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32160] ppid=32100 vsize=10846984 memory=1584 CPUtime=7.9 cores=0,2,4,6
/proc/32103/task/32160/stat : 32160 (java) S 32100 32103 30988 0 -1 1077944384 8812 13430 0 0 746 36 5 3 20 0 15 0 416258379 11107311616 157195 33554432000 4194304 4196468 140721947993344 140522786880144 140523216283349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32161] ppid=32100 vsize=10846984 memory=628780 CPUtime=7.51 cores=0,2,4,6
/proc/32103/task/32161/stat : 32161 (java) S 32100 32103 30988 0 -1 1077944384 11048 13430 0 0 704 39 5 3 20 0 15 0 416258381 11107311616 157195 33554432000 4194304 4196468 140721947993344 140522742921712 140523216284290 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32162] ppid=32100 vsize=10846984 memory=984 CPUtime=0.08 cores=0,2,4,6
/proc/32103/task/32162/stat : 32162 (java) S 32100 32103 30988 0 -1 1077944384 17 13430 0 0 0 0 5 3 20 0 15 0 416258381 11107311616 157195 33554432000 4194304 4196468 140721947993344 140522136004128 140523216283349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32163] ppid=32100 vsize=10846984 memory=1948 CPUtime=0.08 cores=0,2,4,6
/proc/32103/task/32163/stat : 32163 (java) S 32100 32103 30988 0 -1 1077944384 3 13430 0 0 0 0 5 3 20 0 15 0 416258381 11107311616 157195 33554432000 4194304 4196468 140721947993344 140522001786368 140523216283349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32164] ppid=32100 vsize=10846984 memory=628772 CPUtime=0.08 cores=0,2,4,6
/proc/32103/task/32164/stat : 32164 (java) S 32100 32103 30988 0 -1 1077944384 3 13430 0 0 0 0 5 3 20 0 15 0 416258384 11107311616 157195 33554432000 4194304 4196468 140721947993344 140521761495760 140523216291739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32165] ppid=32100 vsize=10846984 memory=1792 CPUtime=3.56 cores=0,2,4,6
/proc/32103/task/32165/stat : 32165 (java) S 32100 32103 30988 0 -1 1077944384 21925 13430 0 0 345 3 5 3 20 0 15 0 416258384 11107311616 157195 33554432000 4194304 4196468 140721947993344 140522741868528 140523216284290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32166] ppid=32100 vsize=10846984 memory=628780 CPUtime=3.45 cores=0,2,4,6
/proc/32103/task/32166/stat : 32166 (java) S 32100 32103 30988 0 -1 1077944384 21452 13430 0 0 334 3 5 3 20 0 15 0 416258384 11107311616 157195 33554432000 4194304 4196468 140721947993344 140522216745072 140523216284290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32167] ppid=32100 vsize=10846984 memory=628780 CPUtime=1.88 cores=0,2,4,6
/proc/32103/task/32167/stat : 32167 (java) S 32100 32103 30988 0 -1 1077944384 20204 13430 0 0 175 5 5 3 20 0 15 0 416258384 11107311616 157195 33554432000 4194304 4196468 140721947993344 140522215692528 140523216284290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32168] ppid=32100 vsize=10846984 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32103/task/32168/stat : 32168 (java) S 32100 32103 30988 0 -1 1077944384 3 13430 0 0 0 0 5 3 20 0 15 0 416258384 11107311616 157195 33554432000 4194304 4196468 140721947993344 140521727937120 140523216283349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32169] ppid=32100 vsize=10846984 memory=280367547215376 CPUtime=1.4 cores=0,2,4,6
/proc/32103/task/32169/stat : 32169 (java) S 32100 32103 30988 0 -1 1077944384 1099 13430 0 0 64 68 5 3 20 0 15 0 416258385 11107311616 157195 33554432000 4194304 4196468 140721947993344 140522214640432 140523216284290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
Current children cumulated CPU time: 2412.87 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 628780 KiB
[startup+2442.3 s]
/proc/loadavg: 1.49 1.40 1.40 3/233 32412
/proc/meminfo: memFree=30556040/32770624 swapFree=67009440/67108860
[pid=32103] ppid=32100 vsize=10846984 memory=628840 CPUtime=2473.42 cores=0,2,4,6
/proc/32103/stat : 32103 (java) S 32100 32103 30988 0 -1 1077944320 174076 13430 0 0 247071 263 5 3 20 0 15 0 416258369 11107311616 157210 33554432000 4194304 4196468 140721947993344 140721947975888 140523216273143 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
/proc/32103/statm: 2711746 157210 3630 1 0 2673805 0
[pid=32103/tid=32156] ppid=32100 vsize=10846984 memory=628812 CPUtime=2423.68 cores=0,2,4,6
/proc/32103/task/32156/stat : 32156 (java) R 32100 32103 30988 0 -1 4202560 57810 13430 0 0 242326 34 5 3 20 0 15 0 416258379 11107311616 157210 33554432000 4194304 4196468 140721947993344 140523188109600 140522835390584 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32157] ppid=32100 vsize=10846984 memory=628840 CPUtime=8.07 cores=0,2,4,6
/proc/32103/task/32157/stat : 32157 (java) S 32100 32103 30988 0 -1 1077944384 10949 13430 0 0 757 42 5 3 20 0 15 0 416258379 11107311616 157210 33554432000 4194304 4196468 140721947993344 140523220515088 140523216283349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32158] ppid=32100 vsize=10846984 memory=776 CPUtime=8.09 cores=0,2,4,6
/proc/32103/task/32158/stat : 32158 (java) S 32100 32103 30988 0 -1 1077944384 6415 13430 0 0 760 41 5 3 20 0 15 0 416258379 11107311616 157210 33554432000 4194304 4196468 140721947993344 140522788985232 140523216283349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32159] ppid=32100 vsize=10846984 memory=628812 CPUtime=8.1 cores=0,2,4,6
/proc/32103/task/32159/stat : 32159 (java) S 32100 32103 30988 0 -1 1077944384 11848 13430 0 0 762 40 5 3 20 0 15 0 416258379 11107311616 157210 33554432000 4194304 4196468 140721947993344 140522787932688 140523216283349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32160] ppid=32100 vsize=10846984 memory=628840 CPUtime=8.1 cores=0,2,4,6
/proc/32103/task/32160/stat : 32160 (java) S 32100 32103 30988 0 -1 1077944384 8851 13430 0 0 765 37 5 3 20 0 15 0 416258379 11107311616 157210 33554432000 4194304 4196468 140721947993344 140522786880144 140523216283349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32161] ppid=32100 vsize=10846984 memory=628812 CPUtime=7.69 cores=0,2,4,6
/proc/32103/task/32161/stat : 32161 (java) S 32100 32103 30988 0 -1 1077944384 11262 13430 0 0 721 40 5 3 20 0 15 0 416258381 11107311616 157210 33554432000 4194304 4196468 140721947993344 140522742921712 140523216284290 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32162] ppid=32100 vsize=10846984 memory=628780 CPUtime=0.08 cores=0,2,4,6
/proc/32103/task/32162/stat : 32162 (java) S 32100 32103 30988 0 -1 1077944384 17 13430 0 0 0 0 5 3 20 0 15 0 416258381 11107311616 157210 33554432000 4194304 4196468 140721947993344 140522136004128 140523216283349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32163] ppid=32100 vsize=10846984 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/32103/task/32163/stat : 32163 (java) S 32100 32103 30988 0 -1 1077944384 3 13430 0 0 0 0 5 3 20 0 15 0 416258381 11107311616 157210 33554432000 4194304 4196468 140721947993344 140522001786368 140523216283349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32164] ppid=32100 vsize=10846984 memory=628812 CPUtime=0.08 cores=0,2,4,6
/proc/32103/task/32164/stat : 32164 (java) S 32100 32103 30988 0 -1 1077944384 3 13430 0 0 0 0 5 3 20 0 15 0 416258384 11107311616 157210 33554432000 4194304 4196468 140721947993344 140521761495760 140523216291739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32165] ppid=32100 vsize=10846984 memory=628812 CPUtime=3.56 cores=0,2,4,6
/proc/32103/task/32165/stat : 32165 (java) S 32100 32103 30988 0 -1 1077944384 21927 13430 0 0 345 3 5 3 20 0 15 0 416258384 11107311616 157210 33554432000 4194304 4196468 140721947993344 140522741868528 140523216284290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32166] ppid=32100 vsize=10846984 memory=628812 CPUtime=3.45 cores=0,2,4,6
/proc/32103/task/32166/stat : 32166 (java) S 32100 32103 30988 0 -1 1077944384 21454 13430 0 0 334 3 5 3 20 0 15 0 416258384 11107311616 157210 33554432000 4194304 4196468 140721947993344 140522216745072 140523216284290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32167] ppid=32100 vsize=10846984 memory=628840 CPUtime=1.88 cores=0,2,4,6
/proc/32103/task/32167/stat : 32167 (java) S 32100 32103 30988 0 -1 1077944384 20207 13430 0 0 175 5 5 3 20 0 15 0 416258384 11107311616 157210 33554432000 4194304 4196468 140721947993344 140522215692528 140523216284290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32168] ppid=32100 vsize=10846984 memory=628840 CPUtime=0.08 cores=0,2,4,6
/proc/32103/task/32168/stat : 32168 (java) S 32100 32103 30988 0 -1 1077944384 3 13430 0 0 0 0 5 3 20 0 15 0 416258384 11107311616 157210 33554432000 4194304 4196468 140721947993344 140521727937120 140523216283349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32169] ppid=32100 vsize=10846984 memory=628812 CPUtime=1.43 cores=0,2,4,6
/proc/32103/task/32169/stat : 32169 (java) S 32100 32103 30988 0 -1 1077944384 1117 13430 0 0 66 69 5 3 20 0 15 0 416258385 11107311616 157210 33554432000 4194304 4196468 140721947993344 140522214640432 140523216284290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
Current children cumulated CPU time: 2473.42 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 628840 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2488.5 s]
/proc/loadavg: 1.52 1.41 1.40 3/233 32673
/proc/meminfo: memFree=27118716/32770624 swapFree=67009440/67108860
[pid=32103] ppid=32100 vsize=10846984 memory=628840 CPUtime=2520.04 cores=0,2,4,6
/proc/32103/stat : 32103 (java) S 32100 32103 30988 0 -1 1077944320 174391 13430 0 0 251724 272 5 3 20 0 15 0 416258369 11107311616 157210 33554432000 4194304 4196468 140721947993344 140721947975888 140523216273143 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
/proc/32103/statm: 2711746 157210 3630 1 0 2673805 0
[pid=32103/tid=32156] ppid=32100 vsize=10846984 memory=164 CPUtime=2469.53 cores=0,2,4,6
/proc/32103/task/32156/stat : 32156 (java) R 32100 32103 30988 0 -1 4202560 58078 13430 0 0 246906 39 5 3 20 0 15 0 416258379 11107311616 157210 33554432000 4194304 4196468 140721947993344 140523188108112 140522835569421 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32157] ppid=32100 vsize=10846984 memory=628840 CPUtime=8.22 cores=0,2,4,6
/proc/32103/task/32157/stat : 32157 (java) S 32100 32103 30988 0 -1 1077944384 10955 13430 0 0 771 43 5 3 20 0 15 0 416258379 11107311616 157210 33554432000 4194304 4196468 140721947993344 140523220515088 140523216283349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32158] ppid=32100 vsize=10846984 memory=628840 CPUtime=8.24 cores=0,2,4,6
/proc/32103/task/32158/stat : 32158 (java) S 32100 32103 30988 0 -1 1077944384 6435 13430 0 0 774 42 5 3 20 0 15 0 416258379 11107311616 157210 33554432000 4194304 4196468 140721947993344 140522788985232 140523216283349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32159] ppid=32100 vsize=10846984 memory=628840 CPUtime=8.25 cores=0,2,4,6
/proc/32103/task/32159/stat : 32159 (java) S 32100 32103 30988 0 -1 1077944384 11850 13430 0 0 776 41 5 3 20 0 15 0 416258379 11107311616 157210 33554432000 4194304 4196468 140721947993344 140522787932688 140523216283349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32160] ppid=32100 vsize=10846984 memory=628840 CPUtime=8.25 cores=0,2,4,6
/proc/32103/task/32160/stat : 32160 (java) S 32100 32103 30988 0 -1 1077944384 8856 13430 0 0 780 37 5 3 20 0 15 0 416258379 11107311616 157210 33554432000 4194304 4196468 140721947993344 140522786880144 140523216283349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32161] ppid=32100 vsize=10846984 memory=3484 CPUtime=7.84 cores=0,2,4,6
/proc/32103/task/32161/stat : 32161 (java) S 32100 32103 30988 0 -1 1077944384 11272 13430 0 0 735 41 5 3 20 0 15 0 416258381 11107311616 157210 33554432000 4194304 4196468 140721947993344 140522742921712 140523216284290 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32162] ppid=32100 vsize=10846984 memory=628840 CPUtime=0.08 cores=0,2,4,6
/proc/32103/task/32162/stat : 32162 (java) S 32100 32103 30988 0 -1 1077944384 17 13430 0 0 0 0 5 3 20 0 15 0 416258381 11107311616 157210 33554432000 4194304 4196468 140721947993344 140522136004128 140523216283349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32163] ppid=32100 vsize=10846984 memory=628840 CPUtime=0.08 cores=0,2,4,6
/proc/32103/task/32163/stat : 32163 (java) S 32100 32103 30988 0 -1 1077944384 3 13430 0 0 0 0 5 3 20 0 15 0 416258381 11107311616 157210 33554432000 4194304 4196468 140721947993344 140522001786368 140523216283349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32164] ppid=32100 vsize=10846984 memory=628840 CPUtime=0.08 cores=0,2,4,6
/proc/32103/task/32164/stat : 32164 (java) S 32100 32103 30988 0 -1 1077944384 3 13430 0 0 0 0 5 3 20 0 15 0 416258384 11107311616 157210 33554432000 4194304 4196468 140721947993344 140521761495760 140523216291739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32165] ppid=32100 vsize=10846984 memory=628840 CPUtime=3.56 cores=0,2,4,6
/proc/32103/task/32165/stat : 32165 (java) S 32100 32103 30988 0 -1 1077944384 21927 13430 0 0 345 3 5 3 20 0 15 0 416258384 11107311616 157210 33554432000 4194304 4196468 140721947993344 140522741868528 140523216284290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32166] ppid=32100 vsize=10846984 memory=14004 CPUtime=3.45 cores=0,2,4,6
/proc/32103/task/32166/stat : 32166 (java) S 32100 32103 30988 0 -1 1077944384 21454 13430 0 0 334 3 5 3 20 0 15 0 416258384 11107311616 157210 33554432000 4194304 4196468 140721947993344 140522216745072 140523216284290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32167] ppid=32100 vsize=10846984 memory=628840 CPUtime=1.88 cores=0,2,4,6
/proc/32103/task/32167/stat : 32167 (java) S 32100 32103 30988 0 -1 1077944384 20207 13430 0 0 175 5 5 3 20 0 15 0 416258384 11107311616 157210 33554432000 4194304 4196468 140721947993344 140522215692528 140523216284290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32168] ppid=32100 vsize=10846984 memory=4108 CPUtime=0.08 cores=0,2,4,6
/proc/32103/task/32168/stat : 32168 (java) S 32100 32103 30988 0 -1 1077944384 3 13430 0 0 0 0 5 3 20 0 15 0 416258384 11107311616 157210 33554432000 4194304 4196468 140721947993344 140521727937120 140523216283349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32169] ppid=32100 vsize=10846984 memory=1408 CPUtime=1.46 cores=0,2,4,6
/proc/32103/task/32169/stat : 32169 (java) S 32100 32103 30988 0 -1 1077944384 1121 13430 0 0 67 71 5 3 20 0 15 0 416258385 11107311616 157210 33554432000 4194304 4196468 140721947993344 140522214640432 140523216284290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 628840 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2488.53 s]
# the end of solver process 32103 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.32 s, system=2.766 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2488.5 s]
/proc/loadavg: 1.52 1.41 1.40 3/233 32673
/proc/meminfo: memFree=27118716/32770624 swapFree=67009440/67108860
[pid=32103] ppid=32100 vsize=10846984 memory=628840 CPUtime=2520.04 cores=0,2,4,6
/proc/32103/stat : 32103 (java) S 32100 32103 30988 0 -1 1077944320 174391 13430 0 0 251724 272 5 3 20 0 15 0 416258369 11107311616 157210 33554432000 4194304 4196468 140721947993344 140721947975888 140523216273143 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
/proc/32103/statm: 2711746 157210 3630 1 0 2673805 0
[pid=32103/tid=32156] ppid=32100 vsize=10846984 memory=164 CPUtime=2469.53 cores=0,2,4,6
/proc/32103/task/32156/stat : 32156 (java) R 32100 32103 30988 0 -1 4202560 58078 13430 0 0 246906 39 5 3 20 0 15 0 416258379 11107311616 157210 33554432000 4194304 4196468 140721947993344 140523188108112 140522835569421 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32157] ppid=32100 vsize=10846984 memory=628840 CPUtime=8.22 cores=0,2,4,6
/proc/32103/task/32157/stat : 32157 (java) S 32100 32103 30988 0 -1 1077944384 10955 13430 0 0 771 43 5 3 20 0 15 0 416258379 11107311616 157210 33554432000 4194304 4196468 140721947993344 140523220515088 140523216283349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32158] ppid=32100 vsize=10846984 memory=628840 CPUtime=8.24 cores=0,2,4,6
/proc/32103/task/32158/stat : 32158 (java) S 32100 32103 30988 0 -1 1077944384 6435 13430 0 0 774 42 5 3 20 0 15 0 416258379 11107311616 157210 33554432000 4194304 4196468 140721947993344 140522788985232 140523216283349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32159] ppid=32100 vsize=10846984 memory=628840 CPUtime=8.25 cores=0,2,4,6
/proc/32103/task/32159/stat : 32159 (java) S 32100 32103 30988 0 -1 1077944384 11850 13430 0 0 776 41 5 3 20 0 15 0 416258379 11107311616 157210 33554432000 4194304 4196468 140721947993344 140522787932688 140523216283349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32160] ppid=32100 vsize=10846984 memory=628840 CPUtime=8.25 cores=0,2,4,6
/proc/32103/task/32160/stat : 32160 (java) S 32100 32103 30988 0 -1 1077944384 8856 13430 0 0 780 37 5 3 20 0 15 0 416258379 11107311616 157210 33554432000 4194304 4196468 140721947993344 140522786880144 140523216283349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32161] ppid=32100 vsize=10846984 memory=3484 CPUtime=7.84 cores=0,2,4,6
/proc/32103/task/32161/stat : 32161 (java) S 32100 32103 30988 0 -1 1077944384 11272 13430 0 0 735 41 5 3 20 0 15 0 416258381 11107311616 157210 33554432000 4194304 4196468 140721947993344 140522742921712 140523216284290 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32162] ppid=32100 vsize=10846984 memory=628840 CPUtime=0.08 cores=0,2,4,6
/proc/32103/task/32162/stat : 32162 (java) S 32100 32103 30988 0 -1 1077944384 17 13430 0 0 0 0 5 3 20 0 15 0 416258381 11107311616 157210 33554432000 4194304 4196468 140721947993344 140522136004128 140523216283349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32163] ppid=32100 vsize=10846984 memory=628840 CPUtime=0.08 cores=0,2,4,6
/proc/32103/task/32163/stat : 32163 (java) S 32100 32103 30988 0 -1 1077944384 3 13430 0 0 0 0 5 3 20 0 15 0 416258381 11107311616 157210 33554432000 4194304 4196468 140721947993344 140522001786368 140523216283349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32164] ppid=32100 vsize=10846984 memory=628840 CPUtime=0.08 cores=0,2,4,6
/proc/32103/task/32164/stat : 32164 (java) S 32100 32103 30988 0 -1 1077944384 3 13430 0 0 0 0 5 3 20 0 15 0 416258384 11107311616 157210 33554432000 4194304 4196468 140721947993344 140521761495760 140523216291739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32165] ppid=32100 vsize=10846984 memory=628840 CPUtime=3.56 cores=0,2,4,6
/proc/32103/task/32165/stat : 32165 (java) S 32100 32103 30988 0 -1 1077944384 21927 13430 0 0 345 3 5 3 20 0 15 0 416258384 11107311616 157210 33554432000 4194304 4196468 140721947993344 140522741868528 140523216284290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32166] ppid=32100 vsize=10846984 memory=14004 CPUtime=3.45 cores=0,2,4,6
/proc/32103/task/32166/stat : 32166 (java) S 32100 32103 30988 0 -1 1077944384 21454 13430 0 0 334 3 5 3 20 0 15 0 416258384 11107311616 157210 33554432000 4194304 4196468 140721947993344 140522216745072 140523216284290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32167] ppid=32100 vsize=10846984 memory=628840 CPUtime=1.88 cores=0,2,4,6
/proc/32103/task/32167/stat : 32167 (java) S 32100 32103 30988 0 -1 1077944384 20207 13430 0 0 175 5 5 3 20 0 15 0 416258384 11107311616 157210 33554432000 4194304 4196468 140721947993344 140522215692528 140523216284290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32168] ppid=32100 vsize=10846984 memory=4108 CPUtime=0.08 cores=0,2,4,6
/proc/32103/task/32168/stat : 32168 (java) S 32100 32103 30988 0 -1 1077944384 3 13430 0 0 0 0 5 3 20 0 15 0 416258384 11107311616 157210 33554432000 4194304 4196468 140721947993344 140521727937120 140523216283349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
[pid=32103/tid=32169] ppid=32100 vsize=10846984 memory=1408 CPUtime=1.46 cores=0,2,4,6
/proc/32103/task/32169/stat : 32169 (java) S 32100 32103 30988 0 -1 1077944384 1121 13430 0 0 67 71 5 3 20 0 15 0 416258385 11107311616 157210 33554432000 4194304 4196468 140721947993344 140522214640432 140523216284290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9977856 140721947998959 140721948001477 140721948001477 140721948004303 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 628840 KiB
Child status: 143
Real time (s): 2488.53
CPU time (s): 2520.08
CPU user time (s): 2517.32
CPU system time (s): 2.766
CPU usage (%): 101.268
Max. virtual memory (cumulated for all children) (KiB): 10846984
Max. memory (cumulated for all children) (KiB): 628840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.32
system time used= 2.766
maximum resident set size= 633060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 188732
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 222633
involuntary context switches= 9130
# summary of solver processes directly reported to runsolver:
# pid: 32103
# total CPU time (s): 2520.08
# total CPU user time (s): 2517.32
# total CPU system time (s): 2.766
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.8781 second user time and 24.5737 second system time
The end