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 (14521 MiB free)
memory of node 1: 16384 MiB (13337 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4401431-1568684197/watcher-4401431-1568684197 -o /tmp/evaluation-result-4401431-1568684197/solver-4401431-1568684197 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568673291-25918 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=434527036 HOME/instance-4401431-1568684197.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=29549, runsolver pid=29546
Current StackSize limit: 8192 KiB
[startup+0.100168 s]*
/proc/loadavg: 1.24 1.26 1.29 3/220 29606
/proc/meminfo: memFree=28521568/32770624 swapFree=66939904/67108860
[pid=29549] ppid=29546 vsize=9972712 memory=16812 CPUtime=0.1 cores=0,2,4,6
/proc/29549/stat : 29549 (java) S 29546 29549 25887 0 -1 1077944320 4480 13020 0 0 1 1 5 3 20 0 6 0 444334575 10212057088 4203 33554432000 4194304 4196468 140726939648320 140726939630864 140519330078455 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
/proc/29549/statm: 2493178 4203 1935 1 0 2481616 0
[pid=29549/tid=29602] ppid=29546 vsize=9972712 memory=7892391828772250251 CPUtime=0.08 cores=0,2,4,6
/proc/29549/task/29602/stat : 29602 (java) R 29546 29549 25887 0 -1 4202560 2277 13020 0 0 0 0 5 3 20 0 6 0 444334584 10212057088 4269 33554432000 4194304 4196468 140726939648320 140519301915216 140519314158942 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29603] ppid=29546 vsize=9972712 memory=-9181546050914066336 CPUtime=0.08 cores=0,2,4,6
/proc/29549/task/29603/stat : 29603 (java) S 29546 29549 25887 0 -1 1077944384 1 13020 0 0 0 0 5 3 20 0 6 0 444334585 10212057088 4269 33554432000 4194304 4196468 140726939648320 140519334320656 140519330088661 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29604] ppid=29546 vsize=9972712 memory=140542252844672 CPUtime=0.08 cores=0,2,4,6
/proc/29549/task/29604/stat : 29604 (java) S 29546 29549 25887 0 -1 1077944384 1 13020 0 0 0 0 5 3 20 0 6 0 444334585 10212057088 4269 33554432000 4194304 4196468 140726939648320 140519253072528 140519330088661 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29605] ppid=29546 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29549/task/29605/stat : 29605 (java) S 29546 29549 25887 0 -1 1077944384 1 13020 0 0 0 0 5 3 20 0 6 0 444334585 10212057088 4269 33554432000 4194304 4196468 140726939648320 140519252019472 140519330088661 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29606] ppid=29546 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/29549/task/29606/stat : 29606 (java) S 29546 29549 25887 0 -1 1077944384 2 13020 0 0 0 0 5 3 20 0 6 0 444334585 10212057088 4269 33554432000 4194304 4196468 140726939648320 140518901078416 140519330088661 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16812 KiB
[startup+0.210225 s]*
/proc/loadavg: 1.24 1.26 1.29 4/229 29615
/proc/meminfo: memFree=28501868/32770624 swapFree=66939904/67108860
[pid=29549] ppid=29546 vsize=10820020 memory=42096 CPUtime=0.27 cores=0,2,4,6
/proc/29549/stat : 29549 (java) S 29546 29549 25887 0 -1 1077944320 7344 13020 0 0 17 2 5 3 20 0 15 0 444334575 11079700480 10524 33554432000 4194304 4196468 140726939648320 140726939630864 140519330078455 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
/proc/29549/statm: 2705005 10524 3222 1 0 2667149 0
[pid=29549/tid=29602] ppid=29546 vsize=10820164 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/29549/task/29602/stat : 29602 (java) R 29546 29549 25887 0 -1 4202560 3892 13020 0 0 11 1 5 3 20 0 15 0 444334584 11079847936 10590 33554432000 4194304 4196468 140726939648320 140519301911168 140519253154789 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29603] ppid=29546 vsize=10820164 memory=365 CPUtime=0.08 cores=0,2,4,6
/proc/29549/task/29603/stat : 29603 (java) S 29546 29549 25887 0 -1 1077944384 1 13020 0 0 0 0 5 3 20 0 15 0 444334585 11079847936 10590 33554432000 4194304 4196468 140726939648320 140519334320656 140519330088661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29604] ppid=29546 vsize=10820164 memory=4049220982870804128 CPUtime=0.08 cores=0,2,4,6
/proc/29549/task/29604/stat : 29604 (java) S 29546 29549 25887 0 -1 1077944384 1 13020 0 0 0 0 5 3 20 0 15 0 444334585 11079847936 10590 33554432000 4194304 4196468 140726939648320 140519253072528 140519330088661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29605] ppid=29546 vsize=10820164 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29549/task/29605/stat : 29605 (java) S 29546 29549 25887 0 -1 1077944384 1 13020 0 0 0 0 5 3 20 0 15 0 444334585 11079847936 10590 33554432000 4194304 4196468 140726939648320 140519252019472 140519330088661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29606] ppid=29546 vsize=10820164 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/29549/task/29606/stat : 29606 (java) S 29546 29549 25887 0 -1 1077944384 2 13020 0 0 0 0 5 3 20 0 15 0 444334585 11079847936 10590 33554432000 4194304 4196468 140726939648320 140518901078416 140519330088661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29607] ppid=29546 vsize=10820164 memory=140542252844672 CPUtime=0.08 cores=0,2,4,6
/proc/29549/task/29607/stat : 29607 (java) S 29546 29549 25887 0 -1 1077944384 2 13020 0 0 0 0 5 3 20 0 15 0 444334586 11079847936 10590 33554432000 4194304 4196468 140726939648320 140518856772336 140519330089602 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29608] ppid=29546 vsize=10820164 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/29549/task/29608/stat : 29608 (java) S 29546 29549 25887 0 -1 1077944384 13 13020 0 0 0 0 5 3 20 0 15 0 444334587 11079847936 10590 33554432000 4194304 4196468 140726939648320 140518780561056 140519330088661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29609] ppid=29546 vsize=10820164 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29549/task/29609/stat : 29609 (java) S 29546 29549 25887 0 -1 1077944384 1 13020 0 0 0 0 5 3 20 0 15 0 444334587 11079847936 10590 33554432000 4194304 4196468 140726939648320 140518109471984 140519330088661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29610] ppid=29546 vsize=10820176 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29549/task/29610/stat : 29610 (java) S 29546 29549 25887 0 -1 1077944384 3 13020 0 0 0 0 5 3 20 0 15 0 444334590 11079860224 10590 33554432000 4194304 4196468 140726939648320 140517869181392 140519330097051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29611] ppid=29546 vsize=10820176 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/29549/task/29611/stat : 29611 (java) S 29546 29549 25887 0 -1 1077944384 603 13020 0 0 1 0 5 3 20 0 15 0 444334590 11079860224 10590 33554432000 4194304 4196468 140726939648320 140518855719152 140519330089602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29612] ppid=29546 vsize=10820176 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/29549/task/29612/stat : 29612 (java) R 29546 29549 25887 0 -1 4202560 45 13020 0 0 1 0 5 3 20 0 15 0 444334590 11079860224 10590 33554432000 4194304 4196468 140726939648320 140518854666608 140519330099802 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29613] ppid=29546 vsize=10820176 memory=140542252844672 CPUtime=0.11 cores=0,2,4,6
/proc/29549/task/29613/stat : 29613 (java) R 29546 29549 25887 0 -1 4202560 605 13020 0 0 3 0 5 3 20 0 15 0 444334590 11079860224 10590 33554432000 4194304 4196468 140726939648320 140518853613552 140519330099802 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29614] ppid=29546 vsize=10820176 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/29549/task/29614/stat : 29614 (java) S 29546 29549 25887 0 -1 1077944384 3 13020 0 0 0 0 5 3 20 0 15 0 444334590 11079860224 10590 33554432000 4194304 4196468 140726939648320 140517835622752 140519330088661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29615] ppid=29546 vsize=10820176 memory=140542252844672 CPUtime=0.08 cores=0,2,4,6
/proc/29549/task/29615/stat : 29615 (java) S 29546 29549 25887 0 -1 1077944384 1 13020 0 0 0 0 5 3 20 0 15 0 444334590 11079860224 10590 33554432000 4194304 4196468 140726939648320 140518852561968 140519330089602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10820020 KiB
Current children cumulated memory: 42096 KiB
[startup+0.310606 s]*
/proc/loadavg: 1.24 1.26 1.29 4/229 29615
/proc/meminfo: memFree=28488816/32770624 swapFree=66939904/67108860
[pid=29549] ppid=29546 vsize=10820196 memory=50648 CPUtime=0.41 cores=0,2,4,6
/proc/29549/stat : 29549 (java) S 29546 29549 25887 0 -1 1077944320 10881 13020 0 0 29 4 5 3 20 0 15 0 444334575 11079880704 12662 33554432000 4194304 4196468 140726939648320 140726939630864 140519330078455 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
/proc/29549/statm: 2705049 12662 3318 1 0 2667149 0
[pid=29549/tid=29602] ppid=29546 vsize=10820196 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/29549/task/29602/stat : 29602 (java) R 29546 29549 25887 0 -1 4202560 7374 13020 0 0 19 3 5 3 20 0 15 0 444334584 11079880704 12662 33554432000 4194304 4196468 140726939648320 140519301900848 140519314158942 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29603] ppid=29546 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29549/task/29603/stat : 29603 (java) S 29546 29549 25887 0 -1 1077944384 1 13020 0 0 0 0 5 3 20 0 15 0 444334585 11079880704 12662 33554432000 4194304 4196468 140726939648320 140519334320656 140519330088661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29604] ppid=29546 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29549/task/29604/stat : 29604 (java) S 29546 29549 25887 0 -1 1077944384 1 13020 0 0 0 0 5 3 20 0 15 0 444334585 11079880704 12662 33554432000 4194304 4196468 140726939648320 140519253072528 140519330088661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29605] ppid=29546 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29549/task/29605/stat : 29605 (java) S 29546 29549 25887 0 -1 1077944384 1 13020 0 0 0 0 5 3 20 0 15 0 444334585 11079880704 12662 33554432000 4194304 4196468 140726939648320 140519252019472 140519330088661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29606] ppid=29546 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29549/task/29606/stat : 29606 (java) S 29546 29549 25887 0 -1 1077944384 2 13020 0 0 0 0 5 3 20 0 15 0 444334585 11079880704 12662 33554432000 4194304 4196468 140726939648320 140518901078416 140519330088661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29607] ppid=29546 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29549/task/29607/stat : 29607 (java) S 29546 29549 25887 0 -1 1077944384 2 13020 0 0 0 0 5 3 20 0 15 0 444334586 11079880704 12662 33554432000 4194304 4196468 140726939648320 140518856772336 140519330089602 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29608] ppid=29546 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/29549/task/29608/stat : 29608 (java) S 29546 29549 25887 0 -1 1077944384 13 13020 0 0 0 0 5 3 20 0 15 0 444334587 11079880704 12662 33554432000 4194304 4196468 140726939648320 140518780561056 140519330088661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29609] ppid=29546 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29549/task/29609/stat : 29609 (java) S 29546 29549 25887 0 -1 1077944384 1 13020 0 0 0 0 5 3 20 0 15 0 444334587 11079880704 12662 33554432000 4194304 4196468 140726939648320 140518109471984 140519330088661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29610] ppid=29546 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29549/task/29610/stat : 29610 (java) S 29546 29549 25887 0 -1 1077944384 3 13020 0 0 0 0 5 3 20 0 15 0 444334590 11079880704 12662 33554432000 4194304 4196468 140726939648320 140517869181392 140519330097051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29611] ppid=29546 vsize=10820196 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/29549/task/29611/stat : 29611 (java) S 29546 29549 25887 0 -1 1077944384 604 13020 0 0 2 0 5 3 20 0 15 0 444334590 11079880704 12662 33554432000 4194304 4196468 140726939648320 140518855719152 140519330089602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29612] ppid=29546 vsize=10820196 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/29549/task/29612/stat : 29612 (java) S 29546 29549 25887 0 -1 1077944384 54 13020 0 0 1 0 5 3 20 0 15 0 444334590 11079880704 12662 33554432000 4194304 4196468 140726939648320 140518854666608 140519330089602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29613] ppid=29546 vsize=10820196 memory=140542252844672 CPUtime=0.13 cores=0,2,4,6
/proc/29549/task/29613/stat : 29613 (java) S 29546 29549 25887 0 -1 1077944384 613 13020 0 0 5 0 5 3 20 0 15 0 444334590 11079880704 12662 33554432000 4194304 4196468 140726939648320 140518853613552 140519330089602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29614] ppid=29546 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/29549/task/29614/stat : 29614 (java) S 29546 29549 25887 0 -1 1077944384 3 13020 0 0 0 0 5 3 20 0 15 0 444334590 11079880704 12662 33554432000 4194304 4196468 140726939648320 140517835622752 140519330088661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29615] ppid=29546 vsize=10820196 memory=140542252844672 CPUtime=0.08 cores=0,2,4,6
/proc/29549/task/29615/stat : 29615 (java) S 29546 29549 25887 0 -1 1077944384 1 13020 0 0 0 0 5 3 20 0 15 0 444334590 11079880704 12662 33554432000 4194304 4196468 140726939648320 140518852561968 140519330089602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 50648 KiB
[startup+0.706481 s]
/proc/loadavg: 1.24 1.26 1.29 4/229 29615
/proc/meminfo: memFree=28474548/32770624 swapFree=66939904/67108860
[pid=29549] ppid=29546 vsize=10824364 memory=83616 CPUtime=1.12 cores=0,2,4,6
/proc/29549/stat : 29549 (java) S 29546 29549 25887 0 -1 1077944320 15114 13020 0 0 99 5 5 3 20 0 15 0 444334575 11084148736 20904 33554432000 4194304 4196468 140726939648320 140726939630864 140519330078455 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
/proc/29549/statm: 2706091 20904 3511 1 0 2668173 0
[pid=29549/tid=29602] ppid=29546 vsize=10824364 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/29549/task/29602/stat : 29602 (java) R 29546 29549 25887 0 -1 4202560 10552 13020 0 0 56 3 5 3 20 0 15 0 444334584 11084148736 20904 33554432000 4194304 4196468 140726939648320 140519301905616 140518931713328 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29603] ppid=29546 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29549/task/29603/stat : 29603 (java) S 29546 29549 25887 0 -1 1077944384 1 13020 0 0 0 0 5 3 20 0 15 0 444334585 11084148736 20904 33554432000 4194304 4196468 140726939648320 140519334320656 140519330088661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29604] ppid=29546 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29549/task/29604/stat : 29604 (java) S 29546 29549 25887 0 -1 1077944384 1 13020 0 0 0 0 5 3 20 0 15 0 444334585 11084148736 20904 33554432000 4194304 4196468 140726939648320 140519253072528 140519330088661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29605] ppid=29546 vsize=10824364 memory=140542134595792 CPUtime=0.08 cores=0,2,4,6
/proc/29549/task/29605/stat : 29605 (java) S 29546 29549 25887 0 -1 1077944384 1 13020 0 0 0 0 5 3 20 0 15 0 444334585 11084148736 20904 33554432000 4194304 4196468 140726939648320 140519252019472 140519330088661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29606] ppid=29546 vsize=10824364 memory=140544214827627 CPUtime=0.08 cores=0,2,4,6
/proc/29549/task/29606/stat : 29606 (java) S 29546 29549 25887 0 -1 1077944384 2 13020 0 0 0 0 5 3 20 0 15 0 444334585 11084148736 20904 33554432000 4194304 4196468 140726939648320 140518901078416 140519330088661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29607] ppid=29546 vsize=10824364 memory=1076 CPUtime=0.08 cores=0,2,4,6
/proc/29549/task/29607/stat : 29607 (java) S 29546 29549 25887 0 -1 1077944384 5 13020 0 0 0 0 5 3 20 0 15 0 444334586 11084148736 20904 33554432000 4194304 4196468 140726939648320 140518856772336 140519330089602 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29608] ppid=29546 vsize=10824364 memory=7014751519650698577 CPUtime=0.08 cores=0,2,4,6
/proc/29549/task/29608/stat : 29608 (java) S 29546 29549 25887 0 -1 1077944384 13 13020 0 0 0 0 5 3 20 0 15 0 444334587 11084148736 20904 33554432000 4194304 4196468 140726939648320 140518780561056 140519330088661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29609] ppid=29546 vsize=10824364 memory=7955725652544607593 CPUtime=0.08 cores=0,2,4,6
/proc/29549/task/29609/stat : 29609 (java) S 29546 29549 25887 0 -1 1077944384 1 13020 0 0 0 0 5 3 20 0 15 0 444334587 11084148736 20904 33554432000 4194304 4196468 140726939648320 140518109471984 140519330088661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29610] ppid=29546 vsize=10824364 memory=14056 CPUtime=0.08 cores=0,2,4,6
/proc/29549/task/29610/stat : 29610 (java) S 29546 29549 25887 0 -1 1077944384 3 13020 0 0 0 0 5 3 20 0 15 0 444334590 11084148736 20904 33554432000 4194304 4196468 140726939648320 140517869181392 140519330097051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29611] ppid=29546 vsize=10824364 memory=2116 CPUtime=0.21 cores=0,2,4,6
/proc/29549/task/29611/stat : 29611 (java) R 29546 29549 25887 0 -1 4202560 1057 13020 0 0 13 0 5 3 20 0 15 0 444334590 11084148736 20904 33554432000 4194304 4196468 140726939648320 140518855700560 140519313992813 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29612] ppid=29546 vsize=10824364 memory=520 CPUtime=0.2 cores=0,2,4,6
/proc/29549/task/29612/stat : 29612 (java) R 29546 29549 25887 0 -1 4202560 442 13020 0 0 12 0 5 3 20 0 15 0 444334590 11084148736 20904 33554432000 4194304 4196468 140726939648320 140518854654288 140519311254361 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29613] ppid=29546 vsize=10824364 memory=1560 CPUtime=0.25 cores=0,2,4,6
/proc/29549/task/29613/stat : 29613 (java) R 29546 29549 25887 0 -1 4202560 824 13020 0 0 17 0 5 3 20 0 15 0 444334590 11084148736 20904 33554432000 4194304 4196468 140726939648320 140518853613552 140519308736433 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29614] ppid=29546 vsize=10824364 memory=924 CPUtime=0.08 cores=0,2,4,6
/proc/29549/task/29614/stat : 29614 (java) S 29546 29549 25887 0 -1 1077944384 3 13020 0 0 0 0 5 3 20 0 15 0 444334590 11084148736 20904 33554432000 4194304 4196468 140726939648320 140517835622752 140519330088661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29615] ppid=29546 vsize=10824364 memory=3688 CPUtime=0.08 cores=0,2,4,6
/proc/29549/task/29615/stat : 29615 (java) S 29546 29549 25887 0 -1 1077944384 1 13020 0 0 0 0 5 3 20 0 15 0 444334590 11084148736 20904 33554432000 4194304 4196468 140726939648320 140518852561968 140519330089602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 83616 KiB
[startup+1.50441 s]
/proc/loadavg: 1.24 1.26 1.29 3/229 29615
/proc/meminfo: memFree=28430120/32770624 swapFree=66939904/67108860
[pid=29549] ppid=29546 vsize=10834680 memory=168832 CPUtime=2.44 cores=0,2,4,6
/proc/29549/stat : 29549 (java) S 29546 29549 25887 0 -1 1077944320 20434 13020 0 0 227 9 5 3 20 0 15 0 444334575 11094712320 42208 33554432000 4194304 4196468 140726939648320 140726939630864 140519330078455 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
/proc/29549/statm: 2708670 42208 3568 1 0 2670733 0
[pid=29549/tid=29602] ppid=29546 vsize=10834680 memory=165196 CPUtime=1.44 cores=0,2,4,6
/proc/29549/task/29602/stat : 29602 (java) R 29546 29549 25887 0 -1 4202560 15011 13020 0 0 131 5 5 3 20 0 15 0 444334584 11094712320 42208 33554432000 4194304 4196468 140726939648320 140519301884768 140519308081377 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29603] ppid=29546 vsize=10834680 memory=6944656592455359580 CPUtime=0.09 cores=0,2,4,6
/proc/29549/task/29603/stat : 29603 (java) S 29546 29549 25887 0 -1 1077944384 20 13020 0 0 1 0 5 3 20 0 15 0 444334585 11094712320 42208 33554432000 4194304 4196468 140726939648320 140519334320656 140519330088661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29604] ppid=29546 vsize=10834680 memory=7976406965554101975 CPUtime=0.08 cores=0,2,4,6
/proc/29549/task/29604/stat : 29604 (java) S 29546 29549 25887 0 -1 1077944384 27 13020 0 0 0 0 5 3 20 0 15 0 444334585 11094712320 42208 33554432000 4194304 4196468 140726939648320 140519253072528 140519330088661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29605] ppid=29546 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/29549/task/29605/stat : 29605 (java) S 29546 29549 25887 0 -1 1077944384 24 13020 0 0 1 0 5 3 20 0 15 0 444334585 11094712320 42208 33554432000 4194304 4196468 140726939648320 140519252019472 140519330088661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29606] ppid=29546 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/29549/task/29606/stat : 29606 (java) S 29546 29549 25887 0 -1 1077944384 37 13020 0 0 1 0 5 3 20 0 15 0 444334585 11094712320 42208 33554432000 4194304 4196468 140726939648320 140518901078416 140519330088661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29607] ppid=29546 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/29549/task/29607/stat : 29607 (java) S 29546 29549 25887 0 -1 1077944384 44 13020 0 0 1 0 5 3 20 0 15 0 444334586 11094712320 42208 33554432000 4194304 4196468 140726939648320 140518856772336 140519330089602 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29608] ppid=29546 vsize=10834680 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29549/task/29608/stat : 29608 (java) S 29546 29549 25887 0 -1 1077944384 14 13020 0 0 0 0 5 3 20 0 15 0 444334587 11094712320 42208 33554432000 4194304 4196468 140726939648320 140518780561120 140519330088661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29609] ppid=29546 vsize=10834680 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29549/task/29609/stat : 29609 (java) S 29546 29549 25887 0 -1 1077944384 2 13020 0 0 0 0 5 3 20 0 15 0 444334587 11094712320 42208 33554432000 4194304 4196468 140726939648320 140518109472000 140519330088661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29610] ppid=29546 vsize=10834680 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29549/task/29610/stat : 29610 (java) S 29546 29549 25887 0 -1 1077944384 3 13020 0 0 0 0 5 3 20 0 15 0 444334590 11094712320 42208 33554432000 4194304 4196468 140726939648320 140517869181392 140519330097051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29611] ppid=29546 vsize=10834680 memory=0 CPUtime=0.32 cores=0,2,4,6
/proc/29549/task/29611/stat : 29611 (java) R 29546 29549 25887 0 -1 1077944384 1121 13020 0 0 24 0 5 3 20 0 15 0 444334590 11094712320 42208 33554432000 4194304 4196468 140726939648320 140518855719152 140519330089602 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29612] ppid=29546 vsize=10834680 memory=4580 CPUtime=0.32 cores=0,2,4,6
/proc/29549/task/29612/stat : 29612 (java) R 29546 29549 25887 0 -1 4202560 501 13020 0 0 24 0 5 3 20 0 15 0 444334590 11094712320 42208 33554432000 4194304 4196468 140726939648320 140518854658560 140519313981610 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29613] ppid=29546 vsize=10834680 memory=7381230917109180754 CPUtime=0.48 cores=0,2,4,6
/proc/29549/task/29613/stat : 29613 (java) R 29546 29549 25887 0 -1 4202560 1419 13020 0 0 40 0 5 3 20 0 15 0 444334590 11094712320 42208 33554432000 4194304 4196468 140726939648320 140518853613552 140519314189457 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29614] ppid=29546 vsize=10834680 memory=6082514196445294695 CPUtime=0.08 cores=0,2,4,6
/proc/29549/task/29614/stat : 29614 (java) S 29546 29549 25887 0 -1 1077944384 3 13020 0 0 0 0 5 3 20 0 15 0 444334590 11094712320 42208 33554432000 4194304 4196468 140726939648320 140517835622752 140519330088661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29615] ppid=29546 vsize=10834680 memory=7885636287366194516 CPUtime=0.08 cores=0,2,4,6
/proc/29549/task/29615/stat : 29615 (java) S 29546 29549 25887 0 -1 1077944384 1 13020 0 0 0 0 5 3 20 0 15 0 444334590 11094712320 42208 33554432000 4194304 4196468 140726939648320 140518852561968 140519330089602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
Current children cumulated CPU time: 2.44 s
Current children cumulated vsize: 10834680 KiB
################
# More data... #
################
/proc/29549/task/29602/stat : 29602 (java) R 29546 29549 25887 0 -1 4202560 54995 13020 0 0 223581 43 5 3 20 0 15 0 444334584 11105218560 201247 33554432000 4194304 4196468 140726939648320 140519301914464 140518938372695 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29603] ppid=29546 vsize=10844940 memory=804988 CPUtime=11.66 cores=0,2,4,6
/proc/29549/task/29603/stat : 29603 (java) S 29546 29549 25887 0 -1 1077944384 14223 13020 0 0 1093 65 5 3 20 0 15 0 444334585 11105218560 201247 33554432000 4194304 4196468 140726939648320 140519334320656 140519330088661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29604] ppid=29546 vsize=10844940 memory=804988 CPUtime=11.69 cores=0,2,4,6
/proc/29549/task/29604/stat : 29604 (java) S 29546 29549 25887 0 -1 1077944384 7375 13020 0 0 1094 67 5 3 20 0 15 0 444334585 11105218560 201247 33554432000 4194304 4196468 140726939648320 140519253072528 140519330088661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29605] ppid=29546 vsize=10844940 memory=804988 CPUtime=11.67 cores=0,2,4,6
/proc/29549/task/29605/stat : 29605 (java) S 29546 29549 25887 0 -1 1077944384 9529 13020 0 0 1096 63 5 3 20 0 15 0 444334585 11105218560 201247 33554432000 4194304 4196468 140726939648320 140519252019472 140519330088661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29606] ppid=29546 vsize=10844940 memory=1620 CPUtime=11.7 cores=0,2,4,6
/proc/29549/task/29606/stat : 29606 (java) S 29546 29549 25887 0 -1 1077944384 9853 13020 0 0 1099 63 5 3 20 0 15 0 444334585 11105218560 201247 33554432000 4194304 4196468 140726939648320 140518901078416 140519330088661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29607] ppid=29546 vsize=10844940 memory=804988 CPUtime=11.28 cores=0,2,4,6
/proc/29549/task/29607/stat : 29607 (java) S 29546 29549 25887 0 -1 1077944384 10507 13020 0 0 1057 63 5 3 20 0 15 0 444334586 11105218560 201247 33554432000 4194304 4196468 140726939648320 140518856772336 140519330089602 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29608] ppid=29546 vsize=10844940 memory=3504 CPUtime=0.08 cores=0,2,4,6
/proc/29549/task/29608/stat : 29608 (java) S 29546 29549 25887 0 -1 1077944384 14 13020 0 0 0 0 5 3 20 0 15 0 444334587 11105218560 201247 33554432000 4194304 4196468 140726939648320 140518780561184 140519330088661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29609] ppid=29546 vsize=10844940 memory=804988 CPUtime=0.08 cores=0,2,4,6
/proc/29549/task/29609/stat : 29609 (java) S 29546 29549 25887 0 -1 1077944384 6 13020 0 0 0 0 5 3 20 0 15 0 444334587 11105218560 201247 33554432000 4194304 4196468 140726939648320 140518109472000 140519330088661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29610] ppid=29546 vsize=10844940 memory=3504 CPUtime=0.08 cores=0,2,4,6
/proc/29549/task/29610/stat : 29610 (java) S 29546 29549 25887 0 -1 1077944384 3 13020 0 0 0 0 5 3 20 0 15 0 444334590 11105218560 201247 33554432000 4194304 4196468 140726939648320 140517869181392 140519330097051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29611] ppid=29546 vsize=10844940 memory=804988 CPUtime=2.41 cores=0,2,4,6
/proc/29549/task/29611/stat : 29611 (java) S 29546 29549 25887 0 -1 1077944384 12372 13020 0 0 230 3 5 3 20 0 15 0 444334590 11105218560 201247 33554432000 4194304 4196468 140726939648320 140518855719152 140519330089602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29612] ppid=29546 vsize=10844940 memory=3472328296227679313 CPUtime=2.45 cores=0,2,4,6
/proc/29549/task/29612/stat : 29612 (java) S 29546 29549 25887 0 -1 1077944384 8768 13020 0 0 235 2 5 3 20 0 15 0 444334590 11105218560 201247 33554432000 4194304 4196468 140726939648320 140518854666608 140519330089602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29613] ppid=29546 vsize=10844940 memory=804988 CPUtime=1.32 cores=0,2,4,6
/proc/29549/task/29613/stat : 29613 (java) S 29546 29549 25887 0 -1 1077944384 8499 13020 0 0 122 2 5 3 20 0 15 0 444334590 11105218560 201247 33554432000 4194304 4196468 140726939648320 140518853613552 140519330089602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29614] ppid=29546 vsize=10844940 memory=804988 CPUtime=0.08 cores=0,2,4,6
/proc/29549/task/29614/stat : 29614 (java) S 29546 29549 25887 0 -1 1077944384 3 13020 0 0 0 0 5 3 20 0 15 0 444334590 11105218560 201247 33554432000 4194304 4196468 140726939648320 140517835622752 140519330088661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29615] ppid=29546 vsize=10844940 memory=804988 CPUtime=1.46 cores=0,2,4,6
/proc/29549/task/29615/stat : 29615 (java) S 29546 29549 25887 0 -1 1077944384 1213 13020 0 0 71 67 5 3 20 0 15 0 444334590 11105218560 201247 33554432000 4194304 4196468 140726939648320 140518852561968 140519330089602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
Current children cumulated CPU time: 2301.36 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 804988 KiB
[startup+2322.3 s]
/proc/loadavg: 1.52 1.41 1.42 3/228 29979
/proc/meminfo: memFree=27796368/32770624 swapFree=66939904/67108860
[pid=29549] ppid=29546 vsize=10844940 memory=804988 CPUtime=2362.29 cores=0,2,4,6
/proc/29549/stat : 29549 (java) S 29546 29549 25887 0 -1 1077944320 140811 13020 0 0 235851 370 5 3 20 0 15 0 444334575 11105218560 201247 33554432000 4194304 4196468 140726939648320 140726939630864 140519330078455 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
/proc/29549/statm: 2711235 201247 3621 1 0 2673293 0
[pid=29549/tid=29602] ppid=29546 vsize=10844940 memory=804988 CPUtime=2295.59 cores=0,2,4,6
/proc/29549/task/29602/stat : 29602 (java) R 29546 29549 25887 0 -1 4202560 55704 13020 0 0 229507 44 5 3 20 0 15 0 444334584 11105218560 201247 33554432000 4194304 4196468 140726939648320 140519301914288 140518943370792 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29603] ppid=29546 vsize=10844940 memory=804988 CPUtime=11.99 cores=0,2,4,6
/proc/29549/task/29603/stat : 29603 (java) S 29546 29549 25887 0 -1 1077944384 14231 13020 0 0 1125 66 5 3 20 0 15 0 444334585 11105218560 201247 33554432000 4194304 4196468 140726939648320 140519334320656 140519330088661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29604] ppid=29546 vsize=10844940 memory=804988 CPUtime=12.02 cores=0,2,4,6
/proc/29549/task/29604/stat : 29604 (java) S 29546 29549 25887 0 -1 1077944384 7535 13020 0 0 1126 68 5 3 20 0 15 0 444334585 11105218560 201247 33554432000 4194304 4196468 140726939648320 140519253072528 140519330088661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29605] ppid=29546 vsize=10844940 memory=804988 CPUtime=11.99 cores=0,2,4,6
/proc/29549/task/29605/stat : 29605 (java) S 29546 29549 25887 0 -1 1077944384 9569 13020 0 0 1126 65 5 3 20 0 15 0 444334585 11105218560 201247 33554432000 4194304 4196468 140726939648320 140519252019472 140519330088661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29606] ppid=29546 vsize=10844940 memory=804988 CPUtime=12.02 cores=0,2,4,6
/proc/29549/task/29606/stat : 29606 (java) S 29546 29549 25887 0 -1 1077944384 9960 13020 0 0 1129 65 5 3 20 0 15 0 444334585 11105218560 201247 33554432000 4194304 4196468 140726939648320 140518901078416 140519330088661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29607] ppid=29546 vsize=10844940 memory=804988 CPUtime=11.6 cores=0,2,4,6
/proc/29549/task/29607/stat : 29607 (java) S 29546 29549 25887 0 -1 1077944384 10702 13020 0 0 1087 65 5 3 20 0 15 0 444334586 11105218560 201247 33554432000 4194304 4196468 140726939648320 140518856772336 140519330089602 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29608] ppid=29546 vsize=10844940 memory=47804 CPUtime=0.08 cores=0,2,4,6
/proc/29549/task/29608/stat : 29608 (java) S 29546 29549 25887 0 -1 1077944384 14 13020 0 0 0 0 5 3 20 0 15 0 444334587 11105218560 201247 33554432000 4194304 4196468 140726939648320 140518780561184 140519330088661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29609] ppid=29546 vsize=10844940 memory=14056 CPUtime=0.08 cores=0,2,4,6
/proc/29549/task/29609/stat : 29609 (java) S 29546 29549 25887 0 -1 1077944384 6 13020 0 0 0 0 5 3 20 0 15 0 444334587 11105218560 201247 33554432000 4194304 4196468 140726939648320 140518109472000 140519330088661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29610] ppid=29546 vsize=10844940 memory=2116 CPUtime=0.08 cores=0,2,4,6
/proc/29549/task/29610/stat : 29610 (java) S 29546 29549 25887 0 -1 1077944384 3 13020 0 0 0 0 5 3 20 0 15 0 444334590 11105218560 201247 33554432000 4194304 4196468 140726939648320 140517869181392 140519330097051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29611] ppid=29546 vsize=10844940 memory=3504 CPUtime=2.41 cores=0,2,4,6
/proc/29549/task/29611/stat : 29611 (java) S 29546 29549 25887 0 -1 1077944384 12375 13020 0 0 230 3 5 3 20 0 15 0 444334590 11105218560 201247 33554432000 4194304 4196468 140726939648320 140518855719152 140519330089602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29612] ppid=29546 vsize=10844940 memory=47804 CPUtime=2.45 cores=0,2,4,6
/proc/29549/task/29612/stat : 29612 (java) S 29546 29549 25887 0 -1 1077944384 8770 13020 0 0 235 2 5 3 20 0 15 0 444334590 11105218560 201247 33554432000 4194304 4196468 140726939648320 140518854666608 140519330089602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29613] ppid=29546 vsize=10844940 memory=804988 CPUtime=1.32 cores=0,2,4,6
/proc/29549/task/29613/stat : 29613 (java) S 29546 29549 25887 0 -1 1077944384 8501 13020 0 0 122 2 5 3 20 0 15 0 444334590 11105218560 201247 33554432000 4194304 4196468 140726939648320 140518853613552 140519330089602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29614] ppid=29546 vsize=10844940 memory=804988 CPUtime=0.08 cores=0,2,4,6
/proc/29549/task/29614/stat : 29614 (java) S 29546 29549 25887 0 -1 1077944384 3 13020 0 0 0 0 5 3 20 0 15 0 444334590 11105218560 201247 33554432000 4194304 4196468 140726939648320 140517835622752 140519330088661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29615] ppid=29546 vsize=10844940 memory=14056 CPUtime=1.51 cores=0,2,4,6
/proc/29549/task/29615/stat : 29615 (java) S 29546 29549 25887 0 -1 1077944384 1230 13020 0 0 73 70 5 3 20 0 15 0 444334590 11105218560 201247 33554432000 4194304 4196468 140726939648320 140518852561968 140519330089602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
Current children cumulated CPU time: 2362.29 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 804988 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2359.5 s]
/proc/loadavg: 1.58 1.43 1.43 3/228 29983
/proc/meminfo: memFree=27852176/32770624 swapFree=66939904/67108860
[pid=29549] ppid=29546 vsize=10844940 memory=804988 CPUtime=2400.04 cores=0,2,4,6
/proc/29549/stat : 29549 (java) S 29546 29549 25887 0 -1 1077944320 141824 13020 0 0 239621 375 5 3 20 0 15 0 444334575 11105218560 201247 33554432000 4194304 4196468 140726939648320 140726939630864 140519330078455 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
/proc/29549/statm: 2711235 201247 3621 1 0 2673293 0
[pid=29549/tid=29602] ppid=29546 vsize=10844940 memory=804988 CPUtime=2332.34 cores=0,2,4,6
/proc/29549/task/29602/stat : 29602 (java) R 29546 29549 25887 0 -1 4202560 56190 13020 0 0 233182 44 5 3 20 0 15 0 444334584 11105218560 201247 33554432000 4194304 4196468 140726939648320 140519301914928 140518941105296 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29603] ppid=29546 vsize=10844940 memory=804988 CPUtime=12.18 cores=0,2,4,6
/proc/29549/task/29603/stat : 29603 (java) S 29546 29549 25887 0 -1 1077944384 14419 13020 0 0 1143 67 5 3 20 0 15 0 444334585 11105218560 201247 33554432000 4194304 4196468 140726939648320 140519334320656 140519330088661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29604] ppid=29546 vsize=10844940 memory=804988 CPUtime=12.22 cores=0,2,4,6
/proc/29549/task/29604/stat : 29604 (java) S 29546 29549 25887 0 -1 1077944384 7548 13020 0 0 1145 69 5 3 20 0 15 0 444334585 11105218560 201247 33554432000 4194304 4196468 140726939648320 140519253072528 140519330088661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29605] ppid=29546 vsize=10844940 memory=239529 CPUtime=12.19 cores=0,2,4,6
/proc/29549/task/29605/stat : 29605 (java) S 29546 29549 25887 0 -1 1077944384 9663 13020 0 0 1145 66 5 3 20 0 15 0 444334585 11105218560 201247 33554432000 4194304 4196468 140726939648320 140519252019472 140519330088661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29606] ppid=29546 vsize=10844940 memory=804988 CPUtime=12.22 cores=0,2,4,6
/proc/29549/task/29606/stat : 29606 (java) S 29546 29549 25887 0 -1 1077944384 9972 13020 0 0 1148 66 5 3 20 0 15 0 444334585 11105218560 201247 33554432000 4194304 4196468 140726939648320 140518901078416 140519330088661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29607] ppid=29546 vsize=10844940 memory=804988 CPUtime=11.78 cores=0,2,4,6
/proc/29549/task/29607/stat : 29607 (java) S 29546 29549 25887 0 -1 1077944384 10899 13020 0 0 1105 65 5 3 20 0 15 0 444334586 11105218560 201247 33554432000 4194304 4196468 140726939648320 140518856772336 140519330089602 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29608] ppid=29546 vsize=10844940 memory=804988 CPUtime=0.08 cores=0,2,4,6
/proc/29549/task/29608/stat : 29608 (java) S 29546 29549 25887 0 -1 1077944384 14 13020 0 0 0 0 5 3 20 0 15 0 444334587 11105218560 201247 33554432000 4194304 4196468 140726939648320 140518780561184 140519330088661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29609] ppid=29546 vsize=10844940 memory=804988 CPUtime=0.08 cores=0,2,4,6
/proc/29549/task/29609/stat : 29609 (java) S 29546 29549 25887 0 -1 1077944384 6 13020 0 0 0 0 5 3 20 0 15 0 444334587 11105218560 201247 33554432000 4194304 4196468 140726939648320 140518109472000 140519330088661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29610] ppid=29546 vsize=10844940 memory=3504 CPUtime=0.08 cores=0,2,4,6
/proc/29549/task/29610/stat : 29610 (java) S 29546 29549 25887 0 -1 1077944384 3 13020 0 0 0 0 5 3 20 0 15 0 444334590 11105218560 201247 33554432000 4194304 4196468 140726939648320 140517869181392 140519330097051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29611] ppid=29546 vsize=10844940 memory=804988 CPUtime=2.41 cores=0,2,4,6
/proc/29549/task/29611/stat : 29611 (java) S 29546 29549 25887 0 -1 1077944384 12377 13020 0 0 230 3 5 3 20 0 15 0 444334590 11105218560 201247 33554432000 4194304 4196468 140726939648320 140518855719152 140519330089602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29612] ppid=29546 vsize=10844940 memory=804988 CPUtime=2.45 cores=0,2,4,6
/proc/29549/task/29612/stat : 29612 (java) S 29546 29549 25887 0 -1 1077944384 8772 13020 0 0 235 2 5 3 20 0 15 0 444334590 11105218560 201247 33554432000 4194304 4196468 140726939648320 140518854666608 140519330089602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29613] ppid=29546 vsize=10844940 memory=668 CPUtime=1.32 cores=0,2,4,6
/proc/29549/task/29613/stat : 29613 (java) S 29546 29549 25887 0 -1 1077944384 8503 13020 0 0 122 2 5 3 20 0 15 0 444334590 11105218560 201247 33554432000 4194304 4196468 140726939648320 140518853613552 140519330089602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29614] ppid=29546 vsize=10844940 memory=3504 CPUtime=0.08 cores=0,2,4,6
/proc/29549/task/29614/stat : 29614 (java) S 29546 29549 25887 0 -1 1077944384 3 13020 0 0 0 0 5 3 20 0 15 0 444334590 11105218560 201247 33554432000 4194304 4196468 140726939648320 140517835622752 140519330088661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29615] ppid=29546 vsize=10844940 memory=47804 CPUtime=1.53 cores=0,2,4,6
/proc/29549/task/29615/stat : 29615 (java) S 29546 29549 25887 0 -1 1077944384 1247 13020 0 0 74 71 5 3 20 0 15 0 444334590 11105218560 201247 33554432000 4194304 4196468 140726939648320 140518852561968 140519330089602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 804988 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2359.53 s]
# the end of solver process 29549 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.29 s, system=3.79447 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2359.5 s]
/proc/loadavg: 1.58 1.43 1.43 3/228 29983
/proc/meminfo: memFree=27852176/32770624 swapFree=66939904/67108860
[pid=29549] ppid=29546 vsize=10844940 memory=804988 CPUtime=2400.04 cores=0,2,4,6
/proc/29549/stat : 29549 (java) S 29546 29549 25887 0 -1 1077944320 141824 13020 0 0 239621 375 5 3 20 0 15 0 444334575 11105218560 201247 33554432000 4194304 4196468 140726939648320 140726939630864 140519330078455 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
/proc/29549/statm: 2711235 201247 3621 1 0 2673293 0
[pid=29549/tid=29602] ppid=29546 vsize=10844940 memory=804988 CPUtime=2332.34 cores=0,2,4,6
/proc/29549/task/29602/stat : 29602 (java) R 29546 29549 25887 0 -1 4202560 56190 13020 0 0 233182 44 5 3 20 0 15 0 444334584 11105218560 201247 33554432000 4194304 4196468 140726939648320 140519301914928 140518941105296 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29603] ppid=29546 vsize=10844940 memory=804988 CPUtime=12.18 cores=0,2,4,6
/proc/29549/task/29603/stat : 29603 (java) S 29546 29549 25887 0 -1 1077944384 14419 13020 0 0 1143 67 5 3 20 0 15 0 444334585 11105218560 201247 33554432000 4194304 4196468 140726939648320 140519334320656 140519330088661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29604] ppid=29546 vsize=10844940 memory=804988 CPUtime=12.22 cores=0,2,4,6
/proc/29549/task/29604/stat : 29604 (java) S 29546 29549 25887 0 -1 1077944384 7548 13020 0 0 1145 69 5 3 20 0 15 0 444334585 11105218560 201247 33554432000 4194304 4196468 140726939648320 140519253072528 140519330088661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29605] ppid=29546 vsize=10844940 memory=239529 CPUtime=12.19 cores=0,2,4,6
/proc/29549/task/29605/stat : 29605 (java) S 29546 29549 25887 0 -1 1077944384 9663 13020 0 0 1145 66 5 3 20 0 15 0 444334585 11105218560 201247 33554432000 4194304 4196468 140726939648320 140519252019472 140519330088661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29606] ppid=29546 vsize=10844940 memory=804988 CPUtime=12.22 cores=0,2,4,6
/proc/29549/task/29606/stat : 29606 (java) S 29546 29549 25887 0 -1 1077944384 9972 13020 0 0 1148 66 5 3 20 0 15 0 444334585 11105218560 201247 33554432000 4194304 4196468 140726939648320 140518901078416 140519330088661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29607] ppid=29546 vsize=10844940 memory=804988 CPUtime=11.78 cores=0,2,4,6
/proc/29549/task/29607/stat : 29607 (java) S 29546 29549 25887 0 -1 1077944384 10899 13020 0 0 1105 65 5 3 20 0 15 0 444334586 11105218560 201247 33554432000 4194304 4196468 140726939648320 140518856772336 140519330089602 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29608] ppid=29546 vsize=10844940 memory=804988 CPUtime=0.08 cores=0,2,4,6
/proc/29549/task/29608/stat : 29608 (java) S 29546 29549 25887 0 -1 1077944384 14 13020 0 0 0 0 5 3 20 0 15 0 444334587 11105218560 201247 33554432000 4194304 4196468 140726939648320 140518780561184 140519330088661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29609] ppid=29546 vsize=10844940 memory=804988 CPUtime=0.08 cores=0,2,4,6
/proc/29549/task/29609/stat : 29609 (java) S 29546 29549 25887 0 -1 1077944384 6 13020 0 0 0 0 5 3 20 0 15 0 444334587 11105218560 201247 33554432000 4194304 4196468 140726939648320 140518109472000 140519330088661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29610] ppid=29546 vsize=10844940 memory=3504 CPUtime=0.08 cores=0,2,4,6
/proc/29549/task/29610/stat : 29610 (java) S 29546 29549 25887 0 -1 1077944384 3 13020 0 0 0 0 5 3 20 0 15 0 444334590 11105218560 201247 33554432000 4194304 4196468 140726939648320 140517869181392 140519330097051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29611] ppid=29546 vsize=10844940 memory=804988 CPUtime=2.41 cores=0,2,4,6
/proc/29549/task/29611/stat : 29611 (java) S 29546 29549 25887 0 -1 1077944384 12377 13020 0 0 230 3 5 3 20 0 15 0 444334590 11105218560 201247 33554432000 4194304 4196468 140726939648320 140518855719152 140519330089602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29612] ppid=29546 vsize=10844940 memory=804988 CPUtime=2.45 cores=0,2,4,6
/proc/29549/task/29612/stat : 29612 (java) S 29546 29549 25887 0 -1 1077944384 8772 13020 0 0 235 2 5 3 20 0 15 0 444334590 11105218560 201247 33554432000 4194304 4196468 140726939648320 140518854666608 140519330089602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29613] ppid=29546 vsize=10844940 memory=668 CPUtime=1.32 cores=0,2,4,6
/proc/29549/task/29613/stat : 29613 (java) S 29546 29549 25887 0 -1 1077944384 8503 13020 0 0 122 2 5 3 20 0 15 0 444334590 11105218560 201247 33554432000 4194304 4196468 140726939648320 140518853613552 140519330089602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29614] ppid=29546 vsize=10844940 memory=3504 CPUtime=0.08 cores=0,2,4,6
/proc/29549/task/29614/stat : 29614 (java) S 29546 29549 25887 0 -1 1077944384 3 13020 0 0 0 0 5 3 20 0 15 0 444334590 11105218560 201247 33554432000 4194304 4196468 140726939648320 140517835622752 140519330088661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
[pid=29549/tid=29615] ppid=29546 vsize=10844940 memory=47804 CPUtime=1.53 cores=0,2,4,6
/proc/29549/task/29615/stat : 29615 (java) S 29546 29549 25887 0 -1 1077944384 1247 13020 0 0 74 71 5 3 20 0 15 0 444334590 11105218560 201247 33554432000 4194304 4196468 140726939648320 140518852561968 140519330089602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140726939650800 140726939653317 140726939653317 140726939656143 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 804988 KiB
Child status: 143
Real time (s): 2359.53
CPU time (s): 2400.08
CPU user time (s): 2396.29
CPU system time (s): 3.79447
CPU usage (%): 101.719
Max. virtual memory (cumulated for all children) (KiB): 10847744
Max. memory (cumulated for all children) (KiB): 804988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.29
system time used= 3.79447
maximum resident set size= 809212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155731
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 310838
involuntary context switches= 8747
# summary of solver processes directly reported to runsolver:
# pid: 29549
# total CPU time (s): 2400.08
# total CPU user time (s): 2396.29
# total CPU system time (s): 3.79447
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5536 second user time and 23.0488 second system time
The end