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 (15359 MiB free)
memory of node 1: 16384 MiB (7618 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263241-1502631543/watcher-4263241-1502631543 -o /tmp/evaluation-result-4263241-1502631543/solver-4263241-1502631543 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node112-1502619513-3998 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263241-1502631543.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=6607, runsolver pid=6604
Current StackSize limit: 8192 KiB
[startup+0.100874 s]*
/proc/loadavg: 3.09 4.28 3.77 4/217 6622
/proc/meminfo: memFree=23511576/32770624 swapFree=67108860/67108860
[pid=6607] ppid=6604 vsize=10555400 memory=29932 CPUtime=0.13 cores=0,2,4,6
/proc/6607/stat : 6607 (java) S 6604 6607 1335 0 -1 1077944320 6551 0 0 0 12 1 0 0 20 0 15 0 96242118 10808729600 7483 33554432000 4194304 4196468 140722429399008 140722429381552 140192708288247 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
/proc/6607/statm: 2638850 7483 2819 1 0 2627263 0
[pid=6607/tid=6609] ppid=6604 vsize=10555400 memory=-8774005365546193501 CPUtime=0.09 cores=0,2,4,6
/proc/6607/task/6609/stat : 6609 (java) R 6604 6607 1335 0 -1 4202560 4391 0 0 0 9 0 0 0 20 0 15 0 96242119 10808729600 7483 33554432000 4194304 4196468 140722429399008 140192712512144 140192708310173 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6610] ppid=6604 vsize=10555400 memory=5793855006617508281 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6610/stat : 6610 (java) S 6604 6607 1335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96242119 10808729600 7483 33554432000 4194304 4196468 140722429399008 140192634362128 140192708298453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6611] ppid=6604 vsize=10555400 memory=139755607615104 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6611/stat : 6611 (java) S 6604 6607 1335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96242119 10808729600 7483 33554432000 4194304 4196468 140722429399008 140192633309584 140192708298453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6612] ppid=6604 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6612/stat : 6612 (java) S 6604 6607 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96242119 10808729600 7483 33554432000 4194304 4196468 140722429399008 140192312715792 140192708298453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6613] ppid=6604 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6613/stat : 6613 (java) S 6604 6607 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96242120 10808729600 7483 33554432000 4194304 4196468 140722429399008 140192311663248 140192708298453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6614] ppid=6604 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6614/stat : 6614 (java) S 6604 6607 1335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96242121 10808729600 7483 33554432000 4194304 4196468 140722429399008 140192200272368 140192708299394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6615] ppid=6604 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6615/stat : 6615 (java) S 6604 6607 1335 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96242121 10808729600 7483 33554432000 4194304 4196468 140722429399008 140192199218592 140192708298453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6616] ppid=6604 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6616/stat : 6616 (java) S 6604 6607 1335 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96242121 10808729600 7483 33554432000 4194304 4196468 140722429399008 140192198166000 140192708298453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6617] ppid=6604 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6617/stat : 6617 (java) S 6604 6607 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96242124 10808729600 7483 33554432000 4194304 4196468 140722429399008 140192197114576 140192708306843 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6618] ppid=6604 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6618/stat : 6618 (java) S 6604 6607 1335 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 15 0 96242124 10808729600 7483 33554432000 4194304 4196468 140722429399008 140192196061168 140192708299394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6619] ppid=6604 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6619/stat : 6619 (java) S 6604 6607 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96242124 10808729600 7483 33554432000 4194304 4196468 140722429399008 140192195008624 140192708299394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6620] ppid=6604 vsize=10555400 memory=139755607615104 CPUtime=0.02 cores=0,2,4,6
/proc/6607/task/6620/stat : 6620 (java) S 6604 6607 1335 0 -1 1077944384 370 0 0 0 2 0 0 0 20 0 15 0 96242124 10808729600 7483 33554432000 4194304 4196468 140722429399008 140192193956080 140192708299394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6621] ppid=6604 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6621/stat : 6621 (java) S 6604 6607 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96242124 10808729600 7483 33554432000 4194304 4196468 140722429399008 140192192903776 140192708298453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6622] ppid=6604 vsize=10555400 memory=139755607615104 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6622/stat : 6622 (java) S 6604 6607 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96242124 10808729600 7483 33554432000 4194304 4196468 140722429399008 140192191851312 140192708299394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 29932 KiB
[startup+0.214435 s]*
/proc/loadavg: 3.09 4.28 3.77 5/217 6622
/proc/meminfo: memFree=23502228/32770624 swapFree=67108860/67108860
[pid=6607] ppid=6604 vsize=10555400 memory=39860 CPUtime=0.34 cores=0,2,4,6
/proc/6607/stat : 6607 (java) S 6604 6607 1335 0 -1 1077944320 8096 0 0 0 32 2 0 0 20 0 15 0 96242118 10808729600 9965 33554432000 4194304 4196468 140722429399008 140722429381552 140192708288247 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
/proc/6607/statm: 2638850 9965 2962 1 0 2627263 0
[pid=6607/tid=6609] ppid=6604 vsize=10555400 memory=-3103912127665269909 CPUtime=0.2 cores=0,2,4,6
/proc/6607/task/6609/stat : 6609 (java) R 6604 6607 1335 0 -1 4202560 5086 0 0 0 19 1 0 0 20 0 15 0 96242119 10808729600 9965 33554432000 4194304 4196468 140722429399008 140192712523600 140192692368734 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6610] ppid=6604 vsize=10555400 memory=4211973481812405642 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6610/stat : 6610 (java) S 6604 6607 1335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96242119 10808729600 9965 33554432000 4194304 4196468 140722429399008 140192634362128 140192708298453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6611] ppid=6604 vsize=10555400 memory=139755607615104 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6611/stat : 6611 (java) S 6604 6607 1335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96242119 10808729600 9965 33554432000 4194304 4196468 140722429399008 140192633309584 140192708298453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6612] ppid=6604 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6612/stat : 6612 (java) S 6604 6607 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96242119 10808729600 9965 33554432000 4194304 4196468 140722429399008 140192312715792 140192708298453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6613] ppid=6604 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6613/stat : 6613 (java) S 6604 6607 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96242120 10808729600 9965 33554432000 4194304 4196468 140722429399008 140192311663248 140192708298453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6614] ppid=6604 vsize=10555400 memory=139755607615104 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6614/stat : 6614 (java) S 6604 6607 1335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96242121 10808729600 9965 33554432000 4194304 4196468 140722429399008 140192200272368 140192708299394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6615] ppid=6604 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6615/stat : 6615 (java) S 6604 6607 1335 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96242121 10808729600 9965 33554432000 4194304 4196468 140722429399008 140192199218592 140192708298453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6616] ppid=6604 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6616/stat : 6616 (java) S 6604 6607 1335 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96242121 10808729600 9965 33554432000 4194304 4196468 140722429399008 140192198166000 140192708298453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6617] ppid=6604 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6617/stat : 6617 (java) S 6604 6607 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96242124 10808729600 9965 33554432000 4194304 4196468 140722429399008 140192197114576 140192708306843 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6618] ppid=6604 vsize=10555400 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/6607/task/6618/stat : 6618 (java) S 6604 6607 1335 0 -1 1077944384 608 0 0 0 2 0 0 0 20 0 15 0 96242124 10808729600 9965 33554432000 4194304 4196468 140722429399008 140192196061168 140192708299394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6619] ppid=6604 vsize=10555400 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/6607/task/6619/stat : 6619 (java) S 6604 6607 1335 0 -1 1077944384 176 0 0 0 2 0 0 0 20 0 15 0 96242124 10808729600 9965 33554432000 4194304 4196468 140722429399008 140192195008624 140192708299394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6620] ppid=6604 vsize=10555400 memory=139755607615104 CPUtime=0.07 cores=0,2,4,6
/proc/6607/task/6620/stat : 6620 (java) R 6604 6607 1335 0 -1 4202560 880 0 0 0 7 0 0 0 20 0 15 0 96242124 10808729600 9965 33554432000 4194304 4196468 140722429399008 140192193950616 140192700623936 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6621] ppid=6604 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6621/stat : 6621 (java) S 6604 6607 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96242124 10808729600 9965 33554432000 4194304 4196468 140722429399008 140192192903776 140192708298453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6622] ppid=6604 vsize=10555400 memory=139755607615104 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6622/stat : 6622 (java) S 6604 6607 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96242124 10808729600 9965 33554432000 4194304 4196468 140722429399008 140192191851312 140192708299394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 39860 KiB
[startup+0.31061 s]*
/proc/loadavg: 3.09 4.28 3.77 4/217 6622
/proc/meminfo: memFree=23495404/32770624 swapFree=67108860/67108860
[pid=6607] ppid=6604 vsize=10555476 memory=46684 CPUtime=0.52 cores=0,2,4,6
/proc/6607/stat : 6607 (java) S 6604 6607 1335 0 -1 1077944320 8721 0 0 0 50 2 0 0 20 0 15 0 96242118 10808807424 11671 33554432000 4194304 4196468 140722429399008 140722429381552 140192708288247 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
/proc/6607/statm: 2638869 11671 3035 1 0 2627263 0
[pid=6607/tid=6609] ppid=6604 vsize=10555476 memory=7377246124687064083 CPUtime=0.3 cores=0,2,4,6
/proc/6607/task/6609/stat : 6609 (java) R 6604 6607 1335 0 -1 4202560 5526 0 0 0 29 1 0 0 20 0 15 0 96242119 10808807424 11671 33554432000 4194304 4196468 140722429399008 140192712523792 140192312863197 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6610] ppid=6604 vsize=10555476 memory=4211973481812405642 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6610/stat : 6610 (java) S 6604 6607 1335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96242119 10808807424 11671 33554432000 4194304 4196468 140722429399008 140192634362128 140192708298453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6611] ppid=6604 vsize=10555476 memory=139755607617276 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6611/stat : 6611 (java) S 6604 6607 1335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96242119 10808807424 11671 33554432000 4194304 4196468 140722429399008 140192633309584 140192708298453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6612] ppid=6604 vsize=10555476 memory=139755484459811 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6612/stat : 6612 (java) S 6604 6607 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96242119 10808807424 11671 33554432000 4194304 4196468 140722429399008 140192312715792 140192708298453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6613] ppid=6604 vsize=10555476 memory=139755484466639 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6613/stat : 6613 (java) S 6604 6607 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96242120 10808807424 11671 33554432000 4194304 4196468 140722429399008 140192311663248 140192708298453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6614] ppid=6604 vsize=10555476 memory=139755607617456 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6614/stat : 6614 (java) S 6604 6607 1335 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 96242121 10808807424 11671 33554432000 4194304 4196468 140722429399008 140192200272368 140192708299394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6615] ppid=6604 vsize=10555476 memory=139755484475823 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6615/stat : 6615 (java) S 6604 6607 1335 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96242121 10808807424 11671 33554432000 4194304 4196468 140722429399008 140192199218592 140192708298453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6616] ppid=6604 vsize=10555476 memory=279510968942480 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6616/stat : 6616 (java) S 6604 6607 1335 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96242121 10808807424 11671 33554432000 4194304 4196468 140722429399008 140192198166000 140192708298453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6617] ppid=6604 vsize=10555476 memory=279510968940176 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6617/stat : 6617 (java) S 6604 6607 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96242124 10808807424 11671 33554432000 4194304 4196468 140722429399008 140192197114576 140192708306843 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6618] ppid=6604 vsize=10555476 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/6607/task/6618/stat : 6618 (java) S 6604 6607 1335 0 -1 1077944384 624 0 0 0 4 0 0 0 20 0 15 0 96242124 10808807424 11671 33554432000 4194304 4196468 140722429399008 140192196061168 140192708299394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6619] ppid=6604 vsize=10555476 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/6607/task/6619/stat : 6619 (java) S 6604 6607 1335 0 -1 1077944384 244 0 0 0 4 0 0 0 20 0 15 0 96242124 10808807424 11671 33554432000 4194304 4196468 140722429399008 140192195008624 140192708299394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6620] ppid=6604 vsize=10555476 memory=139755607615104 CPUtime=0.13 cores=0,2,4,6
/proc/6607/task/6620/stat : 6620 (java) R 6604 6607 1335 0 -1 4202560 962 0 0 0 13 0 0 0 20 0 15 0 96242124 10808807424 11671 33554432000 4194304 4196468 140722429399008 140192193956080 140192708309594 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6621] ppid=6604 vsize=10555476 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6621/stat : 6621 (java) S 6604 6607 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96242124 10808807424 11671 33554432000 4194304 4196468 140722429399008 140192192903776 140192708298453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6622] ppid=6604 vsize=10555476 memory=139755607615104 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6622/stat : 6622 (java) S 6604 6607 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96242124 10808807424 11671 33554432000 4194304 4196468 140722429399008 140192191851312 140192708299394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 46684 KiB
[startup+0.706963 s]
/proc/loadavg: 3.09 4.28 3.77 8/217 6622
/proc/meminfo: memFree=23480576/32770624 swapFree=67108860/67108860
[pid=6607] ppid=6604 vsize=10555476 memory=129688 CPUtime=1.74 cores=0,2,4,6
/proc/6607/stat : 6607 (java) S 6604 6607 1335 0 -1 1077944320 11860 0 0 0 169 5 0 0 20 0 15 0 96242118 10808807424 32422 33554432000 4194304 4196468 140722429399008 140722429381552 140192708288247 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
/proc/6607/statm: 2638869 32422 3090 1 0 2627263 0
[pid=6607/tid=6609] ppid=6604 vsize=10555476 memory=8536 CPUtime=0.67 cores=0,2,4,6
/proc/6607/task/6609/stat : 6609 (java) R 6604 6607 1335 0 -1 4202560 5995 0 0 0 64 3 0 0 20 0 15 0 96242119 10808807424 32422 33554432000 4194304 4196468 140722429399008 140192712519216 140192689127548 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6610] ppid=6604 vsize=10555476 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6610/stat : 6610 (java) S 6604 6607 1335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96242119 10808807424 32422 33554432000 4194304 4196468 140722429399008 140192634362128 140192708298453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6611] ppid=6604 vsize=10555476 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6611/stat : 6611 (java) S 6604 6607 1335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96242119 10808807424 32422 33554432000 4194304 4196468 140722429399008 140192633309584 140192708298453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6612] ppid=6604 vsize=10555476 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6612/stat : 6612 (java) S 6604 6607 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96242119 10808807424 32422 33554432000 4194304 4196468 140722429399008 140192312715792 140192708298453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6613] ppid=6604 vsize=10555476 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6613/stat : 6613 (java) S 6604 6607 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96242120 10808807424 32422 33554432000 4194304 4196468 140722429399008 140192311663248 140192708298453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6614] ppid=6604 vsize=10555476 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6614/stat : 6614 (java) S 6604 6607 1335 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 96242121 10808807424 32422 33554432000 4194304 4196468 140722429399008 140192200272368 140192708299394 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6615] ppid=6604 vsize=10555476 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6615/stat : 6615 (java) S 6604 6607 1335 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96242121 10808807424 32488 33554432000 4194304 4196468 140722429399008 140192199218592 140192708298453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6616] ppid=6604 vsize=10555476 memory=15872 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6616/stat : 6616 (java) S 6604 6607 1335 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96242121 10808807424 32488 33554432000 4194304 4196468 140722429399008 140192198166000 140192708298453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6617] ppid=6604 vsize=10555476 memory=20036 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6617/stat : 6617 (java) S 6604 6607 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96242124 10808807424 32488 33554432000 4194304 4196468 140722429399008 140192197114576 140192708306843 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6618] ppid=6604 vsize=10555476 memory=1436 CPUtime=0.34 cores=0,2,4,6
/proc/6607/task/6618/stat : 6618 (java) R 6604 6607 1335 0 -1 4202560 1734 0 0 0 34 0 0 0 20 0 15 0 96242124 10808807424 32488 33554432000 4194304 4196468 140722429399008 140192196050720 140192700577696 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6619] ppid=6604 vsize=10555476 memory=1200 CPUtime=0.36 cores=0,2,4,6
/proc/6607/task/6619/stat : 6619 (java) R 6604 6607 1335 0 -1 4202560 1254 0 0 0 36 0 0 0 20 0 15 0 96242124 10808807424 32488 33554432000 4194304 4196468 140722429399008 140192194994088 140192693179161 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6620] ppid=6604 vsize=10555476 memory=15872 CPUtime=0.33 cores=0,2,4,6
/proc/6607/task/6620/stat : 6620 (java) S 6604 6607 1335 0 -1 1077944384 1571 0 0 0 33 0 0 0 20 0 15 0 96242124 10808807424 32488 33554432000 4194304 4196468 140722429399008 140192193956080 140192708299394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6621] ppid=6604 vsize=10555476 memory=4040 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6621/stat : 6621 (java) S 6604 6607 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96242124 10808807424 32488 33554432000 4194304 4196468 140722429399008 140192192903776 140192708298453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6622] ppid=6604 vsize=10555476 memory=16592 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6622/stat : 6622 (java) S 6604 6607 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96242124 10808807424 32488 33554432000 4194304 4196468 140722429399008 140192191851312 140192708299394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 129688 KiB
[startup+1.50072 s]
/proc/loadavg: 3.09 4.28 3.77 5/217 6622
/proc/meminfo: memFree=23327620/32770624 swapFree=67108860/67108860
[pid=6607] ppid=6604 vsize=10622040 memory=274792 CPUtime=4.24 cores=0,2,4,6
/proc/6607/stat : 6607 (java) S 6604 6607 1335 0 -1 1077944320 20132 0 0 0 414 10 0 0 20 0 16 0 96242118 10876968960 68698 33554432000 4194304 4196468 140722429399008 140722429381552 140192708288247 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
/proc/6607/statm: 2655510 68698 3122 1 0 2643904 0
[pid=6607/tid=6609] ppid=6604 vsize=10622040 memory=0 CPUtime=1.38 cores=0,2,4,6
/proc/6607/task/6609/stat : 6609 (java) R 6604 6607 1335 0 -1 4202560 6058 0 0 0 135 3 0 0 20 0 16 0 96242119 10876968960 68698 33554432000 4194304 4196468 140722429399008 140192712523440 140192317530928 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6610] ppid=6604 vsize=10622040 memory=664970774370811553 CPUtime=0.03 cores=0,2,4,6
/proc/6607/task/6610/stat : 6610 (java) S 6604 6607 1335 0 -1 1077944384 112 0 0 0 3 0 0 0 20 0 16 0 96242119 10876968960 68698 33554432000 4194304 4196468 140722429399008 140192634362128 140192708298453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6611] ppid=6604 vsize=10622040 memory=667957 CPUtime=0.04 cores=0,2,4,6
/proc/6607/task/6611/stat : 6611 (java) S 6604 6607 1335 0 -1 1077944384 47 0 0 0 4 0 0 0 20 0 16 0 96242119 10876968960 68698 33554432000 4194304 4196468 140722429399008 140192633309584 140192708298453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6612] ppid=6604 vsize=10622040 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/6607/task/6612/stat : 6612 (java) S 6604 6607 1335 0 -1 1077944384 133 0 0 0 5 1 0 0 20 0 16 0 96242119 10876968960 68698 33554432000 4194304 4196468 140722429399008 140192312715792 140192708298453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6613] ppid=6604 vsize=10622040 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6607/task/6613/stat : 6613 (java) S 6604 6607 1335 0 -1 1077944384 132 0 0 0 6 1 0 0 20 0 16 0 96242120 10876968960 68698 33554432000 4194304 4196468 140722429399008 140192311663248 140192708298453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6614] ppid=6604 vsize=10622040 memory=-6948614817169703622 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6614/stat : 6614 (java) S 6604 6607 1335 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 16 0 96242121 10876968960 68698 33554432000 4194304 4196468 140722429399008 140192200272368 140192708299394 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
################
# More data... #
################
/proc/6607/task/6612/stat : 6612 (java) S 6604 6607 1335 0 -1 1077944384 7614 0 0 0 155 75 0 0 20 0 16 0 96242119 10876968960 811063 33554432000 4194304 4196468 140722429399008 140192312715792 140192708298453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6613] ppid=6604 vsize=10622040 memory=0 CPUtime=2.3 cores=0,2,4,6
/proc/6607/task/6613/stat : 6613 (java) S 6604 6607 1335 0 -1 1077944384 6722 0 0 0 158 72 0 0 20 0 16 0 96242120 10876968960 811063 33554432000 4194304 4196468 140722429399008 140192311663248 140192708298453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6614] ppid=6604 vsize=10622040 memory=3244252 CPUtime=0.28 cores=0,2,4,6
/proc/6607/task/6614/stat : 6614 (java) S 6604 6607 1335 0 -1 1077944384 15076 0 0 0 25 3 0 0 20 0 16 0 96242121 10876968960 811063 33554432000 4194304 4196468 140722429399008 140192200272368 140192708299394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6615] ppid=6604 vsize=10622040 memory=3244252 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6615/stat : 6615 (java) S 6604 6607 1335 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 96242121 10876968960 811063 33554432000 4194304 4196468 140722429399008 140192199218656 140192708298453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6616] ppid=6604 vsize=10622040 memory=3244252 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6616/stat : 6616 (java) S 6604 6607 1335 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 96242121 10876968960 811063 33554432000 4194304 4196468 140722429399008 140192198166016 140192708298453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6617] ppid=6604 vsize=10622040 memory=3244252 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6617/stat : 6617 (java) S 6604 6607 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96242124 10876968960 811063 33554432000 4194304 4196468 140722429399008 140192197114576 140192708306843 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6618] ppid=6604 vsize=10622040 memory=3244252 CPUtime=1.44 cores=0,2,4,6
/proc/6607/task/6618/stat : 6618 (java) S 6604 6607 1335 0 -1 1077944384 8447 0 0 0 142 2 0 0 20 0 16 0 96242124 10876968960 811063 33554432000 4194304 4196468 140722429399008 140192196061168 140192708299394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6619] ppid=6604 vsize=10622040 memory=3244252 CPUtime=1.6 cores=0,2,4,6
/proc/6607/task/6619/stat : 6619 (java) S 6604 6607 1335 0 -1 1077944384 8118 0 0 0 159 1 0 0 20 0 16 0 96242124 10876968960 811063 33554432000 4194304 4196468 140722429399008 140192195008624 140192708299394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6620] ppid=6604 vsize=10622040 memory=3244252 CPUtime=0.44 cores=0,2,4,6
/proc/6607/task/6620/stat : 6620 (java) S 6604 6607 1335 0 -1 1077944384 3639 0 0 0 44 0 0 0 20 0 16 0 96242124 10876968960 811063 33554432000 4194304 4196468 140722429399008 140192193956080 140192708299394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6621] ppid=6604 vsize=10622040 memory=3244252 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6621/stat : 6621 (java) S 6604 6607 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96242124 10876968960 811063 33554432000 4194304 4196468 140722429399008 140192192903776 140192708298453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6622] ppid=6604 vsize=10622040 memory=8112282956445269571 CPUtime=1.35 cores=0,2,4,6
/proc/6607/task/6622/stat : 6622 (java) S 6604 6607 1335 0 -1 1077944384 2806 0 0 0 61 74 0 0 20 0 16 0 96242124 10876968960 811063 33554432000 4194304 4196468 140722429399008 140192191851312 140192708299394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6623] ppid=6604 vsize=10622040 memory=4084 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6623/stat : 6623 (java) S 6604 6607 1335 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 96242229 10876968960 811063 33554432000 4194304 4196468 140722429399008 140192190797104 140192708299394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
Current children cumulated CPU time: 2454.09 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 3244252 KiB
[startup+2502.3 s]
/proc/loadavg: 1.95 1.95 2.10 3/217 6798
/proc/meminfo: memFree=27732400/32770624 swapFree=67108860/67108860
[pid=6607] ppid=6604 vsize=10622040 memory=3244928 CPUtime=2514.13 cores=0,2,4,6
/proc/6607/stat : 6607 (java) S 6604 6607 1335 0 -1 1077944320 129331 0 0 0 251038 375 0 0 20 0 16 0 96242118 10876968960 811232 33554432000 4194304 4196468 140722429399008 140722429381552 140192708288247 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
/proc/6607/statm: 2655510 811232 3159 1 0 2643904 0
[pid=6607/tid=6609] ppid=6604 vsize=10622040 memory=3244928 CPUtime=2499.76 cores=0,2,4,6
/proc/6607/task/6609/stat : 6609 (java) R 6604 6607 1335 0 -1 4202560 59367 0 0 0 249956 20 0 0 20 0 16 0 96242119 10876968960 811232 33554432000 4194304 4196468 140722429399008 140192712527152 140192317432848 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6610] ppid=6604 vsize=10622040 memory=3244928 CPUtime=2.24 cores=0,2,4,6
/proc/6607/task/6610/stat : 6610 (java) S 6604 6607 1335 0 -1 1077944384 8666 0 0 0 153 71 0 0 20 0 16 0 96242119 10876968960 811232 33554432000 4194304 4196468 140722429399008 140192634362128 140192708298453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6611] ppid=6604 vsize=10622040 memory=3244928 CPUtime=2.29 cores=0,2,4,6
/proc/6607/task/6611/stat : 6611 (java) S 6604 6607 1335 0 -1 1077944384 7259 0 0 0 156 73 0 0 20 0 16 0 96242119 10876968960 811232 33554432000 4194304 4196468 140722429399008 140192633309584 140192708298453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6612] ppid=6604 vsize=10622040 memory=3244928 CPUtime=2.3 cores=0,2,4,6
/proc/6607/task/6612/stat : 6612 (java) S 6604 6607 1335 0 -1 1077944384 7614 0 0 0 155 75 0 0 20 0 16 0 96242119 10876968960 811232 33554432000 4194304 4196468 140722429399008 140192312715792 140192708298453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6613] ppid=6604 vsize=10622040 memory=3244928 CPUtime=2.3 cores=0,2,4,6
/proc/6607/task/6613/stat : 6613 (java) S 6604 6607 1335 0 -1 1077944384 6722 0 0 0 158 72 0 0 20 0 16 0 96242120 10876968960 811232 33554432000 4194304 4196468 140722429399008 140192311663248 140192708298453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6614] ppid=6604 vsize=10622040 memory=3244928 CPUtime=0.28 cores=0,2,4,6
/proc/6607/task/6614/stat : 6614 (java) S 6604 6607 1335 0 -1 1077944384 15106 0 0 0 25 3 0 0 20 0 16 0 96242121 10876968960 811232 33554432000 4194304 4196468 140722429399008 140192200272368 140192708299394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6615] ppid=6604 vsize=10622040 memory=3180 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6615/stat : 6615 (java) S 6604 6607 1335 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 96242121 10876968960 811232 33554432000 4194304 4196468 140722429399008 140192199218656 140192708298453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6616] ppid=6604 vsize=10622040 memory=3244928 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6616/stat : 6616 (java) S 6604 6607 1335 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 96242121 10876968960 811232 33554432000 4194304 4196468 140722429399008 140192198166016 140192708298453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6617] ppid=6604 vsize=10622040 memory=3244928 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6617/stat : 6617 (java) S 6604 6607 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96242124 10876968960 811232 33554432000 4194304 4196468 140722429399008 140192197114576 140192708306843 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6618] ppid=6604 vsize=10622040 memory=3244928 CPUtime=1.44 cores=0,2,4,6
/proc/6607/task/6618/stat : 6618 (java) S 6604 6607 1335 0 -1 1077944384 8466 0 0 0 142 2 0 0 20 0 16 0 96242124 10876968960 811232 33554432000 4194304 4196468 140722429399008 140192196061168 140192708299394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6619] ppid=6604 vsize=10622040 memory=3244928 CPUtime=1.6 cores=0,2,4,6
/proc/6607/task/6619/stat : 6619 (java) S 6604 6607 1335 0 -1 1077944384 8142 0 0 0 159 1 0 0 20 0 16 0 96242124 10876968960 811232 33554432000 4194304 4196468 140722429399008 140192195008624 140192708299394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6620] ppid=6604 vsize=10622040 memory=8112282956445269571 CPUtime=0.44 cores=0,2,4,6
/proc/6607/task/6620/stat : 6620 (java) S 6604 6607 1335 0 -1 1077944384 3657 0 0 0 44 0 0 0 20 0 16 0 96242124 10876968960 811232 33554432000 4194304 4196468 140722429399008 140192193956080 140192708299394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6621] ppid=6604 vsize=10622040 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6621/stat : 6621 (java) S 6604 6607 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96242124 10876968960 811232 33554432000 4194304 4196468 140722429399008 140192192903776 140192708298453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6622] ppid=6604 vsize=10622040 memory=15872 CPUtime=1.39 cores=0,2,4,6
/proc/6607/task/6622/stat : 6622 (java) S 6604 6607 1335 0 -1 1077944384 2921 0 0 0 63 76 0 0 20 0 16 0 96242124 10876968960 811232 33554432000 4194304 4196468 140722429399008 140192191851312 140192708299394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6623] ppid=6604 vsize=10622040 memory=4040 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6623/stat : 6623 (java) S 6604 6607 1335 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 96242229 10876968960 811232 33554432000 4194304 4196468 140722429399008 140192190797104 140192708299394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
Current children cumulated CPU time: 2514.13 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 3244928 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2508.2 s]
/proc/loadavg: 1.95 1.95 2.10 3/217 6798
/proc/meminfo: memFree=27732400/32770624 swapFree=67108860/67108860
[pid=6607] ppid=6604 vsize=10622040 memory=3244928 CPUtime=2520.03 cores=0,2,4,6
/proc/6607/stat : 6607 (java) S 6604 6607 1335 0 -1 1077944320 129482 0 0 0 251628 375 0 0 20 0 16 0 96242118 10876968960 811232 33554432000 4194304 4196468 140722429399008 140722429381552 140192708288247 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
/proc/6607/statm: 2655510 811232 3159 1 0 2643904 0
[pid=6607/tid=6609] ppid=6604 vsize=10622040 memory=288230621803970871 CPUtime=2505.66 cores=0,2,4,6
/proc/6607/task/6609/stat : 6609 (java) R 6604 6607 1335 0 -1 4202560 59516 0 0 0 250546 20 0 0 20 0 16 0 96242119 10876968960 811232 33554432000 4194304 4196468 140722429399008 140192712527152 140192317549681 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6610] ppid=6604 vsize=10622040 memory=16105866189342951 CPUtime=2.24 cores=0,2,4,6
/proc/6607/task/6610/stat : 6610 (java) S 6604 6607 1335 0 -1 1077944384 8666 0 0 0 153 71 0 0 20 0 16 0 96242119 10876968960 811232 33554432000 4194304 4196468 140722429399008 140192634362128 140192708298453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6611] ppid=6604 vsize=10622040 memory=1696 CPUtime=2.29 cores=0,2,4,6
/proc/6607/task/6611/stat : 6611 (java) S 6604 6607 1335 0 -1 1077944384 7259 0 0 0 156 73 0 0 20 0 16 0 96242119 10876968960 811232 33554432000 4194304 4196468 140722429399008 140192633309584 140192708298453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6612] ppid=6604 vsize=10622040 memory=920 CPUtime=2.3 cores=0,2,4,6
/proc/6607/task/6612/stat : 6612 (java) S 6604 6607 1335 0 -1 1077944384 7614 0 0 0 155 75 0 0 20 0 16 0 96242119 10876968960 811232 33554432000 4194304 4196468 140722429399008 140192312715792 140192708298453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6613] ppid=6604 vsize=10622040 memory=3832 CPUtime=2.3 cores=0,2,4,6
/proc/6607/task/6613/stat : 6613 (java) S 6604 6607 1335 0 -1 1077944384 6722 0 0 0 158 72 0 0 20 0 16 0 96242120 10876968960 811232 33554432000 4194304 4196468 140722429399008 140192311663248 140192708298453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6614] ppid=6604 vsize=10622040 memory=2340 CPUtime=0.28 cores=0,2,4,6
/proc/6607/task/6614/stat : 6614 (java) S 6604 6607 1335 0 -1 1077944384 15106 0 0 0 25 3 0 0 20 0 16 0 96242121 10876968960 811232 33554432000 4194304 4196468 140722429399008 140192200272368 140192708299394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6615] ppid=6604 vsize=10622040 memory=2236 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6615/stat : 6615 (java) S 6604 6607 1335 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 96242121 10876968960 811232 33554432000 4194304 4196468 140722429399008 140192199218656 140192708298453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6616] ppid=6604 vsize=10622040 memory=4084 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6616/stat : 6616 (java) S 6604 6607 1335 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 96242121 10876968960 811232 33554432000 4194304 4196468 140722429399008 140192198166016 140192708298453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6617] ppid=6604 vsize=10622040 memory=932 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6617/stat : 6617 (java) S 6604 6607 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96242124 10876968960 811232 33554432000 4194304 4196468 140722429399008 140192197114576 140192708306843 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6618] ppid=6604 vsize=10622040 memory=1572 CPUtime=1.44 cores=0,2,4,6
/proc/6607/task/6618/stat : 6618 (java) S 6604 6607 1335 0 -1 1077944384 8466 0 0 0 142 2 0 0 20 0 16 0 96242124 10876968960 811232 33554432000 4194304 4196468 140722429399008 140192196061168 140192708299394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6619] ppid=6604 vsize=10622040 memory=2200 CPUtime=1.6 cores=0,2,4,6
/proc/6607/task/6619/stat : 6619 (java) S 6604 6607 1335 0 -1 1077944384 8142 0 0 0 159 1 0 0 20 0 16 0 96242124 10876968960 811232 33554432000 4194304 4196468 140722429399008 140192195008624 140192708299394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6620] ppid=6604 vsize=10622040 memory=6504 CPUtime=0.44 cores=0,2,4,6
/proc/6607/task/6620/stat : 6620 (java) S 6604 6607 1335 0 -1 1077944384 3657 0 0 0 44 0 0 0 20 0 16 0 96242124 10876968960 811232 33554432000 4194304 4196468 140722429399008 140192193956080 140192708299394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6621] ppid=6604 vsize=10622040 memory=836 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6621/stat : 6621 (java) S 6604 6607 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96242124 10876968960 811232 33554432000 4194304 4196468 140722429399008 140192192903776 140192708298453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6622] ppid=6604 vsize=10622040 memory=1200 CPUtime=1.39 cores=0,2,4,6
/proc/6607/task/6622/stat : 6622 (java) S 6604 6607 1335 0 -1 1077944384 2923 0 0 0 63 76 0 0 20 0 16 0 96242124 10876968960 811232 33554432000 4194304 4196468 140722429399008 140192191851312 140192708299394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6623] ppid=6604 vsize=10622040 memory=301741373374332954 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6623/stat : 6623 (java) S 6604 6607 1335 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 96242229 10876968960 811232 33554432000 4194304 4196468 140722429399008 140192190797104 140192708299394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 3244928 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2508.46 s]
# the end of solver process 6607 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.34 s, system=3.76785 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2508.4 s]
/proc/loadavg: 1.95 1.95 2.10 3/217 6798
/proc/meminfo: memFree=27732400/32770624 swapFree=67108860/67108860
[pid=6607] ppid=6604 vsize=10821732 memory=3245248 CPUtime=2520.04 cores=0,2,4,6
/proc/6607/stat : 6607 (java) S 6604 6607 1335 0 -1 1077944320 130403 0 0 0 251629 375 0 0 20 0 17 0 96242118 11081453568 811312 33554432000 4194304 4196468 140722429399008 140722429381552 140192708288247 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
/proc/6607/statm: 2705433 811312 3164 1 0 2693827 0
[pid=6607/tid=6609] ppid=6604 vsize=10821732 memory=5788 CPUtime=2505.67 cores=0,2,4,6
/proc/6607/task/6609/stat : 6609 (java) S 6604 6607 1335 0 -1 1077944384 59655 0 0 0 250547 20 0 0 20 0 17 0 96242119 11081453568 811312 33554432000 4194304 4196468 140722429399008 140192712531120 140192708298453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6610] ppid=6604 vsize=10821732 memory=1228 CPUtime=2.24 cores=0,2,4,6
/proc/6607/task/6610/stat : 6610 (java) S 6604 6607 1335 0 -1 1077944384 8666 0 0 0 153 71 0 0 20 0 17 0 96242119 11081453568 811312 33554432000 4194304 4196468 140722429399008 140192634362128 140192708298453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6611] ppid=6604 vsize=10821732 memory=796 CPUtime=2.29 cores=0,2,4,6
/proc/6607/task/6611/stat : 6611 (java) S 6604 6607 1335 0 -1 1077944384 7259 0 0 0 156 73 0 0 20 0 17 0 96242119 11081453568 811312 33554432000 4194304 4196468 140722429399008 140192633309584 140192708298453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6612] ppid=6604 vsize=10821732 memory=10020 CPUtime=2.3 cores=0,2,4,6
/proc/6607/task/6612/stat : 6612 (java) S 6604 6607 1335 0 -1 1077944384 7614 0 0 0 155 75 0 0 20 0 17 0 96242119 11081453568 811312 33554432000 4194304 4196468 140722429399008 140192312715792 140192708298453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6613] ppid=6604 vsize=10821732 memory=1948 CPUtime=2.3 cores=0,2,4,6
/proc/6607/task/6613/stat : 6613 (java) S 6604 6607 1335 0 -1 1077944384 6722 0 0 0 158 72 0 0 20 0 17 0 96242120 11081453568 811312 33554432000 4194304 4196468 140722429399008 140192311663248 140192708298453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6614] ppid=6604 vsize=10821732 memory=8536 CPUtime=0.28 cores=0,2,4,6
/proc/6607/task/6614/stat : 6614 (java) S 6604 6607 1335 0 -1 1077944384 15106 0 0 0 25 3 0 0 20 0 17 0 96242121 11081453568 811312 33554432000 4194304 4196468 140722429399008 140192200272368 140192708299394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6615] ppid=6604 vsize=10821732 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6615/stat : 6615 (java) S 6604 6607 1335 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 96242121 11081453568 811312 33554432000 4194304 4196468 140722429399008 140192199218656 140192708298453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6616] ppid=6604 vsize=10821732 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6616/stat : 6616 (java) S 6604 6607 1335 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 96242121 11081453568 811312 33554432000 4194304 4196468 140722429399008 140192198166016 140192708298453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6617] ppid=6604 vsize=10821732 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6617/stat : 6617 (java) S 6604 6607 1335 0 -1 1077944384 204 0 0 0 0 0 0 0 20 0 17 0 96242124 11081453568 811312 33554432000 4194304 4196468 140722429399008 140192197114576 140192708306843 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6618] ppid=6604 vsize=10821732 memory=1436 CPUtime=1.44 cores=0,2,4,6
/proc/6607/task/6618/stat : 6618 (java) S 6604 6607 1335 0 -1 1077944384 8466 0 0 0 142 2 0 0 20 0 17 0 96242124 11081453568 811312 33554432000 4194304 4196468 140722429399008 140192196061168 140192708299394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6619] ppid=6604 vsize=10821732 memory=1200 CPUtime=1.6 cores=0,2,4,6
/proc/6607/task/6619/stat : 6619 (java) S 6604 6607 1335 0 -1 1077944384 8142 0 0 0 159 1 0 0 20 0 17 0 96242124 11081453568 811312 33554432000 4194304 4196468 140722429399008 140192195008624 140192708299394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6620] ppid=6604 vsize=10821732 memory=3244928 CPUtime=0.44 cores=0,2,4,6
/proc/6607/task/6620/stat : 6620 (java) S 6604 6607 1335 0 -1 1077944384 3876 0 0 0 44 0 0 0 20 0 17 0 96242124 11081453568 811312 33554432000 4194304 4196468 140722429399008 140192193956080 140192708299394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6621] ppid=6604 vsize=10821732 memory=16624 CPUtime=0 cores=0,2,4,6
/proc/6607/task/6621/stat : 6621 (java) S 6604 6607 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 96242124 11081453568 811312 33554432000 4194304 4196468 140722429399008 140192192903776 140192708298453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
[pid=6607/tid=6622] ppid=6604 vsize=10821732 memory=18292 CPUtime=1.39 cores=0,2,4,6
/proc/6607/task/6622/stat : 6622 (java) S 6604 6607 1335 0 -1 1077944384 2923 0 0 0 63 76 0 0 20 0 17 0 96242124 11081453568 811312 33554432000 4194304 4196468 140722429399008 140192191851312 140192708299394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7151616 140722429400198 140722429400351 140722429400351 140722429403087 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10821732 KiB
Current children cumulated memory: 3245248 KiB
Child status: 143
Real time (s): 2508.46
CPU time (s): 2520.11
CPU user time (s): 2516.34
CPU system time (s): 3.76785
CPU usage (%): 100.464
Max. virtual memory (cumulated for all children) (KiB): 10821732
Max. memory (cumulated for all children) (KiB): 3274536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.34
system time used= 3.76785
maximum resident set size= 3274536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131539
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57293
involuntary context switches= 1923
# summary of solver processes directly reported to runsolver:
# pid: 6607
# total CPU time (s): 2520.11
# total CPU user time (s): 2516.34
# total CPU system time (s): 3.76785
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.284 second user time and 23.6652 second system time
The end