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 (13339 MiB free)
memory of node 1: 16384 MiB (12792 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259458-1502645813/watcher-4259458-1502645813 -o /tmp/evaluation-result-4259458-1502645813/solver-4259458-1502645813 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node149-1502644582-9044 --watchdog 312 bin/concrete HOME/instance-4259458-1502645813.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=9529, runsolver pid=9526
Current StackSize limit: 8192 KiB
[startup+0.109633 s]*
/proc/loadavg: 1.68 2.09 2.08 3/208 9584
/proc/meminfo: memFree=26750200/32770624 swapFree=67108860/67108860
[pid=9529] ppid=9526 vsize=13578732 memory=16548 CPUtime=0.1 cores=0,2,4,6
/proc/9529/stat : 9529 (java) S 9526 9529 3242 0 -1 1077944320 4833 12404 0 0 2 1 5 2 20 0 9 0 97662177 13904621568 4137 33554432000 4194304 4196468 140734519777312 140734519759856 139949368696567 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
/proc/9529/statm: 3394683 4137 2090 1 0 3383121 0
[pid=9529/tid=9579] ppid=9526 vsize=13578732 memory=-8745273339715829695 CPUtime=0.08 cores=0,2,4,6
/proc/9529/task/9579/stat : 9579 (java) R 9526 9529 3242 0 -1 4202560 2646 12404 0 0 1 0 5 2 20 0 9 0 97662186 13904621568 4202 33554432000 4194304 4196468 140734519777312 139949372931952 139949348972274 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9580] ppid=9526 vsize=13578732 memory=-7522837583129502606 CPUtime=0.07 cores=0,2,4,6
/proc/9529/task/9580/stat : 9580 (java) S 9526 9529 3242 0 -1 1077944384 1 12404 0 0 0 0 5 2 20 0 9 0 97662187 13904621568 4202 33554432000 4194304 4196468 140734519777312 139949298785296 139949368706773 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9581] ppid=9526 vsize=13578732 memory=139794133526144 CPUtime=0.07 cores=0,2,4,6
/proc/9529/task/9581/stat : 9581 (java) S 9526 9529 3242 0 -1 1077944384 1 12404 0 0 0 0 5 2 20 0 9 0 97662187 13904621568 4202 33554432000 4194304 4196468 140734519777312 139949297732752 139949368706773 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9582] ppid=9526 vsize=13578732 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9529/task/9582/stat : 9582 (java) S 9526 9529 3242 0 -1 1077944384 1 12404 0 0 0 0 5 2 20 0 9 0 97662187 13904621568 4202 33554432000 4194304 4196468 140734519777312 139949296679696 139949368706773 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9583] ppid=9526 vsize=13578732 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9529/task/9583/stat : 9583 (java) S 9526 9529 3242 0 -1 1077944384 2 12404 0 0 0 0 5 2 20 0 9 0 97662187 13904621568 4202 33554432000 4194304 4196468 140734519777312 139948960955280 139949368706773 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9584] ppid=9526 vsize=13578732 memory=139794133526144 CPUtime=0.07 cores=0,2,4,6
/proc/9529/task/9584/stat : 9584 (java) S 9526 9529 3242 0 -1 1077944384 2 12404 0 0 0 0 5 2 20 0 9 0 97662188 13904621568 4202 33554432000 4194304 4196468 140734519777312 139948842903792 139949368707714 0 0 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9585] ppid=9526 vsize=13578732 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9529/task/9585/stat : 9585 (java) S 9526 9529 3242 0 -1 1077944384 33 12404 0 0 0 0 5 2 20 0 9 0 97662188 13904621568 4202 33554432000 4194304 4196468 140734519777312 139948841850016 139949368706773 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9586] ppid=9526 vsize=13578732 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9529/task/9586/stat : 9586 (java) S 9526 9529 3242 0 -1 1077944384 21 12404 0 0 0 0 5 2 20 0 9 0 97662189 13904621568 4202 33554432000 4194304 4196468 140734519777312 139948840796976 139949368706773 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13578732 KiB
Current children cumulated memory: 16548 KiB
[startup+0.209898 s]*
/proc/loadavg: 1.68 2.09 2.08 3/216 9592
/proc/meminfo: memFree=26735344/32770624 swapFree=67108860/67108860
[pid=9529] ppid=9526 vsize=13978600 memory=39508 CPUtime=0.25 cores=0,2,4,6
/proc/9529/stat : 9529 (java) S 9526 9529 3242 0 -1 1077944320 8074 12404 0 0 16 2 5 2 20 0 15 0 97662177 14314086400 9877 33554432000 4194304 4196468 140734519777312 140734519759856 139949368696567 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
/proc/9529/statm: 3494650 9877 2963 1 0 3482967 0
[pid=9529/tid=9579] ppid=9526 vsize=13978600 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/9529/task/9579/stat : 9579 (java) R 9526 9529 3242 0 -1 4202560 4585 12404 0 0 10 1 5 2 20 0 15 0 97662186 14314086400 9877 33554432000 4194304 4196468 140734519777312 139949372891968 139949352777054 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9580] ppid=9526 vsize=13978600 memory=342 CPUtime=0.07 cores=0,2,4,6
/proc/9529/task/9580/stat : 9580 (java) S 9526 9529 3242 0 -1 1077944384 1 12404 0 0 0 0 5 2 20 0 15 0 97662187 14314086400 9877 33554432000 4194304 4196468 140734519777312 139949298785296 139949368706773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9581] ppid=9526 vsize=13978600 memory=139794133535520 CPUtime=0.07 cores=0,2,4,6
/proc/9529/task/9581/stat : 9581 (java) S 9526 9529 3242 0 -1 1077944384 1 12404 0 0 0 0 5 2 20 0 15 0 97662187 14314086400 9877 33554432000 4194304 4196468 140734519777312 139949297732752 139949368706773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9582] ppid=9526 vsize=13978600 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9529/task/9582/stat : 9582 (java) S 9526 9529 3242 0 -1 1077944384 1 12404 0 0 0 0 5 2 20 0 15 0 97662187 14314086400 9877 33554432000 4194304 4196468 140734519777312 139949296679696 139949368706773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9583] ppid=9526 vsize=13978600 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9529/task/9583/stat : 9583 (java) S 9526 9529 3242 0 -1 1077944384 2 12404 0 0 0 0 5 2 20 0 15 0 97662187 14314086400 9877 33554432000 4194304 4196468 140734519777312 139948960955280 139949368706773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9584] ppid=9526 vsize=13978600 memory=139794133526144 CPUtime=0.07 cores=0,2,4,6
/proc/9529/task/9584/stat : 9584 (java) S 9526 9529 3242 0 -1 1077944384 2 12404 0 0 0 0 5 2 20 0 15 0 97662188 14314086400 9877 33554432000 4194304 4196468 140734519777312 139948842903792 139949368707714 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9585] ppid=9526 vsize=13978600 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9529/task/9585/stat : 9585 (java) S 9526 9529 3242 0 -1 1077944384 33 12404 0 0 0 0 5 2 20 0 15 0 97662188 14314086400 9877 33554432000 4194304 4196468 140734519777312 139948841850016 139949368706773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9586] ppid=9526 vsize=13978600 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9529/task/9586/stat : 9586 (java) S 9526 9529 3242 0 -1 1077944384 21 12404 0 0 0 0 5 2 20 0 15 0 97662189 14314086400 9877 33554432000 4194304 4196468 140734519777312 139948840796912 139949368706773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9587] ppid=9526 vsize=13978600 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9529/task/9587/stat : 9587 (java) S 9526 9529 3242 0 -1 1077944384 3 12404 0 0 0 0 5 2 20 0 15 0 97662191 14314086400 9877 33554432000 4194304 4196468 140734519777312 139948839745488 139949368715163 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9588] ppid=9526 vsize=13978600 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9529/task/9588/stat : 9588 (java) S 9526 9529 3242 0 -1 1077944384 551 12404 0 0 1 0 5 2 20 0 15 0 97662191 14314086400 9877 33554432000 4194304 4196468 140734519777312 139948838693616 139949368707714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9589] ppid=9526 vsize=13978600 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9529/task/9589/stat : 9589 (java) S 9526 9529 3242 0 -1 1077944384 215 12404 0 0 0 0 5 2 20 0 15 0 97662191 14314086400 9877 33554432000 4194304 4196468 140734519777312 139948837641072 139949368707714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9590] ppid=9526 vsize=13978600 memory=139794133526144 CPUtime=0.1 cores=0,2,4,6
/proc/9529/task/9590/stat : 9590 (java) R 9526 9529 3242 0 -1 4202560 512 12404 0 0 3 0 5 2 20 0 15 0 97662191 14314086400 9877 33554432000 4194304 4196468 140734519777312 139948836588016 139949368717914 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9591] ppid=9526 vsize=13978600 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9529/task/9591/stat : 9591 (java) S 9526 9529 3242 0 -1 1077944384 3 12404 0 0 0 0 5 2 20 0 15 0 97662191 14314086400 9877 33554432000 4194304 4196468 140734519777312 139948835535712 139949368706773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9592] ppid=9526 vsize=13978600 memory=139794133526144 CPUtime=0.07 cores=0,2,4,6
/proc/9529/task/9592/stat : 9592 (java) S 9526 9529 3242 0 -1 1077944384 1 12404 0 0 0 0 5 2 20 0 15 0 97662192 14314086400 9877 33554432000 4194304 4196468 140734519777312 139948834482736 139949368707714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13978600 KiB
Current children cumulated memory: 39508 KiB
[startup+0.310211 s]*
/proc/loadavg: 1.68 2.09 2.08 2/216 9592
/proc/meminfo: memFree=26720460/32770624 swapFree=67108860/67108860
[pid=9529] ppid=9526 vsize=13979028 memory=50180 CPUtime=0.38 cores=0,2,4,6
/proc/9529/stat : 9529 (java) S 9526 9529 3242 0 -1 1077944320 11153 12404 0 0 28 3 5 2 20 0 15 0 97662177 14314524672 12545 33554432000 4194304 4196468 140734519777312 140734519759856 139949368696567 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
/proc/9529/statm: 3494757 12545 3077 1 0 3482967 0
[pid=9529/tid=9579] ppid=9526 vsize=13979028 memory=8112282956445269571 CPUtime=0.28 cores=0,2,4,6
/proc/9529/task/9579/stat : 9579 (java) R 9526 9529 3242 0 -1 4202560 7650 12404 0 0 19 2 5 2 20 0 15 0 97662186 14314524672 12545 33554432000 4194304 4196468 140734519777312 139949372906592 139949352777054 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9580] ppid=9526 vsize=13979028 memory=4872558044660077418 CPUtime=0.07 cores=0,2,4,6
/proc/9529/task/9580/stat : 9580 (java) S 9526 9529 3242 0 -1 1077944384 1 12404 0 0 0 0 5 2 20 0 15 0 97662187 14314524672 12545 33554432000 4194304 4196468 140734519777312 139949298785296 139949368706773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9581] ppid=9526 vsize=13979028 memory=139794133533137 CPUtime=0.07 cores=0,2,4,6
/proc/9529/task/9581/stat : 9581 (java) S 9526 9529 3242 0 -1 1077944384 1 12404 0 0 0 0 5 2 20 0 15 0 97662187 14314524672 12545 33554432000 4194304 4196468 140734519777312 139949297732752 139949368706773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9582] ppid=9526 vsize=13979028 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9529/task/9582/stat : 9582 (java) S 9526 9529 3242 0 -1 1077944384 1 12404 0 0 0 0 5 2 20 0 15 0 97662187 14314524672 12545 33554432000 4194304 4196468 140734519777312 139949296679696 139949368706773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9583] ppid=9526 vsize=13979028 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9529/task/9583/stat : 9583 (java) S 9526 9529 3242 0 -1 1077944384 2 12404 0 0 0 0 5 2 20 0 15 0 97662187 14314524672 12545 33554432000 4194304 4196468 140734519777312 139948960955280 139949368706773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9584] ppid=9526 vsize=13979028 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9529/task/9584/stat : 9584 (java) S 9526 9529 3242 0 -1 1077944384 2 12404 0 0 0 0 5 2 20 0 15 0 97662188 14314524672 12545 33554432000 4194304 4196468 140734519777312 139948842903792 139949368707714 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9585] ppid=9526 vsize=13979028 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9529/task/9585/stat : 9585 (java) S 9526 9529 3242 0 -1 1077944384 33 12404 0 0 0 0 5 2 20 0 15 0 97662188 14314524672 12545 33554432000 4194304 4196468 140734519777312 139948841850016 139949368706773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9586] ppid=9526 vsize=13979028 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9529/task/9586/stat : 9586 (java) S 9526 9529 3242 0 -1 1077944384 21 12404 0 0 0 0 5 2 20 0 15 0 97662189 14314524672 12545 33554432000 4194304 4196468 140734519777312 139948840796912 139949368706773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9587] ppid=9526 vsize=13979028 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9529/task/9587/stat : 9587 (java) S 9526 9529 3242 0 -1 1077944384 3 12404 0 0 0 0 5 2 20 0 15 0 97662191 14314524672 12545 33554432000 4194304 4196468 140734519777312 139948839745488 139949368715163 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9588] ppid=9526 vsize=13979028 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9529/task/9588/stat : 9588 (java) S 9526 9529 3242 0 -1 1077944384 554 12404 0 0 1 0 5 2 20 0 15 0 97662191 14314524672 12545 33554432000 4194304 4196468 140734519777312 139948838693616 139949368707714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9589] ppid=9526 vsize=13979028 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/9529/task/9589/stat : 9589 (java) S 9526 9529 3242 0 -1 1077944384 218 12404 0 0 1 0 5 2 20 0 15 0 97662191 14314524672 12545 33554432000 4194304 4196468 140734519777312 139948837641072 139949368707714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9590] ppid=9526 vsize=13979028 memory=139794133526144 CPUtime=0.12 cores=0,2,4,6
/proc/9529/task/9590/stat : 9590 (java) S 9526 9529 3242 0 -1 1077944384 519 12404 0 0 5 0 5 2 20 0 15 0 97662191 14314524672 12545 33554432000 4194304 4196468 140734519777312 139948836588016 139949368707714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9591] ppid=9526 vsize=13979028 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9529/task/9591/stat : 9591 (java) S 9526 9529 3242 0 -1 1077944384 3 12404 0 0 0 0 5 2 20 0 15 0 97662191 14314524672 12545 33554432000 4194304 4196468 140734519777312 139948835535712 139949368706773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9592] ppid=9526 vsize=13979028 memory=139794133526144 CPUtime=0.07 cores=0,2,4,6
/proc/9529/task/9592/stat : 9592 (java) S 9526 9529 3242 0 -1 1077944384 1 12404 0 0 0 0 5 2 20 0 15 0 97662192 14314524672 12545 33554432000 4194304 4196468 140734519777312 139948834482736 139949368707714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 13979028 KiB
Current children cumulated memory: 50180 KiB
[startup+0.700683 s]
/proc/loadavg: 1.68 2.09 2.08 4/216 9592
/proc/meminfo: memFree=26712892/32770624 swapFree=67108860/67108860
[pid=9529] ppid=9526 vsize=13979220 memory=81424 CPUtime=0.97 cores=0,2,4,6
/proc/9529/stat : 9529 (java) S 9526 9529 3242 0 -1 1077944320 17051 12404 0 0 85 5 5 2 20 0 15 0 97662177 14314721280 20356 33554432000 4194304 4196468 140734519777312 140734519759856 139949368696567 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
/proc/9529/statm: 3494805 20356 3263 1 0 3482967 0
[pid=9529/tid=9579] ppid=9526 vsize=13979220 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/9529/task/9579/stat : 9579 (java) R 9526 9529 3242 0 -1 4202560 12888 12404 0 0 56 3 5 2 20 0 15 0 97662186 14314721280 20356 33554432000 4194304 4196468 140734519777312 139949372915632 139949360933694 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9580] ppid=9526 vsize=13979220 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9529/task/9580/stat : 9580 (java) S 9526 9529 3242 0 -1 1077944384 1 12404 0 0 0 0 5 2 20 0 15 0 97662187 14314721280 20356 33554432000 4194304 4196468 140734519777312 139949298785296 139949368706773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9581] ppid=9526 vsize=13979220 memory=2445245679105 CPUtime=0.07 cores=0,2,4,6
/proc/9529/task/9581/stat : 9581 (java) S 9526 9529 3242 0 -1 1077944384 1 12404 0 0 0 0 5 2 20 0 15 0 97662187 14314721280 20356 33554432000 4194304 4196468 140734519777312 139949297732752 139949368706773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9582] ppid=9526 vsize=13979224 memory=218122166 CPUtime=0.07 cores=0,2,4,6
/proc/9529/task/9582/stat : 9582 (java) S 9526 9529 3242 0 -1 1077944384 1 12404 0 0 0 0 5 2 20 0 15 0 97662187 14314725376 20356 33554432000 4194304 4196468 140734519777312 139949296679696 139949368706773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9583] ppid=9526 vsize=13979224 memory=7295942822962683291 CPUtime=0.07 cores=0,2,4,6
/proc/9529/task/9583/stat : 9583 (java) S 9526 9529 3242 0 -1 1077944384 2 12404 0 0 0 0 5 2 20 0 15 0 97662187 14314725376 20356 33554432000 4194304 4196468 140734519777312 139948960955280 139949368706773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9584] ppid=9526 vsize=13979224 memory=18476 CPUtime=0.07 cores=0,2,4,6
/proc/9529/task/9584/stat : 9584 (java) S 9526 9529 3242 0 -1 1077944384 5 12404 0 0 0 0 5 2 20 0 15 0 97662188 14314725376 20356 33554432000 4194304 4196468 140734519777312 139948842903792 139949368707714 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9585] ppid=9526 vsize=13979224 memory=16920 CPUtime=0.07 cores=0,2,4,6
/proc/9529/task/9585/stat : 9585 (java) S 9526 9529 3242 0 -1 1077944384 33 12404 0 0 0 0 5 2 20 0 15 0 97662188 14314725376 20356 33554432000 4194304 4196468 140734519777312 139948841850016 139949368706773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9586] ppid=9526 vsize=13979224 memory=4048 CPUtime=0.07 cores=0,2,4,6
/proc/9529/task/9586/stat : 9586 (java) S 9526 9529 3242 0 -1 1077944384 21 12404 0 0 0 0 5 2 20 0 15 0 97662189 14314725376 20356 33554432000 4194304 4196468 140734519777312 139948840796912 139949368706773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9587] ppid=9526 vsize=13979256 memory=1792 CPUtime=0.07 cores=0,2,4,6
/proc/9529/task/9587/stat : 9587 (java) S 9526 9529 3242 0 -1 1077944384 3 12404 0 0 0 0 5 2 20 0 15 0 97662191 14314758144 20356 33554432000 4194304 4196468 140734519777312 139948839745488 139949368715163 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9588] ppid=9526 vsize=13979256 memory=648 CPUtime=0.14 cores=0,2,4,6
/proc/9529/task/9588/stat : 9588 (java) S 9526 9529 3242 0 -1 1077944384 836 12404 0 0 7 0 5 2 20 0 15 0 97662191 14314758144 20356 33554432000 4194304 4196468 140734519777312 139948838693616 139949368707714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9589] ppid=9526 vsize=13979256 memory=1240 CPUtime=0.15 cores=0,2,4,6
/proc/9529/task/9589/stat : 9589 (java) S 9526 9529 3242 0 -1 1077944384 541 12404 0 0 8 0 5 2 20 0 15 0 97662191 14314758144 20356 33554432000 4194304 4196468 140734519777312 139948837641072 139949368707714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9590] ppid=9526 vsize=13979256 memory=960 CPUtime=0.19 cores=0,2,4,6
/proc/9529/task/9590/stat : 9590 (java) S 9526 9529 3242 0 -1 1077944384 571 12404 0 0 12 0 5 2 20 0 15 0 97662191 14314758144 20356 33554432000 4194304 4196468 140734519777312 139948836588016 139949368707714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9591] ppid=9526 vsize=13979256 memory=2340 CPUtime=0.07 cores=0,2,4,6
/proc/9529/task/9591/stat : 9591 (java) S 9526 9529 3242 0 -1 1077944384 3 12404 0 0 0 0 5 2 20 0 15 0 97662191 14314758144 20356 33554432000 4194304 4196468 140734519777312 139948835535712 139949368706773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9592] ppid=9526 vsize=13979256 memory=7379241883359864663 CPUtime=0.07 cores=0,2,4,6
/proc/9529/task/9592/stat : 9592 (java) S 9526 9529 3242 0 -1 1077944384 1 12404 0 0 0 0 5 2 20 0 15 0 97662192 14314758144 20356 33554432000 4194304 4196468 140734519777312 139948834482736 139949368707714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 13979220 KiB
Current children cumulated memory: 81424 KiB
[startup+1.50073 s]
/proc/loadavg: 1.68 2.09 2.08 3/216 9592
/proc/meminfo: memFree=26657700/32770624 swapFree=67108860/67108860
[pid=9529] ppid=9526 vsize=13991700 memory=173280 CPUtime=2.21 cores=0,2,4,6
/proc/9529/stat : 9529 (java) S 9526 9529 3242 0 -1 1077944320 27803 12404 0 0 203 11 5 2 20 0 15 0 97662177 14327500800 43320 33554432000 4194304 4196468 140734519777312 140734519759856 139949368696567 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
/proc/9529/statm: 3497925 43320 3413 1 0 3486039 0
[pid=9529/tid=9579] ppid=9526 vsize=13991700 memory=6945507666079274341 CPUtime=1.43 cores=0,2,4,6
/proc/9529/task/9579/stat : 9579 (java) R 9526 9529 3242 0 -1 4202560 20155 12404 0 0 130 6 5 2 20 0 15 0 97662186 14327500800 43320 33554432000 4194304 4196468 140734519777312 139949372928704 139948977090140 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9580] ppid=9526 vsize=13991700 memory=6945507666079274341 CPUtime=0.08 cores=0,2,4,6
/proc/9529/task/9580/stat : 9580 (java) S 9526 9529 3242 0 -1 1077944384 207 12404 0 0 1 0 5 2 20 0 15 0 97662187 14327500800 43320 33554432000 4194304 4196468 140734519777312 139949298785296 139949368706773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9581] ppid=9526 vsize=13991700 memory=6298097592864101990 CPUtime=0.08 cores=0,2,4,6
/proc/9529/task/9581/stat : 9581 (java) S 9526 9529 3242 0 -1 1077944384 32 12404 0 0 1 0 5 2 20 0 15 0 97662187 14327500800 43320 33554432000 4194304 4196468 140734519777312 139949297732752 139949368706773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9582] ppid=9526 vsize=13991700 memory=-7595718147998060693 CPUtime=0.08 cores=0,2,4,6
/proc/9529/task/9582/stat : 9582 (java) S 9526 9529 3242 0 -1 1077944384 51 12404 0 0 1 0 5 2 20 0 15 0 97662187 14327500800 43320 33554432000 4194304 4196468 140734519777312 139949296679696 139949368706773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9583] ppid=9526 vsize=13991700 memory=-7175204567652784766 CPUtime=0.07 cores=0,2,4,6
/proc/9529/task/9583/stat : 9583 (java) S 9526 9529 3242 0 -1 1077944384 66 12404 0 0 0 0 5 2 20 0 15 0 97662187 14327500800 43320 33554432000 4194304 4196468 140734519777312 139948960955280 139949368706773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9584] ppid=9526 vsize=13991700 memory=3054156605268465310 CPUtime=0.08 cores=0,2,4,6
/proc/9529/task/9584/stat : 9584 (java) S 9526 9529 3242 0 -1 1077944384 1548 12404 0 0 1 0 5 2 20 0 15 0 97662188 14327500800 43320 33554432000 4194304 4196468 140734519777312 139948842903792 139949368707714 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9585] ppid=9526 vsize=13991700 memory=4715433313220523562 CPUtime=0.07 cores=0,2,4,6
/proc/9529/task/9585/stat : 9585 (java) S 9526 9529 3242 0 -1 1077944384 54 12404 0 0 0 0 5 2 20 0 15 0 97662188 14327500800 43320 33554432000 4194304 4196468 140734519777312 139948841850080 139949368706773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9586] ppid=9526 vsize=13991700 memory=-8412652177879177843 CPUtime=0.07 cores=0,2,4,6
/proc/9529/task/9586/stat : 9586 (java) S 9526 9529 3242 0 -1 1077944384 45 12404 0 0 0 0 5 2 20 0 15 0 97662189 14327500800 43320 33554432000 4194304 4196468 140734519777312 139948840796928 139949368706773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9587] ppid=9526 vsize=13991700 memory=-8341965534556230502 CPUtime=0.07 cores=0,2,4,6
/proc/9529/task/9587/stat : 9587 (java) S 9526 9529 3242 0 -1 1077944384 3 12404 0 0 0 0 5 2 20 0 15 0 97662191 14327500800 43320 33554432000 4194304 4196468 140734519777312 139948839745488 139949368715163 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9588] ppid=9526 vsize=13991700 memory=8514726395714825349 CPUtime=0.22 cores=0,2,4,6
/proc/9529/task/9588/stat : 9588 (java) S 9526 9529 3242 0 -1 1077944384 1053 12404 0 0 15 0 5 2 20 0 15 0 97662191 14327500800 43320 33554432000 4194304 4196468 140734519777312 139948838693616 139949368707714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9589] ppid=9526 vsize=13991700 memory=-8253362762722141311 CPUtime=0.26 cores=0,2,4,6
/proc/9529/task/9589/stat : 9589 (java) S 9526 9529 3242 0 -1 1077944384 761 12404 0 0 19 0 5 2 20 0 15 0 97662191 14327500800 43320 33554432000 4194304 4196468 140734519777312 139948837641072 139949368707714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9590] ppid=9526 vsize=13991700 memory=-8707038579349950309 CPUtime=0.39 cores=0,2,4,6
/proc/9529/task/9590/stat : 9590 (java) S 9526 9529 3242 0 -1 1077944384 1674 12404 0 0 32 0 5 2 20 0 15 0 97662191 14327500800 43320 33554432000 4194304 4196468 140734519777312 139948836588016 139949368707714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
################
# More data... #
################
[startup+219.924 s]
# the end of solver process 9529 was just reported to runsolver
# cumulated CPU time of all completed processes: user=254.175 s, system=1.14157 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+219.201 s]
/proc/loadavg: 1.64 1.88 2.00 3/215 9721
/proc/meminfo: memFree=24386316/32770624 swapFree=67108860/67108860
[pid=9529] ppid=9526 vsize=14141400 memory=1536696 CPUtime=252.74 cores=0,2,4,6
/proc/9529/stat : 9529 (java) S 9526 9529 3242 0 -1 1077944320 160723 12404 0 0 25158 109 5 2 20 0 17 0 97662177 14480793600 384174 33554432000 4194304 4196468 140734519777312 140734519759856 139949368696567 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
/proc/9529/statm: 3535350 384174 3520 1 0 3522905 0
[pid=9529/tid=9579] ppid=9526 vsize=14141400 memory=4620 CPUtime=217.81 cores=0,2,4,6
/proc/9529/task/9579/stat : 9579 (java) S 9526 9529 3242 0 -1 1077944384 59157 12404 0 0 21742 32 5 2 20 0 17 0 97662186 14480793600 384174 33554432000 4194304 4196468 140734519777312 139949372934352 139949368706773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9580] ppid=9526 vsize=14141400 memory=1196 CPUtime=1.07 cores=0,2,4,6
/proc/9529/task/9580/stat : 9580 (java) R 9526 9529 3242 0 -1 4202560 3735 12404 0 0 89 11 5 2 20 0 17 0 97662187 14480793600 384174 33554432000 4194304 4196468 140734519777312 139949298785416 139949361324775 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9581] ppid=9526 vsize=14141400 memory=15872 CPUtime=1.09 cores=0,2,4,6
/proc/9529/task/9581/stat : 9581 (java) R 9526 9529 3242 0 -1 4202560 2653 12404 0 0 91 11 5 2 20 0 17 0 97662187 14480793600 384174 33554432000 4194304 4196468 140734519777312 139949297732560 139949361324775 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9582] ppid=9526 vsize=14141400 memory=18476 CPUtime=1.06 cores=0,2,4,6
/proc/9529/task/9582/stat : 9582 (java) R 9526 9529 3242 0 -1 4202560 3636 12404 0 0 88 11 5 2 20 0 17 0 97662187 14480793600 384174 33554432000 4194304 4196468 140734519777312 139949296679504 139949361324775 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9583] ppid=9526 vsize=14141400 memory=16920 CPUtime=1.07 cores=0,2,4,6
/proc/9529/task/9583/stat : 9583 (java) R 9526 9529 3242 0 -1 4202560 1012 12404 0 0 88 12 5 2 20 0 17 0 97662187 14480793600 384174 33554432000 4194304 4196468 140734519777312 139948960955280 139949353397255 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9584] ppid=9526 vsize=14141400 memory=55 CPUtime=0.31 cores=0,2,4,6
/proc/9529/task/9584/stat : 9584 (java) S 9526 9529 3242 0 -1 1077944384 16847 12404 0 0 21 3 5 2 20 0 17 0 97662188 14480793600 384174 33554432000 4194304 4196468 140734519777312 139948842902416 139949368706773 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9585] ppid=9526 vsize=14141400 memory=6157074386135914408 CPUtime=0.07 cores=0,2,4,6
/proc/9529/task/9585/stat : 9585 (java) S 9526 9529 3242 0 -1 1077944384 69 12404 0 0 0 0 5 2 20 0 17 0 97662188 14480793600 384174 33554432000 4194304 4196468 140734519777312 139948841850080 139949368706773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9586] ppid=9526 vsize=14141400 memory=82368882821864 CPUtime=0.07 cores=0,2,4,6
/proc/9529/task/9586/stat : 9586 (java) S 9526 9529 3242 0 -1 1077944384 59 12404 0 0 0 0 5 2 20 0 17 0 97662189 14480793600 384174 33554432000 4194304 4196468 140734519777312 139948840796928 139949368706773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9587] ppid=9526 vsize=14141400 memory=3833605914259419284 CPUtime=0.07 cores=0,2,4,6
/proc/9529/task/9587/stat : 9587 (java) S 9526 9529 3242 0 -1 1077944384 191 12404 0 0 0 0 5 2 20 0 17 0 97662191 14480793600 384174 33554432000 4194304 4196468 140734519777312 139948839745488 139949368715163 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9588] ppid=9526 vsize=14141400 memory=139794004961504 CPUtime=13.36 cores=0,2,4,6
/proc/9529/task/9588/stat : 9588 (java) S 9526 9529 3242 0 -1 1077944384 21254 12404 0 0 1324 5 5 2 20 0 17 0 97662191 14480793600 384174 33554432000 4194304 4196468 140734519777312 139948838693616 139949368707714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9589] ppid=9526 vsize=14141400 memory=0 CPUtime=13.29 cores=0,2,4,6
/proc/9529/task/9589/stat : 9589 (java) S 9526 9529 3242 0 -1 1077944384 21411 12404 0 0 1315 7 5 2 20 0 17 0 97662191 14480793600 384174 33554432000 4194304 4196468 140734519777312 139948837641072 139949368707714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9590] ppid=9526 vsize=14141400 memory=960 CPUtime=3.99 cores=0,2,4,6
/proc/9529/task/9590/stat : 9590 (java) S 9526 9529 3242 0 -1 1077944384 27187 12404 0 0 384 8 5 2 20 0 17 0 97662191 14480793600 384174 33554432000 4194304 4196468 140734519777312 139948836588016 139949368707714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9591] ppid=9526 vsize=14141400 memory=2340 CPUtime=0.07 cores=0,2,4,6
/proc/9529/task/9591/stat : 9591 (java) S 9526 9529 3242 0 -1 1077944384 3 12404 0 0 0 0 5 2 20 0 17 0 97662191 14480793600 384174 33554432000 4194304 4196468 140734519777312 139948835535712 139949368706773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9592] ppid=9526 vsize=14141400 memory=932 CPUtime=0.18 cores=0,2,4,6
/proc/9529/task/9592/stat : 9592 (java) S 9526 9529 3242 0 -1 1077944384 1022 12404 0 0 6 5 5 2 20 0 17 0 97662192 14480793600 384174 33554432000 4194304 4196468 140734519777312 139948834482736 139949368707714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
Current children cumulated CPU time: 252.74 s
Current children cumulated vsize: 14141400 KiB
Current children cumulated memory: 1536696 KiB
[startup+219.601 s]
/proc/loadavg: 1.64 1.88 2.00 3/215 9721
/proc/meminfo: memFree=24386316/32770624 swapFree=67108860/67108860
[pid=9529] ppid=9526 vsize=14141400 memory=1531344 CPUtime=254.25 cores=0,2,4,6
/proc/9529/stat : 9529 (java) S 9526 9529 3242 0 -1 1077944320 161000 12404 0 0 25309 109 5 2 20 0 17 0 97662177 14480793600 382836 33554432000 4194304 4196468 140734519777312 140734519759856 139949368696567 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
/proc/9529/statm: 3535350 382836 3520 1 0 3522905 0
[pid=9529/tid=9579] ppid=9526 vsize=14141400 memory=4124 CPUtime=217.81 cores=0,2,4,6
/proc/9529/task/9579/stat : 9579 (java) S 9526 9529 3242 0 -1 1077944384 59157 12404 0 0 21742 32 5 2 20 0 17 0 97662186 14480793600 382836 33554432000 4194304 4196468 140734519777312 139949372934352 139949368706773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9580] ppid=9526 vsize=14141400 memory=8112282956445269571 CPUtime=1.44 cores=0,2,4,6
/proc/9529/task/9580/stat : 9580 (java) R 9526 9529 3242 0 -1 4202560 3770 12404 0 0 126 11 5 2 20 0 17 0 97662187 14480793600 382836 33554432000 4194304 4196468 140734519777312 139949298785192 139949361324775 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9581] ppid=9526 vsize=14141400 memory=1534760 CPUtime=1.46 cores=0,2,4,6
/proc/9529/task/9581/stat : 9581 (java) R 9526 9529 3242 0 -1 4202560 2653 12404 0 0 128 11 5 2 20 0 17 0 97662187 14480793600 382836 33554432000 4194304 4196468 140734519777312 139949297732952 139949361324775 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9582] ppid=9526 vsize=14141400 memory=1156 CPUtime=1.44 cores=0,2,4,6
/proc/9529/task/9582/stat : 9582 (java) R 9526 9529 3242 0 -1 4202560 3677 12404 0 0 125 12 5 2 20 0 17 0 97662187 14480793600 382836 33554432000 4194304 4196468 140734519777312 139949296679696 139949361324775 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9583] ppid=9526 vsize=14141400 memory=2984 CPUtime=1.45 cores=0,2,4,6
/proc/9529/task/9583/stat : 9583 (java) R 9526 9529 3242 0 -1 4202560 1017 12404 0 0 126 12 5 2 20 0 17 0 97662187 14480793600 382836 33554432000 4194304 4196468 140734519777312 139948960955280 139949353394206 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9584] ppid=9526 vsize=14141400 memory=1920392 CPUtime=0.33 cores=0,2,4,6
/proc/9529/task/9584/stat : 9584 (java) S 9526 9529 3242 0 -1 1077944384 17038 12404 0 0 23 3 5 2 20 0 17 0 97662188 14480793600 382836 33554432000 4194304 4196468 140734519777312 139948842902192 139949368706773 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9585] ppid=9526 vsize=14141400 memory=8112282956445269571 CPUtime=0.07 cores=0,2,4,6
/proc/9529/task/9585/stat : 9585 (java) S 9526 9529 3242 0 -1 1077944384 73 12404 0 0 0 0 5 2 20 0 17 0 97662188 14480793600 382836 33554432000 4194304 4196468 140734519777312 139948841849616 139949368707714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9586] ppid=9526 vsize=14141400 memory=4872558044660077418 CPUtime=0.07 cores=0,2,4,6
/proc/9529/task/9586/stat : 9586 (java) S 9526 9529 3242 0 -1 1077944384 59 12404 0 0 0 0 5 2 20 0 17 0 97662189 14480793600 382836 33554432000 4194304 4196468 140734519777312 139948840796928 139949368706773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9587] ppid=9526 vsize=14141400 memory=1224 CPUtime=0.07 cores=0,2,4,6
/proc/9529/task/9587/stat : 9587 (java) S 9526 9529 3242 0 -1 1077944384 191 12404 0 0 0 0 5 2 20 0 17 0 97662191 14480793600 382836 33554432000 4194304 4196468 140734519777312 139948839745488 139949368715163 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9588] ppid=9526 vsize=14141400 memory=12032 CPUtime=13.36 cores=0,2,4,6
/proc/9529/task/9588/stat : 9588 (java) S 9526 9529 3242 0 -1 1077944384 21254 12404 0 0 1324 5 5 2 20 0 17 0 97662191 14480793600 382836 33554432000 4194304 4196468 140734519777312 139948838693616 139949368707714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9589] ppid=9526 vsize=14141400 memory=5792 CPUtime=13.29 cores=0,2,4,6
/proc/9529/task/9589/stat : 9589 (java) S 9526 9529 3242 0 -1 1077944384 21411 12404 0 0 1315 7 5 2 20 0 17 0 97662191 14480793600 382836 33554432000 4194304 4196468 140734519777312 139948837641072 139949368707714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9590] ppid=9526 vsize=14141400 memory=796 CPUtime=3.99 cores=0,2,4,6
/proc/9529/task/9590/stat : 9590 (java) S 9526 9529 3242 0 -1 1077944384 27187 12404 0 0 384 8 5 2 20 0 17 0 97662191 14480793600 382836 33554432000 4194304 4196468 140734519777312 139948836588016 139949368707714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9591] ppid=9526 vsize=14141400 memory=1545020 CPUtime=0.07 cores=0,2,4,6
/proc/9529/task/9591/stat : 9591 (java) S 9526 9529 3242 0 -1 1077944384 3 12404 0 0 0 0 5 2 20 0 17 0 97662191 14480793600 382836 33554432000 4194304 4196468 140734519777312 139948835535712 139949368706773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9592] ppid=9526 vsize=14141400 memory=28564 CPUtime=0.18 cores=0,2,4,6
/proc/9529/task/9592/stat : 9592 (java) S 9526 9529 3242 0 -1 1077944384 1022 12404 0 0 6 5 5 2 20 0 17 0 97662192 14480793600 382836 33554432000 4194304 4196468 140734519777312 139948834482736 139949368707714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
Current children cumulated CPU time: 254.25 s
Current children cumulated vsize: 14141400 KiB
Current children cumulated memory: 1531344 KiB
[startup+219.806 s]
/proc/loadavg: 1.64 1.88 2.00 3/215 9721
/proc/meminfo: memFree=24386316/32770624 swapFree=67108860/67108860
[pid=9529] ppid=9526 vsize=14141400 memory=1525708 CPUtime=254.95 cores=0,2,4,6
/proc/9529/stat : 9529 (java) S 9526 9529 3242 0 -1 1077944320 161033 12404 0 0 25379 109 5 2 20 0 17 0 97662177 14480793600 381427 33554432000 4194304 4196468 140734519777312 140734519759856 139949368696567 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
/proc/9529/statm: 3535350 381427 3520 1 0 3522905 0
[pid=9529/tid=9579] ppid=9526 vsize=14141400 memory=2408 CPUtime=217.81 cores=0,2,4,6
/proc/9529/task/9579/stat : 9579 (java) S 9526 9529 3242 0 -1 1077944384 59158 12404 0 0 21742 32 5 2 20 0 17 0 97662186 14480793600 381427 33554432000 4194304 4196468 140734519777312 139949372934352 139949368706773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9580] ppid=9526 vsize=14141400 memory=1732 CPUtime=1.61 cores=0,2,4,6
/proc/9529/task/9580/stat : 9580 (java) R 9526 9529 3242 0 -1 4202560 3770 12404 0 0 143 11 5 2 20 0 17 0 97662187 14480793600 381427 33554432000 4194304 4196468 140734519777312 139949298785296 139949350293053 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9581] ppid=9526 vsize=14141400 memory=1224 CPUtime=1.63 cores=0,2,4,6
/proc/9529/task/9581/stat : 9581 (java) R 9526 9529 3242 0 -1 4202560 2683 12404 0 0 145 11 5 2 20 0 17 0 97662187 14480793600 381427 33554432000 4194304 4196468 140734519777312 139949297732752 139949353151324 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9582] ppid=9526 vsize=14141400 memory=12032 CPUtime=1.61 cores=0,2,4,6
/proc/9529/task/9582/stat : 9582 (java) R 9526 9529 3242 0 -1 4202560 3677 12404 0 0 142 12 5 2 20 0 17 0 97662187 14480793600 381427 33554432000 4194304 4196468 140734519777312 139949296679696 139949353394319 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9583] ppid=9526 vsize=14141400 memory=5792 CPUtime=1.62 cores=0,2,4,6
/proc/9529/task/9583/stat : 9583 (java) R 9526 9529 3242 0 -1 4202560 1018 12404 0 0 143 12 5 2 20 0 17 0 97662187 14480793600 381427 33554432000 4194304 4196468 140734519777312 139948960955480 139949353647653 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9584] ppid=9526 vsize=14141400 memory=796 CPUtime=0.37 cores=0,2,4,6
/proc/9529/task/9584/stat : 9584 (java) S 9526 9529 3242 0 -1 1077944384 17038 12404 0 0 27 3 5 2 20 0 17 0 97662188 14480793600 381427 33554432000 4194304 4196468 140734519777312 139948842902192 139949368706773 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9585] ppid=9526 vsize=14141400 memory=1436 CPUtime=0.07 cores=0,2,4,6
/proc/9529/task/9585/stat : 9585 (java) S 9526 9529 3242 0 -1 1077944384 73 12404 0 0 0 0 5 2 20 0 17 0 97662188 14480793600 381427 33554432000 4194304 4196468 140734519777312 139948841849712 139949368706773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9586] ppid=9526 vsize=14141400 memory=1012 CPUtime=0.07 cores=0,2,4,6
/proc/9529/task/9586/stat : 9586 (java) S 9526 9529 3242 0 -1 1077944384 59 12404 0 0 0 0 5 2 20 0 17 0 97662189 14480793600 381427 33554432000 4194304 4196468 140734519777312 139948840796928 139949368706773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9587] ppid=9526 vsize=14141400 memory=28564 CPUtime=0.07 cores=0,2,4,6
/proc/9529/task/9587/stat : 9587 (java) S 9526 9529 3242 0 -1 1077944384 191 12404 0 0 0 0 5 2 20 0 17 0 97662191 14480793600 381427 33554432000 4194304 4196468 140734519777312 139948839745488 139949368715163 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9588] ppid=9526 vsize=14141400 memory=1296 CPUtime=13.36 cores=0,2,4,6
/proc/9529/task/9588/stat : 9588 (java) S 9526 9529 3242 0 -1 1077944384 21254 12404 0 0 1324 5 5 2 20 0 17 0 97662191 14480793600 381427 33554432000 4194304 4196468 140734519777312 139948838693616 139949368707714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9589] ppid=9526 vsize=14141400 memory=2408 CPUtime=13.29 cores=0,2,4,6
/proc/9529/task/9589/stat : 9589 (java) S 9526 9529 3242 0 -1 1077944384 21411 12404 0 0 1315 7 5 2 20 0 17 0 97662191 14480793600 381427 33554432000 4194304 4196468 140734519777312 139948837641072 139949368707714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9590] ppid=9526 vsize=14141400 memory=1732 CPUtime=3.99 cores=0,2,4,6
/proc/9529/task/9590/stat : 9590 (java) S 9526 9529 3242 0 -1 1077944384 27187 12404 0 0 384 8 5 2 20 0 17 0 97662191 14480793600 381427 33554432000 4194304 4196468 140734519777312 139948836588016 139949368707714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9591] ppid=9526 vsize=14141400 memory=1224 CPUtime=0.07 cores=0,2,4,6
/proc/9529/task/9591/stat : 9591 (java) S 9526 9529 3242 0 -1 1077944384 3 12404 0 0 0 0 5 2 20 0 17 0 97662191 14480793600 381427 33554432000 4194304 4196468 140734519777312 139948835535712 139949368706773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9592] ppid=9526 vsize=14141400 memory=12032 CPUtime=0.18 cores=0,2,4,6
/proc/9529/task/9592/stat : 9592 (java) S 9526 9529 3242 0 -1 1077944384 1022 12404 0 0 6 5 5 2 20 0 17 0 97662192 14480793600 381427 33554432000 4194304 4196468 140734519777312 139948834482736 139949368707714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
Current children cumulated CPU time: 254.95 s
Current children cumulated vsize: 14141400 KiB
Current children cumulated memory: 1525708 KiB
[startup+219.901 s]
/proc/loadavg: 1.64 1.88 2.00 3/215 9721
/proc/meminfo: memFree=24386316/32770624 swapFree=67108860/67108860
[pid=9529] ppid=9526 vsize=14141400 memory=1525712 CPUtime=255.27 cores=0,2,4,6
/proc/9529/stat : 9529 (java) S 9526 9529 3242 0 -1 1077944320 161106 12404 0 0 25411 109 5 2 20 0 17 0 97662177 14480793600 381428 33554432000 4194304 4196468 140734519777312 140734519759856 139949368696567 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
/proc/9529/statm: 3535350 381428 3520 1 0 3522905 0
[pid=9529/tid=9579] ppid=9526 vsize=14141400 memory=0 CPUtime=217.81 cores=0,2,4,6
/proc/9529/task/9579/stat : 9579 (java) R 9526 9529 3242 0 -1 4202560 59200 12404 0 0 21742 32 5 2 20 0 17 0 97662186 14480793600 381428 33554432000 4194304 4196468 140734519777312 139949372934352 139949348968048 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9580] ppid=9526 vsize=14141400 memory=1541940 CPUtime=1.68 cores=0,2,4,6
/proc/9529/task/9580/stat : 9580 (java) S 9526 9529 3242 0 -1 1077944384 3770 12404 0 0 150 11 5 2 20 0 17 0 97662187 14480793600 381428 33554432000 4194304 4196468 140734519777312 139949298785296 139949368706773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9581] ppid=9526 vsize=14141400 memory=1536812 CPUtime=1.7 cores=0,2,4,6
/proc/9529/task/9581/stat : 9581 (java) S 9526 9529 3242 0 -1 1077944384 2683 12404 0 0 152 11 5 2 20 0 17 0 97662187 14480793600 381428 33554432000 4194304 4196468 140734519777312 139949297732752 139949368706773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9582] ppid=9526 vsize=14141400 memory=1534760 CPUtime=1.68 cores=0,2,4,6
/proc/9529/task/9582/stat : 9582 (java) S 9526 9529 3242 0 -1 1077944384 3677 12404 0 0 149 12 5 2 20 0 17 0 97662187 14480793600 381428 33554432000 4194304 4196468 140734519777312 139949296679696 139949368706773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9583] ppid=9526 vsize=14141400 memory=1525708 CPUtime=1.69 cores=0,2,4,6
/proc/9529/task/9583/stat : 9583 (java) S 9526 9529 3242 0 -1 1077944384 1018 12404 0 0 150 12 5 2 20 0 17 0 97662187 14480793600 381428 33554432000 4194304 4196468 140734519777312 139948960955280 139949368706773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9584] ppid=9526 vsize=14141400 memory=1545532 CPUtime=0.38 cores=0,2,4,6
/proc/9529/task/9584/stat : 9584 (java) S 9526 9529 3242 0 -1 1077944384 17038 12404 0 0 28 3 5 2 20 0 17 0 97662188 14480793600 381428 33554432000 4194304 4196468 140734519777312 139948842903792 139949368707714 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9585] ppid=9526 vsize=14141400 memory=1531168 CPUtime=0.07 cores=0,2,4,6
/proc/9529/task/9585/stat : 9585 (java) S 9526 9529 3242 0 -1 1077944384 73 12404 0 0 0 0 5 2 20 0 17 0 97662188 14480793600 381428 33554432000 4194304 4196468 140734519777312 139948841850080 139949368706773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9586] ppid=9526 vsize=14141400 memory=1531160 CPUtime=0.07 cores=0,2,4,6
/proc/9529/task/9586/stat : 9586 (java) S 9526 9529 3242 0 -1 1077944384 61 12404 0 0 0 0 5 2 20 0 17 0 97662189 14480793600 381428 33554432000 4194304 4196468 140734519777312 139948840796928 139949368706773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9587] ppid=9526 vsize=14141400 memory=1534760 CPUtime=0.07 cores=0,2,4,6
/proc/9529/task/9587/stat : 9587 (java) S 9526 9529 3242 0 -1 1077944384 191 12404 0 0 0 0 5 2 20 0 17 0 97662191 14480793600 381428 33554432000 4194304 4196468 140734519777312 139948839745488 139949368715163 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9588] ppid=9526 vsize=14141400 memory=4144 CPUtime=13.36 cores=0,2,4,6
/proc/9529/task/9588/stat : 9588 (java) S 9526 9529 3242 0 -1 1077944384 21254 12404 0 0 1324 5 5 2 20 0 17 0 97662191 14480793600 381428 33554432000 4194304 4196468 140734519777312 139948838693616 139949368707714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9589] ppid=9526 vsize=14141400 memory=1568616 CPUtime=13.29 cores=0,2,4,6
/proc/9529/task/9589/stat : 9589 (java) S 9526 9529 3242 0 -1 1077944384 21411 12404 0 0 1315 7 5 2 20 0 17 0 97662191 14480793600 381428 33554432000 4194304 4196468 140734519777312 139948837641072 139949368707714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9590] ppid=9526 vsize=14141400 memory=1579904 CPUtime=4 cores=0,2,4,6
/proc/9529/task/9590/stat : 9590 (java) R 9526 9529 3242 0 -1 4202560 27225 12404 0 0 385 8 5 2 20 0 17 0 97662191 14480793600 381428 33554432000 4194304 4196468 140734519777312 139948836584448 139949360948108 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9591] ppid=9526 vsize=14141400 memory=1534760 CPUtime=0.07 cores=0,2,4,6
/proc/9529/task/9591/stat : 9591 (java) S 9526 9529 3242 0 -1 1077944384 3 12404 0 0 0 0 5 2 20 0 17 0 97662191 14480793600 381428 33554432000 4194304 4196468 140734519777312 139948835535712 139949368706773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
[pid=9529/tid=9592] ppid=9526 vsize=14141400 memory=1196 CPUtime=0.18 cores=0,2,4,6
/proc/9529/task/9592/stat : 9592 (java) S 9526 9529 3242 0 -1 1077944384 1022 12404 0 0 6 5 5 2 20 0 17 0 97662192 14480793600 381428 33554432000 4194304 4196468 140734519777312 139948834482736 139949368707714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10076160 140734519782038 140734519784823 140734519784823 140734519787471 0
Current children cumulated CPU time: 255.27 s
Current children cumulated vsize: 14141400 KiB
Current children cumulated memory: 1525712 KiB
Child status: 143
Real time (s): 219.924
CPU time (s): 255.316
CPU user time (s): 254.175
CPU system time (s): 1.14157
CPU usage (%): 116.093
Max. virtual memory (cumulated for all children) (KiB): 14141400
Max. memory (cumulated for all children) (KiB): 1810148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 254.175
system time used= 1.14157
maximum resident set size= 1812704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 173597
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23858
involuntary context switches= 527
# summary of solver processes directly reported to runsolver:
# pid: 9529
# total CPU time (s): 255.316
# total CPU user time (s): 254.175
# total CPU system time (s): 1.14157
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.41423 second user time and 1.98708 second system time
The end