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 (11576 MiB free)
memory of node 1: 16384 MiB (9632 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296274-1532621155/watcher-4296274-1532621155 -o /tmp/evaluation-result-4296274-1532621155/solver-4296274-1532621155 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532618672-6892 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1809607950 -superng HOME/instance-4296274-1532621155.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=7272, runsolver pid=7269
[startup+0.100059 s]*
/proc/loadavg: 1.18 1.20 1.32 2/200 7372
/proc/meminfo: memFree=21699464/32770624 swapFree=67108860/67108860
[pid=7272] ppid=7269 vsize=9972712 memory=16812 CPUtime=0.08 cores=0,2,4,6
/proc/7272/stat : 7272 (java) S 7269 7272 6861 0 -1 1077944320 4352 12998 0 0 1 0 5 2 20 0 6 0 79678662 10212057088 4203 33554432000 4194304 4196468 140732925011504 140732924994048 140656039161591 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
/proc/7272/statm: 2493178 4203 1934 1 0 2481616 0
[pid=7272/tid=7364] ppid=7269 vsize=9972712 memory=4629541673059115411 CPUtime=0.08 cores=0,2,4,6
/proc/7272/task/7364/stat : 7364 (java) R 7269 7272 6861 0 -1 4202560 2187 12998 0 0 1 0 5 2 20 0 6 0 79678671 10212057088 4715 33554432000 4194304 4196468 140732925011504 140656010998352 140656039183517 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7369] ppid=7269 vsize=9972712 memory=7378697629483820645 CPUtime=0.07 cores=0,2,4,6
/proc/7272/task/7369/stat : 7369 (java) S 7269 7272 6861 0 -1 1077944384 2 12998 0 0 0 0 5 2 20 0 6 0 79678672 10212057088 4715 33554432000 4194304 4196468 140732925011504 140656043404432 140656039171797 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7370] ppid=7269 vsize=9972712 memory=139782708147840 CPUtime=0.07 cores=0,2,4,6
/proc/7272/task/7370/stat : 7370 (java) S 7269 7272 6861 0 -1 1077944384 1 12998 0 0 0 0 5 2 20 0 6 0 79678672 10212057088 4715 33554432000 4194304 4196468 140732925011504 140655958223888 140656039171797 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7371] ppid=7269 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7272/task/7371/stat : 7371 (java) S 7269 7272 6861 0 -1 1077944384 1 12998 0 0 0 0 5 2 20 0 6 0 79678672 10212057088 4715 33554432000 4194304 4196468 140732925011504 140655957171088 140656039171797 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7372] ppid=7269 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/7272/task/7372/stat : 7372 (java) S 7269 7272 6861 0 -1 1077944384 2 12998 0 0 0 0 5 2 20 0 6 0 79678672 10212057088 4715 33554432000 4194304 4196468 140732925011504 140655956118288 140656039171797 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16812 KiB
[startup+0.210492 s]*
/proc/loadavg: 1.18 1.20 1.32 5/213 7411
/proc/meminfo: memFree=21671056/32770624 swapFree=67108860/67108860
[pid=7272] ppid=7269 vsize=10818936 memory=47208 CPUtime=0.26 cores=0,2,4,6
/proc/7272/stat : 7272 (java) S 7269 7272 6861 0 -1 1077944320 8605 12998 0 0 17 2 5 2 20 0 15 0 79678662 11078590464 11802 33554432000 4194304 4196468 140732925011504 140732924994048 140656039161591 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
/proc/7272/statm: 2704734 11802 2977 1 0 2667157 0
[pid=7272/tid=7364] ppid=7269 vsize=10818936 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/7272/task/7364/stat : 7364 (java) R 7269 7272 6861 0 -1 4202560 5911 12998 0 0 10 1 5 2 20 0 15 0 79678671 11078590464 12448 33554432000 4194304 4196468 140732925011504 140656010986400 140656031841309 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7369] ppid=7269 vsize=10818936 memory=364 CPUtime=0.07 cores=0,2,4,6
/proc/7272/task/7369/stat : 7369 (java) S 7269 7272 6861 0 -1 1077944384 2 12998 0 0 0 0 5 2 20 0 15 0 79678672 11078590464 12448 33554432000 4194304 4196468 140732925011504 140656043404432 140656039171797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7370] ppid=7269 vsize=10818936 memory=139782708485244 CPUtime=0.07 cores=0,2,4,6
/proc/7272/task/7370/stat : 7370 (java) S 7269 7272 6861 0 -1 1077944384 1 12998 0 0 0 0 5 2 20 0 15 0 79678672 11078590464 12448 33554432000 4194304 4196468 140732925011504 140655958223888 140656039171797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7371] ppid=7269 vsize=10818936 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7272/task/7371/stat : 7371 (java) S 7269 7272 6861 0 -1 1077944384 1 12998 0 0 0 0 5 2 20 0 15 0 79678672 11078590464 12448 33554432000 4194304 4196468 140732925011504 140655957171088 140656039171797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7372] ppid=7269 vsize=10818936 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/7272/task/7372/stat : 7372 (java) S 7269 7272 6861 0 -1 1077944384 2 12998 0 0 0 0 5 2 20 0 15 0 79678672 11078590464 12448 33554432000 4194304 4196468 140732925011504 140655956118288 140656039171797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7375] ppid=7269 vsize=10818904 memory=139782708147840 CPUtime=0.07 cores=0,2,4,6
/proc/7272/task/7375/stat : 7375 (java) S 7269 7272 6861 0 -1 1077944384 2 12998 0 0 0 0 5 2 20 0 15 0 79678674 11078557696 12448 33554432000 4194304 4196468 140732925011504 140655565662576 140656039172738 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7377] ppid=7269 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/7272/task/7377/stat : 7377 (java) S 7269 7272 6861 0 -1 1077944384 13 12998 0 0 0 0 5 2 20 0 15 0 79678674 11078557696 12448 33554432000 4194304 4196468 140732925011504 140655481316384 140656039171797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7378] ppid=7269 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7272/task/7378/stat : 7378 (java) S 7269 7272 6861 0 -1 1077944384 1 12998 0 0 0 0 5 2 20 0 15 0 79678674 11078557696 12448 33554432000 4194304 4196468 140732925011504 140655347098480 140656039171797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7388] ppid=7269 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7272/task/7388/stat : 7388 (java) S 7269 7272 6861 0 -1 1077944384 2 12998 0 0 0 0 5 2 20 0 15 0 79678677 11078557696 12448 33554432000 4194304 4196468 140732925011504 140654743119696 140656039180187 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7389] ppid=7269 vsize=10818936 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7272/task/7389/stat : 7389 (java) S 7269 7272 6861 0 -1 1077944384 487 12998 0 0 1 0 5 2 20 0 15 0 79678677 11078590464 12448 33554432000 4194304 4196468 140732925011504 140655564610416 140656039172738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7390] ppid=7269 vsize=10818936 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/7272/task/7390/stat : 7390 (java) S 7269 7272 6861 0 -1 1077944384 74 12998 0 0 0 0 5 2 20 0 15 0 79678677 11078590464 12448 33554432000 4194304 4196468 140732925011504 140655563557616 140656039172738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7391] ppid=7269 vsize=10818936 memory=139782708147840 CPUtime=0.1 cores=0,2,4,6
/proc/7272/task/7391/stat : 7391 (java) S 7269 7272 6861 0 -1 1077944384 543 12998 0 0 3 0 5 2 20 0 15 0 79678677 11078590464 12448 33554432000 4194304 4196468 140732925011504 140655562504816 140656039172738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7397] ppid=7269 vsize=10818936 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/7272/task/7397/stat : 7397 (java) S 7269 7272 6861 0 -1 1077944384 3 12998 0 0 0 0 5 2 20 0 15 0 79678677 11078590464 12448 33554432000 4194304 4196468 140732925011504 140654273358560 140656039171797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7399] ppid=7269 vsize=10818936 memory=139782708147840 CPUtime=0.07 cores=0,2,4,6
/proc/7272/task/7399/stat : 7399 (java) S 7269 7272 6861 0 -1 1077944384 1 12998 0 0 0 0 5 2 20 0 15 0 79678677 11078590464 12448 33554432000 4194304 4196468 140732925011504 140655561452208 140656039172738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818936 KiB
Current children cumulated memory: 47208 KiB
[startup+0.310417 s]*
/proc/loadavg: 1.18 1.20 1.32 3/215 7413
/proc/meminfo: memFree=21640524/32770624 swapFree=67108860/67108860
[pid=7272] ppid=7269 vsize=10819352 memory=57668 CPUtime=0.38 cores=0,2,4,6
/proc/7272/stat : 7272 (java) S 7269 7272 6861 0 -1 1077944320 10435 12998 0 0 29 2 5 2 20 0 15 0 79678662 11079016448 14417 33554432000 4194304 4196468 140732925011504 140732924994048 140656039161591 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
/proc/7272/statm: 2704838 14417 3096 1 0 2667149 0
[pid=7272/tid=7364] ppid=7269 vsize=10819352 memory=8112282956445269571 CPUtime=0.28 cores=0,2,4,6
/proc/7272/task/7364/stat : 7364 (java) R 7269 7272 6861 0 -1 4202560 7108 12998 0 0 19 2 5 2 20 0 15 0 79678671 11079016448 14417 33554432000 4194304 4196468 140732925011504 140656010973600 140656031398718 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7369] ppid=7269 vsize=10819352 memory=4126316290023845779 CPUtime=0.07 cores=0,2,4,6
/proc/7272/task/7369/stat : 7369 (java) S 7269 7272 6861 0 -1 1077944384 2 12998 0 0 0 0 5 2 20 0 15 0 79678672 11079016448 14417 33554432000 4194304 4196468 140732925011504 140656043404432 140656039171797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7370] ppid=7269 vsize=10819352 memory=8331817152320607067 CPUtime=0.07 cores=0,2,4,6
/proc/7272/task/7370/stat : 7370 (java) S 7269 7272 6861 0 -1 1077944384 1 12998 0 0 0 0 5 2 20 0 15 0 79678672 11079016448 14417 33554432000 4194304 4196468 140732925011504 140655958223888 140656039171797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7371] ppid=7269 vsize=10819352 memory=-7518021309298240644 CPUtime=0.07 cores=0,2,4,6
/proc/7272/task/7371/stat : 7371 (java) S 7269 7272 6861 0 -1 1077944384 1 12998 0 0 0 0 5 2 20 0 15 0 79678672 11079016448 14417 33554432000 4194304 4196468 140732925011504 140655957171088 140656039171797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7372] ppid=7269 vsize=10819352 memory=-7035114785800479027 CPUtime=0.07 cores=0,2,4,6
/proc/7272/task/7372/stat : 7372 (java) S 7269 7272 6861 0 -1 1077944384 2 12998 0 0 0 0 5 2 20 0 15 0 79678672 11079016448 14417 33554432000 4194304 4196468 140732925011504 140655956118288 140656039171797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7375] ppid=7269 vsize=10819352 memory=139782708154833 CPUtime=0.07 cores=0,2,4,6
/proc/7272/task/7375/stat : 7375 (java) S 7269 7272 6861 0 -1 1077944384 2 12998 0 0 0 0 5 2 20 0 15 0 79678674 11079016448 14417 33554432000 4194304 4196468 140732925011504 140655565662576 140656039172738 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7377] ppid=7269 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7272/task/7377/stat : 7377 (java) S 7269 7272 6861 0 -1 1077944384 13 12998 0 0 0 0 5 2 20 0 15 0 79678674 11079016448 14417 33554432000 4194304 4196468 140732925011504 140655481316384 140656039171797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7378] ppid=7269 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/7272/task/7378/stat : 7378 (java) S 7269 7272 6861 0 -1 1077944384 1 12998 0 0 0 0 5 2 20 0 15 0 79678674 11079016448 14417 33554432000 4194304 4196468 140732925011504 140655347098480 140656039171797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7388] ppid=7269 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7272/task/7388/stat : 7388 (java) S 7269 7272 6861 0 -1 1077944384 2 12998 0 0 0 0 5 2 20 0 15 0 79678677 11079016448 14417 33554432000 4194304 4196468 140732925011504 140654743119696 140656039180187 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7389] ppid=7269 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/7272/task/7389/stat : 7389 (java) S 7269 7272 6861 0 -1 1077944384 487 12998 0 0 2 0 5 2 20 0 15 0 79678677 11079016448 14417 33554432000 4194304 4196468 140732925011504 140655564610416 140656039172738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7390] ppid=7269 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7272/task/7390/stat : 7390 (java) S 7269 7272 6861 0 -1 1077944384 77 12998 0 0 1 0 5 2 20 0 15 0 79678677 11079016448 14417 33554432000 4194304 4196468 140732925011504 140655563557616 140656039172738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7391] ppid=7269 vsize=10819352 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/7272/task/7391/stat : 7391 (java) S 7269 7272 6861 0 -1 1077944384 556 12998 0 0 5 0 5 2 20 0 15 0 79678677 11079016448 14417 33554432000 4194304 4196468 140732925011504 140655562504816 140656039172738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7397] ppid=7269 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7272/task/7397/stat : 7397 (java) S 7269 7272 6861 0 -1 1077944384 3 12998 0 0 0 0 5 2 20 0 15 0 79678677 11079016448 14417 33554432000 4194304 4196468 140732925011504 140654273358560 140656039171797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7399] ppid=7269 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7272/task/7399/stat : 7399 (java) S 7269 7272 6861 0 -1 1077944384 1 12998 0 0 0 0 5 2 20 0 15 0 79678677 11079016448 14417 33554432000 4194304 4196468 140732925011504 140655561452208 140656039172738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 57668 KiB
[startup+0.700754 s]
/proc/loadavg: 1.18 1.20 1.32 3/215 7413
/proc/meminfo: memFree=21617248/32770624 swapFree=67108860/67108860
[pid=7272] ppid=7269 vsize=10819352 memory=90628 CPUtime=0.98 cores=0,2,4,6
/proc/7272/stat : 7272 (java) S 7269 7272 6861 0 -1 1077944320 16736 12998 0 0 88 3 5 2 20 0 15 0 79678662 11079016448 22657 33554432000 4194304 4196468 140732925011504 140732924994048 140656039161591 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
/proc/7272/statm: 2704838 22657 3238 1 0 2667149 0
[pid=7272/tid=7364] ppid=7269 vsize=10819352 memory=139784005616186 CPUtime=0.66 cores=0,2,4,6
/proc/7272/task/7364/stat : 7364 (java) R 7269 7272 6861 0 -1 4202560 12305 12998 0 0 57 2 5 2 20 0 15 0 79678671 11079016448 22657 33554432000 4194304 4196468 140732925011504 140656010982416 140656019436887 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7369] ppid=7269 vsize=10819352 memory=139784005616188 CPUtime=0.07 cores=0,2,4,6
/proc/7272/task/7369/stat : 7369 (java) S 7269 7272 6861 0 -1 1077944384 2 12998 0 0 0 0 5 2 20 0 15 0 79678672 11079016448 22657 33554432000 4194304 4196468 140732925011504 140656043404432 140656039171797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7370] ppid=7269 vsize=10819352 memory=139784005616192 CPUtime=0.07 cores=0,2,4,6
/proc/7272/task/7370/stat : 7370 (java) S 7269 7272 6861 0 -1 1077944384 1 12998 0 0 0 0 5 2 20 0 15 0 79678672 11079016448 22657 33554432000 4194304 4196468 140732925011504 140655958223888 140656039171797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7371] ppid=7269 vsize=10819352 memory=139784005616193 CPUtime=0.07 cores=0,2,4,6
/proc/7272/task/7371/stat : 7371 (java) S 7269 7272 6861 0 -1 1077944384 1 12998 0 0 0 0 5 2 20 0 15 0 79678672 11079016448 22657 33554432000 4194304 4196468 140732925011504 140655957171088 140656039171797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7372] ppid=7269 vsize=10819352 memory=1196 CPUtime=0.07 cores=0,2,4,6
/proc/7272/task/7372/stat : 7372 (java) S 7269 7272 6861 0 -1 1077944384 2 12998 0 0 0 0 5 2 20 0 15 0 79678672 11079016448 22657 33554432000 4194304 4196468 140732925011504 140655956118288 140656039171797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7375] ppid=7269 vsize=10819352 memory=279565192662800 CPUtime=0.07 cores=0,2,4,6
/proc/7272/task/7375/stat : 7375 (java) S 7269 7272 6861 0 -1 1077944384 5 12998 0 0 0 0 5 2 20 0 15 0 79678674 11079016448 22657 33554432000 4194304 4196468 140732925011504 140655565662576 140656039172738 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7377] ppid=7269 vsize=10819352 memory=2536916387585 CPUtime=0.07 cores=0,2,4,6
/proc/7272/task/7377/stat : 7377 (java) S 7269 7272 6861 0 -1 1077944384 13 12998 0 0 0 0 5 2 20 0 15 0 79678674 11079016448 22657 33554432000 4194304 4196468 140732925011504 140655481316384 140656039171797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7378] ppid=7269 vsize=10819352 memory=2549801289473 CPUtime=0.07 cores=0,2,4,6
/proc/7272/task/7378/stat : 7378 (java) S 7269 7272 6861 0 -1 1077944384 1 12998 0 0 0 0 5 2 20 0 15 0 79678674 11079016448 22657 33554432000 4194304 4196468 140732925011504 140655347098480 140656039171797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7388] ppid=7269 vsize=10819352 memory=2605635864321 CPUtime=0.07 cores=0,2,4,6
/proc/7272/task/7388/stat : 7388 (java) S 7269 7272 6861 0 -1 1077944384 2 12998 0 0 0 0 5 2 20 0 15 0 79678677 11079016448 22657 33554432000 4194304 4196468 140732925011504 140654743119696 140656039180187 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7389] ppid=7269 vsize=10819352 memory=2803204359937 CPUtime=0.16 cores=0,2,4,6
/proc/7272/task/7389/stat : 7389 (java) S 7269 7272 6861 0 -1 1077944384 1067 12998 0 0 9 0 5 2 20 0 15 0 79678677 11079016448 22657 33554432000 4194304 4196468 140732925011504 140655564610416 140656039172738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7390] ppid=7269 vsize=10819352 memory=3825406576385 CPUtime=0.14 cores=0,2,4,6
/proc/7272/task/7390/stat : 7390 (java) S 7269 7272 6861 0 -1 1077944384 500 12998 0 0 7 0 5 2 20 0 15 0 79678677 11079016448 22657 33554432000 4194304 4196468 140732925011504 140655563557616 140656039172738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7391] ppid=7269 vsize=10819352 memory=3833996510977 CPUtime=0.2 cores=0,2,4,6
/proc/7272/task/7391/stat : 7391 (java) S 7269 7272 6861 0 -1 1077944384 646 12998 0 0 13 0 5 2 20 0 15 0 79678677 11079016448 22657 33554432000 4194304 4196468 140732925011504 140655562504816 140656039172738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7397] ppid=7269 vsize=10819352 memory=3842586445313 CPUtime=0.07 cores=0,2,4,6
/proc/7272/task/7397/stat : 7397 (java) S 7269 7272 6861 0 -1 1077944384 3 12998 0 0 0 0 5 2 20 0 15 0 79678677 11079016448 22657 33554432000 4194304 4196468 140732925011504 140654273358560 140656039171797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7399] ppid=7269 vsize=10819352 memory=4126054286849 CPUtime=0.07 cores=0,2,4,6
/proc/7272/task/7399/stat : 7399 (java) S 7269 7272 6861 0 -1 1077944384 1 12998 0 0 0 0 5 2 20 0 15 0 79678677 11079016448 22657 33554432000 4194304 4196468 140732925011504 140655561452208 140656039172738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 90628 KiB
[startup+1.50071 s]
/proc/loadavg: 1.18 1.20 1.32 3/215 7413
/proc/meminfo: memFree=21529176/32770624 swapFree=67108860/67108860
[pid=7272] ppid=7269 vsize=10834252 memory=182084 CPUtime=2.25 cores=0,2,4,6
/proc/7272/stat : 7272 (java) S 7269 7272 6861 0 -1 1077944320 23883 12998 0 0 210 8 5 2 20 0 15 0 79678662 11094274048 45521 33554432000 4194304 4196468 140732925011504 140732924994048 140656039161591 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
/proc/7272/statm: 2708563 45521 3480 1 0 2670221 0
[pid=7272/tid=7364] ppid=7269 vsize=10834252 memory=90628 CPUtime=1.42 cores=0,2,4,6
/proc/7272/task/7364/stat : 7364 (java) R 7269 7272 6861 0 -1 4202560 17831 12998 0 0 130 5 5 2 20 0 15 0 79678671 11094274048 45521 33554432000 4194304 4196468 140732925011504 140656010995904 140656020725166 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7369] ppid=7269 vsize=10834252 memory=139784005616186 CPUtime=0.08 cores=0,2,4,6
/proc/7272/task/7369/stat : 7369 (java) S 7269 7272 6861 0 -1 1077944384 23 12998 0 0 1 0 5 2 20 0 15 0 79678672 11094274048 45521 33554432000 4194304 4196468 140732925011504 140656043404432 140656039171797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7370] ppid=7269 vsize=10834252 memory=139784005616188 CPUtime=0.08 cores=0,2,4,6
/proc/7272/task/7370/stat : 7370 (java) S 7269 7272 6861 0 -1 1077944384 17 12998 0 0 1 0 5 2 20 0 15 0 79678672 11094274048 45521 33554432000 4194304 4196468 140732925011504 140655958223888 140656039171797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7371] ppid=7269 vsize=10834252 memory=139784005616192 CPUtime=0.08 cores=0,2,4,6
/proc/7272/task/7371/stat : 7371 (java) S 7269 7272 6861 0 -1 1077944384 239 12998 0 0 1 0 5 2 20 0 15 0 79678672 11094274048 45521 33554432000 4194304 4196468 140732925011504 140655957171088 140656039171797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7372] ppid=7269 vsize=10834252 memory=139784005616193 CPUtime=0.08 cores=0,2,4,6
/proc/7272/task/7372/stat : 7372 (java) S 7269 7272 6861 0 -1 1077944384 80 12998 0 0 1 0 5 2 20 0 15 0 79678672 11094274048 45521 33554432000 4194304 4196468 140732925011504 140655956118288 140656039171797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7375] ppid=7269 vsize=10834252 memory=279565193261824 CPUtime=0.08 cores=0,2,4,6
/proc/7272/task/7375/stat : 7375 (java) S 7269 7272 6861 0 -1 1077944384 58 12998 0 0 1 0 5 2 20 0 15 0 79678674 11094274048 45521 33554432000 4194304 4196468 140732925011504 140655565662576 140656039172738 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7377] ppid=7269 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7272/task/7377/stat : 7377 (java) S 7269 7272 6861 0 -1 1077944384 14 12998 0 0 0 0 5 2 20 0 15 0 79678674 11094274048 45521 33554432000 4194304 4196468 140732925011504 140655481316448 140656039171797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7378] ppid=7269 vsize=10834252 memory=6656426216303648864 CPUtime=0.07 cores=0,2,4,6
/proc/7272/task/7378/stat : 7378 (java) S 7269 7272 6861 0 -1 1077944384 1 12998 0 0 0 0 5 2 20 0 15 0 79678674 11094274048 45521 33554432000 4194304 4196468 140732925011504 140655347098496 140656039171797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7388] ppid=7269 vsize=10834252 memory=6656426216303648864 CPUtime=0.07 cores=0,2,4,6
/proc/7272/task/7388/stat : 7388 (java) S 7269 7272 6861 0 -1 1077944384 2 12998 0 0 0 0 5 2 20 0 15 0 79678677 11094274048 45521 33554432000 4194304 4196468 140732925011504 140654743119696 140656039180187 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7389] ppid=7269 vsize=10834252 memory=6656426216303648864 CPUtime=0.25 cores=0,2,4,6
/proc/7272/task/7389/stat : 7389 (java) S 7269 7272 6861 0 -1 1077944384 1190 12998 0 0 18 0 5 2 20 0 15 0 79678677 11094274048 45521 33554432000 4194304 4196468 140732925011504 140655564610416 140656039172738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7390] ppid=7269 vsize=10834252 memory=6944656592455360604 CPUtime=0.29 cores=0,2,4,6
/proc/7272/task/7390/stat : 7390 (java) S 7269 7272 6861 0 -1 1077944384 1037 12998 0 0 22 0 5 2 20 0 15 0 79678677 11094274048 45521 33554432000 4194304 4196468 140732925011504 140655563557616 140656039172738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7391] ppid=7269 vsize=10834252 memory=6944656575208382560 CPUtime=0.39 cores=0,2,4,6
/proc/7272/task/7391/stat : 7391 (java) S 7269 7272 6861 0 -1 1077944384 1200 12998 0 0 32 0 5 2 20 0 15 0 79678677 11094274048 45521 33554432000 4194304 4196468 140732925011504 140655562504816 140656039172738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7397] ppid=7269 vsize=10834252 memory=6944656575208382560 CPUtime=0.07 cores=0,2,4,6
/proc/7272/task/7397/stat : 7397 (java) S 7269 7272 6861 0 -1 1077944384 3 12998 0 0 0 0 5 2 20 0 15 0 79678677 11094274048 45521 33554432000 4194304 4196468 140732925011504 140654273358560 140656039171797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7399] ppid=7269 vsize=10834252 memory=8112282956445269571 CPUtime=0.07 cores=0,2,4,6
/proc/7272/task/7399/stat : 7399 (java) S 7269 7272 6861 0 -1 1077944384 1 12998 0 0 0 0 5 2 20 0 15 0 79678677 11094274048 45521 33554432000 4194304 4196468 140732925011504 140655561452208 140656039172738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
Current children cumulated CPU time: 2.25 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/7272/task/7364/stat : 7364 (java) R 7269 7272 6861 0 -1 4202560 82573 12998 0 0 236107 45 5 2 20 0 15 0 79678671 11178180608 201793 33554432000 4194304 4196468 140732925011504 140656010997120 140655648467488 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7369] ppid=7269 vsize=10916192 memory=807172 CPUtime=9.43 cores=0,2,4,6
/proc/7272/task/7369/stat : 7369 (java) S 7269 7272 6861 0 -1 1077944384 7429 12998 0 0 894 42 5 2 20 0 15 0 79678672 11178180608 201793 33554432000 4194304 4196468 140732925011504 140656043404432 140656039171797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7370] ppid=7269 vsize=10916192 memory=807172 CPUtime=9.42 cores=0,2,4,6
/proc/7272/task/7370/stat : 7370 (java) S 7269 7272 6861 0 -1 1077944384 7298 12998 0 0 890 45 5 2 20 0 15 0 79678672 11178180608 201793 33554432000 4194304 4196468 140732925011504 140655958223888 140656039171797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7371] ppid=7269 vsize=10916192 memory=807172 CPUtime=9.41 cores=0,2,4,6
/proc/7272/task/7371/stat : 7371 (java) S 7269 7272 6861 0 -1 1077944384 9761 12998 0 0 895 39 5 2 20 0 15 0 79678672 11178180608 201793 33554432000 4194304 4196468 140732925011504 140655957171088 140656039171797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7372] ppid=7269 vsize=10916192 memory=807172 CPUtime=9.41 cores=0,2,4,6
/proc/7272/task/7372/stat : 7372 (java) S 7269 7272 6861 0 -1 1077944384 9916 12998 0 0 896 38 5 2 20 0 15 0 79678672 11178180608 201793 33554432000 4194304 4196468 140732925011504 140655956118288 140656039171797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7375] ppid=7269 vsize=10916192 memory=1296 CPUtime=8.27 cores=0,2,4,6
/proc/7272/task/7375/stat : 7375 (java) S 7269 7272 6861 0 -1 1077944384 12368 12998 0 0 781 39 5 2 20 0 15 0 79678674 11178180608 201793 33554432000 4194304 4196468 140732925011504 140655565662576 140656039172738 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7377] ppid=7269 vsize=10916192 memory=4140 CPUtime=0.07 cores=0,2,4,6
/proc/7272/task/7377/stat : 7377 (java) S 7269 7272 6861 0 -1 1077944384 14 12998 0 0 0 0 5 2 20 0 15 0 79678674 11178180608 201793 33554432000 4194304 4196468 140732925011504 140655481316448 140656039171797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7378] ppid=7269 vsize=10916192 memory=805124 CPUtime=0.07 cores=0,2,4,6
/proc/7272/task/7378/stat : 7378 (java) S 7269 7272 6861 0 -1 1077944384 1 12998 0 0 0 0 5 2 20 0 15 0 79678674 11178180608 201793 33554432000 4194304 4196468 140732925011504 140655347098496 140656039171797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7388] ppid=7269 vsize=10916192 memory=807172 CPUtime=0.07 cores=0,2,4,6
/proc/7272/task/7388/stat : 7388 (java) S 7269 7272 6861 0 -1 1077944384 2 12998 0 0 0 0 5 2 20 0 15 0 79678677 11178180608 201793 33554432000 4194304 4196468 140732925011504 140654743119696 140656039180187 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7389] ppid=7269 vsize=10916192 memory=0 CPUtime=6.62 cores=0,2,4,6
/proc/7272/task/7389/stat : 7389 (java) S 7269 7272 6861 0 -1 1077944384 23468 12998 0 0 650 5 5 2 20 0 15 0 79678677 11178180608 201793 33554432000 4194304 4196468 140732925011504 140655564610416 140656039172738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7390] ppid=7269 vsize=10916192 memory=807172 CPUtime=7.58 cores=0,2,4,6
/proc/7272/task/7390/stat : 7390 (java) S 7269 7272 6861 0 -1 1077944384 35956 12998 0 0 746 5 5 2 20 0 15 0 79678677 11178180608 201793 33554432000 4194304 4196468 140732925011504 140655563557616 140656039172738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7391] ppid=7269 vsize=10916192 memory=807172 CPUtime=3.2 cores=0,2,4,6
/proc/7272/task/7391/stat : 7391 (java) S 7269 7272 6861 0 -1 1077944384 26901 12998 0 0 307 6 5 2 20 0 15 0 79678677 11178180608 201793 33554432000 4194304 4196468 140732925011504 140655562504816 140656039172738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7397] ppid=7269 vsize=10916192 memory=807172 CPUtime=0.07 cores=0,2,4,6
/proc/7272/task/7397/stat : 7397 (java) S 7269 7272 6861 0 -1 1077944384 3 12998 0 0 0 0 5 2 20 0 15 0 79678677 11178180608 201793 33554432000 4194304 4196468 140732925011504 140654273358560 140656039171797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7399] ppid=7269 vsize=10916192 memory=4140 CPUtime=1.34 cores=0,2,4,6
/proc/7272/task/7399/stat : 7399 (java) S 7269 7272 6861 0 -1 1077944384 1270 12998 0 0 66 61 5 2 20 0 15 0 79678677 11178180608 201793 33554432000 4194304 4196468 140732925011504 140655561452208 140656039172738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
Current children cumulated CPU time: 2425.77 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 807172 KiB
[startup+2442.3 s]
/proc/loadavg: 1.33 1.41 1.41 3/215 7486
/proc/meminfo: memFree=19962172/32770624 swapFree=67108860/67108860
[pid=7272] ppid=7269 vsize=10916192 memory=807264 CPUtime=2486.52 cores=0,2,4,6
/proc/7272/stat : 7272 (java) S 7269 7272 6861 0 -1 1077944320 220576 12998 0 0 248359 286 5 2 20 0 15 0 79678662 11178180608 201816 33554432000 4194304 4196468 140732925011504 140732924994048 140656039161591 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
/proc/7272/statm: 2729048 201816 3526 1 0 2690701 0
[pid=7272/tid=7364] ppid=7269 vsize=10916192 memory=807252 CPUtime=2421.05 cores=0,2,4,6
/proc/7272/task/7364/stat : 7364 (java) R 7269 7272 6861 0 -1 4202560 83229 12998 0 0 242052 46 5 2 20 0 15 0 79678671 11178180608 201816 33554432000 4194304 4196468 140732925011504 140656010997120 140655643675269 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7369] ppid=7269 vsize=10916192 memory=807252 CPUtime=9.69 cores=0,2,4,6
/proc/7272/task/7369/stat : 7369 (java) S 7269 7272 6861 0 -1 1077944384 7452 12998 0 0 920 42 5 2 20 0 15 0 79678672 11178180608 201816 33554432000 4194304 4196468 140732925011504 140656043404432 140656039171797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7370] ppid=7269 vsize=10916192 memory=807252 CPUtime=9.68 cores=0,2,4,6
/proc/7272/task/7370/stat : 7370 (java) S 7269 7272 6861 0 -1 1077944384 7669 12998 0 0 915 46 5 2 20 0 15 0 79678672 11178180608 201816 33554432000 4194304 4196468 140732925011504 140655958223888 140656039171797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7371] ppid=7269 vsize=10916192 memory=807252 CPUtime=9.67 cores=0,2,4,6
/proc/7272/task/7371/stat : 7371 (java) S 7269 7272 6861 0 -1 1077944384 9788 12998 0 0 920 40 5 2 20 0 15 0 79678672 11178180608 201816 33554432000 4194304 4196468 140732925011504 140655957171088 140656039171797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7372] ppid=7269 vsize=10916192 memory=807264 CPUtime=9.68 cores=0,2,4,6
/proc/7272/task/7372/stat : 7372 (java) S 7269 7272 6861 0 -1 1077944384 10032 12998 0 0 921 40 5 2 20 0 15 0 79678672 11178180608 201816 33554432000 4194304 4196468 140732925011504 140655956118288 140656039171797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7375] ppid=7269 vsize=10916192 memory=807264 CPUtime=8.49 cores=0,2,4,6
/proc/7272/task/7375/stat : 7375 (java) S 7269 7272 6861 0 -1 1077944384 12580 12998 0 0 803 39 5 2 20 0 15 0 79678674 11178180608 201816 33554432000 4194304 4196468 140732925011504 140655565662576 140656039172738 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7377] ppid=7269 vsize=10916192 memory=807264 CPUtime=0.07 cores=0,2,4,6
/proc/7272/task/7377/stat : 7377 (java) S 7269 7272 6861 0 -1 1077944384 14 12998 0 0 0 0 5 2 20 0 15 0 79678674 11178180608 201816 33554432000 4194304 4196468 140732925011504 140655481316448 140656039171797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7378] ppid=7269 vsize=10916192 memory=807252 CPUtime=0.07 cores=0,2,4,6
/proc/7272/task/7378/stat : 7378 (java) S 7269 7272 6861 0 -1 1077944384 1 12998 0 0 0 0 5 2 20 0 15 0 79678674 11178180608 201816 33554432000 4194304 4196468 140732925011504 140655347098496 140656039171797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7388] ppid=7269 vsize=10916192 memory=807252 CPUtime=0.07 cores=0,2,4,6
/proc/7272/task/7388/stat : 7388 (java) S 7269 7272 6861 0 -1 1077944384 2 12998 0 0 0 0 5 2 20 0 15 0 79678677 11178180608 201816 33554432000 4194304 4196468 140732925011504 140654743119696 140656039180187 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7389] ppid=7269 vsize=10916192 memory=807264 CPUtime=6.62 cores=0,2,4,6
/proc/7272/task/7389/stat : 7389 (java) S 7269 7272 6861 0 -1 1077944384 23470 12998 0 0 650 5 5 2 20 0 15 0 79678677 11178180608 201816 33554432000 4194304 4196468 140732925011504 140655564610416 140656039172738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7390] ppid=7269 vsize=10916192 memory=807264 CPUtime=7.58 cores=0,2,4,6
/proc/7272/task/7390/stat : 7390 (java) S 7269 7272 6861 0 -1 1077944384 35959 12998 0 0 746 5 5 2 20 0 15 0 79678677 11178180608 201816 33554432000 4194304 4196468 140732925011504 140655563557616 140656039172738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7391] ppid=7269 vsize=10916192 memory=5644 CPUtime=3.2 cores=0,2,4,6
/proc/7272/task/7391/stat : 7391 (java) S 7269 7272 6861 0 -1 1077944384 26903 12998 0 0 307 6 5 2 20 0 15 0 79678677 11178180608 201816 33554432000 4194304 4196468 140732925011504 140655562504816 140656039172738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7397] ppid=7269 vsize=10916192 memory=807264 CPUtime=0.07 cores=0,2,4,6
/proc/7272/task/7397/stat : 7397 (java) S 7269 7272 6861 0 -1 1077944384 3 12998 0 0 0 0 5 2 20 0 15 0 79678677 11178180608 201816 33554432000 4194304 4196468 140732925011504 140654273358560 140656039171797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7399] ppid=7269 vsize=10916192 memory=1296 CPUtime=1.38 cores=0,2,4,6
/proc/7272/task/7399/stat : 7399 (java) S 7269 7272 6861 0 -1 1077944384 1287 12998 0 0 68 63 5 2 20 0 15 0 79678677 11178180608 201816 33554432000 4194304 4196468 140732925011504 140655561452208 140656039172738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
Current children cumulated CPU time: 2486.52 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 807264 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2475.5 s]
/proc/loadavg: 1.30 1.40 1.41 3/215 7487
/proc/meminfo: memFree=19961884/32770624 swapFree=67108860/67108860
[pid=7272] ppid=7269 vsize=10916192 memory=807328 CPUtime=2520.07 cores=0,2,4,6
/proc/7272/stat : 7272 (java) S 7269 7272 6861 0 -1 1077944320 221757 12998 0 0 251711 289 5 2 20 0 15 0 79678662 11178180608 201832 33554432000 4194304 4196468 140732925011504 140732924994048 140656039161591 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
/proc/7272/statm: 2729048 201832 3526 1 0 2690701 0
[pid=7272/tid=7364] ppid=7269 vsize=10916192 memory=807328 CPUtime=2453.99 cores=0,2,4,6
/proc/7272/task/7364/stat : 7364 (java) R 7269 7272 6861 0 -1 4202560 83665 12998 0 0 245346 46 5 2 20 0 15 0 79678671 11178180608 201832 33554432000 4194304 4196468 140732925011504 140656010997072 140655649095788 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7369] ppid=7269 vsize=10916192 memory=807328 CPUtime=9.82 cores=0,2,4,6
/proc/7272/task/7369/stat : 7369 (java) S 7269 7272 6861 0 -1 1077944384 7534 12998 0 0 932 43 5 2 20 0 15 0 79678672 11178180608 201832 33554432000 4194304 4196468 140732925011504 140656043404432 140656039171797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7370] ppid=7269 vsize=10916192 memory=807328 CPUtime=9.81 cores=0,2,4,6
/proc/7272/task/7370/stat : 7370 (java) S 7269 7272 6861 0 -1 1077944384 8027 12998 0 0 927 47 5 2 20 0 15 0 79678672 11178180608 201832 33554432000 4194304 4196468 140732925011504 140655958223888 140656039171797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7371] ppid=7269 vsize=10916192 memory=807264 CPUtime=9.79 cores=0,2,4,6
/proc/7272/task/7371/stat : 7371 (java) S 7269 7272 6861 0 -1 1077944384 9812 12998 0 0 931 41 5 2 20 0 15 0 79678672 11178180608 201832 33554432000 4194304 4196468 140732925011504 140655957171088 140656039171797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7372] ppid=7269 vsize=10916192 memory=807328 CPUtime=9.79 cores=0,2,4,6
/proc/7272/task/7372/stat : 7372 (java) S 7269 7272 6861 0 -1 1077944384 10084 12998 0 0 932 40 5 2 20 0 15 0 79678672 11178180608 201832 33554432000 4194304 4196468 140732925011504 140655956118288 140656039171797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7375] ppid=7269 vsize=10916192 memory=807328 CPUtime=8.6 cores=0,2,4,6
/proc/7272/task/7375/stat : 7375 (java) S 7269 7272 6861 0 -1 1077944384 12788 12998 0 0 813 40 5 2 20 0 15 0 79678674 11178180608 201832 33554432000 4194304 4196468 140732925011504 140655565662576 140656039172738 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7377] ppid=7269 vsize=10916192 memory=807328 CPUtime=0.07 cores=0,2,4,6
/proc/7272/task/7377/stat : 7377 (java) S 7269 7272 6861 0 -1 1077944384 14 12998 0 0 0 0 5 2 20 0 15 0 79678674 11178180608 201832 33554432000 4194304 4196468 140732925011504 140655481316448 140656039171797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7378] ppid=7269 vsize=10916192 memory=807328 CPUtime=0.07 cores=0,2,4,6
/proc/7272/task/7378/stat : 7378 (java) S 7269 7272 6861 0 -1 1077944384 1 12998 0 0 0 0 5 2 20 0 15 0 79678674 11178180608 201832 33554432000 4194304 4196468 140732925011504 140655347098496 140656039171797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7388] ppid=7269 vsize=10916192 memory=807328 CPUtime=0.07 cores=0,2,4,6
/proc/7272/task/7388/stat : 7388 (java) S 7269 7272 6861 0 -1 1077944384 2 12998 0 0 0 0 5 2 20 0 15 0 79678677 11178180608 201832 33554432000 4194304 4196468 140732925011504 140654743119696 140656039180187 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7389] ppid=7269 vsize=10916192 memory=4140 CPUtime=6.62 cores=0,2,4,6
/proc/7272/task/7389/stat : 7389 (java) S 7269 7272 6861 0 -1 1077944384 23472 12998 0 0 650 5 5 2 20 0 15 0 79678677 11178180608 201832 33554432000 4194304 4196468 140732925011504 140655564610416 140656039172738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7390] ppid=7269 vsize=10916192 memory=807328 CPUtime=7.58 cores=0,2,4,6
/proc/7272/task/7390/stat : 7390 (java) S 7269 7272 6861 0 -1 1077944384 35961 12998 0 0 746 5 5 2 20 0 15 0 79678677 11178180608 201832 33554432000 4194304 4196468 140732925011504 140655563557616 140656039172738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7391] ppid=7269 vsize=10916192 memory=4140 CPUtime=3.2 cores=0,2,4,6
/proc/7272/task/7391/stat : 7391 (java) S 7269 7272 6861 0 -1 1077944384 26905 12998 0 0 307 6 5 2 20 0 15 0 79678677 11178180608 201832 33554432000 4194304 4196468 140732925011504 140655562504816 140656039172738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7397] ppid=7269 vsize=10916192 memory=807328 CPUtime=0.07 cores=0,2,4,6
/proc/7272/task/7397/stat : 7397 (java) S 7269 7272 6861 0 -1 1077944384 3 12998 0 0 0 0 5 2 20 0 15 0 79678677 11178180608 201832 33554432000 4194304 4196468 140732925011504 140654273358560 140656039171797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7399] ppid=7269 vsize=10916192 memory=807328 CPUtime=1.39 cores=0,2,4,6
/proc/7272/task/7399/stat : 7399 (java) S 7269 7272 6861 0 -1 1077944384 1302 12998 0 0 69 63 5 2 20 0 15 0 79678677 11178180608 201832 33554432000 4194304 4196468 140732925011504 140655561452208 140656039172738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 807328 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2475.53 s]
# the end of solver process 7272 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.19 s, system=2.93178 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2475.5 s]
/proc/loadavg: 1.30 1.40 1.41 3/215 7487
/proc/meminfo: memFree=19961884/32770624 swapFree=67108860/67108860
[pid=7272] ppid=7269 vsize=10916192 memory=807328 CPUtime=2520.07 cores=0,2,4,6
/proc/7272/stat : 7272 (java) S 7269 7272 6861 0 -1 1077944320 221757 12998 0 0 251711 289 5 2 20 0 15 0 79678662 11178180608 201832 33554432000 4194304 4196468 140732925011504 140732924994048 140656039161591 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
/proc/7272/statm: 2729048 201832 3526 1 0 2690701 0
[pid=7272/tid=7364] ppid=7269 vsize=10916192 memory=807328 CPUtime=2453.99 cores=0,2,4,6
/proc/7272/task/7364/stat : 7364 (java) R 7269 7272 6861 0 -1 4202560 83665 12998 0 0 245346 46 5 2 20 0 15 0 79678671 11178180608 201832 33554432000 4194304 4196468 140732925011504 140656010997072 140655649095788 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7369] ppid=7269 vsize=10916192 memory=807328 CPUtime=9.82 cores=0,2,4,6
/proc/7272/task/7369/stat : 7369 (java) S 7269 7272 6861 0 -1 1077944384 7534 12998 0 0 932 43 5 2 20 0 15 0 79678672 11178180608 201832 33554432000 4194304 4196468 140732925011504 140656043404432 140656039171797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7370] ppid=7269 vsize=10916192 memory=807328 CPUtime=9.81 cores=0,2,4,6
/proc/7272/task/7370/stat : 7370 (java) S 7269 7272 6861 0 -1 1077944384 8027 12998 0 0 927 47 5 2 20 0 15 0 79678672 11178180608 201832 33554432000 4194304 4196468 140732925011504 140655958223888 140656039171797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7371] ppid=7269 vsize=10916192 memory=807264 CPUtime=9.79 cores=0,2,4,6
/proc/7272/task/7371/stat : 7371 (java) S 7269 7272 6861 0 -1 1077944384 9812 12998 0 0 931 41 5 2 20 0 15 0 79678672 11178180608 201832 33554432000 4194304 4196468 140732925011504 140655957171088 140656039171797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7372] ppid=7269 vsize=10916192 memory=807328 CPUtime=9.79 cores=0,2,4,6
/proc/7272/task/7372/stat : 7372 (java) S 7269 7272 6861 0 -1 1077944384 10084 12998 0 0 932 40 5 2 20 0 15 0 79678672 11178180608 201832 33554432000 4194304 4196468 140732925011504 140655956118288 140656039171797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7375] ppid=7269 vsize=10916192 memory=807328 CPUtime=8.6 cores=0,2,4,6
/proc/7272/task/7375/stat : 7375 (java) S 7269 7272 6861 0 -1 1077944384 12788 12998 0 0 813 40 5 2 20 0 15 0 79678674 11178180608 201832 33554432000 4194304 4196468 140732925011504 140655565662576 140656039172738 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7377] ppid=7269 vsize=10916192 memory=807328 CPUtime=0.07 cores=0,2,4,6
/proc/7272/task/7377/stat : 7377 (java) S 7269 7272 6861 0 -1 1077944384 14 12998 0 0 0 0 5 2 20 0 15 0 79678674 11178180608 201832 33554432000 4194304 4196468 140732925011504 140655481316448 140656039171797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7378] ppid=7269 vsize=10916192 memory=807328 CPUtime=0.07 cores=0,2,4,6
/proc/7272/task/7378/stat : 7378 (java) S 7269 7272 6861 0 -1 1077944384 1 12998 0 0 0 0 5 2 20 0 15 0 79678674 11178180608 201832 33554432000 4194304 4196468 140732925011504 140655347098496 140656039171797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7388] ppid=7269 vsize=10916192 memory=807328 CPUtime=0.07 cores=0,2,4,6
/proc/7272/task/7388/stat : 7388 (java) S 7269 7272 6861 0 -1 1077944384 2 12998 0 0 0 0 5 2 20 0 15 0 79678677 11178180608 201832 33554432000 4194304 4196468 140732925011504 140654743119696 140656039180187 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7389] ppid=7269 vsize=10916192 memory=4140 CPUtime=6.62 cores=0,2,4,6
/proc/7272/task/7389/stat : 7389 (java) S 7269 7272 6861 0 -1 1077944384 23472 12998 0 0 650 5 5 2 20 0 15 0 79678677 11178180608 201832 33554432000 4194304 4196468 140732925011504 140655564610416 140656039172738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7390] ppid=7269 vsize=10916192 memory=807328 CPUtime=7.58 cores=0,2,4,6
/proc/7272/task/7390/stat : 7390 (java) S 7269 7272 6861 0 -1 1077944384 35961 12998 0 0 746 5 5 2 20 0 15 0 79678677 11178180608 201832 33554432000 4194304 4196468 140732925011504 140655563557616 140656039172738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7391] ppid=7269 vsize=10916192 memory=4140 CPUtime=3.2 cores=0,2,4,6
/proc/7272/task/7391/stat : 7391 (java) S 7269 7272 6861 0 -1 1077944384 26905 12998 0 0 307 6 5 2 20 0 15 0 79678677 11178180608 201832 33554432000 4194304 4196468 140732925011504 140655562504816 140656039172738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7397] ppid=7269 vsize=10916192 memory=807328 CPUtime=0.07 cores=0,2,4,6
/proc/7272/task/7397/stat : 7397 (java) S 7269 7272 6861 0 -1 1077944384 3 12998 0 0 0 0 5 2 20 0 15 0 79678677 11178180608 201832 33554432000 4194304 4196468 140732925011504 140654273358560 140656039171797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
[pid=7272/tid=7399] ppid=7269 vsize=10916192 memory=807328 CPUtime=1.39 cores=0,2,4,6
/proc/7272/task/7399/stat : 7399 (java) S 7269 7272 6861 0 -1 1077944384 1302 12998 0 0 69 63 5 2 20 0 15 0 79678677 11178180608 201832 33554432000 4194304 4196468 140732925011504 140655561452208 140656039172738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18325504 140732925016235 140732925019484 140732925019484 140732925022159 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 807328 KiB
Child status: 143
Real time (s): 2475.53
CPU time (s): 2520.12
CPU user time (s): 2517.19
CPU system time (s): 2.93178
CPU usage (%): 101.801
Max. virtual memory (cumulated for all children) (KiB): 10919048
Max. memory (cumulated for all children) (KiB): 807328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.19
system time used= 2.93178
maximum resident set size= 811460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 235992
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= 239949
involuntary context switches= 8231
# summary of solver processes directly reported to runsolver:
# pid: 7272
# total CPU time (s): 2520.12
# total CPU user time (s): 2517.19
# total CPU system time (s): 2.93178
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.3759 second user time and 21.2175 second system time
The end