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 (2939 MiB free)
memory of node 1: 16384 MiB (2622 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4402831-1568973542/watcher-4402831-1568973542 -o /tmp/evaluation-result-4402831-1568973542/solver-4402831-1568973542 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568967594-23612 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=2126459796 HOME/instance-4402831-1568973542.xml
running on 4 cores: 1,3,5,7
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=25564, runsolver pid=25561
[startup+0.10006 s]*
/proc/loadavg: 2.16 1.57 1.50 3/218 25621
/proc/meminfo: memFree=5688008/32770624 swapFree=66935368/67108860
[pid=25564] ppid=25561 vsize=9972712 memory=17080 CPUtime=0.09 cores=1,3,5,7
/proc/25564/stat : 25564 (java) S 25561 25564 23580 0 -1 1077944320 4548 13148 0 0 1 1 5 2 20 0 6 0 473292069 10212057088 4270 33554432000 4194304 4196468 140721172377168 140721172359712 140709859241719 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
/proc/25564/statm: 2493178 4270 1935 1 0 2481616 0
[pid=25564/tid=25617] ppid=25561 vsize=9972712 memory=-8439527450518781933 CPUtime=0.08 cores=1,3,5,7
/proc/25564/task/25617/stat : 25617 (java) R 25561 25564 23580 0 -1 4202560 2348 13148 0 0 1 0 5 2 20 0 6 0 473292078 10212057088 4336 33554432000 4194304 4196468 140721172377168 140709831078480 140709843322206 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25618] ppid=25561 vsize=9972712 memory=4211974114161237386 CPUtime=0.07 cores=1,3,5,7
/proc/25564/task/25618/stat : 25618 (java) S 25561 25564 23580 0 -1 1077944384 2 13148 0 0 0 0 5 2 20 0 6 0 473292079 10212057088 4336 33554432000 4194304 4196468 140721172377168 140709863484048 140709859251925 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25619] ppid=25561 vsize=9972712 memory=140387956446848 CPUtime=0.07 cores=1,3,5,7
/proc/25564/task/25619/stat : 25619 (java) S 25561 25564 23580 0 -1 1077944384 1 13148 0 0 0 0 5 2 20 0 6 0 473292079 10212057088 4336 33554432000 4194304 4196468 140721172377168 140709778303504 140709859251925 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25620] ppid=25561 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25564/task/25620/stat : 25620 (java) S 25561 25564 23580 0 -1 1077944384 1 13148 0 0 0 0 5 2 20 0 6 0 473292079 10212057088 4336 33554432000 4194304 4196468 140721172377168 140709777250704 140709859251925 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25621] ppid=25561 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25564/task/25621/stat : 25621 (java) S 25561 25564 23580 0 -1 1077944384 1 13148 0 0 0 0 5 2 20 0 6 0 473292079 10212057088 4336 33554432000 4194304 4196468 140721172377168 140709776197904 140709859251925 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17080 KiB
[startup+0.210087 s]*
/proc/loadavg: 2.16 1.57 1.50 3/227 25630
/proc/meminfo: memFree=5665268/32770624 swapFree=66935368/67108860
[pid=25564] ppid=25561 vsize=10820196 memory=46768 CPUtime=0.26 cores=1,3,5,7
/proc/25564/stat : 25564 (java) S 25561 25564 23580 0 -1 1077944320 7607 13148 0 0 17 2 5 2 20 0 15 0 473292069 11079880704 11692 33554432000 4194304 4196468 140721172377168 140721172359712 140709859241719 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
/proc/25564/statm: 2705049 11692 3289 1 0 2667149 0
[pid=25564/tid=25617] ppid=25561 vsize=10820196 memory=7900017517374083699 CPUtime=0.19 cores=1,3,5,7
/proc/25564/task/25617/stat : 25617 (java) R 25561 25564 23580 0 -1 4202560 4113 13148 0 0 11 1 5 2 20 0 15 0 473292078 11079880704 11692 33554432000 4194304 4196468 140721172377168 140709831052752 140709859263645 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25618] ppid=25561 vsize=10820196 memory=4211974114161237386 CPUtime=0.07 cores=1,3,5,7
/proc/25564/task/25618/stat : 25618 (java) S 25561 25564 23580 0 -1 1077944384 2 13148 0 0 0 0 5 2 20 0 15 0 473292079 11079880704 11692 33554432000 4194304 4196468 140721172377168 140709863484048 140709859251925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25619] ppid=25561 vsize=10820196 memory=140387956446848 CPUtime=0.07 cores=1,3,5,7
/proc/25564/task/25619/stat : 25619 (java) S 25561 25564 23580 0 -1 1077944384 1 13148 0 0 0 0 5 2 20 0 15 0 473292079 11079880704 11692 33554432000 4194304 4196468 140721172377168 140709778303504 140709859251925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25620] ppid=25561 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25564/task/25620/stat : 25620 (java) S 25561 25564 23580 0 -1 1077944384 1 13148 0 0 0 0 5 2 20 0 15 0 473292079 11079880704 11692 33554432000 4194304 4196468 140721172377168 140709777250704 140709859251925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25621] ppid=25561 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25564/task/25621/stat : 25621 (java) S 25561 25564 23580 0 -1 1077944384 1 13148 0 0 0 0 5 2 20 0 15 0 473292079 11079880704 11692 33554432000 4194304 4196468 140721172377168 140709776197904 140709859251925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25622] ppid=25561 vsize=10820196 memory=140387956446848 CPUtime=0.07 cores=1,3,5,7
/proc/25564/task/25622/stat : 25622 (java) S 25561 25564 23580 0 -1 1077944384 2 13148 0 0 0 0 5 2 20 0 15 0 473292080 11079880704 11692 33554432000 4194304 4196468 140721172377168 140709131012976 140709859252866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25623] ppid=25561 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25564/task/25623/stat : 25623 (java) S 25561 25564 23580 0 -1 1077944384 13 13148 0 0 0 0 5 2 20 0 15 0 473292080 11079880704 11692 33554432000 4194304 4196468 140721172377168 140709034190368 140709859251925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25624] ppid=25561 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25564/task/25624/stat : 25624 (java) S 25561 25564 23580 0 -1 1077944384 1 13148 0 0 0 0 5 2 20 0 15 0 473292081 11079880704 11692 33554432000 4194304 4196468 140721172377168 140708899972464 140709859251925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25625] ppid=25561 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25564/task/25625/stat : 25625 (java) S 25561 25564 23580 0 -1 1077944384 2 13148 0 0 0 0 5 2 20 0 15 0 473292083 11079880704 11692 33554432000 4194304 4196468 140721172377168 140708765755728 140709859260315 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25626] ppid=25561 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25564/task/25626/stat : 25626 (java) S 25561 25564 23580 0 -1 1077944384 596 13148 0 0 1 0 5 2 20 0 15 0 473292083 11079880704 11692 33554432000 4194304 4196468 140721172377168 140709129959792 140709859252866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25627] ppid=25561 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/25564/task/25627/stat : 25627 (java) R 25561 25564 23580 0 -1 4202560 64 13148 0 0 1 0 5 2 20 0 15 0 473292083 11079880704 11692 33554432000 4194304 4196468 140721172377168 140709128906992 140709840785492 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25628] ppid=25561 vsize=10820196 memory=140387956446848 CPUtime=0.1 cores=1,3,5,7
/proc/25564/task/25628/stat : 25628 (java) S 25561 25564 23580 0 -1 1077944384 608 13148 0 0 3 0 5 2 20 0 15 0 473292083 11079880704 11692 33554432000 4194304 4196468 140721172377168 140709127854192 140709859252866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25629] ppid=25561 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25564/task/25629/stat : 25629 (java) S 25561 25564 23580 0 -1 1077944384 3 13148 0 0 0 0 5 2 20 0 15 0 473292084 11079880704 11692 33554432000 4194304 4196468 140721172377168 140708027558112 140709859251925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25630] ppid=25561 vsize=10820196 memory=140387956446848 CPUtime=0.07 cores=1,3,5,7
/proc/25564/task/25630/stat : 25630 (java) S 25561 25564 23580 0 -1 1077944384 1 13148 0 0 0 0 5 2 20 0 15 0 473292084 11079880704 11692 33554432000 4194304 4196468 140721172377168 140709126802608 140709859252866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 46768 KiB
[startup+0.310425 s]*
/proc/loadavg: 2.16 1.57 1.50 4/227 25630
/proc/meminfo: memFree=5651952/32770624 swapFree=66935368/67108860
[pid=25564] ppid=25561 vsize=10820196 memory=55468 CPUtime=0.4 cores=1,3,5,7
/proc/25564/stat : 25564 (java) S 25561 25564 23580 0 -1 1077944320 10964 13148 0 0 30 3 5 2 20 0 15 0 473292069 11079880704 13867 33554432000 4194304 4196468 140721172377168 140721172359712 140709859241719 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
/proc/25564/statm: 2705049 13867 3339 1 0 2667149 0
[pid=25564/tid=25617] ppid=25561 vsize=10820196 memory=8317482817917895235 CPUtime=0.28 cores=1,3,5,7
/proc/25564/task/25617/stat : 25617 (java) R 25561 25564 23580 0 -1 4202560 7449 13148 0 0 19 2 5 2 20 0 15 0 473292078 11079880704 13867 33554432000 4194304 4196468 140721172377168 140709831054336 140709844609639 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25618] ppid=25561 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25564/task/25618/stat : 25618 (java) S 25561 25564 23580 0 -1 1077944384 2 13148 0 0 0 0 5 2 20 0 15 0 473292079 11079880704 13867 33554432000 4194304 4196468 140721172377168 140709863484048 140709859251925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25619] ppid=25561 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25564/task/25619/stat : 25619 (java) S 25561 25564 23580 0 -1 1077944384 1 13148 0 0 0 0 5 2 20 0 15 0 473292079 11079880704 13867 33554432000 4194304 4196468 140721172377168 140709778303504 140709859251925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25620] ppid=25561 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25564/task/25620/stat : 25620 (java) S 25561 25564 23580 0 -1 1077944384 1 13148 0 0 0 0 5 2 20 0 15 0 473292079 11079880704 13867 33554432000 4194304 4196468 140721172377168 140709777250704 140709859251925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25621] ppid=25561 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25564/task/25621/stat : 25621 (java) S 25561 25564 23580 0 -1 1077944384 1 13148 0 0 0 0 5 2 20 0 15 0 473292079 11079880704 13867 33554432000 4194304 4196468 140721172377168 140709776197904 140709859251925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25622] ppid=25561 vsize=10820196 memory=140387956446847 CPUtime=0.07 cores=1,3,5,7
/proc/25564/task/25622/stat : 25622 (java) S 25561 25564 23580 0 -1 1077944384 2 13148 0 0 0 0 5 2 20 0 15 0 473292080 11079880704 13867 33554432000 4194304 4196468 140721172377168 140709131012976 140709859252866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25623] ppid=25561 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25564/task/25623/stat : 25623 (java) S 25561 25564 23580 0 -1 1077944384 13 13148 0 0 0 0 5 2 20 0 15 0 473292080 11079880704 13867 33554432000 4194304 4196468 140721172377168 140709034190368 140709859251925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25624] ppid=25561 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25564/task/25624/stat : 25624 (java) S 25561 25564 23580 0 -1 1077944384 1 13148 0 0 0 0 5 2 20 0 15 0 473292081 11079880704 13867 33554432000 4194304 4196468 140721172377168 140708899972464 140709859251925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25625] ppid=25561 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25564/task/25625/stat : 25625 (java) S 25561 25564 23580 0 -1 1077944384 2 13148 0 0 0 0 5 2 20 0 15 0 473292083 11079880704 13867 33554432000 4194304 4196468 140721172377168 140708765755728 140709859260315 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25626] ppid=25561 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/25564/task/25626/stat : 25626 (java) S 25561 25564 23580 0 -1 1077944384 596 13148 0 0 2 0 5 2 20 0 15 0 473292083 11079880704 13867 33554432000 4194304 4196468 140721172377168 140709129959792 140709859252866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25627] ppid=25561 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/25564/task/25627/stat : 25627 (java) S 25561 25564 23580 0 -1 1077944384 66 13148 0 0 2 0 5 2 20 0 15 0 473292083 11079880704 13867 33554432000 4194304 4196468 140721172377168 140709128906992 140709859252866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25628] ppid=25561 vsize=10820196 memory=140387956446848 CPUtime=0.12 cores=1,3,5,7
/proc/25564/task/25628/stat : 25628 (java) S 25561 25564 23580 0 -1 1077944384 617 13148 0 0 5 0 5 2 20 0 15 0 473292083 11079880704 13867 33554432000 4194304 4196468 140721172377168 140709127854192 140709859252866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25629] ppid=25561 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25564/task/25629/stat : 25629 (java) S 25561 25564 23580 0 -1 1077944384 3 13148 0 0 0 0 5 2 20 0 15 0 473292084 11079880704 13867 33554432000 4194304 4196468 140721172377168 140708027558112 140709859251925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25630] ppid=25561 vsize=10820196 memory=140387956446848 CPUtime=0.07 cores=1,3,5,7
/proc/25564/task/25630/stat : 25630 (java) S 25561 25564 23580 0 -1 1077944384 1 13148 0 0 0 0 5 2 20 0 15 0 473292084 11079880704 13867 33554432000 4194304 4196468 140721172377168 140709126802608 140709859252866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 55468 KiB
[startup+0.702301 s]
/proc/loadavg: 2.16 1.57 1.50 4/227 25630
/proc/meminfo: memFree=5638364/32770624 swapFree=66935368/67108860
[pid=25564] ppid=25561 vsize=10825388 memory=88016 CPUtime=1.16 cores=1,3,5,7
/proc/25564/stat : 25564 (java) S 25561 25564 23580 0 -1 1077944320 15165 13148 0 0 104 5 5 2 20 0 15 0 473292069 11085197312 22004 33554432000 4194304 4196468 140721172377168 140721172359712 140709859241719 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
/proc/25564/statm: 2706347 22004 3513 1 0 2668429 0
[pid=25564/tid=25617] ppid=25561 vsize=10824364 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/25564/task/25617/stat : 25617 (java) R 25561 25564 23580 0 -1 4202560 10539 13148 0 0 56 4 5 2 20 0 15 0 473292078 11084148736 22041 33554432000 4194304 4196468 140721172377168 140709831059648 140709851958823 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25618] ppid=25561 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25564/task/25618/stat : 25618 (java) S 25561 25564 23580 0 -1 1077944384 2 13148 0 0 0 0 5 2 20 0 15 0 473292079 11084148736 22041 33554432000 4194304 4196468 140721172377168 140709863484048 140709859251925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25619] ppid=25561 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25564/task/25619/stat : 25619 (java) S 25561 25564 23580 0 -1 1077944384 1 13148 0 0 0 0 5 2 20 0 15 0 473292079 11084148736 22041 33554432000 4194304 4196468 140721172377168 140709778303504 140709859251925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25620] ppid=25561 vsize=10824364 memory=5938114200481458240 CPUtime=0.07 cores=1,3,5,7
/proc/25564/task/25620/stat : 25620 (java) S 25561 25564 23580 0 -1 1077944384 1 13148 0 0 0 0 5 2 20 0 15 0 473292079 11084148736 22041 33554432000 4194304 4196468 140721172377168 140709777250704 140709859251925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25621] ppid=25561 vsize=10825388 memory=8320808402719879476 CPUtime=0.07 cores=1,3,5,7
/proc/25564/task/25621/stat : 25621 (java) S 25561 25564 23580 0 -1 1077944384 1 13148 0 0 0 0 5 2 20 0 15 0 473292079 11085197312 22041 33554432000 4194304 4196468 140721172377168 140709776197904 140709859251925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25622] ppid=25561 vsize=10825388 memory=988 CPUtime=0.07 cores=1,3,5,7
/proc/25564/task/25622/stat : 25622 (java) S 25561 25564 23580 0 -1 1077944384 5 13148 0 0 0 0 5 2 20 0 15 0 473292080 11085197312 22041 33554432000 4194304 4196468 140721172377168 140709131012976 140709859252866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25623] ppid=25561 vsize=10825388 memory=61 CPUtime=0.07 cores=1,3,5,7
/proc/25564/task/25623/stat : 25623 (java) S 25561 25564 23580 0 -1 1077944384 13 13148 0 0 0 0 5 2 20 0 15 0 473292080 11085197312 22041 33554432000 4194304 4196468 140721172377168 140709034190368 140709859251925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25624] ppid=25561 vsize=10825388 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25564/task/25624/stat : 25624 (java) S 25561 25564 23580 0 -1 1077944384 1 13148 0 0 0 0 5 2 20 0 15 0 473292081 11085197312 22041 33554432000 4194304 4196468 140721172377168 140708899972464 140709859251925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25625] ppid=25561 vsize=10824364 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/25564/task/25625/stat : 25625 (java) S 25561 25564 23580 0 -1 1077944384 2 13148 0 0 0 0 5 2 20 0 15 0 473292083 11084148736 22041 33554432000 4194304 4196468 140721172377168 140708765755728 140709859260315 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25626] ppid=25561 vsize=10824364 memory=280775702380576 CPUtime=0.19 cores=1,3,5,7
/proc/25564/task/25626/stat : 25626 (java) S 25561 25564 23580 0 -1 1077944384 1073 13148 0 0 12 0 5 2 20 0 15 0 473292083 11084148736 22041 33554432000 4194304 4196468 140721172377168 140709129959792 140709859252866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25627] ppid=25561 vsize=10824364 memory=16132 CPUtime=0.23 cores=1,3,5,7
/proc/25564/task/25627/stat : 25627 (java) S 25561 25564 23580 0 -1 1077944384 546 13148 0 0 16 0 5 2 20 0 15 0 473292083 11084148736 22041 33554432000 4194304 4196468 140721172377168 140709128906992 140709859252866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25628] ppid=25561 vsize=10824364 memory=4420 CPUtime=0.24 cores=1,3,5,7
/proc/25564/task/25628/stat : 25628 (java) S 25561 25564 23580 0 -1 1077944384 796 13148 0 0 17 0 5 2 20 0 15 0 473292083 11084148736 22041 33554432000 4194304 4196468 140721172377168 140709127854192 140709859252866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25629] ppid=25561 vsize=10825388 memory=239 CPUtime=0.07 cores=1,3,5,7
/proc/25564/task/25629/stat : 25629 (java) S 25561 25564 23580 0 -1 1077944384 3 13148 0 0 0 0 5 2 20 0 15 0 473292084 11085197312 22041 33554432000 4194304 4196468 140721172377168 140708027558112 140709859251925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25630] ppid=25561 vsize=10825388 memory=8242257093008374069 CPUtime=0.07 cores=1,3,5,7
/proc/25564/task/25630/stat : 25630 (java) S 25561 25564 23580 0 -1 1077944384 1 13148 0 0 0 0 5 2 20 0 15 0 473292084 11085197312 22041 33554432000 4194304 4196468 140721172377168 140709126802608 140709859252866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 10825388 KiB
Current children cumulated memory: 88016 KiB
[startup+1.50067 s]
/proc/loadavg: 2.22 1.59 1.50 3/227 25630
/proc/meminfo: memFree=5594344/32770624 swapFree=66935368/67108860
[pid=25564] ppid=25561 vsize=10834680 memory=184340 CPUtime=2.67 cores=1,3,5,7
/proc/25564/stat : 25564 (java) S 25561 25564 23580 0 -1 1077944320 23872 13148 0 0 250 10 5 2 20 0 15 0 473292069 11094712320 46085 33554432000 4194304 4196468 140721172377168 140721172359712 140709859241719 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
/proc/25564/statm: 2708670 46085 3584 1 0 2670733 0
[pid=25564/tid=25617] ppid=25561 vsize=10834680 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/25564/task/25617/stat : 25617 (java) R 25561 25564 23580 0 -1 4202560 15353 13148 0 0 131 5 5 2 20 0 15 0 473292078 11094712320 46085 33554432000 4194304 4196468 140721172377168 140709831059200 140709859253654 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25618] ppid=25561 vsize=10834680 memory=116 CPUtime=0.08 cores=1,3,5,7
/proc/25564/task/25618/stat : 25618 (java) S 25561 25564 23580 0 -1 1077944384 73 13148 0 0 1 0 5 2 20 0 15 0 473292079 11094712320 46085 33554432000 4194304 4196468 140721172377168 140709863484048 140709859251925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25619] ppid=25561 vsize=10834680 memory=1 CPUtime=0.08 cores=1,3,5,7
/proc/25564/task/25619/stat : 25619 (java) S 25561 25564 23580 0 -1 1077944384 341 13148 0 0 1 0 5 2 20 0 15 0 473292079 11094712320 46085 33554432000 4194304 4196468 140721172377168 140709778303504 140709859251925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25620] ppid=25561 vsize=10834680 memory=1 CPUtime=0.08 cores=1,3,5,7
/proc/25564/task/25620/stat : 25620 (java) S 25561 25564 23580 0 -1 1077944384 33 13148 0 0 1 0 5 2 20 0 15 0 473292079 11094712320 46085 33554432000 4194304 4196468 140721172377168 140709777250704 140709859251925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25621] ppid=25561 vsize=10834680 memory=1 CPUtime=0.08 cores=1,3,5,7
/proc/25564/task/25621/stat : 25621 (java) S 25561 25564 23580 0 -1 1077944384 64 13148 0 0 1 0 5 2 20 0 15 0 473292079 11094712320 46085 33554432000 4194304 4196468 140721172377168 140709776197904 140709859251925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25622] ppid=25561 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25564/task/25622/stat : 25622 (java) S 25561 25564 23580 0 -1 1077944384 159 13148 0 0 1 0 5 2 20 0 15 0 473292080 11094712320 46085 33554432000 4194304 4196468 140721172377168 140709131012976 140709859252866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25623] ppid=25561 vsize=10834680 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25564/task/25623/stat : 25623 (java) S 25561 25564 23580 0 -1 1077944384 14 13148 0 0 0 0 5 2 20 0 15 0 473292080 11094712320 46085 33554432000 4194304 4196468 140721172377168 140709034190432 140709859251925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25624] ppid=25561 vsize=10834680 memory=4580 CPUtime=0.07 cores=1,3,5,7
/proc/25564/task/25624/stat : 25624 (java) S 25561 25564 23580 0 -1 1077944384 2 13148 0 0 0 0 5 2 20 0 15 0 473292081 11094712320 46085 33554432000 4194304 4196468 140721172377168 140708899972480 140709859251925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25625] ppid=25561 vsize=10834680 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25564/task/25625/stat : 25625 (java) S 25561 25564 23580 0 -1 1077944384 2 13148 0 0 0 0 5 2 20 0 15 0 473292083 11094712320 46085 33554432000 4194304 4196468 140721172377168 140708765755728 140709859260315 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25626] ppid=25561 vsize=10834680 memory=0 CPUtime=0.41 cores=1,3,5,7
/proc/25564/task/25626/stat : 25626 (java) S 25561 25564 23580 0 -1 1077944384 2243 13148 0 0 34 0 5 2 20 0 15 0 473292083 11094712320 46085 33554432000 4194304 4196468 140721172377168 140709129959792 140709859252866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25627] ppid=25561 vsize=10834680 memory=2276 CPUtime=0.42 cores=1,3,5,7
/proc/25564/task/25627/stat : 25627 (java) S 25561 25564 23580 0 -1 1077944384 1432 13148 0 0 34 1 5 2 20 0 15 0 473292083 11094712320 46085 33554432000 4194304 4196468 140721172377168 140709128906992 140709859252866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25628] ppid=25561 vsize=10834680 memory=0 CPUtime=0.5 cores=1,3,5,7
/proc/25564/task/25628/stat : 25628 (java) R 25561 25564 23580 0 -1 4202560 1943 13148 0 0 43 0 5 2 20 0 15 0 473292083 11094712320 46085 33554432000 4194304 4196468 140721172377168 140709127854192 140709843285349 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25629] ppid=25561 vsize=10834680 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25564/task/25629/stat : 25629 (java) S 25561 25564 23580 0 -1 1077944384 3 13148 0 0 0 0 5 2 20 0 15 0 473292084 11094712320 46085 33554432000 4194304 4196468 140721172377168 140708027558112 140709859251925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25630] ppid=25561 vsize=10834680 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25564/task/25630/stat : 25630 (java) S 25561 25564 23580 0 -1 1077944384 1 13148 0 0 0 0 5 2 20 0 15 0 473292084 11094712320 46085 33554432000 4194304 4196468 140721172377168 140709126802608 140709859252866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
Current children cumulated CPU time: 2.67 s
Current children cumulated vsize: 10834680 KiB
Current children cumulated memory: 184340 KiB
[startup+3.1105 s]
/proc/loadavg: 2.22 1.59 1.50 8/227 25630
/proc/meminfo: memFree=5459280/32770624 swapFree=66935368/67108860
[pid=25564] ppid=25561 vsize=10844940 memory=267144 CPUtime=6.59 cores=1,3,5,7
/proc/25564/stat : 25564 (java) S 25561 25564 23580 0 -1 1077944320 40980 13148 0 0 635 17 5 2 20 0 15 0 473292069 11105218560 66786 33554432000 4194304 4196468 140721172377168 140721172359712 140709859241719 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
/proc/25564/statm: 2711235 66786 3607 1 0 2673293 0
[pid=25564/tid=25617] ppid=25561 vsize=10844940 memory=0 CPUtime=2.99 cores=1,3,5,7
/proc/25564/task/25617/stat : 25617 (java) R 25561 25564 23580 0 -1 4202560 21248 13148 0 0 284 8 5 2 20 0 15 0 473292078 11105218560 66786 33554432000 4194304 4196468 140721172377168 140709831074160 140709843322206 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25618] ppid=25561 vsize=10844940 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/25564/task/25618/stat : 25618 (java) S 25561 25564 23580 0 -1 1077944384 90 13148 0 0 3 0 5 2 20 0 15 0 473292079 11105218560 66786 33554432000 4194304 4196468 140721172377168 140709863484048 140709859251925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25619] ppid=25561 vsize=10844940 memory=222044 CPUtime=0.09 cores=1,3,5,7
/proc/25564/task/25619/stat : 25619 (java) S 25561 25564 23580 0 -1 1077944384 372 13148 0 0 2 0 5 2 20 0 15 0 473292079 11105218560 66786 33554432000 4194304 4196468 140721172377168 140709778303504 140709859251925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25620] ppid=25561 vsize=10844940 memory=3616 CPUtime=0.09 cores=1,3,5,7
/proc/25564/task/25620/stat : 25620 (java) S 25561 25564 23580 0 -1 1077944384 45 13148 0 0 2 0 5 2 20 0 15 0 473292079 11105218560 66786 33554432000 4194304 4196468 140721172377168 140709777250704 140709859251925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25621] ppid=25561 vsize=10844940 memory=40968 CPUtime=0.09 cores=1,3,5,7
/proc/25564/task/25621/stat : 25621 (java) S 25561 25564 23580 0 -1 1077944384 77 13148 0 0 2 0 5 2 20 0 15 0 473292079 11105218560 66786 33554432000 4194304 4196468 140721172377168 140709776197904 140709859251925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25622] ppid=25561 vsize=10844940 memory=988 CPUtime=0.1 cores=1,3,5,7
/proc/25564/task/25622/stat : 25622 (java) S 25561 25564 23580 0 -1 1077944384 2660 13148 0 0 3 0 5 2 20 0 15 0 473292080 11105218560 66786 33554432000 4194304 4196468 140721172377168 140709131012976 140709859252866 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25623] ppid=25561 vsize=10844940 memory=253788 CPUtime=0.07 cores=1,3,5,7
/proc/25564/task/25623/stat : 25623 (java) S 25561 25564 23580 0 -1 1077944384 14 13148 0 0 0 0 5 2 20 0 15 0 473292080 11105218560 66786 33554432000 4194304 4196468 140721172377168 140709034190432 140709859251925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25624] ppid=25561 vsize=10844940 memory=56 CPUtime=0.07 cores=1,3,5,7
/proc/25564/task/25624/stat : 25624 (java) S 25561 25564 23580 0 -1 1077944384 2 13148 0 0 0 0 5 2 20 0 15 0 473292081 11105218560 66786 33554432000 4194304 4196468 140721172377168 140708899972480 140709859251925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25625] ppid=25561 vsize=10844940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25564/task/25625/stat : 25625 (java) S 25561 25564 23580 0 -1 1077944384 2 13148 0 0 0 0 5 2 20 0 15 0 473292083 11105218560 66786 33554432000 4194304 4196468 140721172377168 140708765755728 140709859260315 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25626] ppid=25561 vsize=10844940 memory=0 CPUtime=1.07 cores=1,3,5,7
/proc/25564/task/25626/stat : 25626 (java) R 25561 25564 23580 0 -1 4202560 4151 13148 0 0 99 1 5 2 20 0 15 0 473292083 11105218560 66786 33554432000 4194304 4196468 140721172377168 140709129951120 140709842732219 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25627] ppid=25561 vsize=10844940 memory=7522507157621920875 CPUtime=1.15 cores=1,3,5,7
/proc/25564/task/25627/stat : 25627 (java) R 25561 25564 23580 0 -1 4202560 3649 13148 0 0 107 1 5 2 20 0 15 0 473292083 11105218560 66786 33554432000 4194304 4196468 140721172377168 140709128887224 140709842727727 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25628] ppid=25561 vsize=10844940 memory=7300448685418376039 CPUtime=1.35 cores=1,3,5,7
/proc/25564/task/25628/stat : 25628 (java) S 25561 25564 23580 0 -1 1077944384 6457 13148 0 0 127 1 5 2 20 0 15 0 473292083 11105218560 66786 33554432000 4194304 4196468 140721172377168 140709127854192 140709859252866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25629] ppid=25561 vsize=10844940 memory=7522507157621920875 CPUtime=0.07 cores=1,3,5,7
/proc/25564/task/25629/stat : 25629 (java) S 25561 25564 23580 0 -1 1077944384 3 13148 0 0 0 0 5 2 20 0 15 0 473292084 11105218560 66786 33554432000 4194304 4196468 140721172377168 140708027558112 140709859251925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25630] ppid=25561 vsize=10844940 memory=30961 CPUtime=0.07 cores=1,3,5,7
/proc/25564/task/25630/stat : 25630 (java) S 25561 25564 23580 0 -1 1077944384 3 13148 0 0 0 0 5 2 20 0 15 0 473292084 11105218560 66786 33554432000 4194304 4196468 140721172377168 140709126802608 140709859252866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
Current children cumulated CPU time: 6.59 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 267144 KiB
[startup+4.46653 s]
# the end of solver process 25564 was just reported to runsolver
# cumulated CPU time of all completed processes: user=10.3466 s, system=0.247936 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20149 s]
/proc/loadavg: 2.22 1.59 1.50 8/227 25630
/proc/meminfo: memFree=5459280/32770624 swapFree=66935368/67108860
[pid=25564] ppid=25561 vsize=10846988 memory=269580 CPUtime=6.82 cores=1,3,5,7
/proc/25564/stat : 25564 (java) S 25561 25564 23580 0 -1 1077944320 44749 13148 0 0 658 17 5 2 20 0 15 0 473292069 11107315712 67395 33554432000 4194304 4196468 140721172377168 140721172359712 140709859241719 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
/proc/25564/statm: 2711747 67395 3607 1 0 2673805 0
[pid=25564/tid=25617] ppid=25561 vsize=10846988 memory=6628 CPUtime=3.08 cores=1,3,5,7
/proc/25564/task/25617/stat : 25617 (java) R 25561 25564 23580 0 -1 4202560 23885 13148 0 0 293 8 5 2 20 0 15 0 473292078 11107315712 67395 33554432000 4194304 4196468 140721172377168 140709831066672 140709859253654 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25618] ppid=25561 vsize=10846988 memory=8836 CPUtime=0.1 cores=1,3,5,7
/proc/25564/task/25618/stat : 25618 (java) S 25561 25564 23580 0 -1 1077944384 90 13148 0 0 3 0 5 2 20 0 15 0 473292079 11107315712 67395 33554432000 4194304 4196468 140721172377168 140709863484048 140709859251925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25619] ppid=25561 vsize=10846988 memory=11044 CPUtime=0.09 cores=1,3,5,7
/proc/25564/task/25619/stat : 25619 (java) S 25561 25564 23580 0 -1 1077944384 372 13148 0 0 2 0 5 2 20 0 15 0 473292079 11107315712 67395 33554432000 4194304 4196468 140721172377168 140709778303504 140709859251925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25620] ppid=25561 vsize=10846988 memory=13252 CPUtime=0.09 cores=1,3,5,7
/proc/25564/task/25620/stat : 25620 (java) S 25561 25564 23580 0 -1 1077944384 45 13148 0 0 2 0 5 2 20 0 15 0 473292079 11107315712 67395 33554432000 4194304 4196468 140721172377168 140709777250704 140709859251925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25621] ppid=25561 vsize=10846988 memory=15460 CPUtime=0.09 cores=1,3,5,7
/proc/25564/task/25621/stat : 25621 (java) S 25561 25564 23580 0 -1 1077944384 77 13148 0 0 2 0 5 2 20 0 15 0 473292079 11107315712 67398 33554432000 4194304 4196468 140721172377168 140709776197904 140709859251925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25622] ppid=25561 vsize=10846988 memory=17668 CPUtime=0.1 cores=1,3,5,7
/proc/25564/task/25622/stat : 25622 (java) S 25561 25564 23580 0 -1 1077944384 2660 13148 0 0 3 0 5 2 20 0 15 0 473292080 11107315712 67398 33554432000 4194304 4196468 140721172377168 140709131012976 140709859252866 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25623] ppid=25561 vsize=10846988 memory=19876 CPUtime=0.07 cores=1,3,5,7
/proc/25564/task/25623/stat : 25623 (java) S 25561 25564 23580 0 -1 1077944384 14 13148 0 0 0 0 5 2 20 0 15 0 473292080 11107315712 67398 33554432000 4194304 4196468 140721172377168 140709034190432 140709859251925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25624] ppid=25561 vsize=10846988 memory=22084 CPUtime=0.07 cores=1,3,5,7
/proc/25564/task/25624/stat : 25624 (java) S 25561 25564 23580 0 -1 1077944384 2 13148 0 0 0 0 5 2 20 0 15 0 473292081 11107315712 67398 33554432000 4194304 4196468 140721172377168 140708899972480 140709859251925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25625] ppid=25561 vsize=10846988 memory=24292 CPUtime=0.07 cores=1,3,5,7
/proc/25564/task/25625/stat : 25625 (java) S 25561 25564 23580 0 -1 1077944384 2 13148 0 0 0 0 5 2 20 0 15 0 473292083 11107315712 67398 33554432000 4194304 4196468 140721172377168 140708765755728 140709859260315 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25626] ppid=25561 vsize=10846988 memory=26500 CPUtime=1.11 cores=1,3,5,7
/proc/25564/task/25626/stat : 25626 (java) R 25561 25564 23580 0 -1 4202560 4364 13148 0 0 103 1 5 2 20 0 15 0 473292083 11107315712 67398 33554432000 4194304 4196468 140721172377168 140709129951120 140709844037488 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25627] ppid=25561 vsize=10846988 memory=28708 CPUtime=1.24 cores=1,3,5,7
/proc/25564/task/25627/stat : 25627 (java) R 25561 25564 23580 0 -1 4202560 4226 13148 0 0 116 1 5 2 20 0 15 0 473292083 11107315712 67398 33554432000 4194304 4196468 140721172377168 140709128887224 140709836991186 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25628] ppid=25561 vsize=10846988 memory=30916 CPUtime=1.37 cores=1,3,5,7
/proc/25564/task/25628/stat : 25628 (java) R 25561 25564 23580 0 -1 1077944384 6823 13148 0 0 129 1 5 2 20 0 15 0 473292083 11107315712 67398 33554432000 4194304 4196468 140721172377168 140709127854192 140709859252866 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25629] ppid=25561 vsize=10846988 memory=301741373374332954 CPUtime=0.07 cores=1,3,5,7
/proc/25564/task/25629/stat : 25629 (java) S 25561 25564 23580 0 -1 1077944384 3 13148 0 0 0 0 5 2 20 0 15 0 473292084 11107315712 67398 33554432000 4194304 4196468 140721172377168 140708027558112 140709859251925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25630] ppid=25561 vsize=10846988 memory=321726105394610490 CPUtime=0.07 cores=1,3,5,7
/proc/25564/task/25630/stat : 25630 (java) S 25561 25564 23580 0 -1 1077944384 3 13148 0 0 0 0 5 2 20 0 15 0 473292084 11107315712 67398 33554432000 4194304 4196468 140721172377168 140709126802608 140709859252866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
Current children cumulated CPU time: 6.82 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 269580 KiB
[startup+4.00162 s]*
/proc/loadavg: 2.22 1.59 1.50 7/227 25630
/proc/meminfo: memFree=5404712/32770624 swapFree=66935368/67108860
[pid=25564] ppid=25561 vsize=10851096 memory=294940 CPUtime=9.5 cores=1,3,5,7
/proc/25564/stat : 25564 (java) S 25561 25564 23580 0 -1 1077944320 56071 13148 0 0 924 19 5 2 20 0 15 0 473292069 11111522304 73735 33554432000 4194304 4196468 140721172377168 140721172359712 140709859241719 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
/proc/25564/statm: 2712774 73735 3614 1 0 2674829 0
[pid=25564/tid=25617] ppid=25561 vsize=10851096 memory=7900017517374083699 CPUtime=3.88 cores=1,3,5,7
/proc/25564/task/25617/stat : 25617 (java) R 25561 25564 23580 0 -1 4202560 26406 13148 0 0 372 9 5 2 20 0 15 0 473292078 11111522304 73735 33554432000 4194304 4196468 140721172377168 140709831076040 140709467618724 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25618] ppid=25561 vsize=10851096 memory=4211974114161237386 CPUtime=0.1 cores=1,3,5,7
/proc/25564/task/25618/stat : 25618 (java) S 25561 25564 23580 0 -1 1077944384 90 13148 0 0 3 0 5 2 20 0 15 0 473292079 11111522304 73735 33554432000 4194304 4196468 140721172377168 140709863484048 140709859251925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25619] ppid=25561 vsize=10851096 memory=4207744133488478134 CPUtime=0.09 cores=1,3,5,7
/proc/25564/task/25619/stat : 25619 (java) S 25561 25564 23580 0 -1 1077944384 372 13148 0 0 2 0 5 2 20 0 15 0 473292079 11111522304 73735 33554432000 4194304 4196468 140721172377168 140709778303504 140709859251925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25620] ppid=25561 vsize=10851096 memory=4871374705135476842 CPUtime=0.09 cores=1,3,5,7
/proc/25564/task/25620/stat : 25620 (java) S 25561 25564 23580 0 -1 1077944384 45 13148 0 0 2 0 5 2 20 0 15 0 473292079 11111522304 73735 33554432000 4194304 4196468 140721172377168 140709777250704 140709859251925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25621] ppid=25561 vsize=10851096 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/25564/task/25621/stat : 25621 (java) S 25561 25564 23580 0 -1 1077944384 77 13148 0 0 2 0 5 2 20 0 15 0 473292079 11111522304 73735 33554432000 4194304 4196468 140721172377168 140709776197904 140709859251925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25622] ppid=25561 vsize=10851096 memory=140387956446848 CPUtime=0.1 cores=1,3,5,7
/proc/25564/task/25622/stat : 25622 (java) S 25561 25564 23580 0 -1 1077944384 3522 13148 0 0 3 0 5 2 20 0 15 0 473292080 11111522304 73735 33554432000 4194304 4196468 140721172377168 140709131012976 140709859252866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25623] ppid=25561 vsize=10851096 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25564/task/25623/stat : 25623 (java) S 25561 25564 23580 0 -1 1077944384 14 13148 0 0 0 0 5 2 20 0 15 0 473292080 11111522304 73735 33554432000 4194304 4196468 140721172377168 140709034190432 140709859251925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25624] ppid=25561 vsize=10851096 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/25564/task/25624/stat : 25624 (java) S 25561 25564 23580 0 -1 1077944384 2 13148 0 0 0 0 5 2 20 0 15 0 473292081 11111522304 73735 33554432000 4194304 4196468 140721172377168 140708899972480 140709859251925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25625] ppid=25561 vsize=10851096 memory=2273 CPUtime=0.07 cores=1,3,5,7
/proc/25564/task/25625/stat : 25625 (java) S 25561 25564 23580 0 -1 1077944384 2 13148 0 0 0 0 5 2 20 0 15 0 473292083 11111522304 73735 33554432000 4194304 4196468 140721172377168 140708765755728 140709859260315 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25626] ppid=25561 vsize=10851096 memory=0 CPUtime=1.82 cores=1,3,5,7
/proc/25564/task/25626/stat : 25626 (java) R 25561 25564 23580 0 -1 4202560 6058 13148 0 0 174 1 5 2 20 0 15 0 473292083 11111522304 73735 33554432000 4194304 4196468 140721172377168 140709129951288 140709837408200 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25627] ppid=25561 vsize=10851096 memory=-1 CPUtime=2.03 cores=1,3,5,7
/proc/25564/task/25627/stat : 25627 (java) R 25561 25564 23580 0 -1 4202560 8599 13148 0 0 194 2 5 2 20 0 15 0 473292083 11111522304 73735 33554432000 4194304 4196468 140721172377168 140709128900184 140709836836497 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25628] ppid=25561 vsize=10851096 memory=140388429738929 CPUtime=1.74 cores=1,3,5,7
/proc/25564/task/25628/stat : 25628 (java) R 25561 25564 23580 0 -1 1077944384 8666 13148 0 0 165 2 5 2 20 0 15 0 473292083 11111522304 73735 33554432000 4194304 4196468 140721172377168 140709127854192 140709859252866 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25629] ppid=25561 vsize=10851096 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25564/task/25629/stat : 25629 (java) S 25561 25564 23580 0 -1 1077944384 3 13148 0 0 0 0 5 2 20 0 15 0 473292084 11111522304 73735 33554432000 4194304 4196468 140721172377168 140708027558112 140709859251925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25630] ppid=25561 vsize=10851096 memory=280775807867184 CPUtime=0.07 cores=1,3,5,7
/proc/25564/task/25630/stat : 25630 (java) S 25561 25564 23580 0 -1 1077944384 7 13148 0 0 0 0 5 2 20 0 15 0 473292084 11111522304 73735 33554432000 4194304 4196468 140721172377168 140709126802608 140709859252866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
Current children cumulated CPU time: 9.5 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 294940 KiB
[startup+4.40075 s]
/proc/loadavg: 2.22 1.59 1.50 7/227 25630
/proc/meminfo: memFree=5404712/32770624 swapFree=66935368/67108860
[pid=25564] ppid=25561 vsize=10915604 memory=327756 CPUtime=10.56 cores=1,3,5,7
/proc/25564/stat : 25564 (java) S 25561 25564 23580 0 -1 1077944320 56877 13148 0 0 1029 20 5 2 20 0 12 0 473292069 11177578496 81939 33554432000 4194304 4196468 140721172377168 140721172359712 140709859241719 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
/proc/25564/statm: 2728901 81939 3623 1 0 2690956 0
[pid=25564/tid=25617] ppid=25561 vsize=10915604 memory=-7522837583061805196 CPUtime=4.2 cores=1,3,5,7
/proc/25564/task/25617/stat : 25617 (java) D 25561 25564 23580 0 -1 4202560 26456 13148 0 0 404 9 5 2 20 0 12 0 473292078 11177578496 81939 33554432000 4194304 4196468 140721172377168 140709831085368 140709851927351 0 0 0 16800975 18446744072100220037 0 0 -1 1 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25618] ppid=25561 vsize=10915604 memory=6791534058613427641 CPUtime=0.1 cores=1,3,5,7
/proc/25564/task/25618/stat : 25618 (java) S 25561 25564 23580 0 -1 1077944384 116 13148 0 0 3 0 5 2 20 0 12 0 473292079 11177578496 81939 33554432000 4194304 4196468 140721172377168 140709863484048 140709859251925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25619] ppid=25561 vsize=10915604 memory=3 CPUtime=0.1 cores=1,3,5,7
/proc/25564/task/25619/stat : 25619 (java) S 25561 25564 23580 0 -1 1077944384 382 13148 0 0 3 0 5 2 20 0 12 0 473292079 11177578496 81939 33554432000 4194304 4196468 140721172377168 140709778303504 140709859251925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25620] ppid=25561 vsize=10915604 memory=2 CPUtime=0.1 cores=1,3,5,7
/proc/25564/task/25620/stat : 25620 (java) S 25561 25564 23580 0 -1 1077944384 199 13148 0 0 3 0 5 2 20 0 12 0 473292079 11177578496 81939 33554432000 4194304 4196468 140721172377168 140709777250704 140709859251925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25621] ppid=25561 vsize=10915604 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/25564/task/25621/stat : 25621 (java) S 25561 25564 23580 0 -1 1077944384 81 13148 0 0 3 0 5 2 20 0 12 0 473292079 11177578496 81939 33554432000 4194304 4196468 140721172377168 140709776197904 140709859251925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25623] ppid=25561 vsize=10915604 memory=280775702729200 CPUtime=0.07 cores=1,3,5,7
/proc/25564/task/25623/stat : 25623 (java) S 25561 25564 23580 0 -1 1077944384 15 13148 0 0 0 0 5 2 20 0 12 0 473292080 11177578496 81939 33554432000 4194304 4196468 140721172377168 140709034190432 140709859251925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25624] ppid=25561 vsize=10915604 memory=8694943070571044983 CPUtime=0.07 cores=1,3,5,7
/proc/25564/task/25624/stat : 25624 (java) S 25561 25564 23580 0 -1 1077944384 2 13148 0 0 0 0 5 2 20 0 12 0 473292081 11177578496 81939 33554432000 4194304 4196468 140721172377168 140708899972480 140709859251925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25626] ppid=25561 vsize=10915604 memory=-7017008817040740910 CPUtime=2.13 cores=1,3,5,7
/proc/25564/task/25626/stat : 25626 (java) S 25561 25564 23580 0 -1 1077944384 6299 13148 0 0 205 1 5 2 20 0 12 0 473292083 11177578496 81939 33554432000 4194304 4196468 140721172377168 140709129940272 140709859251925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25627] ppid=25561 vsize=10915604 memory=-2746958450906831424 CPUtime=2.34 cores=1,3,5,7
/proc/25564/task/25627/stat : 25627 (java) S 25561 25564 23580 0 -1 1077944384 8672 13148 0 0 225 2 5 2 20 0 12 0 473292083 11177578496 81939 33554432000 4194304 4196468 140721172377168 140709128891504 140709859251925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25628] ppid=25561 vsize=10915604 memory=-3472574513799858008 CPUtime=1.84 cores=1,3,5,7
/proc/25564/task/25628/stat : 25628 (java) S 25561 25564 23580 0 -1 1077944384 8878 13148 0 0 175 2 5 2 20 0 12 0 473292083 11177578496 81939 33554432000 4194304 4196468 140721172377168 140709127854192 140709859252866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
[pid=25564/tid=25629] ppid=25561 vsize=10915604 memory=-6222387577494463588 CPUtime=0.07 cores=1,3,5,7
/proc/25564/task/25629/stat : 25629 (java) S 25561 25564 23580 0 -1 1077944384 3 13148 0 0 0 0 5 2 20 0 12 0 473292084 11177578496 81939 33554432000 4194304 4196468 140721172377168 140708027558112 140709859251925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33804288 140721172384495 140721172387013 140721172387013 140721172389839 0
Current children cumulated CPU time: 10.56 s
Current children cumulated vsize: 10915604 KiB
Current children cumulated memory: 327756 KiB
Child status: 0
Real time (s): 4.46662
CPU time (s): 10.5945
CPU user time (s): 10.3466
CPU system time (s): 0.247936
CPU usage (%): 237.193
Max. virtual memory (cumulated for all children) (KiB): 10915604
Max. memory (cumulated for all children) (KiB): 329600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.3466
system time used= 0.247936
maximum resident set size= 331800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70049
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7165
involuntary context switches= 52
# summary of solver processes directly reported to runsolver:
# pid: 25564
# total CPU time (s): 10.5945
# total CPU user time (s): 10.3466
# total CPU system time (s): 0.247936
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.047795 second user time and 0.086487 second system time
The end