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 (15102 MiB free)
memory of node 1: 16384 MiB (14136 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400700-1568681990/watcher-4400700-1568681990 -o /tmp/evaluation-result-4400700-1568681990/solver-4400700-1568681990 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1568669636-5871 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=2093330141 HOME/instance-4400700-1568681990.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=8756, runsolver pid=8753
[startup+0.100041 s]*
/proc/loadavg: 1.20 1.36 1.36 3/218 8814
/proc/meminfo: memFree=29935556/32770624 swapFree=66939632/67108860
[pid=8756] ppid=8753 vsize=9972712 memory=16812 CPUtime=0.09 cores=0,2,4,6
/proc/8756/stat : 8756 (java) S 8753 8756 5840 0 -1 1077944320 4422 13373 0 0 1 0 5 3 20 0 6 0 444457205 10212057088 4203 33554432000 4194304 4196468 140730350286032 140730350268576 139881552535287 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
/proc/8756/statm: 2493178 4203 1935 1 0 2481616 0
[pid=8756/tid=8810] ppid=8753 vsize=9972712 memory=-8617482348318186131 CPUtime=0.08 cores=0,2,4,6
/proc/8756/task/8810/stat : 8810 (java) R 8753 8756 5840 0 -1 4202560 2239 13373 0 0 0 0 5 3 20 0 6 0 444457214 10212057088 4203 33554432000 4194304 4196468 140730350286032 139881524372048 139881552557213 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8811] ppid=8753 vsize=9972712 memory=-7025452035940392864 CPUtime=0.08 cores=0,2,4,6
/proc/8756/task/8811/stat : 8811 (java) S 8753 8756 5840 0 -1 1077944384 1 13373 0 0 0 0 5 3 20 0 6 0 444457215 10212057088 4203 33554432000 4194304 4196468 140730350286032 139881556777616 139881552545493 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8812] ppid=8753 vsize=9972712 memory=139658041644672 CPUtime=0.08 cores=0,2,4,6
/proc/8756/task/8812/stat : 8812 (java) S 8753 8756 5840 0 -1 1077944384 1 13373 0 0 0 0 5 3 20 0 6 0 444457215 10212057088 4203 33554432000 4194304 4196468 140730350286032 139881455667728 139881552545493 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8813] ppid=8753 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8756/task/8813/stat : 8813 (java) S 8753 8756 5840 0 -1 1077944384 1 13373 0 0 0 0 5 3 20 0 6 0 444457215 10212057088 4203 33554432000 4194304 4196468 140730350286032 139881454614928 139881552545493 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8814] ppid=8753 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8756/task/8814/stat : 8814 (java) S 8753 8756 5840 0 -1 1077944384 2 13373 0 0 0 0 5 3 20 0 6 0 444457215 10212057088 4203 33554432000 4194304 4196468 140730350286032 139881453562128 139881552545493 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16812 KiB
[startup+0.210185 s]*
/proc/loadavg: 1.20 1.36 1.36 4/227 8823
/proc/meminfo: memFree=29914700/32770624 swapFree=66939632/67108860
[pid=8756] ppid=8753 vsize=10820020 memory=42004 CPUtime=0.27 cores=0,2,4,6
/proc/8756/stat : 8756 (java) S 8753 8756 5840 0 -1 1077944320 7328 13373 0 0 17 2 5 3 20 0 15 0 444457205 11079700480 10501 33554432000 4194304 4196468 140730350286032 140730350268576 139881552535287 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
/proc/8756/statm: 2705005 10501 3214 1 0 2667149 0
[pid=8756/tid=8810] ppid=8753 vsize=10820176 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/8756/task/8810/stat : 8810 (java) R 8753 8756 5840 0 -1 4202560 3885 13373 0 0 10 1 5 3 20 0 15 0 444457214 11079860224 10567 33554432000 4194304 4196468 140730350286032 139881524366528 139881545213301 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8811] ppid=8753 vsize=10820184 memory=345 CPUtime=0.08 cores=0,2,4,6
/proc/8756/task/8811/stat : 8811 (java) S 8753 8756 5840 0 -1 1077944384 1 13373 0 0 0 0 5 3 20 0 15 0 444457215 11079868416 10567 33554432000 4194304 4196468 140730350286032 139881556777616 139881552545493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8812] ppid=8753 vsize=10820184 memory=139658041653595 CPUtime=0.08 cores=0,2,4,6
/proc/8756/task/8812/stat : 8812 (java) S 8753 8756 5840 0 -1 1077944384 1 13373 0 0 0 0 5 3 20 0 15 0 444457215 11079868416 10567 33554432000 4194304 4196468 140730350286032 139881455667728 139881552545493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8813] ppid=8753 vsize=10820184 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8756/task/8813/stat : 8813 (java) S 8753 8756 5840 0 -1 1077944384 1 13373 0 0 0 0 5 3 20 0 15 0 444457215 11079868416 10567 33554432000 4194304 4196468 140730350286032 139881454614928 139881552545493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8814] ppid=8753 vsize=10820184 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8756/task/8814/stat : 8814 (java) S 8753 8756 5840 0 -1 1077944384 2 13373 0 0 0 0 5 3 20 0 15 0 444457215 11079868416 10567 33554432000 4194304 4196468 140730350286032 139881453562128 139881552545493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8815] ppid=8753 vsize=10820184 memory=139658041644672 CPUtime=0.08 cores=0,2,4,6
/proc/8756/task/8815/stat : 8815 (java) S 8753 8756 5840 0 -1 1077944384 2 13373 0 0 0 0 5 3 20 0 15 0 444457217 11079868416 10567 33554432000 4194304 4196468 140730350286032 139881011239792 139881552546434 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8816] ppid=8753 vsize=10820188 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8756/task/8816/stat : 8816 (java) S 8753 8756 5840 0 -1 1077944384 13 13373 0 0 0 0 5 3 20 0 15 0 444457217 11079872512 10567 33554432000 4194304 4196468 140730350286032 139880910808608 139881552545493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8817] ppid=8753 vsize=10820188 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8756/task/8817/stat : 8817 (java) S 8753 8756 5840 0 -1 1077944384 1 13373 0 0 0 0 5 3 20 0 15 0 444457217 11079872512 10567 33554432000 4194304 4196468 140730350286032 139880306828656 139881552545493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8818] ppid=8753 vsize=10820188 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8756/task/8818/stat : 8818 (java) S 8753 8756 5840 0 -1 1077944384 3 13373 0 0 0 0 5 3 20 0 15 0 444457220 11079872512 10567 33554432000 4194304 4196468 140730350286032 139880066537808 139881552553883 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8819] ppid=8753 vsize=10820188 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/8756/task/8819/stat : 8819 (java) R 8753 8756 5840 0 -1 4202560 478 13373 0 0 1 0 5 3 20 0 15 0 444457220 11079872512 10567 33554432000 4194304 4196468 140730350286032 139881010186608 139881536021089 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8820] ppid=8753 vsize=10820188 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/8756/task/8820/stat : 8820 (java) S 8753 8756 5840 0 -1 1077944384 175 13373 0 0 1 0 5 3 20 0 15 0 444457220 11079872512 10567 33554432000 4194304 4196468 140730350286032 139881009133808 139881552546434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8821] ppid=8753 vsize=10820188 memory=139658041644672 CPUtime=0.11 cores=0,2,4,6
/proc/8756/task/8821/stat : 8821 (java) S 8753 8756 5840 0 -1 1077944384 606 13373 0 0 3 0 5 3 20 0 15 0 444457220 11079872512 10567 33554432000 4194304 4196468 140730350286032 139881008081008 139881552546434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8822] ppid=8753 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8756/task/8822/stat : 8822 (java) S 8753 8756 5840 0 -1 1077944384 3 13373 0 0 0 0 5 3 20 0 15 0 444457220 11079880704 10567 33554432000 4194304 4196468 140730350286032 139880032979168 139881552545493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8823] ppid=8753 vsize=10820196 memory=139658041644672 CPUtime=0.08 cores=0,2,4,6
/proc/8756/task/8823/stat : 8823 (java) S 8753 8756 5840 0 -1 1077944384 1 13373 0 0 0 0 5 3 20 0 15 0 444457221 11079880704 10567 33554432000 4194304 4196468 140730350286032 139881007029424 139881552546434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10820020 KiB
Current children cumulated memory: 42004 KiB
[startup+0.310612 s]*
/proc/loadavg: 1.20 1.36 1.36 4/227 8823
/proc/meminfo: memFree=29902044/32770624 swapFree=66939632/67108860
[pid=8756] ppid=8753 vsize=10820196 memory=50552 CPUtime=0.4 cores=0,2,4,6
/proc/8756/stat : 8756 (java) S 8753 8756 5840 0 -1 1077944320 10867 13373 0 0 29 3 5 3 20 0 15 0 444457205 11079880704 12638 33554432000 4194304 4196468 140730350286032 140730350268576 139881552535287 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
/proc/8756/statm: 2705049 12638 3310 1 0 2667149 0
[pid=8756/tid=8810] ppid=8753 vsize=10820196 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/8756/task/8810/stat : 8810 (java) R 8753 8756 5840 0 -1 4202560 7356 13373 0 0 19 2 5 3 20 0 15 0 444457214 11079880704 12638 33554432000 4194304 4196468 140730350286032 139881524357656 139881538778491 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8811] ppid=8753 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8756/task/8811/stat : 8811 (java) S 8753 8756 5840 0 -1 1077944384 1 13373 0 0 0 0 5 3 20 0 15 0 444457215 11079880704 12638 33554432000 4194304 4196468 140730350286032 139881556777616 139881552545493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8812] ppid=8753 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8756/task/8812/stat : 8812 (java) S 8753 8756 5840 0 -1 1077944384 1 13373 0 0 0 0 5 3 20 0 15 0 444457215 11079880704 12638 33554432000 4194304 4196468 140730350286032 139881455667728 139881552545493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8813] ppid=8753 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8756/task/8813/stat : 8813 (java) S 8753 8756 5840 0 -1 1077944384 1 13373 0 0 0 0 5 3 20 0 15 0 444457215 11079880704 12638 33554432000 4194304 4196468 140730350286032 139881454614928 139881552545493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8814] ppid=8753 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8756/task/8814/stat : 8814 (java) S 8753 8756 5840 0 -1 1077944384 2 13373 0 0 0 0 5 3 20 0 15 0 444457215 11079880704 12638 33554432000 4194304 4196468 140730350286032 139881453562128 139881552545493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8815] ppid=8753 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8756/task/8815/stat : 8815 (java) S 8753 8756 5840 0 -1 1077944384 2 13373 0 0 0 0 5 3 20 0 15 0 444457217 11079880704 12638 33554432000 4194304 4196468 140730350286032 139881011239792 139881552546434 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8816] ppid=8753 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8756/task/8816/stat : 8816 (java) S 8753 8756 5840 0 -1 1077944384 13 13373 0 0 0 0 5 3 20 0 15 0 444457217 11079880704 12638 33554432000 4194304 4196468 140730350286032 139880910808608 139881552545493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8817] ppid=8753 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8756/task/8817/stat : 8817 (java) S 8753 8756 5840 0 -1 1077944384 1 13373 0 0 0 0 5 3 20 0 15 0 444457217 11079880704 12638 33554432000 4194304 4196468 140730350286032 139880306828656 139881552545493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8818] ppid=8753 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8756/task/8818/stat : 8818 (java) S 8753 8756 5840 0 -1 1077944384 3 13373 0 0 0 0 5 3 20 0 15 0 444457220 11079880704 12638 33554432000 4194304 4196468 140730350286032 139880066537808 139881552553883 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8819] ppid=8753 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/8756/task/8819/stat : 8819 (java) S 8753 8756 5840 0 -1 1077944384 487 13373 0 0 1 0 5 3 20 0 15 0 444457220 11079880704 12638 33554432000 4194304 4196468 140730350286032 139881010186608 139881552546434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8820] ppid=8753 vsize=10820196 memory=-1 CPUtime=0.1 cores=0,2,4,6
/proc/8756/task/8820/stat : 8820 (java) S 8753 8756 5840 0 -1 1077944384 176 13373 0 0 2 0 5 3 20 0 15 0 444457220 11079880704 12638 33554432000 4194304 4196468 140730350286032 139881009133808 139881552546434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8821] ppid=8753 vsize=10820196 memory=139658041644672 CPUtime=0.13 cores=0,2,4,6
/proc/8756/task/8821/stat : 8821 (java) S 8753 8756 5840 0 -1 1077944384 613 13373 0 0 5 0 5 3 20 0 15 0 444457220 11079880704 12638 33554432000 4194304 4196468 140730350286032 139881008081008 139881552546434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8822] ppid=8753 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8756/task/8822/stat : 8822 (java) S 8753 8756 5840 0 -1 1077944384 3 13373 0 0 0 0 5 3 20 0 15 0 444457220 11079880704 12638 33554432000 4194304 4196468 140730350286032 139880032979168 139881552545493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8823] ppid=8753 vsize=10820196 memory=139658041644672 CPUtime=0.08 cores=0,2,4,6
/proc/8756/task/8823/stat : 8823 (java) S 8753 8756 5840 0 -1 1077944384 1 13373 0 0 0 0 5 3 20 0 15 0 444457221 11079880704 12638 33554432000 4194304 4196468 140730350286032 139881007029424 139881552546434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 50552 KiB
[startup+0.70404 s]
/proc/loadavg: 1.20 1.36 1.36 3/227 8823
/proc/meminfo: memFree=29887692/32770624 swapFree=66939632/67108860
[pid=8756] ppid=8753 vsize=10824364 memory=83428 CPUtime=1.12 cores=0,2,4,6
/proc/8756/stat : 8756 (java) S 8753 8756 5840 0 -1 1077944320 15066 13373 0 0 98 6 5 3 20 0 15 0 444457205 11084148736 20857 33554432000 4194304 4196468 140730350286032 140730350268576 139881552535287 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
/proc/8756/statm: 2706091 20857 3508 1 0 2668173 0
[pid=8756/tid=8810] ppid=8753 vsize=10824364 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/8756/task/8810/stat : 8810 (java) R 8753 8756 5840 0 -1 4202560 10559 13373 0 0 55 4 5 3 20 0 15 0 444457214 11084148736 20857 33554432000 4194304 4196468 140730350286032 139881524362448 139881552547222 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8811] ppid=8753 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8756/task/8811/stat : 8811 (java) S 8753 8756 5840 0 -1 1077944384 1 13373 0 0 0 0 5 3 20 0 15 0 444457215 11084148736 20857 33554432000 4194304 4196468 140730350286032 139881556777616 139881552545493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8812] ppid=8753 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8756/task/8812/stat : 8812 (java) S 8753 8756 5840 0 -1 1077944384 1 13373 0 0 0 0 5 3 20 0 15 0 444457215 11084148736 20857 33554432000 4194304 4196468 140730350286032 139881455667728 139881552545493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8813] ppid=8753 vsize=10824364 memory=139657908203728 CPUtime=0.08 cores=0,2,4,6
/proc/8756/task/8813/stat : 8813 (java) S 8753 8756 5840 0 -1 1077944384 1 13373 0 0 0 0 5 3 20 0 15 0 444457215 11084148736 20857 33554432000 4194304 4196468 140730350286032 139881454614928 139881552545493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8814] ppid=8753 vsize=10824364 memory=139659451564649 CPUtime=0.08 cores=0,2,4,6
/proc/8756/task/8814/stat : 8814 (java) S 8753 8756 5840 0 -1 1077944384 2 13373 0 0 0 0 5 3 20 0 15 0 444457215 11084148736 20857 33554432000 4194304 4196468 140730350286032 139881453562128 139881552545493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8815] ppid=8753 vsize=10824364 memory=1060 CPUtime=0.08 cores=0,2,4,6
/proc/8756/task/8815/stat : 8815 (java) S 8753 8756 5840 0 -1 1077944384 5 13373 0 0 0 0 5 3 20 0 15 0 444457217 11084148736 20857 33554432000 4194304 4196468 140730350286032 139881011239792 139881552546434 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8816] ppid=8753 vsize=10824364 memory=7014751519667017297 CPUtime=0.08 cores=0,2,4,6
/proc/8756/task/8816/stat : 8816 (java) S 8753 8756 5840 0 -1 1077944384 13 13373 0 0 0 0 5 3 20 0 15 0 444457217 11084148736 20857 33554432000 4194304 4196468 140730350286032 139880910808608 139881552545493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8817] ppid=8753 vsize=10824364 memory=7452163620674753646 CPUtime=0.08 cores=0,2,4,6
/proc/8756/task/8817/stat : 8817 (java) S 8753 8756 5840 0 -1 1077944384 1 13373 0 0 0 0 5 3 20 0 15 0 444457217 11084148736 20857 33554432000 4194304 4196468 140730350286032 139880306828656 139881552545493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8818] ppid=8753 vsize=10824364 memory=14056 CPUtime=0.08 cores=0,2,4,6
/proc/8756/task/8818/stat : 8818 (java) S 8753 8756 5840 0 -1 1077944384 3 13373 0 0 0 0 5 3 20 0 15 0 444457220 11084148736 20857 33554432000 4194304 4196468 140730350286032 139880066537808 139881552553883 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8819] ppid=8753 vsize=10824364 memory=2116 CPUtime=0.2 cores=0,2,4,6
/proc/8756/task/8819/stat : 8819 (java) R 8753 8756 5840 0 -1 4202560 833 13373 0 0 12 0 5 3 20 0 15 0 444457220 11084148736 20857 33554432000 4194304 4196468 140730350286032 139881010186608 139881535946178 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8820] ppid=8753 vsize=10824364 memory=516 CPUtime=0.2 cores=0,2,4,6
/proc/8756/task/8820/stat : 8820 (java) R 8753 8756 5840 0 -1 4202560 577 13373 0 0 12 0 5 3 20 0 15 0 444457220 11084148736 20857 33554432000 4194304 4196468 140730350286032 139881009119776 139881536090512 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8821] ppid=8753 vsize=10824364 memory=1556 CPUtime=0.25 cores=0,2,4,6
/proc/8756/task/8821/stat : 8821 (java) R 8753 8756 5840 0 -1 4202560 857 13373 0 0 17 0 5 3 20 0 15 0 444457220 11084148736 20857 33554432000 4194304 4196468 140730350286032 139881008081008 139881552547222 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8822] ppid=8753 vsize=10824364 memory=928 CPUtime=0.08 cores=0,2,4,6
/proc/8756/task/8822/stat : 8822 (java) S 8753 8756 5840 0 -1 1077944384 3 13373 0 0 0 0 5 3 20 0 15 0 444457220 11084148736 20857 33554432000 4194304 4196468 140730350286032 139880032979168 139881552545493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8823] ppid=8753 vsize=10824364 memory=1772 CPUtime=0.08 cores=0,2,4,6
/proc/8756/task/8823/stat : 8823 (java) S 8753 8756 5840 0 -1 1077944384 1 13373 0 0 0 0 5 3 20 0 15 0 444457221 11084148736 20857 33554432000 4194304 4196468 140730350286032 139881007029424 139881552546434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 83428 KiB
[startup+1.50065 s]
/proc/loadavg: 1.20 1.36 1.36 3/227 8823
/proc/meminfo: memFree=29844420/32770624 swapFree=66939632/67108860
[pid=8756] ppid=8753 vsize=10834680 memory=171280 CPUtime=2.44 cores=0,2,4,6
/proc/8756/stat : 8756 (java) S 8753 8756 5840 0 -1 1077944320 21806 13373 0 0 225 11 5 3 20 0 15 0 444457205 11094712320 42820 33554432000 4194304 4196468 140730350286032 140730350268576 139881552535287 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
/proc/8756/statm: 2708670 42820 3579 1 0 2670733 0
[pid=8756/tid=8810] ppid=8753 vsize=10834680 memory=167576 CPUtime=1.44 cores=0,2,4,6
/proc/8756/task/8810/stat : 8810 (java) R 8753 8756 5840 0 -1 4202560 15421 13373 0 0 129 7 5 3 20 0 15 0 444457214 11094712320 42820 33554432000 4194304 4196468 140730350286032 139881524334384 139881537064997 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8811] ppid=8753 vsize=10834680 memory=2436 CPUtime=0.09 cores=0,2,4,6
/proc/8756/task/8811/stat : 8811 (java) S 8753 8756 5840 0 -1 1077944384 401 13373 0 0 1 0 5 3 20 0 15 0 444457215 11094712320 42820 33554432000 4194304 4196468 140730350286032 139881556777616 139881552545493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8812] ppid=8753 vsize=10834680 memory=1760 CPUtime=0.08 cores=0,2,4,6
/proc/8756/task/8812/stat : 8812 (java) S 8753 8756 5840 0 -1 1077944384 20 13373 0 0 0 0 5 3 20 0 15 0 444457215 11094712320 42820 33554432000 4194304 4196468 140730350286032 139881455667728 139881552545493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8813] ppid=8753 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/8756/task/8813/stat : 8813 (java) S 8753 8756 5840 0 -1 1077944384 51 13373 0 0 1 0 5 3 20 0 15 0 444457215 11094712320 42820 33554432000 4194304 4196468 140730350286032 139881454614928 139881552545493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8814] ppid=8753 vsize=10834680 memory=-7303279828959712342 CPUtime=0.09 cores=0,2,4,6
/proc/8756/task/8814/stat : 8814 (java) S 8753 8756 5840 0 -1 1077944384 75 13373 0 0 1 0 5 3 20 0 15 0 444457215 11094712320 42820 33554432000 4194304 4196468 140730350286032 139881453562128 139881552545493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8815] ppid=8753 vsize=10834680 memory=3833724587141655611 CPUtime=0.09 cores=0,2,4,6
/proc/8756/task/8815/stat : 8815 (java) S 8753 8756 5840 0 -1 1077944384 157 13373 0 0 1 0 5 3 20 0 15 0 444457217 11094712320 42820 33554432000 4194304 4196468 140730350286032 139881011239792 139881552546434 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8816] ppid=8753 vsize=10834680 memory=-6870368076204431200 CPUtime=0.08 cores=0,2,4,6
/proc/8756/task/8816/stat : 8816 (java) S 8753 8756 5840 0 -1 1077944384 14 13373 0 0 0 0 5 3 20 0 15 0 444457217 11094712320 42820 33554432000 4194304 4196468 140730350286032 139880910808672 139881552545493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8817] ppid=8753 vsize=10834680 memory=-6078294146213043397 CPUtime=0.08 cores=0,2,4,6
/proc/8756/task/8817/stat : 8817 (java) S 8753 8756 5840 0 -1 1077944384 1 13373 0 0 0 0 5 3 20 0 15 0 444457217 11094712320 42820 33554432000 4194304 4196468 140730350286032 139880306828656 139881552545493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8818] ppid=8753 vsize=10834680 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8756/task/8818/stat : 8818 (java) S 8753 8756 5840 0 -1 1077944384 3 13373 0 0 0 0 5 3 20 0 15 0 444457220 11094712320 42820 33554432000 4194304 4196468 140730350286032 139880066537808 139881552553883 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8819] ppid=8753 vsize=10834680 memory=0 CPUtime=0.32 cores=0,2,4,6
/proc/8756/task/8819/stat : 8819 (java) S 8753 8756 5840 0 -1 1077944384 1035 13373 0 0 24 0 5 3 20 0 15 0 444457220 11094712320 42820 33554432000 4194304 4196468 140730350286032 139881010186608 139881552546434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8820] ppid=8753 vsize=10834680 memory=4580 CPUtime=0.31 cores=0,2,4,6
/proc/8756/task/8820/stat : 8820 (java) S 8753 8756 5840 0 -1 1077944384 893 13373 0 0 23 0 5 3 20 0 15 0 444457220 11094712320 42820 33554432000 4194304 4196468 140730350286032 139881009133808 139881552546434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8821] ppid=8753 vsize=10834680 memory=6942128763749819474 CPUtime=0.48 cores=0,2,4,6
/proc/8756/task/8821/stat : 8821 (java) R 8753 8756 5840 0 -1 4202560 1522 13373 0 0 40 0 5 3 20 0 15 0 444457220 11094712320 42820 33554432000 4194304 4196468 140730350286032 139881008081008 139881531212353 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8822] ppid=8753 vsize=10834680 memory=6081078101079517009 CPUtime=0.08 cores=0,2,4,6
/proc/8756/task/8822/stat : 8822 (java) S 8753 8756 5840 0 -1 1077944384 3 13373 0 0 0 0 5 3 20 0 15 0 444457220 11094712320 42820 33554432000 4194304 4196468 140730350286032 139880032979168 139881552545493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8823] ppid=8753 vsize=10834680 memory=7516902878270219631 CPUtime=0.08 cores=0,2,4,6
/proc/8756/task/8823/stat : 8823 (java) S 8753 8756 5840 0 -1 1077944384 1 13373 0 0 0 0 5 3 20 0 15 0 444457221 11094712320 42820 33554432000 4194304 4196468 140730350286032 139881007029424 139881552546434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
Current children cumulated CPU time: 2.44 s
Current children cumulated vsize: 10834680 KiB
################
# More data... #
################
/proc/8756/task/8810/stat : 8810 (java) R 8753 8756 5840 0 -1 4202560 85308 13373 0 0 235325 64 5 3 20 0 15 0 444457214 11107315712 329034 33554432000 4194304 4196468 140730350286032 139881524369904 139881135800523 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8811] ppid=8753 vsize=10846988 memory=904 CPUtime=12.66 cores=0,2,4,6
/proc/8756/task/8811/stat : 8811 (java) S 8753 8756 5840 0 -1 1077944384 16274 13373 0 0 1192 66 5 3 20 0 15 0 444457215 11107315712 329034 33554432000 4194304 4196468 140730350286032 139881556777616 139881552545493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8812] ppid=8753 vsize=10846988 memory=1316136 CPUtime=12.61 cores=0,2,4,6
/proc/8756/task/8812/stat : 8812 (java) S 8753 8756 5840 0 -1 1077944384 21590 13373 0 0 1191 62 5 3 20 0 15 0 444457215 11107315712 329034 33554432000 4194304 4196468 140730350286032 139881455667728 139881552545493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8813] ppid=8753 vsize=10846988 memory=1316116 CPUtime=12.66 cores=0,2,4,6
/proc/8756/task/8813/stat : 8813 (java) S 8753 8756 5840 0 -1 1077944384 18007 13373 0 0 1201 57 5 3 20 0 15 0 444457215 11107315712 329034 33554432000 4194304 4196468 140730350286032 139881454614928 139881552545493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8814] ppid=8753 vsize=10846988 memory=1316136 CPUtime=12.63 cores=0,2,4,6
/proc/8756/task/8814/stat : 8814 (java) S 8753 8756 5840 0 -1 1077944384 18694 13373 0 0 1195 60 5 3 20 0 15 0 444457215 11107315712 329034 33554432000 4194304 4196468 140730350286032 139881453562128 139881552545493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8815] ppid=8753 vsize=10846988 memory=1316116 CPUtime=11.83 cores=0,2,4,6
/proc/8756/task/8815/stat : 8815 (java) S 8753 8756 5840 0 -1 1077944384 19970 13373 0 0 1117 58 5 3 20 0 15 0 444457217 11107315712 329034 33554432000 4194304 4196468 140730350286032 139881011239792 139881552546434 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8816] ppid=8753 vsize=10846988 memory=1316116 CPUtime=0.08 cores=0,2,4,6
/proc/8756/task/8816/stat : 8816 (java) S 8753 8756 5840 0 -1 1077944384 23 13373 0 0 0 0 5 3 20 0 15 0 444457217 11107315712 329034 33554432000 4194304 4196468 140730350286032 139880910808672 139881552545493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8817] ppid=8753 vsize=10846988 memory=1316136 CPUtime=0.08 cores=0,2,4,6
/proc/8756/task/8817/stat : 8817 (java) S 8753 8756 5840 0 -1 1077944384 1 13373 0 0 0 0 5 3 20 0 15 0 444457217 11107315712 329034 33554432000 4194304 4196468 140730350286032 139880306828672 139881552545493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8818] ppid=8753 vsize=10846988 memory=1316136 CPUtime=0.08 cores=0,2,4,6
/proc/8756/task/8818/stat : 8818 (java) S 8753 8756 5840 0 -1 1077944384 3 13373 0 0 0 0 5 3 20 0 15 0 444457220 11107315712 329034 33554432000 4194304 4196468 140730350286032 139880066537808 139881552553883 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8819] ppid=8753 vsize=10846988 memory=1316136 CPUtime=6.94 cores=0,2,4,6
/proc/8756/task/8819/stat : 8819 (java) S 8753 8756 5840 0 -1 1077944384 61951 13373 0 0 678 8 5 3 20 0 15 0 444457220 11107315712 329034 33554432000 4194304 4196468 140730350286032 139881010186608 139881552546434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8820] ppid=8753 vsize=10846988 memory=55 CPUtime=6.51 cores=0,2,4,6
/proc/8756/task/8820/stat : 8820 (java) S 8753 8756 5840 0 -1 1077944384 55779 13373 0 0 638 5 5 3 20 0 15 0 444457220 11107315712 329034 33554432000 4194304 4196468 140730350286032 139881009133808 139881552546434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8821] ppid=8753 vsize=10846988 memory=1316076 CPUtime=2.9 cores=0,2,4,6
/proc/8756/task/8821/stat : 8821 (java) S 8753 8756 5840 0 -1 1077944384 66236 13373 0 0 274 8 5 3 20 0 15 0 444457220 11107315712 329034 33554432000 4194304 4196468 140730350286032 139881008081008 139881552546434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8822] ppid=8753 vsize=10846988 memory=1772 CPUtime=0.08 cores=0,2,4,6
/proc/8756/task/8822/stat : 8822 (java) S 8753 8756 5840 0 -1 1077944384 3 13373 0 0 0 0 5 3 20 0 15 0 444457220 11107315712 329034 33554432000 4194304 4196468 140730350286032 139880032979168 139881552545493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8823] ppid=8753 vsize=10846988 memory=516 CPUtime=1.66 cores=0,2,4,6
/proc/8756/task/8823/stat : 8823 (java) S 8753 8756 5840 0 -1 1077944384 2305 13373 0 0 77 81 5 3 20 0 15 0 444457221 11107315712 329034 33554432000 4194304 4196468 140730350286032 139881007029424 139881552546434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
Current children cumulated CPU time: 2433.76 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1316136 KiB
[startup+2442.3 s]
/proc/loadavg: 1.48 1.40 1.40 3/227 9201
/proc/meminfo: memFree=29206716/32770624 swapFree=66939648/67108860
[pid=8756] ppid=8753 vsize=10846988 memory=1318288 CPUtime=2494.78 cores=0,2,4,6
/proc/8756/stat : 8756 (java) S 8753 8756 5840 0 -1 1077944320 371403 13373 0 0 249068 402 5 3 20 0 15 0 444457205 11107315712 329572 33554432000 4194304 4196468 140730350286032 140730350268576 139881552535287 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
/proc/8756/statm: 2711747 329572 3637 1 0 2673805 0
[pid=8756/tid=8810] ppid=8753 vsize=10846988 memory=1318288 CPUtime=2413.27 cores=0,2,4,6
/proc/8756/task/8810/stat : 8810 (java) R 8753 8756 5840 0 -1 4202560 86544 13373 0 0 241254 65 5 3 20 0 15 0 444457214 11107315712 329572 33554432000 4194304 4196468 140730350286032 139881524369680 139881142934755 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8811] ppid=8753 vsize=10846988 memory=1318288 CPUtime=12.99 cores=0,2,4,6
/proc/8756/task/8811/stat : 8811 (java) S 8753 8756 5840 0 -1 1077944384 16702 13373 0 0 1224 67 5 3 20 0 15 0 444457215 11107315712 329572 33554432000 4194304 4196468 140730350286032 139881556777616 139881552545493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8812] ppid=8753 vsize=10846988 memory=1318252 CPUtime=12.94 cores=0,2,4,6
/proc/8756/task/8812/stat : 8812 (java) S 8753 8756 5840 0 -1 1077944384 21693 13373 0 0 1223 63 5 3 20 0 15 0 444457215 11107315712 329572 33554432000 4194304 4196468 140730350286032 139881455667728 139881552545493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8813] ppid=8753 vsize=10846988 memory=1318288 CPUtime=12.99 cores=0,2,4,6
/proc/8756/task/8813/stat : 8813 (java) S 8753 8756 5840 0 -1 1077944384 18033 13373 0 0 1232 59 5 3 20 0 15 0 444457215 11107315712 329572 33554432000 4194304 4196468 140730350286032 139881454614928 139881552545493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8814] ppid=8753 vsize=10846988 memory=1318288 CPUtime=12.96 cores=0,2,4,6
/proc/8756/task/8814/stat : 8814 (java) S 8753 8756 5840 0 -1 1077944384 18794 13373 0 0 1227 61 5 3 20 0 15 0 444457215 11107315712 329572 33554432000 4194304 4196468 140730350286032 139881453562128 139881552545493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8815] ppid=8753 vsize=10846988 memory=1318288 CPUtime=12.14 cores=0,2,4,6
/proc/8756/task/8815/stat : 8815 (java) S 8753 8756 5840 0 -1 1077944384 20207 13373 0 0 1147 59 5 3 20 0 15 0 444457217 11107315712 329572 33554432000 4194304 4196468 140730350286032 139881011239792 139881552546434 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8816] ppid=8753 vsize=10846988 memory=1318252 CPUtime=0.08 cores=0,2,4,6
/proc/8756/task/8816/stat : 8816 (java) S 8753 8756 5840 0 -1 1077944384 23 13373 0 0 0 0 5 3 20 0 15 0 444457217 11107315712 329572 33554432000 4194304 4196468 140730350286032 139880910808672 139881552545493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8817] ppid=8753 vsize=10846988 memory=1318288 CPUtime=0.08 cores=0,2,4,6
/proc/8756/task/8817/stat : 8817 (java) S 8753 8756 5840 0 -1 1077944384 1 13373 0 0 0 0 5 3 20 0 15 0 444457217 11107315712 329572 33554432000 4194304 4196468 140730350286032 139880306828672 139881552545493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8818] ppid=8753 vsize=10846988 memory=1318252 CPUtime=0.08 cores=0,2,4,6
/proc/8756/task/8818/stat : 8818 (java) S 8753 8756 5840 0 -1 1077944384 3 13373 0 0 0 0 5 3 20 0 15 0 444457220 11107315712 329572 33554432000 4194304 4196468 140730350286032 139880066537808 139881552553883 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8819] ppid=8753 vsize=10846988 memory=15204 CPUtime=6.96 cores=0,2,4,6
/proc/8756/task/8819/stat : 8819 (java) S 8753 8756 5840 0 -1 1077944384 62480 13373 0 0 680 8 5 3 20 0 15 0 444457220 11107315712 329572 33554432000 4194304 4196468 140730350286032 139881010186608 139881552546434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8820] ppid=8753 vsize=10846988 memory=14056 CPUtime=6.51 cores=0,2,4,6
/proc/8756/task/8820/stat : 8820 (java) S 8753 8756 5840 0 -1 1077944384 55867 13373 0 0 638 5 5 3 20 0 15 0 444457220 11107315712 329572 33554432000 4194304 4196468 140730350286032 139881009133808 139881552546434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8821] ppid=8753 vsize=10846988 memory=1318288 CPUtime=2.91 cores=0,2,4,6
/proc/8756/task/8821/stat : 8821 (java) S 8753 8756 5840 0 -1 1077944384 66515 13373 0 0 275 8 5 3 20 0 15 0 444457220 11107315712 329572 33554432000 4194304 4196468 140730350286032 139881008081008 139881552546434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8822] ppid=8753 vsize=10846988 memory=1318288 CPUtime=0.08 cores=0,2,4,6
/proc/8756/task/8822/stat : 8822 (java) S 8753 8756 5840 0 -1 1077944384 3 13373 0 0 0 0 5 3 20 0 15 0 444457220 11107315712 329572 33554432000 4194304 4196468 140730350286032 139880032979168 139881552545493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8823] ppid=8753 vsize=10846988 memory=0 CPUtime=1.69 cores=0,2,4,6
/proc/8756/task/8823/stat : 8823 (java) S 8753 8756 5840 0 -1 1077944384 2329 13373 0 0 79 82 5 3 20 0 15 0 444457221 11107315712 329572 33554432000 4194304 4196468 140730350286032 139881007029424 139881552546434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
Current children cumulated CPU time: 2494.78 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1318288 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2467.11 s]
/proc/loadavg: 1.23 1.35 1.38 3/227 9201
/proc/meminfo: memFree=29206684/32770624 swapFree=66939648/67108860
[pid=8756] ppid=8753 vsize=10846988 memory=1318320 CPUtime=2520 cores=0,2,4,6
/proc/8756/stat : 8756 (java) S 8753 8756 5840 0 -1 1077944320 372160 13373 0 0 251586 406 5 3 20 0 15 0 444457205 11107315712 329580 33554432000 4194304 4196468 140730350286032 140730350268576 139881552535287 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
/proc/8756/statm: 2711747 329580 3637 1 0 2673805 0
[pid=8756/tid=8810] ppid=8753 vsize=10846988 memory=1318320 CPUtime=2437.79 cores=0,2,4,6
/proc/8756/task/8810/stat : 8810 (java) R 8753 8756 5840 0 -1 4202560 87003 13373 0 0 243705 66 5 3 20 0 15 0 444457214 11107315712 329580 33554432000 4194304 4196468 140730350286032 139881524370048 139881142936824 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8811] ppid=8753 vsize=10846988 memory=1318252 CPUtime=13.13 cores=0,2,4,6
/proc/8756/task/8811/stat : 8811 (java) S 8753 8756 5840 0 -1 1077944384 16711 13373 0 0 1237 68 5 3 20 0 15 0 444457215 11107315712 329580 33554432000 4194304 4196468 140730350286032 139881556777616 139881552545493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8812] ppid=8753 vsize=10846988 memory=1318320 CPUtime=13.09 cores=0,2,4,6
/proc/8756/task/8812/stat : 8812 (java) S 8753 8756 5840 0 -1 1077944384 21722 13373 0 0 1237 64 5 3 20 0 15 0 444457215 11107315712 329580 33554432000 4194304 4196468 140730350286032 139881455667728 139881552545493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8813] ppid=8753 vsize=10846988 memory=1318320 CPUtime=13.14 cores=0,2,4,6
/proc/8756/task/8813/stat : 8813 (java) S 8753 8756 5840 0 -1 1077944384 18075 13373 0 0 1246 60 5 3 20 0 15 0 444457215 11107315712 329580 33554432000 4194304 4196468 140730350286032 139881454614928 139881552545493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8814] ppid=8753 vsize=10846988 memory=1318320 CPUtime=13.1 cores=0,2,4,6
/proc/8756/task/8814/stat : 8814 (java) S 8753 8756 5840 0 -1 1077944384 18821 13373 0 0 1240 62 5 3 20 0 15 0 444457215 11107315712 329580 33554432000 4194304 4196468 140730350286032 139881453562128 139881552545493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8815] ppid=8753 vsize=10846988 memory=1318320 CPUtime=12.26 cores=0,2,4,6
/proc/8756/task/8815/stat : 8815 (java) S 8753 8756 5840 0 -1 1077944384 20384 13373 0 0 1159 59 5 3 20 0 15 0 444457217 11107315712 329580 33554432000 4194304 4196468 140730350286032 139881011239792 139881552546434 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8816] ppid=8753 vsize=10846988 memory=68 CPUtime=0.08 cores=0,2,4,6
/proc/8756/task/8816/stat : 8816 (java) S 8753 8756 5840 0 -1 1077944384 23 13373 0 0 0 0 5 3 20 0 15 0 444457217 11107315712 329580 33554432000 4194304 4196468 140730350286032 139880910808672 139881552545493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8817] ppid=8753 vsize=10846988 memory=163 CPUtime=0.08 cores=0,2,4,6
/proc/8756/task/8817/stat : 8817 (java) S 8753 8756 5840 0 -1 1077944384 1 13373 0 0 0 0 5 3 20 0 15 0 444457217 11107315712 329580 33554432000 4194304 4196468 140730350286032 139880306828672 139881552545493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8818] ppid=8753 vsize=10846988 memory=1318320 CPUtime=0.08 cores=0,2,4,6
/proc/8756/task/8818/stat : 8818 (java) S 8753 8756 5840 0 -1 1077944384 3 13373 0 0 0 0 5 3 20 0 15 0 444457220 11107315712 329580 33554432000 4194304 4196468 140730350286032 139880066537808 139881552553883 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8819] ppid=8753 vsize=10846988 memory=8112282956445269571 CPUtime=6.96 cores=0,2,4,6
/proc/8756/task/8819/stat : 8819 (java) S 8753 8756 5840 0 -1 1077944384 62480 13373 0 0 680 8 5 3 20 0 15 0 444457220 11107315712 329580 33554432000 4194304 4196468 140730350286032 139881010186608 139881552546434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8820] ppid=8753 vsize=10846988 memory=1318320 CPUtime=6.52 cores=0,2,4,6
/proc/8756/task/8820/stat : 8820 (java) S 8753 8756 5840 0 -1 1077944384 55867 13373 0 0 639 5 5 3 20 0 15 0 444457220 11107315712 329580 33554432000 4194304 4196468 140730350286032 139881009133808 139881552546434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8821] ppid=8753 vsize=10846988 memory=15204 CPUtime=2.91 cores=0,2,4,6
/proc/8756/task/8821/stat : 8821 (java) S 8753 8756 5840 0 -1 1077944384 66515 13373 0 0 275 8 5 3 20 0 15 0 444457220 11107315712 329580 33554432000 4194304 4196468 140730350286032 139881008081008 139881552546434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8822] ppid=8753 vsize=10846988 memory=1318320 CPUtime=0.08 cores=0,2,4,6
/proc/8756/task/8822/stat : 8822 (java) S 8753 8756 5840 0 -1 1077944384 3 13373 0 0 0 0 5 3 20 0 15 0 444457220 11107315712 329580 33554432000 4194304 4196468 140730350286032 139880032979168 139881552545493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8823] ppid=8753 vsize=10846988 memory=34764 CPUtime=1.71 cores=0,2,4,6
/proc/8756/task/8823/stat : 8823 (java) S 8753 8756 5840 0 -1 1077944384 2343 13373 0 0 80 83 5 3 20 0 15 0 444457221 11107315712 329580 33554432000 4194304 4196468 140730350286032 139881007029424 139881552546434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1318320 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2467.14 s]
# the end of solver process 8756 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.94 s, system=4.10628 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2467.11 s]
/proc/loadavg: 1.23 1.35 1.38 3/227 9201
/proc/meminfo: memFree=29206684/32770624 swapFree=66939648/67108860
[pid=8756] ppid=8753 vsize=10846988 memory=1318320 CPUtime=2520 cores=0,2,4,6
/proc/8756/stat : 8756 (java) S 8753 8756 5840 0 -1 1077944320 372160 13373 0 0 251586 406 5 3 20 0 15 0 444457205 11107315712 329580 33554432000 4194304 4196468 140730350286032 140730350268576 139881552535287 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
/proc/8756/statm: 2711747 329580 3637 1 0 2673805 0
[pid=8756/tid=8810] ppid=8753 vsize=10846988 memory=1318320 CPUtime=2437.79 cores=0,2,4,6
/proc/8756/task/8810/stat : 8810 (java) R 8753 8756 5840 0 -1 4202560 87003 13373 0 0 243705 66 5 3 20 0 15 0 444457214 11107315712 329580 33554432000 4194304 4196468 140730350286032 139881524370048 139881142936824 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8811] ppid=8753 vsize=10846988 memory=1318252 CPUtime=13.13 cores=0,2,4,6
/proc/8756/task/8811/stat : 8811 (java) S 8753 8756 5840 0 -1 1077944384 16711 13373 0 0 1237 68 5 3 20 0 15 0 444457215 11107315712 329580 33554432000 4194304 4196468 140730350286032 139881556777616 139881552545493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8812] ppid=8753 vsize=10846988 memory=1318320 CPUtime=13.09 cores=0,2,4,6
/proc/8756/task/8812/stat : 8812 (java) S 8753 8756 5840 0 -1 1077944384 21722 13373 0 0 1237 64 5 3 20 0 15 0 444457215 11107315712 329580 33554432000 4194304 4196468 140730350286032 139881455667728 139881552545493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8813] ppid=8753 vsize=10846988 memory=1318320 CPUtime=13.14 cores=0,2,4,6
/proc/8756/task/8813/stat : 8813 (java) S 8753 8756 5840 0 -1 1077944384 18075 13373 0 0 1246 60 5 3 20 0 15 0 444457215 11107315712 329580 33554432000 4194304 4196468 140730350286032 139881454614928 139881552545493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8814] ppid=8753 vsize=10846988 memory=1318320 CPUtime=13.1 cores=0,2,4,6
/proc/8756/task/8814/stat : 8814 (java) S 8753 8756 5840 0 -1 1077944384 18821 13373 0 0 1240 62 5 3 20 0 15 0 444457215 11107315712 329580 33554432000 4194304 4196468 140730350286032 139881453562128 139881552545493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8815] ppid=8753 vsize=10846988 memory=1318320 CPUtime=12.26 cores=0,2,4,6
/proc/8756/task/8815/stat : 8815 (java) S 8753 8756 5840 0 -1 1077944384 20384 13373 0 0 1159 59 5 3 20 0 15 0 444457217 11107315712 329580 33554432000 4194304 4196468 140730350286032 139881011239792 139881552546434 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8816] ppid=8753 vsize=10846988 memory=68 CPUtime=0.08 cores=0,2,4,6
/proc/8756/task/8816/stat : 8816 (java) S 8753 8756 5840 0 -1 1077944384 23 13373 0 0 0 0 5 3 20 0 15 0 444457217 11107315712 329580 33554432000 4194304 4196468 140730350286032 139880910808672 139881552545493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8817] ppid=8753 vsize=10846988 memory=163 CPUtime=0.08 cores=0,2,4,6
/proc/8756/task/8817/stat : 8817 (java) S 8753 8756 5840 0 -1 1077944384 1 13373 0 0 0 0 5 3 20 0 15 0 444457217 11107315712 329580 33554432000 4194304 4196468 140730350286032 139880306828672 139881552545493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8818] ppid=8753 vsize=10846988 memory=1318320 CPUtime=0.08 cores=0,2,4,6
/proc/8756/task/8818/stat : 8818 (java) S 8753 8756 5840 0 -1 1077944384 3 13373 0 0 0 0 5 3 20 0 15 0 444457220 11107315712 329580 33554432000 4194304 4196468 140730350286032 139880066537808 139881552553883 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8819] ppid=8753 vsize=10846988 memory=8112282956445269571 CPUtime=6.96 cores=0,2,4,6
/proc/8756/task/8819/stat : 8819 (java) S 8753 8756 5840 0 -1 1077944384 62480 13373 0 0 680 8 5 3 20 0 15 0 444457220 11107315712 329580 33554432000 4194304 4196468 140730350286032 139881010186608 139881552546434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8820] ppid=8753 vsize=10846988 memory=1318320 CPUtime=6.52 cores=0,2,4,6
/proc/8756/task/8820/stat : 8820 (java) S 8753 8756 5840 0 -1 1077944384 55867 13373 0 0 639 5 5 3 20 0 15 0 444457220 11107315712 329580 33554432000 4194304 4196468 140730350286032 139881009133808 139881552546434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8821] ppid=8753 vsize=10846988 memory=15204 CPUtime=2.91 cores=0,2,4,6
/proc/8756/task/8821/stat : 8821 (java) S 8753 8756 5840 0 -1 1077944384 66515 13373 0 0 275 8 5 3 20 0 15 0 444457220 11107315712 329580 33554432000 4194304 4196468 140730350286032 139881008081008 139881552546434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8822] ppid=8753 vsize=10846988 memory=1318320 CPUtime=0.08 cores=0,2,4,6
/proc/8756/task/8822/stat : 8822 (java) S 8753 8756 5840 0 -1 1077944384 3 13373 0 0 0 0 5 3 20 0 15 0 444457220 11107315712 329580 33554432000 4194304 4196468 140730350286032 139880032979168 139881552545493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
[pid=8756/tid=8823] ppid=8753 vsize=10846988 memory=34764 CPUtime=1.71 cores=0,2,4,6
/proc/8756/task/8823/stat : 8823 (java) S 8753 8756 5840 0 -1 1077944384 2343 13373 0 0 80 83 5 3 20 0 15 0 444457221 11107315712 329580 33554432000 4194304 4196468 140730350286032 139881007029424 139881552546434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24109056 140730350287599 140730350290117 140730350290117 140730350292943 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1318320 KiB
Child status: 143
Real time (s): 2467.14
CPU time (s): 2520.05
CPU user time (s): 2515.94
CPU system time (s): 4.10628
CPU usage (%): 102.144
Max. virtual memory (cumulated for all children) (KiB): 10849656
Max. memory (cumulated for all children) (KiB): 1318320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.94
system time used= 4.10628
maximum resident set size= 1322548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 386497
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 319536
involuntary context switches= 13484
# summary of solver processes directly reported to runsolver:
# pid: 8756
# total CPU time (s): 2520.05
# total CPU user time (s): 2515.94
# total CPU system time (s): 4.10628
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.5302 second user time and 23.549 second system time
The end