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 (11022 MiB free)
memory of node 1: 16384 MiB (8662 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289841-1532217257/watcher-4289841-1532217257 -o /tmp/evaluation-result-4289841-1532217257/solver-4289841-1532217257 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532209720-26948 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4289841-1532217257.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=28115, runsolver pid=28112
[startup+0.100719 s]*
/proc/loadavg: 4.71 4.05 3.00 2/216 28130
/proc/meminfo: memFree=20140396/32770624 swapFree=67108860/67108860
[pid=28115] ppid=28112 vsize=10659012 memory=30064 CPUtime=0.12 cores=0,2,4,6
/proc/28115/stat : 28115 (java) S 28112 28115 24561 0 -1 1077944320 6580 0 0 0 11 1 0 0 20 0 15 0 39288930 10914828288 7516 33554432000 4194304 4196468 140736214806608 140736214789152 140381607452407 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
/proc/28115/statm: 2664753 7516 2820 1 0 2627263 0
[pid=28115/tid=28117] ppid=28112 vsize=10659012 memory=-8773748148829851523 CPUtime=0.09 cores=0,2,4,6
/proc/28115/task/28117/stat : 28117 (java) R 28112 28115 24561 0 -1 4202560 4408 0 0 0 8 1 0 0 20 0 15 0 39288930 10914828288 7516 33554432000 4194304 4196468 140736214806608 140381611657072 140381591532894 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28118] ppid=28112 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28115/task/28118/stat : 28118 (java) S 28112 28115 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39288931 10914828288 7516 33554432000 4194304 4196468 140736214806608 140381544143632 140381607462613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28119] ppid=28112 vsize=10659012 memory=139909845436032 CPUtime=0 cores=0,2,4,6
/proc/28115/task/28119/stat : 28119 (java) S 28112 28115 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39288931 10914828288 7516 33554432000 4194304 4196468 140736214806608 140381213551504 140381607462613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28120] ppid=28112 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28115/task/28120/stat : 28120 (java) S 28112 28115 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39288931 10914828288 7516 33554432000 4194304 4196468 140736214806608 140381212498960 140381607462613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28121] ppid=28112 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28115/task/28121/stat : 28121 (java) S 28112 28115 24561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39288931 10914828288 7516 33554432000 4194304 4196468 140736214806608 140381211446416 140381607462613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28122] ppid=28112 vsize=10659012 memory=139909845436032 CPUtime=0 cores=0,2,4,6
/proc/28115/task/28122/stat : 28122 (java) S 28112 28115 24561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39288932 10914828288 7516 33554432000 4194304 4196468 140736214806608 140380643723248 140381607463554 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28123] ppid=28112 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28115/task/28123/stat : 28123 (java) S 28112 28115 24561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39288933 10914828288 7516 33554432000 4194304 4196468 140736214806608 140380642669472 140381607462613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28124] ppid=28112 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28115/task/28124/stat : 28124 (java) S 28112 28115 24561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39288933 10914828288 7516 33554432000 4194304 4196468 140736214806608 140380641616880 140381607462613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28125] ppid=28112 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28115/task/28125/stat : 28125 (java) S 28112 28115 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39288935 10914828288 7516 33554432000 4194304 4196468 140736214806608 140380640565456 140381607471003 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28126] ppid=28112 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28115/task/28126/stat : 28126 (java) S 28112 28115 24561 0 -1 1077944384 441 0 0 0 0 0 0 0 20 0 15 0 39288935 10914828288 7516 33554432000 4194304 4196468 140736214806608 140380639513072 140381607463554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28127] ppid=28112 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28115/task/28127/stat : 28127 (java) R 28112 28115 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39288935 10914828288 7516 33554432000 4194304 4196468 140736214806608 140380638460528 140381607463554 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28128] ppid=28112 vsize=10659012 memory=139909845436032 CPUtime=0.01 cores=0,2,4,6
/proc/28115/task/28128/stat : 28128 (java) R 28112 28115 24561 0 -1 4202560 364 0 0 0 1 0 0 0 20 0 15 0 39288935 10914828288 7516 33554432000 4194304 4196468 140736214806608 140380637407984 140381591532894 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28129] ppid=28112 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28115/task/28129/stat : 28129 (java) S 28112 28115 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39288936 10914828288 7516 33554432000 4194304 4196468 140736214806608 140380636355680 140381607462613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28130] ppid=28112 vsize=10659012 memory=139909845436032 CPUtime=0 cores=0,2,4,6
/proc/28115/task/28130/stat : 28130 (java) S 28112 28115 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39288936 10914828288 7516 33554432000 4194304 4196468 140736214806608 140380635302192 140381607463554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30064 KiB
[startup+0.210438 s]*
/proc/loadavg: 4.71 4.05 3.00 5/216 28130
/proc/meminfo: memFree=20131440/32770624 swapFree=67108860/67108860
[pid=28115] ppid=28112 vsize=10659012 memory=40712 CPUtime=0.32 cores=0,2,4,6
/proc/28115/stat : 28115 (java) S 28112 28115 24561 0 -1 1077944320 7825 0 0 0 30 2 0 0 20 0 15 0 39288930 10914828288 10178 33554432000 4194304 4196468 140736214806608 140736214789152 140381607452407 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
/proc/28115/statm: 2664753 10178 2954 1 0 2627263 0
[pid=28115/tid=28117] ppid=28112 vsize=10659012 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/28115/task/28117/stat : 28117 (java) R 28112 28115 24561 0 -1 4202560 4984 0 0 0 18 1 0 0 20 0 15 0 39288930 10914828288 10178 33554432000 4194304 4196468 140736214806608 140381611688688 140381224266528 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28118] ppid=28112 vsize=10659012 memory=343 CPUtime=0 cores=0,2,4,6
/proc/28115/task/28118/stat : 28118 (java) S 28112 28115 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39288931 10914828288 10178 33554432000 4194304 4196468 140736214806608 140381544143632 140381607462613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28119] ppid=28112 vsize=10659012 memory=288370285997147776 CPUtime=0 cores=0,2,4,6
/proc/28115/task/28119/stat : 28119 (java) S 28112 28115 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39288931 10914828288 10178 33554432000 4194304 4196468 140736214806608 140381213551504 140381607462613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28120] ppid=28112 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28115/task/28120/stat : 28120 (java) S 28112 28115 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39288931 10914828288 10178 33554432000 4194304 4196468 140736214806608 140381212498960 140381607462613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28121] ppid=28112 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28115/task/28121/stat : 28121 (java) S 28112 28115 24561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39288931 10914828288 10178 33554432000 4194304 4196468 140736214806608 140381211446416 140381607462613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28122] ppid=28112 vsize=10659012 memory=139909845436032 CPUtime=0 cores=0,2,4,6
/proc/28115/task/28122/stat : 28122 (java) S 28112 28115 24561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39288932 10914828288 10178 33554432000 4194304 4196468 140736214806608 140380643723248 140381607463554 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28123] ppid=28112 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28115/task/28123/stat : 28123 (java) S 28112 28115 24561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39288933 10914828288 10178 33554432000 4194304 4196468 140736214806608 140380642669472 140381607462613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28124] ppid=28112 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28115/task/28124/stat : 28124 (java) S 28112 28115 24561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39288933 10914828288 10178 33554432000 4194304 4196468 140736214806608 140380641616880 140381607462613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28125] ppid=28112 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28115/task/28125/stat : 28125 (java) S 28112 28115 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39288935 10914828288 10178 33554432000 4194304 4196468 140736214806608 140380640565456 140381607471003 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28126] ppid=28112 vsize=10659012 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/28115/task/28126/stat : 28126 (java) S 28112 28115 24561 0 -1 1077944384 648 0 0 0 2 0 0 0 20 0 15 0 39288935 10914828288 10178 33554432000 4194304 4196468 140736214806608 140380639513072 140381607463554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28127] ppid=28112 vsize=10659012 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/28115/task/28127/stat : 28127 (java) S 28112 28115 24561 0 -1 1077944384 113 0 0 0 1 0 0 0 20 0 15 0 39288935 10914828288 10178 33554432000 4194304 4196468 140736214806608 140380638460528 140381607463554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28128] ppid=28112 vsize=10659012 memory=139909845436032 CPUtime=0.07 cores=0,2,4,6
/proc/28115/task/28128/stat : 28128 (java) R 28112 28115 24561 0 -1 4202560 712 0 0 0 7 0 0 0 20 0 15 0 39288935 10914828288 10178 33554432000 4194304 4196468 140736214806608 140380637407984 140381607473754 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28129] ppid=28112 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28115/task/28129/stat : 28129 (java) S 28112 28115 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39288936 10914828288 10178 33554432000 4194304 4196468 140736214806608 140380636355680 140381607462613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28130] ppid=28112 vsize=10659012 memory=139909845436032 CPUtime=0 cores=0,2,4,6
/proc/28115/task/28130/stat : 28130 (java) S 28112 28115 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39288936 10914828288 10178 33554432000 4194304 4196468 140736214806608 140380635302192 140381607463554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 40712 KiB
[startup+0.312113 s]*
/proc/loadavg: 4.71 4.05 3.00 4/216 28130
/proc/meminfo: memFree=20123748/32770624 swapFree=67108860/67108860
[pid=28115] ppid=28112 vsize=10659088 memory=46928 CPUtime=0.51 cores=0,2,4,6
/proc/28115/stat : 28115 (java) S 28112 28115 24561 0 -1 1077944320 8743 0 0 0 49 2 0 0 20 0 15 0 39288930 10914906112 11732 33554432000 4194304 4196468 140736214806608 140736214789152 140381607452407 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
/proc/28115/statm: 2664772 11732 3060 1 0 2627263 0
[pid=28115/tid=28117] ppid=28112 vsize=10659088 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/28115/task/28117/stat : 28117 (java) R 28112 28115 24561 0 -1 4202560 5621 0 0 0 28 2 0 0 20 0 15 0 39288930 10914906112 11732 33554432000 4194304 4196468 140736214806608 140381611688336 140381607464342 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28118] ppid=28112 vsize=10659088 memory=288230609002954775 CPUtime=0 cores=0,2,4,6
/proc/28115/task/28118/stat : 28118 (java) S 28112 28115 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39288931 10914906112 11732 33554432000 4194304 4196468 140736214806608 140381544143632 140381607462613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28119] ppid=28112 vsize=10659088 memory=288370285997147776 CPUtime=0 cores=0,2,4,6
/proc/28115/task/28119/stat : 28119 (java) S 28112 28115 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39288931 10914906112 11732 33554432000 4194304 4196468 140736214806608 140381213551504 140381607462613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28120] ppid=28112 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28115/task/28120/stat : 28120 (java) S 28112 28115 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39288931 10914906112 11732 33554432000 4194304 4196468 140736214806608 140381212498960 140381607462613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28121] ppid=28112 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28115/task/28121/stat : 28121 (java) S 28112 28115 24561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39288931 10914906112 11732 33554432000 4194304 4196468 140736214806608 140381211446416 140381607462613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28122] ppid=28112 vsize=10659088 memory=139909845436032 CPUtime=0 cores=0,2,4,6
/proc/28115/task/28122/stat : 28122 (java) S 28112 28115 24561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39288932 10914906112 11732 33554432000 4194304 4196468 140736214806608 140380643723248 140381607463554 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28123] ppid=28112 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28115/task/28123/stat : 28123 (java) S 28112 28115 24561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39288933 10914906112 11732 33554432000 4194304 4196468 140736214806608 140380642669472 140381607462613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28124] ppid=28112 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28115/task/28124/stat : 28124 (java) S 28112 28115 24561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39288933 10914906112 11732 33554432000 4194304 4196468 140736214806608 140380641616880 140381607462613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28125] ppid=28112 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28115/task/28125/stat : 28125 (java) S 28112 28115 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39288935 10914906112 11732 33554432000 4194304 4196468 140736214806608 140380640565456 140381607471003 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28126] ppid=28112 vsize=10659088 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/28115/task/28126/stat : 28126 (java) S 28112 28115 24561 0 -1 1077944384 739 0 0 0 5 0 0 0 20 0 15 0 39288935 10914906112 11732 33554432000 4194304 4196468 140736214806608 140380639513072 140381607463554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28127] ppid=28112 vsize=10659088 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/28115/task/28127/stat : 28127 (java) S 28112 28115 24561 0 -1 1077944384 151 0 0 0 3 0 0 0 20 0 15 0 39288935 10914906112 11732 33554432000 4194304 4196468 140736214806608 140380638460528 140381607463554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28128] ppid=28112 vsize=10659088 memory=139909845436032 CPUtime=0.12 cores=0,2,4,6
/proc/28115/task/28128/stat : 28128 (java) R 28112 28115 24561 0 -1 4202560 864 0 0 0 12 0 0 0 20 0 15 0 39288935 10914906112 11732 33554432000 4194304 4196468 140736214806608 140380637407984 140381586165418 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28129] ppid=28112 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28115/task/28129/stat : 28129 (java) S 28112 28115 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39288936 10914906112 11732 33554432000 4194304 4196468 140736214806608 140380636355680 140381607462613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28130] ppid=28112 vsize=10659088 memory=139909845436032 CPUtime=0 cores=0,2,4,6
/proc/28115/task/28130/stat : 28130 (java) S 28112 28115 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39288936 10914906112 11732 33554432000 4194304 4196468 140736214806608 140380635302192 140381607463554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 46928 KiB
[startup+0.700716 s]
/proc/loadavg: 4.71 4.05 3.00 5/216 28130
/proc/meminfo: memFree=20091440/32770624 swapFree=67108860/67108860
[pid=28115] ppid=28112 vsize=10659088 memory=99676 CPUtime=1.51 cores=0,2,4,6
/proc/28115/stat : 28115 (java) S 28112 28115 24561 0 -1 1077944320 12265 0 0 0 147 4 0 0 20 0 15 0 39288930 10914906112 24919 33554432000 4194304 4196468 140736214806608 140736214789152 140381607452407 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
/proc/28115/statm: 2664772 24919 3099 1 0 2627263 0
[pid=28115/tid=28117] ppid=28112 vsize=10659088 memory=1728 CPUtime=0.67 cores=0,2,4,6
/proc/28115/task/28117/stat : 28117 (java) R 28112 28115 24561 0 -1 4202560 5722 0 0 0 65 2 0 0 20 0 15 0 39288930 10914906112 24919 33554432000 4194304 4196468 140736214806608 140381611688472 140381224273395 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28118] ppid=28112 vsize=10659088 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/28115/task/28118/stat : 28118 (java) S 28112 28115 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39288931 10914906112 24919 33554432000 4194304 4196468 140736214806608 140381544143632 140381607462613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28119] ppid=28112 vsize=10659088 memory=11956 CPUtime=0 cores=0,2,4,6
/proc/28115/task/28119/stat : 28119 (java) S 28112 28115 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39288931 10914906112 24919 33554432000 4194304 4196468 140736214806608 140381213551504 140381607462613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28120] ppid=28112 vsize=10659088 memory=5520 CPUtime=0 cores=0,2,4,6
/proc/28115/task/28120/stat : 28120 (java) S 28112 28115 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39288931 10914906112 24919 33554432000 4194304 4196468 140736214806608 140381212498960 140381607462613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28121] ppid=28112 vsize=10659088 memory=792 CPUtime=0 cores=0,2,4,6
/proc/28115/task/28121/stat : 28121 (java) S 28112 28115 24561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39288931 10914906112 24919 33554432000 4194304 4196468 140736214806608 140381211446416 140381607462613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28122] ppid=28112 vsize=10659088 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/28115/task/28122/stat : 28122 (java) S 28112 28115 24561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39288932 10914906112 24919 33554432000 4194304 4196468 140736214806608 140380643723248 140381607463554 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28123] ppid=28112 vsize=10659088 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/28115/task/28123/stat : 28123 (java) S 28112 28115 24561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39288933 10914906112 24919 33554432000 4194304 4196468 140736214806608 140380642669472 140381607462613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28124] ppid=28112 vsize=10659088 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/28115/task/28124/stat : 28124 (java) S 28112 28115 24561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39288933 10914906112 24919 33554432000 4194304 4196468 140736214806608 140380641616880 140381607462613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28125] ppid=28112 vsize=10659088 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/28115/task/28125/stat : 28125 (java) S 28112 28115 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39288935 10914906112 24919 33554432000 4194304 4196468 140736214806608 140380640565456 140381607471003 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28126] ppid=28112 vsize=10659088 memory=7163631965283378496 CPUtime=0.29 cores=0,2,4,6
/proc/28115/task/28126/stat : 28126 (java) S 28112 28115 24561 0 -1 1077944384 1555 0 0 0 29 0 0 0 20 0 15 0 39288935 10914906112 24919 33554432000 4194304 4196468 140736214806608 140380639513072 140381607463554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28127] ppid=28112 vsize=10659088 memory=6083353102074538087 CPUtime=0.34 cores=0,2,4,6
/proc/28115/task/28127/stat : 28127 (java) R 28112 28115 24561 0 -1 4202560 2605 0 0 0 34 0 0 0 20 0 15 0 39288935 10914906112 24919 33554432000 4194304 4196468 140736214806608 140380638460528 140381591698131 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28128] ppid=28112 vsize=10659088 memory=7440061282865139792 CPUtime=0.17 cores=0,2,4,6
/proc/28115/task/28128/stat : 28128 (java) S 28112 28115 24561 0 -1 1077944384 1015 0 0 0 17 0 0 0 20 0 15 0 39288935 10914906112 24919 33554432000 4194304 4196468 140736214806608 140380637407984 140381607463554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28129] ppid=28112 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28115/task/28129/stat : 28129 (java) S 28112 28115 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39288936 10914906112 24919 33554432000 4194304 4196468 140736214806608 140380636355680 140381607462613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28130] ppid=28112 vsize=10659088 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/28115/task/28130/stat : 28130 (java) S 28112 28115 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39288936 10914906112 24919 33554432000 4194304 4196468 140736214806608 140380635302192 140381607463554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
Current children cumulated CPU time: 1.51 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 99676 KiB
[startup+1.50109 s]
/proc/loadavg: 4.71 4.05 3.00 3/216 28130
/proc/meminfo: memFree=20033916/32770624 swapFree=67108860/67108860
[pid=28115] ppid=28112 vsize=10659088 memory=244020 CPUtime=3.21 cores=0,2,4,6
/proc/28115/stat : 28115 (java) S 28112 28115 24561 0 -1 1077944320 18798 0 0 0 309 12 0 0 20 0 15 0 39288930 10914906112 61005 33554432000 4194304 4196468 140736214806608 140736214789152 140381607452407 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
/proc/28115/statm: 2664772 61005 3128 1 0 2627263 0
[pid=28115/tid=28117] ppid=28112 vsize=10659088 memory=0 CPUtime=1.4 cores=0,2,4,6
/proc/28115/task/28117/stat : 28117 (java) S 28112 28115 24561 0 -1 1077944384 7568 0 0 0 136 4 0 0 20 0 15 0 39288930 10914906112 61005 33554432000 4194304 4196468 140736214806608 140381611684976 140381607462613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28118] ppid=28112 vsize=10659088 memory=-6951259422114956437 CPUtime=0.06 cores=0,2,4,6
/proc/28115/task/28118/stat : 28118 (java) R 28112 28115 24561 0 -1 4202560 54 0 0 0 5 1 0 0 20 0 15 0 39288931 10914906112 61005 33554432000 4194304 4196468 140736214806608 140381544143632 140381592479530 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28119] ppid=28112 vsize=10659088 memory=-6509546260019855295 CPUtime=0.06 cores=0,2,4,6
/proc/28115/task/28119/stat : 28119 (java) R 28112 28115 24561 0 -1 4202560 87 0 0 0 5 1 0 0 20 0 15 0 39288931 10914906112 61005 33554432000 4194304 4196468 140736214806608 140381213551504 140381592480281 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28120] ppid=28112 vsize=10659088 memory=-7390251449858225344 CPUtime=0.06 cores=0,2,4,6
/proc/28115/task/28120/stat : 28120 (java) R 28112 28115 24561 0 -1 4202560 53 0 0 0 5 1 0 0 20 0 15 0 39288931 10914906112 61005 33554432000 4194304 4196468 140736214806608 140381212499160 140381592476437 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28121] ppid=28112 vsize=10659088 memory=4134692831991786133 CPUtime=0.06 cores=0,2,4,6
/proc/28115/task/28121/stat : 28121 (java) R 28112 28115 24561 0 -1 4202560 131 0 0 0 5 1 0 0 20 0 15 0 39288931 10914906112 61005 33554432000 4194304 4196468 140736214806608 140381211446416 140381592476636 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28122] ppid=28112 vsize=10659088 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/28115/task/28122/stat : 28122 (java) S 28112 28115 24561 0 -1 1077944384 277 0 0 0 0 0 0 0 20 0 15 0 39288932 10914906112 61005 33554432000 4194304 4196468 140736214806608 140380643721760 140381607462613 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
################
# More data... #
################
/proc/28115/task/28119/stat : 28119 (java) S 28112 28115 24561 0 -1 1077944384 5393 0 0 0 598 76 0 0 20 0 16 0 39288931 10985164800 776895 33554432000 4194304 4196468 140736214806608 140381213551504 140381607462613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28120] ppid=28112 vsize=10727700 memory=3107580 CPUtime=6.73 cores=0,2,4,6
/proc/28115/task/28120/stat : 28120 (java) S 28112 28115 24561 0 -1 1077944384 5655 0 0 0 597 76 0 0 20 0 16 0 39288931 10985164800 776895 33554432000 4194304 4196468 140736214806608 140381212498960 140381607462613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28121] ppid=28112 vsize=10727700 memory=3107580 CPUtime=6.7 cores=0,2,4,6
/proc/28115/task/28121/stat : 28121 (java) S 28112 28115 24561 0 -1 1077944384 5600 0 0 0 594 76 0 0 20 0 16 0 39288931 10985164800 776895 33554432000 4194304 4196468 140736214806608 140381211446416 140381607462613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28122] ppid=28112 vsize=10727700 memory=3107580 CPUtime=1.79 cores=0,2,4,6
/proc/28115/task/28122/stat : 28122 (java) S 28112 28115 24561 0 -1 1077944384 11064 0 0 0 176 3 0 0 20 0 16 0 39288932 10985164800 776895 33554432000 4194304 4196468 140736214806608 140380643723248 140381607463554 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28123] ppid=28112 vsize=10727700 memory=3107580 CPUtime=0 cores=0,2,4,6
/proc/28115/task/28123/stat : 28123 (java) S 28112 28115 24561 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 16 0 39288933 10985164800 776895 33554432000 4194304 4196468 140736214806608 140380642669536 140381607462613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28124] ppid=28112 vsize=10727700 memory=3107580 CPUtime=0 cores=0,2,4,6
/proc/28115/task/28124/stat : 28124 (java) S 28112 28115 24561 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 16 0 39288933 10985164800 776895 33554432000 4194304 4196468 140736214806608 140380641616896 140381607462613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28125] ppid=28112 vsize=10727700 memory=3107580 CPUtime=0 cores=0,2,4,6
/proc/28115/task/28125/stat : 28125 (java) S 28112 28115 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39288935 10985164800 776895 33554432000 4194304 4196468 140736214806608 140380640565456 140381607471003 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28126] ppid=28112 vsize=10727700 memory=3107580 CPUtime=1.84 cores=0,2,4,6
/proc/28115/task/28126/stat : 28126 (java) S 28112 28115 24561 0 -1 1077944384 12896 0 0 0 182 2 0 0 20 0 16 0 39288935 10985164800 776895 33554432000 4194304 4196468 140736214806608 140380639513072 140381607463554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28127] ppid=28112 vsize=10727700 memory=6791534058613427641 CPUtime=1.82 cores=0,2,4,6
/proc/28115/task/28127/stat : 28127 (java) S 28112 28115 24561 0 -1 1077944384 7599 0 0 0 181 1 0 0 20 0 16 0 39288935 10985164800 776895 33554432000 4194304 4196468 140736214806608 140380638460528 140381607463554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28128] ppid=28112 vsize=10727700 memory=288230621803970871 CPUtime=0.44 cores=0,2,4,6
/proc/28115/task/28128/stat : 28128 (java) S 28112 28115 24561 0 -1 1077944384 6567 0 0 0 44 0 0 0 20 0 16 0 39288935 10985164800 776895 33554432000 4194304 4196468 140736214806608 140380637407984 140381607463554 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28129] ppid=28112 vsize=10727700 memory=3107580 CPUtime=0 cores=0,2,4,6
/proc/28115/task/28129/stat : 28129 (java) S 28112 28115 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39288936 10985164800 776895 33554432000 4194304 4196468 140736214806608 140380636355680 140381607462613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28130] ppid=28112 vsize=10727700 memory=3107580 CPUtime=1.34 cores=0,2,4,6
/proc/28115/task/28130/stat : 28130 (java) S 28112 28115 24561 0 -1 1077944384 1963 0 0 0 74 60 0 0 20 0 16 0 39288936 10985164800 776895 33554432000 4194304 4196468 140736214806608 140380635302192 140381607463554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28131] ppid=28112 vsize=10727700 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/28115/task/28131/stat : 28131 (java) S 28112 28115 24561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 39289327 10985164800 776895 33554432000 4194304 4196468 140736214806608 140380634247984 140381607463554 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
Current children cumulated CPU time: 2347.77 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 3107580 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2374.5 s]
/proc/loadavg: 2.02 2.02 2.10 3/218 28311
/proc/meminfo: memFree=16189652/32770624 swapFree=67108860/67108860
[pid=28115] ppid=28112 vsize=10727700 memory=3107580 CPUtime=2400.01 cores=0,2,4,6
/proc/28115/stat : 28115 (java) S 28112 28115 24561 0 -1 1077944320 142627 0 0 0 239615 386 0 0 20 0 16 0 39288930 10985164800 776895 33554432000 4194304 4196468 140736214806608 140736214789152 140381607452407 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
/proc/28115/statm: 2681925 776895 3181 1 0 2644416 0
[pid=28115/tid=28117] ppid=28112 vsize=10727700 memory=3107580 CPUtime=2365.76 cores=0,2,4,6
/proc/28115/task/28117/stat : 28117 (java) R 28112 28115 24561 0 -1 4202560 79085 0 0 0 236556 20 0 0 20 0 16 0 39288930 10985164800 776895 33554432000 4194304 4196468 140736214806608 140381611691296 140381229075595 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28118] ppid=28112 vsize=10727700 memory=3107580 CPUtime=6.73 cores=0,2,4,6
/proc/28115/task/28118/stat : 28118 (java) S 28112 28115 24561 0 -1 1077944384 5248 0 0 0 595 78 0 0 20 0 16 0 39288931 10985164800 776895 33554432000 4194304 4196468 140736214806608 140381544143632 140381607462613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28119] ppid=28112 vsize=10727700 memory=3107580 CPUtime=6.74 cores=0,2,4,6
/proc/28115/task/28119/stat : 28119 (java) S 28112 28115 24561 0 -1 1077944384 5393 0 0 0 598 76 0 0 20 0 16 0 39288931 10985164800 776895 33554432000 4194304 4196468 140736214806608 140381213551504 140381607462613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28120] ppid=28112 vsize=10727700 memory=3107580 CPUtime=6.73 cores=0,2,4,6
/proc/28115/task/28120/stat : 28120 (java) S 28112 28115 24561 0 -1 1077944384 5655 0 0 0 597 76 0 0 20 0 16 0 39288931 10985164800 776895 33554432000 4194304 4196468 140736214806608 140381212498960 140381607462613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28121] ppid=28112 vsize=10727700 memory=3107580 CPUtime=6.7 cores=0,2,4,6
/proc/28115/task/28121/stat : 28121 (java) S 28112 28115 24561 0 -1 1077944384 5600 0 0 0 594 76 0 0 20 0 16 0 39288931 10985164800 776895 33554432000 4194304 4196468 140736214806608 140381211446416 140381607462613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28122] ppid=28112 vsize=10727700 memory=3107580 CPUtime=1.79 cores=0,2,4,6
/proc/28115/task/28122/stat : 28122 (java) S 28112 28115 24561 0 -1 1077944384 11087 0 0 0 176 3 0 0 20 0 16 0 39288932 10985164800 776895 33554432000 4194304 4196468 140736214806608 140380643723248 140381607463554 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28123] ppid=28112 vsize=10727700 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/28115/task/28123/stat : 28123 (java) S 28112 28115 24561 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 16 0 39288933 10985164800 776895 33554432000 4194304 4196468 140736214806608 140380642669536 140381607462613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28124] ppid=28112 vsize=10727700 memory=3107580 CPUtime=0 cores=0,2,4,6
/proc/28115/task/28124/stat : 28124 (java) S 28112 28115 24561 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 16 0 39288933 10985164800 776895 33554432000 4194304 4196468 140736214806608 140380641616896 140381607462613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28125] ppid=28112 vsize=10727700 memory=3107580 CPUtime=0 cores=0,2,4,6
/proc/28115/task/28125/stat : 28125 (java) S 28112 28115 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39288935 10985164800 776895 33554432000 4194304 4196468 140736214806608 140380640565456 140381607471003 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28126] ppid=28112 vsize=10727700 memory=3107580 CPUtime=1.84 cores=0,2,4,6
/proc/28115/task/28126/stat : 28126 (java) S 28112 28115 24561 0 -1 1077944384 12904 0 0 0 182 2 0 0 20 0 16 0 39288935 10985164800 776895 33554432000 4194304 4196468 140736214806608 140380639513072 140381607463554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28127] ppid=28112 vsize=10727700 memory=3107580 CPUtime=1.82 cores=0,2,4,6
/proc/28115/task/28127/stat : 28127 (java) S 28112 28115 24561 0 -1 1077944384 7602 0 0 0 181 1 0 0 20 0 16 0 39288935 10985164800 776895 33554432000 4194304 4196468 140736214806608 140380638460528 140381607463554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28128] ppid=28112 vsize=10727700 memory=3107580 CPUtime=0.44 cores=0,2,4,6
/proc/28115/task/28128/stat : 28128 (java) S 28112 28115 24561 0 -1 1077944384 6570 0 0 0 44 0 0 0 20 0 16 0 39288935 10985164800 776895 33554432000 4194304 4196468 140736214806608 140380637407984 140381607463554 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28129] ppid=28112 vsize=10727700 memory=2340 CPUtime=0 cores=0,2,4,6
/proc/28115/task/28129/stat : 28129 (java) S 28112 28115 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39288936 10985164800 776895 33554432000 4194304 4196468 140736214806608 140380636355680 140381607462613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28130] ppid=28112 vsize=10727700 memory=3107580 CPUtime=1.38 cores=0,2,4,6
/proc/28115/task/28130/stat : 28130 (java) S 28112 28115 24561 0 -1 1077944384 1989 0 0 0 76 62 0 0 20 0 16 0 39288936 10985164800 776895 33554432000 4194304 4196468 140736214806608 140380635302192 140381607463554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28131] ppid=28112 vsize=10727700 memory=3107580 CPUtime=0 cores=0,2,4,6
/proc/28115/task/28131/stat : 28131 (java) S 28112 28115 24561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 39289327 10985164800 776895 33554432000 4194304 4196468 140736214806608 140380634247984 140381607463554 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 3107580 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2374.74 s]
# the end of solver process 28115 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.41 s, system=3.88129 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2374.61 s]
/proc/loadavg: 2.02 2.02 2.10 3/218 28311
/proc/meminfo: memFree=16189652/32770624 swapFree=67108860/67108860
[pid=28115] ppid=28112 vsize=10927392 memory=3107888 CPUtime=2400.12 cores=0,2,4,6
/proc/28115/stat : 28115 (java) S 28112 28115 24561 0 -1 1077944320 144473 0 0 0 239626 386 0 0 20 0 17 0 39288930 11189649408 776972 33554432000 4194304 4196468 140736214806608 140736214789152 140381607452407 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
/proc/28115/statm: 2731848 776972 3183 1 0 2694339 0
[pid=28115/tid=28117] ppid=28112 vsize=10927392 memory=1296 CPUtime=2365.86 cores=0,2,4,6
/proc/28115/task/28117/stat : 28117 (java) R 28112 28115 24561 0 -1 4202560 79298 0 0 0 236566 20 0 0 20 0 17 0 39288930 11189649408 776972 33554432000 4194304 4196468 140736214806608 140381611688576 140381229153136 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28118] ppid=28112 vsize=10927392 memory=2428 CPUtime=6.73 cores=0,2,4,6
/proc/28115/task/28118/stat : 28118 (java) S 28112 28115 24561 0 -1 1077944384 5248 0 0 0 595 78 0 0 20 0 17 0 39288931 11189649408 776972 33554432000 4194304 4196468 140736214806608 140381544143632 140381607462613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28119] ppid=28112 vsize=10927392 memory=6791534058613427641 CPUtime=6.74 cores=0,2,4,6
/proc/28115/task/28119/stat : 28119 (java) S 28112 28115 24561 0 -1 1077944384 5393 0 0 0 598 76 0 0 20 0 17 0 39288931 11189649408 776972 33554432000 4194304 4196468 140736214806608 140381213551504 140381607462613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28120] ppid=28112 vsize=10927392 memory=6944656592385698452 CPUtime=6.73 cores=0,2,4,6
/proc/28115/task/28120/stat : 28120 (java) S 28112 28115 24561 0 -1 1077944384 5655 0 0 0 597 76 0 0 20 0 17 0 39288931 11189649408 776972 33554432000 4194304 4196468 140736214806608 140381212498960 140381607462613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28121] ppid=28112 vsize=10927392 memory=0 CPUtime=6.7 cores=0,2,4,6
/proc/28115/task/28121/stat : 28121 (java) S 28112 28115 24561 0 -1 1077944384 5600 0 0 0 594 76 0 0 20 0 17 0 39288931 11189649408 776972 33554432000 4194304 4196468 140736214806608 140381211446416 140381607462613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28122] ppid=28112 vsize=10927392 memory=0 CPUtime=1.79 cores=0,2,4,6
/proc/28115/task/28122/stat : 28122 (java) S 28112 28115 24561 0 -1 1077944384 11087 0 0 0 176 3 0 0 20 0 17 0 39288932 11189649408 776972 33554432000 4194304 4196468 140736214806608 140380643723248 140381607463554 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28123] ppid=28112 vsize=10927392 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/28115/task/28123/stat : 28123 (java) S 28112 28115 24561 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 17 0 39288933 11189649408 776972 33554432000 4194304 4196468 140736214806608 140380642669536 140381607462613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28124] ppid=28112 vsize=10927392 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/28115/task/28124/stat : 28124 (java) S 28112 28115 24561 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 17 0 39288933 11189649408 776972 33554432000 4194304 4196468 140736214806608 140380641616896 140381607462613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28125] ppid=28112 vsize=10927392 memory=11956 CPUtime=0 cores=0,2,4,6
/proc/28115/task/28125/stat : 28125 (java) S 28112 28115 24561 0 -1 1077944384 232 0 0 0 0 0 0 0 20 0 17 0 39288935 11189649408 776972 33554432000 4194304 4196468 140736214806608 140380640565456 140381607471003 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28126] ppid=28112 vsize=10927392 memory=5520 CPUtime=1.84 cores=0,2,4,6
/proc/28115/task/28126/stat : 28126 (java) S 28112 28115 24561 0 -1 1077944384 12961 0 0 0 182 2 0 0 20 0 17 0 39288935 11189649408 776972 33554432000 4194304 4196468 140736214806608 140380639513072 140381607463554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28127] ppid=28112 vsize=10927392 memory=792 CPUtime=1.82 cores=0,2,4,6
/proc/28115/task/28127/stat : 28127 (java) S 28112 28115 24561 0 -1 1077944384 7626 0 0 0 181 1 0 0 20 0 17 0 39288935 11189649408 776972 33554432000 4194304 4196468 140736214806608 140380638460528 140381607463554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28128] ppid=28112 vsize=10927392 memory=6791534058613427641 CPUtime=0.44 cores=0,2,4,6
/proc/28115/task/28128/stat : 28128 (java) S 28112 28115 24561 0 -1 1077944384 7487 0 0 0 44 0 0 0 20 0 17 0 39288935 11189649408 776972 33554432000 4194304 4196468 140736214806608 140380637407984 140381607463554 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28129] ppid=28112 vsize=10927392 memory=44 CPUtime=0 cores=0,2,4,6
/proc/28115/task/28129/stat : 28129 (java) S 28112 28115 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39288936 11189649408 776972 33554432000 4194304 4196468 140736214806608 140380636355680 140381607462613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28130] ppid=28112 vsize=10927392 memory=0 CPUtime=1.38 cores=0,2,4,6
/proc/28115/task/28130/stat : 28130 (java) S 28112 28115 24561 0 -1 1077944384 1989 0 0 0 76 62 0 0 20 0 17 0 39288936 11189649408 776972 33554432000 4194304 4196468 140736214806608 140380635302192 140381607463554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
Current children cumulated CPU time: 2400.12 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 3107888 KiB
[startup+2374.7 s]
/proc/loadavg: 2.02 2.02 2.10 3/218 28311
/proc/meminfo: memFree=16189652/32770624 swapFree=67108860/67108860
[pid=28115] ppid=28112 vsize=10927392 memory=3107888 CPUtime=2400.22 cores=0,2,4,6
/proc/28115/stat : 28115 (java) S 28112 28115 24561 0 -1 1077944320 144484 0 0 0 239636 386 0 0 20 0 17 0 39288930 11189649408 776972 33554432000 4194304 4196468 140736214806608 140736214789152 140381607452407 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
/proc/28115/statm: 2731848 776972 3183 1 0 2694339 0
[pid=28115/tid=28117] ppid=28112 vsize=10927392 memory=3107580 CPUtime=2365.96 cores=0,2,4,6
/proc/28115/task/28117/stat : 28117 (java) R 28112 28115 24561 0 -1 4202560 79300 0 0 0 236576 20 0 0 20 0 17 0 39288930 11189649408 776972 33554432000 4194304 4196468 140736214806608 140381611688576 140381229153524 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28118] ppid=28112 vsize=10927392 memory=3107580 CPUtime=6.73 cores=0,2,4,6
/proc/28115/task/28118/stat : 28118 (java) S 28112 28115 24561 0 -1 1077944384 5248 0 0 0 595 78 0 0 20 0 17 0 39288931 11189649408 776972 33554432000 4194304 4196468 140736214806608 140381544143632 140381607462613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28119] ppid=28112 vsize=10927392 memory=3107580 CPUtime=6.74 cores=0,2,4,6
/proc/28115/task/28119/stat : 28119 (java) S 28112 28115 24561 0 -1 1077944384 5393 0 0 0 598 76 0 0 20 0 17 0 39288931 11189649408 776972 33554432000 4194304 4196468 140736214806608 140381213551504 140381607462613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28120] ppid=28112 vsize=10927392 memory=3107580 CPUtime=6.73 cores=0,2,4,6
/proc/28115/task/28120/stat : 28120 (java) S 28112 28115 24561 0 -1 1077944384 5655 0 0 0 597 76 0 0 20 0 17 0 39288931 11189649408 776972 33554432000 4194304 4196468 140736214806608 140381212498960 140381607462613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28121] ppid=28112 vsize=10927392 memory=0 CPUtime=6.7 cores=0,2,4,6
/proc/28115/task/28121/stat : 28121 (java) S 28112 28115 24561 0 -1 1077944384 5600 0 0 0 594 76 0 0 20 0 17 0 39288931 11189649408 776972 33554432000 4194304 4196468 140736214806608 140381211446416 140381607462613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28122] ppid=28112 vsize=10927392 memory=3107580 CPUtime=1.79 cores=0,2,4,6
/proc/28115/task/28122/stat : 28122 (java) S 28112 28115 24561 0 -1 1077944384 11087 0 0 0 176 3 0 0 20 0 17 0 39288932 11189649408 776972 33554432000 4194304 4196468 140736214806608 140380643723248 140381607463554 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28123] ppid=28112 vsize=10927392 memory=3107580 CPUtime=0 cores=0,2,4,6
/proc/28115/task/28123/stat : 28123 (java) S 28112 28115 24561 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 17 0 39288933 11189649408 776972 33554432000 4194304 4196468 140736214806608 140380642669536 140381607462613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28124] ppid=28112 vsize=10927392 memory=3107580 CPUtime=0 cores=0,2,4,6
/proc/28115/task/28124/stat : 28124 (java) S 28112 28115 24561 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 17 0 39288933 11189649408 776972 33554432000 4194304 4196468 140736214806608 140380641616896 140381607462613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28125] ppid=28112 vsize=10927392 memory=3107580 CPUtime=0 cores=0,2,4,6
/proc/28115/task/28125/stat : 28125 (java) S 28112 28115 24561 0 -1 1077944384 232 0 0 0 0 0 0 0 20 0 17 0 39288935 11189649408 776972 33554432000 4194304 4196468 140736214806608 140380640565456 140381607471003 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28126] ppid=28112 vsize=10927392 memory=3107580 CPUtime=1.84 cores=0,2,4,6
/proc/28115/task/28126/stat : 28126 (java) S 28112 28115 24561 0 -1 1077944384 12961 0 0 0 182 2 0 0 20 0 17 0 39288935 11189649408 776972 33554432000 4194304 4196468 140736214806608 140380639513072 140381607463554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28127] ppid=28112 vsize=10927392 memory=3107580 CPUtime=1.82 cores=0,2,4,6
/proc/28115/task/28127/stat : 28127 (java) S 28112 28115 24561 0 -1 1077944384 7626 0 0 0 181 1 0 0 20 0 17 0 39288935 11189649408 776972 33554432000 4194304 4196468 140736214806608 140380638460528 140381607463554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28128] ppid=28112 vsize=10927392 memory=2340 CPUtime=0.44 cores=0,2,4,6
/proc/28115/task/28128/stat : 28128 (java) S 28112 28115 24561 0 -1 1077944384 7496 0 0 0 44 0 0 0 20 0 17 0 39288935 11189649408 776972 33554432000 4194304 4196468 140736214806608 140380637407984 140381607463554 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28129] ppid=28112 vsize=10927392 memory=3107580 CPUtime=0 cores=0,2,4,6
/proc/28115/task/28129/stat : 28129 (java) S 28112 28115 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39288936 11189649408 776972 33554432000 4194304 4196468 140736214806608 140380636355680 140381607462613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
[pid=28115/tid=28130] ppid=28112 vsize=10927392 memory=3107580 CPUtime=1.38 cores=0,2,4,6
/proc/28115/task/28130/stat : 28130 (java) S 28112 28115 24561 0 -1 1077944384 1989 0 0 0 76 62 0 0 20 0 17 0 39288936 11189649408 776972 33554432000 4194304 4196468 140736214806608 140380635302192 140381607463554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18178048 140736214807665 140736214807817 140736214807817 140736214810575 0
Current children cumulated CPU time: 2400.22 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 3107888 KiB
Child status: 143
Real time (s): 2374.74
CPU time (s): 2400.29
CPU user time (s): 2396.41
CPU system time (s): 3.88129
CPU usage (%): 101.076
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 3107888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.41
system time used= 3.88129
maximum resident set size= 3108008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 144752
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54423
involuntary context switches= 2090
# summary of solver processes directly reported to runsolver:
# pid: 28115
# total CPU time (s): 2400.29
# total CPU user time (s): 2396.41
# total CPU system time (s): 3.88129
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.1282 second user time and 22.9019 second system time
The end