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 (6681 MiB free)
memory of node 1: 16384 MiB (9241 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295818-1532595089/watcher-4295818-1532595089 -o /tmp/evaluation-result-4295818-1532595089/solver-4295818-1532595089 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532582651-32591 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=564187864 -superng HOME/instance-4295818-1532595089.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
Current StackSize limit: 8192 KiB
solver pid=2435, runsolver pid=2432
[startup+0.100065 s]*
/proc/loadavg: 1.79 1.71 1.61 3/205 2490
/proc/meminfo: memFree=16298284/32770624 swapFree=67108796/67108860
[pid=2435] ppid=2432 vsize=9972712 memory=16548 CPUtime=0.08 cores=0,2,4,6
/proc/2435/stat : 2435 (java) S 2432 2435 32560 0 -1 1077944320 4283 13118 0 0 1 0 4 3 20 0 6 0 77072111 10212057088 4137 33554432000 4194304 4196468 140720873126656 140720873109200 140085083348727 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
/proc/2435/statm: 2493178 4137 1932 1 0 2481616 0
[pid=2435/tid=2488] ppid=2432 vsize=9972712 memory=-8171376296011865461 CPUtime=0.08 cores=0,2,4,6
/proc/2435/task/2488/stat : 2488 (java) R 2432 2435 32560 0 -1 4202560 2159 13118 0 0 1 0 4 3 20 0 6 0 77072120 10212057088 4203 33554432000 4194304 4196468 140720873126656 140085055185488 140085067429214 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2489] ppid=2432 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/2435/task/2489/stat : 2489 (java) S 2432 2435 32560 0 -1 1077944384 1 13118 0 0 0 0 4 3 20 0 6 0 77072121 10212057088 4203 33554432000 4194304 4196468 140720873126656 140085087591184 140085083358933 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2490] ppid=2432 vsize=9972712 memory=140035836835456 CPUtime=0.07 cores=0,2,4,6
/proc/2435/task/2490/stat : 2490 (java) S 2432 2435 32560 0 -1 1077944384 1 13118 0 0 0 0 4 3 20 0 6 0 77072121 10212057088 4203 33554432000 4194304 4196468 140720873126656 140084991794064 140085083358933 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2491] ppid=2432 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2435/task/2491/stat : 2491 (java) S 2432 2435 32560 0 -1 1077944384 2 13118 0 0 0 0 4 3 20 0 6 0 77072121 10212057088 4203 33554432000 4194304 4196468 140720873126656 140084990741520 140085083358933 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2492] ppid=2432 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/2435/task/2492/stat : 2492 (java) S 2432 2435 32560 0 -1 1077944384 2 13118 0 0 0 0 4 3 20 0 6 0 77072121 10212057088 4203 33554432000 4194304 4196468 140720873126656 140084654169232 140085083358933 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16548 KiB
[startup+0.210508 s]*
/proc/loadavg: 1.79 1.71 1.61 3/216 2501
/proc/meminfo: memFree=16276336/32770624 swapFree=67108796/67108860
[pid=2435] ppid=2432 vsize=10819896 memory=44732 CPUtime=0.25 cores=0,2,4,6
/proc/2435/stat : 2435 (java) S 2432 2435 32560 0 -1 1077944320 8363 13118 0 0 16 2 4 3 20 0 15 0 77072111 11079573504 11183 33554432000 4194304 4196468 140720873126656 140720873109200 140085083348727 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
/proc/2435/statm: 2704974 11183 2968 1 0 2667397 0
[pid=2435/tid=2488] ppid=2432 vsize=10818936 memory=-8171376296011865461 CPUtime=0.18 cores=0,2,4,6
/proc/2435/task/2488/stat : 2488 (java) R 2432 2435 32560 0 -1 4202560 5864 13118 0 0 10 1 4 3 20 0 15 0 77072120 11078590464 11365 33554432000 4194304 4196468 140720873126656 140085055173536 140085076028445 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2489] ppid=2432 vsize=10818936 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/2435/task/2489/stat : 2489 (java) S 2432 2435 32560 0 -1 1077944384 1 13118 0 0 0 0 4 3 20 0 15 0 77072121 11078590464 11365 33554432000 4194304 4196468 140720873126656 140085087591184 140085083358933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2490] ppid=2432 vsize=10818936 memory=140035836835456 CPUtime=0.07 cores=0,2,4,6
/proc/2435/task/2490/stat : 2490 (java) S 2432 2435 32560 0 -1 1077944384 1 13118 0 0 0 0 4 3 20 0 15 0 77072121 11078590464 11431 33554432000 4194304 4196468 140720873126656 140084991794064 140085083358933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2491] ppid=2432 vsize=10818936 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2435/task/2491/stat : 2491 (java) S 2432 2435 32560 0 -1 1077944384 2 13118 0 0 0 0 4 3 20 0 15 0 77072121 11078590464 11431 33554432000 4194304 4196468 140720873126656 140084990741520 140085083358933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2492] ppid=2432 vsize=10818936 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/2435/task/2492/stat : 2492 (java) S 2432 2435 32560 0 -1 1077944384 2 13118 0 0 0 0 4 3 20 0 15 0 77072121 11078590464 11431 33554432000 4194304 4196468 140720873126656 140084654169232 140085083358933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2493] ppid=2432 vsize=10818936 memory=140035836835456 CPUtime=0.07 cores=0,2,4,6
/proc/2435/task/2493/stat : 2493 (java) S 2432 2435 32560 0 -1 1077944384 2 13118 0 0 0 0 4 3 20 0 15 0 77072122 11078590464 11497 33554432000 4194304 4196468 140720873126656 140084609914864 140085083359874 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2494] ppid=2432 vsize=10818936 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/2435/task/2494/stat : 2494 (java) S 2432 2435 32560 0 -1 1077944384 13 13118 0 0 0 0 4 3 20 0 15 0 77072123 11078590464 11497 33554432000 4194304 4196468 140720873126656 140084519101344 140085083358933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2495] ppid=2432 vsize=10818936 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2435/task/2495/stat : 2495 (java) S 2432 2435 32560 0 -1 1077944384 1 13118 0 0 0 0 4 3 20 0 15 0 77072123 11078590464 11497 33554432000 4194304 4196468 140720873126656 140083915121648 140085083358933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2496] ppid=2432 vsize=10818936 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2435/task/2496/stat : 2496 (java) S 2432 2435 32560 0 -1 1077944384 3 13118 0 0 0 0 4 3 20 0 15 0 77072126 11078590464 11497 33554432000 4194304 4196468 140720873126656 140083607722192 140085083367323 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2497] ppid=2432 vsize=10818936 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2435/task/2497/stat : 2497 (java) S 2432 2435 32560 0 -1 1077944384 491 13118 0 0 1 0 4 3 20 0 15 0 77072126 11078590464 11563 33554432000 4194304 4196468 140720873126656 140084608862704 140085083359874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2498] ppid=2432 vsize=10818936 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/2435/task/2498/stat : 2498 (java) S 2432 2435 32560 0 -1 1077944384 89 13118 0 0 1 0 4 3 20 0 15 0 77072126 11078590464 11563 33554432000 4194304 4196468 140720873126656 140084607810160 140085083359874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2499] ppid=2432 vsize=10818936 memory=140035836835456 CPUtime=0.1 cores=0,2,4,6
/proc/2435/task/2499/stat : 2499 (java) S 2432 2435 32560 0 -1 1077944384 564 13118 0 0 3 0 4 3 20 0 15 0 77072126 11078590464 11563 33554432000 4194304 4196468 140720873126656 140084606757616 140085083359874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2500] ppid=2432 vsize=10818936 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/2435/task/2500/stat : 2500 (java) S 2432 2435 32560 0 -1 1077944384 3 13118 0 0 0 0 4 3 20 0 15 0 77072126 11078590464 11563 33554432000 4194304 4196468 140720873126656 140083574164576 140085083358933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2501] ppid=2432 vsize=10818904 memory=140035836835456 CPUtime=0.07 cores=0,2,4,6
/proc/2435/task/2501/stat : 2501 (java) S 2432 2435 32560 0 -1 1077944384 1 13118 0 0 0 0 4 3 20 0 15 0 77072126 11078557696 11616 33554432000 4194304 4196468 140720873126656 140084605704496 140085083359874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10819896 KiB
Current children cumulated memory: 44732 KiB
[startup+0.310609 s]*
/proc/loadavg: 1.79 1.71 1.61 3/216 2501
/proc/meminfo: memFree=16263560/32770624 swapFree=67108796/67108860
[pid=2435] ppid=2432 vsize=10819352 memory=54340 CPUtime=0.37 cores=0,2,4,6
/proc/2435/stat : 2435 (java) S 2432 2435 32560 0 -1 1077944320 10655 13118 0 0 28 2 4 3 20 0 15 0 77072111 11079016448 13585 33554432000 4194304 4196468 140720873126656 140720873109200 140085083348727 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
/proc/2435/statm: 2704838 13585 3087 1 0 2667149 0
[pid=2435/tid=2488] ppid=2432 vsize=10819352 memory=6935054825532540783 CPUtime=0.28 cores=0,2,4,6
/proc/2435/task/2488/stat : 2488 (java) R 2432 2435 32560 0 -1 4202560 7297 13118 0 0 20 1 4 3 20 0 15 0 77072120 11079016448 13585 33554432000 4194304 4196468 140720873126656 140085055160736 140085075590117 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2489] ppid=2432 vsize=10819352 memory=-7390251449858225344 CPUtime=0.07 cores=0,2,4,6
/proc/2435/task/2489/stat : 2489 (java) S 2432 2435 32560 0 -1 1077944384 1 13118 0 0 0 0 4 3 20 0 15 0 77072121 11079016448 13585 33554432000 4194304 4196468 140720873126656 140085087591184 140085083358933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2490] ppid=2432 vsize=10819352 memory=1328725297981317182 CPUtime=0.07 cores=0,2,4,6
/proc/2435/task/2490/stat : 2490 (java) S 2432 2435 32560 0 -1 1077944384 1 13118 0 0 0 0 4 3 20 0 15 0 77072121 11079016448 13585 33554432000 4194304 4196468 140720873126656 140084991794064 140085083358933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2491] ppid=2432 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/2435/task/2491/stat : 2491 (java) S 2432 2435 32560 0 -1 1077944384 2 13118 0 0 0 0 4 3 20 0 15 0 77072121 11079016448 13585 33554432000 4194304 4196468 140720873126656 140084990741520 140085083358933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2492] ppid=2432 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2435/task/2492/stat : 2492 (java) S 2432 2435 32560 0 -1 1077944384 2 13118 0 0 0 0 4 3 20 0 15 0 77072121 11079016448 13585 33554432000 4194304 4196468 140720873126656 140084654169232 140085083358933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2493] ppid=2432 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2435/task/2493/stat : 2493 (java) S 2432 2435 32560 0 -1 1077944384 2 13118 0 0 0 0 4 3 20 0 15 0 77072122 11079016448 13585 33554432000 4194304 4196468 140720873126656 140084609914864 140085083359874 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2494] ppid=2432 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2435/task/2494/stat : 2494 (java) S 2432 2435 32560 0 -1 1077944384 13 13118 0 0 0 0 4 3 20 0 15 0 77072123 11079016448 13585 33554432000 4194304 4196468 140720873126656 140084519101344 140085083358933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2495] ppid=2432 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2435/task/2495/stat : 2495 (java) S 2432 2435 32560 0 -1 1077944384 1 13118 0 0 0 0 4 3 20 0 15 0 77072123 11079016448 13585 33554432000 4194304 4196468 140720873126656 140083915121648 140085083358933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2496] ppid=2432 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2435/task/2496/stat : 2496 (java) S 2432 2435 32560 0 -1 1077944384 3 13118 0 0 0 0 4 3 20 0 15 0 77072126 11079016448 13585 33554432000 4194304 4196468 140720873126656 140083607722192 140085083367323 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2497] ppid=2432 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2435/task/2497/stat : 2497 (java) S 2432 2435 32560 0 -1 1077944384 491 13118 0 0 1 0 4 3 20 0 15 0 77072126 11079016448 13585 33554432000 4194304 4196468 140720873126656 140084608862704 140085083359874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2498] ppid=2432 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2435/task/2498/stat : 2498 (java) S 2432 2435 32560 0 -1 1077944384 90 13118 0 0 1 0 4 3 20 0 15 0 77072126 11079016448 13585 33554432000 4194304 4196468 140720873126656 140084607810160 140085083359874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2499] ppid=2432 vsize=10819352 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/2435/task/2499/stat : 2499 (java) R 2432 2435 32560 0 -1 4202560 575 13118 0 0 4 0 4 3 20 0 15 0 77072126 11079016448 13585 33554432000 4194304 4196468 140720873126656 140084606757616 140085083360662 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2500] ppid=2432 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2435/task/2500/stat : 2500 (java) S 2432 2435 32560 0 -1 1077944384 3 13118 0 0 0 0 4 3 20 0 15 0 77072126 11079016448 13585 33554432000 4194304 4196468 140720873126656 140083574164576 140085083358933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2501] ppid=2432 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2435/task/2501/stat : 2501 (java) S 2432 2435 32560 0 -1 1077944384 1 13118 0 0 0 0 4 3 20 0 15 0 77072126 11079016448 13585 33554432000 4194304 4196468 140720873126656 140084605704496 140085083359874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 54340 KiB
[startup+0.700831 s]
/proc/loadavg: 1.79 1.71 1.61 4/216 2501
/proc/meminfo: memFree=16254504/32770624 swapFree=67108796/67108860
[pid=2435] ppid=2432 vsize=10819352 memory=86432 CPUtime=0.98 cores=0,2,4,6
/proc/2435/stat : 2435 (java) S 2432 2435 32560 0 -1 1077944320 16767 13118 0 0 87 4 4 3 20 0 15 0 77072111 11079016448 21608 33554432000 4194304 4196468 140720873126656 140720873109200 140085083348727 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
/proc/2435/statm: 2704838 21608 3237 1 0 2667149 0
[pid=2435/tid=2488] ppid=2432 vsize=10819352 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/2435/task/2488/stat : 2488 (java) R 2432 2435 32560 0 -1 4202560 12377 13118 0 0 56 2 4 3 20 0 15 0 77072120 11079016448 21608 33554432000 4194304 4196468 140720873126656 140085055169552 140085068514280 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2489] ppid=2432 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2435/task/2489/stat : 2489 (java) S 2432 2435 32560 0 -1 1077944384 1 13118 0 0 0 0 4 3 20 0 15 0 77072121 11079016448 21608 33554432000 4194304 4196468 140720873126656 140085087591184 140085083358933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2490] ppid=2432 vsize=10819352 memory=7886766292050524213 CPUtime=0.07 cores=0,2,4,6
/proc/2435/task/2490/stat : 2490 (java) S 2432 2435 32560 0 -1 1077944384 1 13118 0 0 0 0 4 3 20 0 15 0 77072121 11079016448 21608 33554432000 4194304 4196468 140720873126656 140084991794064 140085083358933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2491] ppid=2432 vsize=10819352 memory=5860705218891763792 CPUtime=0.07 cores=0,2,4,6
/proc/2435/task/2491/stat : 2491 (java) S 2432 2435 32560 0 -1 1077944384 2 13118 0 0 0 0 4 3 20 0 15 0 77072121 11079016448 21608 33554432000 4194304 4196468 140720873126656 140084990741520 140085083358933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2492] ppid=2432 vsize=10819352 memory=6226596351323422817 CPUtime=0.07 cores=0,2,4,6
/proc/2435/task/2492/stat : 2492 (java) S 2432 2435 32560 0 -1 1077944384 2 13118 0 0 0 0 4 3 20 0 15 0 77072121 11079016448 21608 33554432000 4194304 4196468 140720873126656 140084654169232 140085083358933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2493] ppid=2432 vsize=10819352 memory=2319389199337275488 CPUtime=0.07 cores=0,2,4,6
/proc/2435/task/2493/stat : 2493 (java) S 2432 2435 32560 0 -1 1077944384 6 13118 0 0 0 0 4 3 20 0 15 0 77072122 11079016448 21608 33554432000 4194304 4196468 140720873126656 140084609914864 140085083359874 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2494] ppid=2432 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2435/task/2494/stat : 2494 (java) S 2432 2435 32560 0 -1 1077944384 13 13118 0 0 0 0 4 3 20 0 15 0 77072123 11079016448 21608 33554432000 4194304 4196468 140720873126656 140084519101344 140085083358933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2495] ppid=2432 vsize=10819352 memory=3708 CPUtime=0.07 cores=0,2,4,6
/proc/2435/task/2495/stat : 2495 (java) S 2432 2435 32560 0 -1 1077944384 1 13118 0 0 0 0 4 3 20 0 15 0 77072123 11079016448 21608 33554432000 4194304 4196468 140720873126656 140083915121648 140085083358933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2496] ppid=2432 vsize=10819352 memory=2241 CPUtime=0.07 cores=0,2,4,6
/proc/2435/task/2496/stat : 2496 (java) S 2432 2435 32560 0 -1 1077944384 3 13118 0 0 0 0 4 3 20 0 15 0 77072126 11079016448 21608 33554432000 4194304 4196468 140720873126656 140083607722192 140085083367323 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2497] ppid=2432 vsize=10819352 memory=2244 CPUtime=0.14 cores=0,2,4,6
/proc/2435/task/2497/stat : 2497 (java) S 2432 2435 32560 0 -1 1077944384 840 13118 0 0 7 0 4 3 20 0 15 0 77072126 11079016448 21608 33554432000 4194304 4196468 140720873126656 140084608862704 140085083359874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2498] ppid=2432 vsize=10819352 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/2435/task/2498/stat : 2498 (java) S 2432 2435 32560 0 -1 1077944384 698 13118 0 0 10 0 4 3 20 0 15 0 77072126 11079016448 21608 33554432000 4194304 4196468 140720873126656 140084607810160 140085083359874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2499] ppid=2432 vsize=10819352 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/2435/task/2499/stat : 2499 (java) S 2432 2435 32560 0 -1 1077944384 627 13118 0 0 13 0 4 3 20 0 15 0 77072126 11079016448 21608 33554432000 4194304 4196468 140720873126656 140084606757616 140085083359874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2500] ppid=2432 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2435/task/2500/stat : 2500 (java) S 2432 2435 32560 0 -1 1077944384 3 13118 0 0 0 0 4 3 20 0 15 0 77072126 11079016448 21608 33554432000 4194304 4196468 140720873126656 140083574164576 140085083358933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2501] ppid=2432 vsize=10819352 memory=30305 CPUtime=0.07 cores=0,2,4,6
/proc/2435/task/2501/stat : 2501 (java) S 2432 2435 32560 0 -1 1077944384 1 13118 0 0 0 0 4 3 20 0 15 0 77072126 11079016448 21608 33554432000 4194304 4196468 140720873126656 140084605704496 140085083359874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86432 KiB
[startup+1.50076 s]
/proc/loadavg: 1.79 1.71 1.61 3/216 2501
/proc/meminfo: memFree=16207836/32770624 swapFree=67108796/67108860
[pid=2435] ppid=2432 vsize=10834252 memory=179668 CPUtime=2.37 cores=0,2,4,6
/proc/2435/stat : 2435 (java) S 2432 2435 32560 0 -1 1077944320 23958 13118 0 0 220 10 4 3 20 0 15 0 77072111 11094274048 44917 33554432000 4194304 4196468 140720873126656 140720873109200 140085083348727 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
/proc/2435/statm: 2708563 44917 3471 1 0 2670221 0
[pid=2435/tid=2488] ppid=2432 vsize=10834252 memory=124 CPUtime=1.42 cores=0,2,4,6
/proc/2435/task/2488/stat : 2488 (java) R 2432 2435 32560 0 -1 4202560 17733 13118 0 0 130 5 4 3 20 0 15 0 77072120 11094274048 44917 33554432000 4194304 4196468 140720873126656 140085055145440 140085083360662 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2489] ppid=2432 vsize=10834252 memory=79 CPUtime=0.07 cores=0,2,4,6
/proc/2435/task/2489/stat : 2489 (java) S 2432 2435 32560 0 -1 1077944384 30 13118 0 0 0 0 4 3 20 0 15 0 77072121 11094274048 44917 33554432000 4194304 4196468 140720873126656 140085087591184 140085083358933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2490] ppid=2432 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2435/task/2490/stat : 2490 (java) S 2432 2435 32560 0 -1 1077944384 186 13118 0 0 1 0 4 3 20 0 15 0 77072121 11094274048 44917 33554432000 4194304 4196468 140720873126656 140084991794064 140085083358933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2491] ppid=2432 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2435/task/2491/stat : 2491 (java) S 2432 2435 32560 0 -1 1077944384 63 13118 0 0 1 0 4 3 20 0 15 0 77072121 11094274048 44917 33554432000 4194304 4196468 140720873126656 140084990741520 140085083358933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2492] ppid=2432 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2435/task/2492/stat : 2492 (java) S 2432 2435 32560 0 -1 1077944384 25 13118 0 0 1 0 4 3 20 0 15 0 77072121 11094274048 44917 33554432000 4194304 4196468 140720873126656 140084654169232 140085083358933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2493] ppid=2432 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2435/task/2493/stat : 2493 (java) S 2432 2435 32560 0 -1 1077944384 71 13118 0 0 1 0 4 3 20 0 15 0 77072122 11094274048 44917 33554432000 4194304 4196468 140720873126656 140084609914864 140085083359874 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2494] ppid=2432 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2435/task/2494/stat : 2494 (java) S 2432 2435 32560 0 -1 1077944384 14 13118 0 0 0 0 4 3 20 0 15 0 77072123 11094274048 44917 33554432000 4194304 4196468 140720873126656 140084519101408 140085083358933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2495] ppid=2432 vsize=10834252 memory=-7591201286991560646 CPUtime=0.07 cores=0,2,4,6
/proc/2435/task/2495/stat : 2495 (java) S 2432 2435 32560 0 -1 1077944384 1 13118 0 0 0 0 4 3 20 0 15 0 77072123 11094274048 44917 33554432000 4194304 4196468 140720873126656 140083915121632 140085083358933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2496] ppid=2432 vsize=10834252 memory=-2127768723146694647 CPUtime=0.07 cores=0,2,4,6
/proc/2435/task/2496/stat : 2496 (java) S 2432 2435 32560 0 -1 1077944384 3 13118 0 0 0 0 4 3 20 0 15 0 77072126 11094274048 44917 33554432000 4194304 4196468 140720873126656 140083607722192 140085083367323 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2497] ppid=2432 vsize=10834252 memory=-2897801490638248331 CPUtime=0.32 cores=0,2,4,6
/proc/2435/task/2497/stat : 2497 (java) S 2432 2435 32560 0 -1 1077944384 1404 13118 0 0 25 0 4 3 20 0 15 0 77072126 11094274048 44917 33554432000 4194304 4196468 140720873126656 140084608862704 140085083359874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2498] ppid=2432 vsize=10834252 memory=-6940709513066604952 CPUtime=0.28 cores=0,2,4,6
/proc/2435/task/2498/stat : 2498 (java) S 2432 2435 32560 0 -1 1077944384 867 13118 0 0 21 0 4 3 20 0 15 0 77072126 11094274048 44917 33554432000 4194304 4196468 140720873126656 140084607810160 140085083359874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2499] ppid=2432 vsize=10834252 memory=-2746958450906831519 CPUtime=0.43 cores=0,2,4,6
/proc/2435/task/2499/stat : 2499 (java) R 2432 2435 32560 0 -1 4202560 1366 13118 0 0 36 0 4 3 20 0 15 0 77072126 11094274048 44917 33554432000 4194304 4196468 140720873126656 140084606757616 140085067392357 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2500] ppid=2432 vsize=10834252 memory=64 CPUtime=0.07 cores=0,2,4,6
/proc/2435/task/2500/stat : 2500 (java) S 2432 2435 32560 0 -1 1077944384 3 13118 0 0 0 0 4 3 20 0 15 0 77072126 11094274048 44917 33554432000 4194304 4196468 140720873126656 140083574164576 140085083358933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2501] ppid=2432 vsize=10834252 memory=33 CPUtime=0.07 cores=0,2,4,6
/proc/2435/task/2501/stat : 2501 (java) S 2432 2435 32560 0 -1 1077944384 1 13118 0 0 0 0 4 3 20 0 15 0 77072126 11094274048 44917 33554432000 4194304 4196468 140720873126656 140084605704496 140085083359874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
Current children cumulated CPU time: 2.37 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/2435/task/2488/stat : 2488 (java) R 2432 2435 32560 0 -1 4202560 135275 13118 0 0 235961 62 4 3 20 0 15 0 77072120 11178180608 488827 33554432000 4194304 4196468 140720873126656 140085055182032 140084686913037 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2489] ppid=2432 vsize=10916192 memory=1967624 CPUtime=13.28 cores=0,2,4,6
/proc/2435/task/2489/stat : 2489 (java) S 2432 2435 32560 0 -1 1077944384 29718 13118 0 0 1271 50 4 3 20 0 15 0 77072121 11178180608 488827 33554432000 4194304 4196468 140720873126656 140085087591184 140085083358933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2490] ppid=2432 vsize=10916192 memory=1966088 CPUtime=13.29 cores=0,2,4,6
/proc/2435/task/2490/stat : 2490 (java) S 2432 2435 32560 0 -1 1077944384 44174 13118 0 0 1273 49 4 3 20 0 15 0 77072121 11178180608 488827 33554432000 4194304 4196468 140720873126656 140084991794064 140085083358933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2491] ppid=2432 vsize=10916192 memory=1955308 CPUtime=13.28 cores=0,2,4,6
/proc/2435/task/2491/stat : 2491 (java) S 2432 2435 32560 0 -1 1077944384 43736 13118 0 0 1272 49 4 3 20 0 15 0 77072121 11178180608 488827 33554432000 4194304 4196468 140720873126656 140084990741520 140085083358933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2492] ppid=2432 vsize=10916192 memory=1955308 CPUtime=13.25 cores=0,2,4,6
/proc/2435/task/2492/stat : 2492 (java) S 2432 2435 32560 0 -1 1077944384 43468 13118 0 0 1268 50 4 3 20 0 15 0 77072121 11178180608 488827 33554432000 4194304 4196468 140720873126656 140084654169232 140085083358933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2493] ppid=2432 vsize=10916192 memory=1963772 CPUtime=6.73 cores=0,2,4,6
/proc/2435/task/2493/stat : 2493 (java) S 2432 2435 32560 0 -1 1077944384 30885 13118 0 0 626 40 4 3 20 0 15 0 77072122 11178180608 488827 33554432000 4194304 4196468 140720873126656 140084609914864 140085083359874 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2494] ppid=2432 vsize=10916192 memory=1955308 CPUtime=0.07 cores=0,2,4,6
/proc/2435/task/2494/stat : 2494 (java) S 2432 2435 32560 0 -1 1077944384 16 13118 0 0 0 0 4 3 20 0 15 0 77072123 11178180608 488827 33554432000 4194304 4196468 140720873126656 140084519101472 140085083358933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2495] ppid=2432 vsize=10916192 memory=5024 CPUtime=0.07 cores=0,2,4,6
/proc/2435/task/2495/stat : 2495 (java) S 2432 2435 32560 0 -1 1077944384 7 13118 0 0 0 0 4 3 20 0 15 0 77072123 11178180608 488827 33554432000 4194304 4196468 140720873126656 140083915121664 140085083358933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2496] ppid=2432 vsize=10916192 memory=4032 CPUtime=0.07 cores=0,2,4,6
/proc/2435/task/2496/stat : 2496 (java) S 2432 2435 32560 0 -1 1077944384 3 13118 0 0 0 0 4 3 20 0 15 0 77072126 11178180608 488827 33554432000 4194304 4196468 140720873126656 140083607722192 140085083367323 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2497] ppid=2432 vsize=10916192 memory=1572 CPUtime=5.74 cores=0,2,4,6
/proc/2435/task/2497/stat : 2497 (java) S 2432 2435 32560 0 -1 1077944384 38322 13118 0 0 563 4 4 3 20 0 15 0 77072126 11178180608 488827 33554432000 4194304 4196468 140720873126656 140084608862704 140085083359874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2498] ppid=2432 vsize=10916192 memory=1408 CPUtime=5.61 cores=0,2,4,6
/proc/2435/task/2498/stat : 2498 (java) S 2432 2435 32560 0 -1 1077944384 35225 13118 0 0 549 5 4 3 20 0 15 0 77072126 11178180608 488827 33554432000 4194304 4196468 140720873126656 140084607810160 140085083359874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2499] ppid=2432 vsize=10916192 memory=2088 CPUtime=2.36 cores=0,2,4,6
/proc/2435/task/2499/stat : 2499 (java) S 2432 2435 32560 0 -1 1077944384 38680 13118 0 0 223 6 4 3 20 0 15 0 77072126 11178180608 488827 33554432000 4194304 4196468 140720873126656 140084606757616 140085083359874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 16 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2500] ppid=2432 vsize=10916192 memory=1040 CPUtime=0.07 cores=0,2,4,6
/proc/2435/task/2500/stat : 2500 (java) S 2432 2435 32560 0 -1 1077944384 3 13118 0 0 0 0 4 3 20 0 15 0 77072126 11178180608 488827 33554432000 4194304 4196468 140720873126656 140083574164576 140085083358933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2501] ppid=2432 vsize=10916192 memory=3708 CPUtime=1.5 cores=0,2,4,6
/proc/2435/task/2501/stat : 2501 (java) S 2432 2435 32560 0 -1 1077944384 2640 13118 0 0 75 68 4 3 20 0 15 0 77072126 11178180608 488827 33554432000 4194304 4196468 140720873126656 140084605704496 140085083359874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
Current children cumulated CPU time: 2434.83 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1955308 KiB
[startup+2442.3 s]
/proc/loadavg: 1.33 1.38 1.40 3/215 2598
/proc/meminfo: memFree=14076292/32770624 swapFree=67108796/67108860
[pid=2435] ppid=2432 vsize=10916192 memory=1959404 CPUtime=2496.02 cores=0,2,4,6
/proc/2435/stat : 2435 (java) S 2432 2435 32560 0 -1 1077944320 449620 13118 0 0 249238 357 4 3 20 0 15 0 77072111 11178180608 489851 33554432000 4194304 4196468 140720873126656 140720873109200 140085083348727 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
/proc/2435/statm: 2729048 489851 3532 1 0 2690701 0
[pid=2435/tid=2488] ppid=2432 vsize=10916192 memory=1957356 CPUtime=2419.68 cores=0,2,4,6
/proc/2435/task/2488/stat : 2488 (java) R 2432 2435 32560 0 -1 4202560 137098 13118 0 0 241898 63 4 3 20 0 15 0 77072120 11178180608 489851 33554432000 4194304 4196468 140720873126656 140085055182176 140084675071514 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2489] ppid=2432 vsize=10916192 memory=1957356 CPUtime=13.68 cores=0,2,4,6
/proc/2435/task/2489/stat : 2489 (java) S 2432 2435 32560 0 -1 1077944384 29987 13118 0 0 1310 51 4 3 20 0 15 0 77072121 11178180608 489851 33554432000 4194304 4196468 140720873126656 140085087591184 140085083358933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2490] ppid=2432 vsize=10916192 memory=1959404 CPUtime=13.69 cores=0,2,4,6
/proc/2435/task/2490/stat : 2490 (java) S 2432 2435 32560 0 -1 1077944384 45846 13118 0 0 1312 50 4 3 20 0 15 0 77072121 11178180608 489851 33554432000 4194304 4196468 140720873126656 140084991794064 140085083358933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2491] ppid=2432 vsize=10916192 memory=1959404 CPUtime=13.67 cores=0,2,4,6
/proc/2435/task/2491/stat : 2491 (java) S 2432 2435 32560 0 -1 1077944384 44123 13118 0 0 1310 50 4 3 20 0 15 0 77072121 11178180608 489851 33554432000 4194304 4196468 140720873126656 140084990741520 140085083358933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2492] ppid=2432 vsize=10916192 memory=1959404 CPUtime=13.65 cores=0,2,4,6
/proc/2435/task/2492/stat : 2492 (java) S 2432 2435 32560 0 -1 1077944384 43895 13118 0 0 1307 51 4 3 20 0 15 0 77072121 11178180608 489851 33554432000 4194304 4196468 140720873126656 140084654169232 140085083358933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2493] ppid=2432 vsize=10916192 memory=1967624 CPUtime=6.92 cores=0,2,4,6
/proc/2435/task/2493/stat : 2493 (java) S 2432 2435 32560 0 -1 1077944384 31530 13118 0 0 644 41 4 3 20 0 15 0 77072122 11178180608 489851 33554432000 4194304 4196468 140720873126656 140084609914864 140085083359874 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2494] ppid=2432 vsize=10916192 memory=8514726395715349656 CPUtime=0.07 cores=0,2,4,6
/proc/2435/task/2494/stat : 2494 (java) S 2432 2435 32560 0 -1 1077944384 16 13118 0 0 0 0 4 3 20 0 15 0 77072123 11178180608 489851 33554432000 4194304 4196468 140720873126656 140084519101472 140085083358933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2495] ppid=2432 vsize=10916192 memory=1959404 CPUtime=0.07 cores=0,2,4,6
/proc/2435/task/2495/stat : 2495 (java) S 2432 2435 32560 0 -1 1077944384 7 13118 0 0 0 0 4 3 20 0 15 0 77072123 11178180608 489851 33554432000 4194304 4196468 140720873126656 140083915121664 140085083358933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2496] ppid=2432 vsize=10916192 memory=1040 CPUtime=0.07 cores=0,2,4,6
/proc/2435/task/2496/stat : 2496 (java) S 2432 2435 32560 0 -1 1077944384 3 13118 0 0 0 0 4 3 20 0 15 0 77072126 11178180608 489851 33554432000 4194304 4196468 140720873126656 140083607722192 140085083367323 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2497] ppid=2432 vsize=10916192 memory=1959404 CPUtime=5.74 cores=0,2,4,6
/proc/2435/task/2497/stat : 2497 (java) S 2432 2435 32560 0 -1 1077944384 38326 13118 0 0 563 4 4 3 20 0 15 0 77072126 11178180608 489851 33554432000 4194304 4196468 140720873126656 140084608862704 140085083359874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2498] ppid=2432 vsize=10916192 memory=3708 CPUtime=5.61 cores=0,2,4,6
/proc/2435/task/2498/stat : 2498 (java) S 2432 2435 32560 0 -1 1077944384 35229 13118 0 0 549 5 4 3 20 0 15 0 77072126 11178180608 489851 33554432000 4194304 4196468 140720873126656 140084607810160 140085083359874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2499] ppid=2432 vsize=10916192 memory=1959404 CPUtime=2.36 cores=0,2,4,6
/proc/2435/task/2499/stat : 2499 (java) S 2432 2435 32560 0 -1 1077944384 38684 13118 0 0 223 6 4 3 20 0 15 0 77072126 11178180608 489851 33554432000 4194304 4196468 140720873126656 140084606757616 140085083359874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 16 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2500] ppid=2432 vsize=10916192 memory=1959404 CPUtime=0.07 cores=0,2,4,6
/proc/2435/task/2500/stat : 2500 (java) S 2432 2435 32560 0 -1 1077944384 3 13118 0 0 0 0 4 3 20 0 15 0 77072126 11178180608 489851 33554432000 4194304 4196468 140720873126656 140083574164576 140085083358933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2501] ppid=2432 vsize=10916192 memory=1959404 CPUtime=1.54 cores=0,2,4,6
/proc/2435/task/2501/stat : 2501 (java) S 2432 2435 32560 0 -1 1077944384 2681 13118 0 0 77 70 4 3 20 0 15 0 77072126 11178180608 489851 33554432000 4194304 4196468 140720873126656 140084605704496 140085083359874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
Current children cumulated CPU time: 2496.02 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1959404 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2465.9 s]
/proc/loadavg: 1.40 1.40 1.41 3/215 2726
/proc/meminfo: memFree=14689032/32770624 swapFree=67108796/67108860
[pid=2435] ppid=2432 vsize=10916192 memory=1961452 CPUtime=2520.09 cores=0,2,4,6
/proc/2435/stat : 2435 (java) S 2432 2435 32560 0 -1 1077944320 452240 13118 0 0 251641 361 4 3 20 0 15 0 77072111 11178180608 490363 33554432000 4194304 4196468 140720873126656 140720873109200 140085083348727 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
/proc/2435/statm: 2729048 490363 3532 1 0 2690701 0
[pid=2435/tid=2488] ppid=2432 vsize=10916192 memory=8112282956445269571 CPUtime=2443.04 cores=0,2,4,6
/proc/2435/task/2488/stat : 2488 (java) R 2432 2435 32560 0 -1 4202560 137971 13118 0 0 244232 65 4 3 20 0 15 0 77072120 11178180608 490363 33554432000 4194304 4196468 140720873126656 140085055182064 140084689750324 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2489] ppid=2432 vsize=10916192 memory=1959404 CPUtime=13.85 cores=0,2,4,6
/proc/2435/task/2489/stat : 2489 (java) S 2432 2435 32560 0 -1 1077944384 30311 13118 0 0 1326 52 4 3 20 0 15 0 77072121 11178180608 490363 33554432000 4194304 4196468 140720873126656 140085087591184 140085083358933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2490] ppid=2432 vsize=10916192 memory=1961452 CPUtime=13.85 cores=0,2,4,6
/proc/2435/task/2490/stat : 2490 (java) S 2432 2435 32560 0 -1 1077944384 46205 13118 0 0 1327 51 4 3 20 0 15 0 77072121 11178180608 490363 33554432000 4194304 4196468 140720873126656 140084991794064 140085083358933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2491] ppid=2432 vsize=10916192 memory=1961452 CPUtime=13.83 cores=0,2,4,6
/proc/2435/task/2491/stat : 2491 (java) S 2432 2435 32560 0 -1 1077944384 44167 13118 0 0 1326 50 4 3 20 0 15 0 77072121 11178180608 490363 33554432000 4194304 4196468 140720873126656 140084990741520 140085083358933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2492] ppid=2432 vsize=10916192 memory=1961452 CPUtime=13.8 cores=0,2,4,6
/proc/2435/task/2492/stat : 2492 (java) S 2432 2435 32560 0 -1 1077944384 44563 13118 0 0 1322 51 4 3 20 0 15 0 77072121 11178180608 490363 33554432000 4194304 4196468 140720873126656 140084654169232 140085083358933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2493] ppid=2432 vsize=10916192 memory=1961452 CPUtime=6.99 cores=0,2,4,6
/proc/2435/task/2493/stat : 2493 (java) S 2432 2435 32560 0 -1 1077944384 31855 13118 0 0 650 42 4 3 20 0 15 0 77072122 11178180608 490363 33554432000 4194304 4196468 140720873126656 140084609914864 140085083359874 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2494] ppid=2432 vsize=10916192 memory=1961452 CPUtime=0.07 cores=0,2,4,6
/proc/2435/task/2494/stat : 2494 (java) S 2432 2435 32560 0 -1 1077944384 16 13118 0 0 0 0 4 3 20 0 15 0 77072123 11178180608 490363 33554432000 4194304 4196468 140720873126656 140084519101472 140085083358933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2495] ppid=2432 vsize=10916192 memory=1961452 CPUtime=0.07 cores=0,2,4,6
/proc/2435/task/2495/stat : 2495 (java) S 2432 2435 32560 0 -1 1077944384 7 13118 0 0 0 0 4 3 20 0 15 0 77072123 11178180608 490363 33554432000 4194304 4196468 140720873126656 140083915121664 140085083358933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2496] ppid=2432 vsize=10916192 memory=3708 CPUtime=0.07 cores=0,2,4,6
/proc/2435/task/2496/stat : 2496 (java) S 2432 2435 32560 0 -1 1077944384 3 13118 0 0 0 0 4 3 20 0 15 0 77072126 11178180608 490363 33554432000 4194304 4196468 140720873126656 140083607722192 140085083367323 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2497] ppid=2432 vsize=10916192 memory=3708 CPUtime=5.74 cores=0,2,4,6
/proc/2435/task/2497/stat : 2497 (java) S 2432 2435 32560 0 -1 1077944384 38328 13118 0 0 563 4 4 3 20 0 15 0 77072126 11178180608 490363 33554432000 4194304 4196468 140720873126656 140084608862704 140085083359874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2498] ppid=2432 vsize=10916192 memory=1961452 CPUtime=5.61 cores=0,2,4,6
/proc/2435/task/2498/stat : 2498 (java) S 2432 2435 32560 0 -1 1077944384 35231 13118 0 0 549 5 4 3 20 0 15 0 77072126 11178180608 490363 33554432000 4194304 4196468 140720873126656 140084607810160 140085083359874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2499] ppid=2432 vsize=10916192 memory=1961452 CPUtime=2.36 cores=0,2,4,6
/proc/2435/task/2499/stat : 2499 (java) S 2432 2435 32560 0 -1 1077944384 38686 13118 0 0 223 6 4 3 20 0 15 0 77072126 11178180608 490363 33554432000 4194304 4196468 140720873126656 140084606757616 140085083359874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 16 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2500] ppid=2432 vsize=10916192 memory=1961452 CPUtime=0.07 cores=0,2,4,6
/proc/2435/task/2500/stat : 2500 (java) S 2432 2435 32560 0 -1 1077944384 3 13118 0 0 0 0 4 3 20 0 15 0 77072126 11178180608 490363 33554432000 4194304 4196468 140720873126656 140083574164576 140085083358933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2501] ppid=2432 vsize=10916192 memory=9184 CPUtime=1.56 cores=0,2,4,6
/proc/2435/task/2501/stat : 2501 (java) S 2432 2435 32560 0 -1 1077944384 2702 13118 0 0 78 71 4 3 20 0 15 0 77072126 11178180608 490363 33554432000 4194304 4196468 140720873126656 140084605704496 140085083359874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1961452 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2465.94 s]
# the end of solver process 2435 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.48 s, system=3.67487 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2465.9 s]
/proc/loadavg: 1.40 1.40 1.41 3/215 2726
/proc/meminfo: memFree=14689032/32770624 swapFree=67108796/67108860
[pid=2435] ppid=2432 vsize=10916192 memory=1961452 CPUtime=2520.09 cores=0,2,4,6
/proc/2435/stat : 2435 (java) S 2432 2435 32560 0 -1 1077944320 452240 13118 0 0 251641 361 4 3 20 0 15 0 77072111 11178180608 490363 33554432000 4194304 4196468 140720873126656 140720873109200 140085083348727 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
/proc/2435/statm: 2729048 490363 3532 1 0 2690701 0
[pid=2435/tid=2488] ppid=2432 vsize=10916192 memory=8112282956445269571 CPUtime=2443.04 cores=0,2,4,6
/proc/2435/task/2488/stat : 2488 (java) R 2432 2435 32560 0 -1 4202560 137971 13118 0 0 244232 65 4 3 20 0 15 0 77072120 11178180608 490363 33554432000 4194304 4196468 140720873126656 140085055182064 140084689750324 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2489] ppid=2432 vsize=10916192 memory=1959404 CPUtime=13.85 cores=0,2,4,6
/proc/2435/task/2489/stat : 2489 (java) S 2432 2435 32560 0 -1 1077944384 30311 13118 0 0 1326 52 4 3 20 0 15 0 77072121 11178180608 490363 33554432000 4194304 4196468 140720873126656 140085087591184 140085083358933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2490] ppid=2432 vsize=10916192 memory=1961452 CPUtime=13.85 cores=0,2,4,6
/proc/2435/task/2490/stat : 2490 (java) S 2432 2435 32560 0 -1 1077944384 46205 13118 0 0 1327 51 4 3 20 0 15 0 77072121 11178180608 490363 33554432000 4194304 4196468 140720873126656 140084991794064 140085083358933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2491] ppid=2432 vsize=10916192 memory=1961452 CPUtime=13.83 cores=0,2,4,6
/proc/2435/task/2491/stat : 2491 (java) S 2432 2435 32560 0 -1 1077944384 44167 13118 0 0 1326 50 4 3 20 0 15 0 77072121 11178180608 490363 33554432000 4194304 4196468 140720873126656 140084990741520 140085083358933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2492] ppid=2432 vsize=10916192 memory=1961452 CPUtime=13.8 cores=0,2,4,6
/proc/2435/task/2492/stat : 2492 (java) S 2432 2435 32560 0 -1 1077944384 44563 13118 0 0 1322 51 4 3 20 0 15 0 77072121 11178180608 490363 33554432000 4194304 4196468 140720873126656 140084654169232 140085083358933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2493] ppid=2432 vsize=10916192 memory=1961452 CPUtime=6.99 cores=0,2,4,6
/proc/2435/task/2493/stat : 2493 (java) S 2432 2435 32560 0 -1 1077944384 31855 13118 0 0 650 42 4 3 20 0 15 0 77072122 11178180608 490363 33554432000 4194304 4196468 140720873126656 140084609914864 140085083359874 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2494] ppid=2432 vsize=10916192 memory=1961452 CPUtime=0.07 cores=0,2,4,6
/proc/2435/task/2494/stat : 2494 (java) S 2432 2435 32560 0 -1 1077944384 16 13118 0 0 0 0 4 3 20 0 15 0 77072123 11178180608 490363 33554432000 4194304 4196468 140720873126656 140084519101472 140085083358933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2495] ppid=2432 vsize=10916192 memory=1961452 CPUtime=0.07 cores=0,2,4,6
/proc/2435/task/2495/stat : 2495 (java) S 2432 2435 32560 0 -1 1077944384 7 13118 0 0 0 0 4 3 20 0 15 0 77072123 11178180608 490363 33554432000 4194304 4196468 140720873126656 140083915121664 140085083358933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2496] ppid=2432 vsize=10916192 memory=3708 CPUtime=0.07 cores=0,2,4,6
/proc/2435/task/2496/stat : 2496 (java) S 2432 2435 32560 0 -1 1077944384 3 13118 0 0 0 0 4 3 20 0 15 0 77072126 11178180608 490363 33554432000 4194304 4196468 140720873126656 140083607722192 140085083367323 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2497] ppid=2432 vsize=10916192 memory=3708 CPUtime=5.74 cores=0,2,4,6
/proc/2435/task/2497/stat : 2497 (java) S 2432 2435 32560 0 -1 1077944384 38328 13118 0 0 563 4 4 3 20 0 15 0 77072126 11178180608 490363 33554432000 4194304 4196468 140720873126656 140084608862704 140085083359874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2498] ppid=2432 vsize=10916192 memory=1961452 CPUtime=5.61 cores=0,2,4,6
/proc/2435/task/2498/stat : 2498 (java) S 2432 2435 32560 0 -1 1077944384 35231 13118 0 0 549 5 4 3 20 0 15 0 77072126 11178180608 490363 33554432000 4194304 4196468 140720873126656 140084607810160 140085083359874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2499] ppid=2432 vsize=10916192 memory=1961452 CPUtime=2.36 cores=0,2,4,6
/proc/2435/task/2499/stat : 2499 (java) S 2432 2435 32560 0 -1 1077944384 38686 13118 0 0 223 6 4 3 20 0 15 0 77072126 11178180608 490363 33554432000 4194304 4196468 140720873126656 140084606757616 140085083359874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 16 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2500] ppid=2432 vsize=10916192 memory=1961452 CPUtime=0.07 cores=0,2,4,6
/proc/2435/task/2500/stat : 2500 (java) S 2432 2435 32560 0 -1 1077944384 3 13118 0 0 0 0 4 3 20 0 15 0 77072126 11178180608 490363 33554432000 4194304 4196468 140720873126656 140083574164576 140085083358933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
[pid=2435/tid=2501] ppid=2432 vsize=10916192 memory=9184 CPUtime=1.56 cores=0,2,4,6
/proc/2435/task/2501/stat : 2501 (java) S 2432 2435 32560 0 -1 1077944384 2702 13118 0 0 78 71 4 3 20 0 15 0 77072126 11178180608 490363 33554432000 4194304 4196468 140720873126656 140084605704496 140085083359874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 18890752 140720873130156 140720873133404 140720873133404 140720873136079 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1961452 KiB
Child status: 143
Real time (s): 2465.94
CPU time (s): 2520.16
CPU user time (s): 2516.48
CPU system time (s): 3.67487
CPU usage (%): 102.199
Max. virtual memory (cumulated for all children) (KiB): 10916192
Max. memory (cumulated for all children) (KiB): 2433180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.48
system time used= 3.67487
maximum resident set size= 2433180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 469243
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 197840
involuntary context switches= 6729
# summary of solver processes directly reported to runsolver:
# pid: 2435
# total CPU time (s): 2520.16
# total CPU user time (s): 2516.48
# total CPU system time (s): 3.67487
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.3782 second user time and 22.7656 second system time
The end