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 (4462 MiB free)
memory of node 1: 16384 MiB (10527 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295174-1532532660/watcher-4295174-1532532660 -o /tmp/evaluation-result-4295174-1532532660/solver-4295174-1532532660 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532523045-23735 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=76354414 HOME/instance-4295174-1532532660.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=26630, runsolver pid=26627
[startup+0.100117 s]*
/proc/loadavg: 1.28 1.27 1.33 3/203 26679
/proc/meminfo: memFree=15349572/32770624 swapFree=67108796/67108860
[pid=26630] ppid=26627 vsize=392944 memory=7660 CPUtime=0.08 cores=1,3,5,7
/proc/26630/stat : 26630 (java) S 26627 26630 23703 0 -1 1077944320 2560 13124 0 0 0 0 5 3 20 0 2 0 70829144 402374656 1403 33554432000 4194304 4196468 140733339374000 140733339356544 140633146240759 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 1 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
/proc/26630/statm: 98236 1915 1064 1 0 87147 0
[pid=26630/tid=26683] ppid=26627 vsize=392944 memory=4628977645137068941 CPUtime=0.08 cores=1,3,5,7
/proc/26630/task/26683/stat : 26683 (java) S 26627 26630 23703 0 -1 1077944384 405 13124 0 0 0 0 5 3 20 0 2 0 70829155 402374656 1915 33554432000 4194304 4196468 140733339374000 140633118083488 140633146251906 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 392944 KiB
Current children cumulated memory: 7660 KiB
[startup+0.20999 s]*
/proc/loadavg: 1.26 1.26 1.33 4/216 26696
/proc/meminfo: memFree=15324084/32770624 swapFree=67108796/67108860
[pid=26630] ppid=26627 vsize=10818856 memory=38500 CPUtime=0.25 cores=1,3,5,7
/proc/26630/stat : 26630 (java) S 26627 26630 23703 0 -1 1077944320 6850 13124 0 0 15 2 5 3 20 0 15 0 70829144 11078508544 9625 33554432000 4194304 4196468 140733339374000 140733339356544 140633146240759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 1 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
/proc/26630/statm: 2704714 9625 2935 1 0 2667149 0
[pid=26630/tid=26683] ppid=26627 vsize=10818856 memory=-8540663193526752614 CPUtime=0.18 cores=1,3,5,7
/proc/26630/task/26683/stat : 26683 (java) R 26627 26630 23703 0 -1 4202560 3390 13124 0 0 9 1 5 3 20 0 15 0 70829155 11078508544 9625 33554432000 4194304 4196468 140733339374000 140633118071360 140633127804319 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26684] ppid=26627 vsize=10818856 memory=4211974248591342986 CPUtime=0.08 cores=1,3,5,7
/proc/26630/task/26684/stat : 26684 (java) S 26627 26630 23703 0 -1 1077944384 1 13124 0 0 0 0 5 3 20 0 15 0 70829155 11078508544 9625 33554432000 4194304 4196468 140733339374000 140633150482832 140633146250965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26685] ppid=26627 vsize=10818856 memory=140522386552448 CPUtime=0.08 cores=1,3,5,7
/proc/26630/task/26685/stat : 26685 (java) S 26627 26630 23703 0 -1 1077944384 1 13124 0 0 0 0 5 3 20 0 15 0 70829155 11078508544 9625 33554432000 4194304 4196468 140733339374000 140633069234448 140633146250965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26686] ppid=26627 vsize=10818856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26630/task/26686/stat : 26686 (java) S 26627 26630 23703 0 -1 1077944384 1 13124 0 0 0 0 5 3 20 0 15 0 70829155 11078508544 9625 33554432000 4194304 4196468 140733339374000 140633068182160 140633146250965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26687] ppid=26627 vsize=10818856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26630/task/26687/stat : 26687 (java) S 26627 26630 23703 0 -1 1077944384 2 13124 0 0 0 0 5 3 20 0 15 0 70829155 11078508544 9625 33554432000 4194304 4196468 140733339374000 140632717711888 140633146250965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26688] ppid=26627 vsize=10818856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26630/task/26688/stat : 26688 (java) S 26627 26630 23703 0 -1 1077944384 2 13124 0 0 0 0 5 3 20 0 15 0 70829157 11078508544 9625 33554432000 4194304 4196468 140733339374000 140632672897648 140633146251906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26689] ppid=26627 vsize=10818856 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26630/task/26689/stat : 26689 (java) S 26627 26630 23703 0 -1 1077944384 13 13124 0 0 0 0 5 3 20 0 15 0 70829157 11078508544 9625 33554432000 4194304 4196468 140733339374000 140632597194016 140633146250965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26690] ppid=26627 vsize=10818856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26630/task/26690/stat : 26690 (java) S 26627 26630 23703 0 -1 1077944384 1 13124 0 0 0 0 5 3 20 0 15 0 70829158 11078508544 9625 33554432000 4194304 4196468 140733339374000 140631993214576 140633146250965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26691] ppid=26627 vsize=10818856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26630/task/26691/stat : 26691 (java) S 26627 26630 23703 0 -1 1077944384 3 13124 0 0 0 0 5 3 20 0 15 0 70829160 11078508544 9625 33554432000 4194304 4196468 140733339374000 140631685814864 140633146259355 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26692] ppid=26627 vsize=10818856 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/26630/task/26692/stat : 26692 (java) S 26627 26630 23703 0 -1 1077944384 363 13124 0 0 1 0 5 3 20 0 15 0 70829160 11078508544 9625 33554432000 4194304 4196468 140733339374000 140632671844464 140633146251906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26693] ppid=26627 vsize=10818856 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/26630/task/26693/stat : 26693 (java) S 26627 26630 23703 0 -1 1077944384 257 13124 0 0 1 0 5 3 20 0 15 0 70829160 11078508544 9625 33554432000 4194304 4196468 140733339374000 140632670791664 140633146251906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26694] ppid=26627 vsize=10818856 memory=140522386552448 CPUtime=0.11 cores=1,3,5,7
/proc/26630/task/26694/stat : 26694 (java) S 26627 26630 23703 0 -1 1077944384 619 13124 0 0 3 0 5 3 20 0 15 0 70829160 11078508544 9625 33554432000 4194304 4196468 140733339374000 140632669739376 140633146251906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26695] ppid=26627 vsize=10818856 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26630/task/26695/stat : 26695 (java) S 26627 26630 23703 0 -1 1077944384 3 13124 0 0 0 0 5 3 20 0 15 0 70829160 11078508544 9625 33554432000 4194304 4196468 140733339374000 140631652256224 140633146250965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26696] ppid=26627 vsize=10818856 memory=140522386552448 CPUtime=0.08 cores=1,3,5,7
/proc/26630/task/26696/stat : 26696 (java) S 26627 26630 23703 0 -1 1077944384 1 13124 0 0 0 0 5 3 20 0 15 0 70829161 11078508544 9625 33554432000 4194304 4196468 140733339374000 140632668687280 140633146251906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818856 KiB
Current children cumulated memory: 38500 KiB
[startup+0.310558 s]*
/proc/loadavg: 1.26 1.26 1.33 3/216 26696
/proc/meminfo: memFree=15313256/32770624 swapFree=67108796/67108860
[pid=26630] ppid=26627 vsize=10819352 memory=51164 CPUtime=0.38 cores=1,3,5,7
/proc/26630/stat : 26630 (java) S 26627 26630 23703 0 -1 1077944320 9902 13124 0 0 27 3 5 3 20 0 15 0 70829144 11079016448 12791 33554432000 4194304 4196468 140733339374000 140733339356544 140633146240759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 1 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
/proc/26630/statm: 2704838 12791 3066 1 0 2667149 0
[pid=26630/tid=26683] ppid=26627 vsize=10819352 memory=281044540593784 CPUtime=0.28 cores=1,3,5,7
/proc/26630/task/26683/stat : 26683 (java) R 26627 26630 23703 0 -1 4202560 6432 13124 0 0 18 2 5 3 20 0 15 0 70829155 11079016448 12791 33554432000 4194304 4196468 140733339374000 140633118052544 140633130321246 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26684] ppid=26627 vsize=10819352 memory=3977295499660704336 CPUtime=0.08 cores=1,3,5,7
/proc/26630/task/26684/stat : 26684 (java) S 26627 26630 23703 0 -1 1077944384 1 13124 0 0 0 0 5 3 20 0 15 0 70829155 11079016448 12791 33554432000 4194304 4196468 140733339374000 140633150482832 140633146250965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26685] ppid=26627 vsize=10819352 memory=140522386552448 CPUtime=0.08 cores=1,3,5,7
/proc/26630/task/26685/stat : 26685 (java) S 26627 26630 23703 0 -1 1077944384 1 13124 0 0 0 0 5 3 20 0 15 0 70829155 11079016448 12791 33554432000 4194304 4196468 140733339374000 140633069234448 140633146250965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26686] ppid=26627 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26630/task/26686/stat : 26686 (java) S 26627 26630 23703 0 -1 1077944384 1 13124 0 0 0 0 5 3 20 0 15 0 70829155 11079016448 12791 33554432000 4194304 4196468 140733339374000 140633068182160 140633146250965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26687] ppid=26627 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26630/task/26687/stat : 26687 (java) S 26627 26630 23703 0 -1 1077944384 2 13124 0 0 0 0 5 3 20 0 15 0 70829155 11079016448 12791 33554432000 4194304 4196468 140733339374000 140632717711888 140633146250965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26688] ppid=26627 vsize=10819352 memory=140522386552448 CPUtime=0.08 cores=1,3,5,7
/proc/26630/task/26688/stat : 26688 (java) S 26627 26630 23703 0 -1 1077944384 2 13124 0 0 0 0 5 3 20 0 15 0 70829157 11079016448 12791 33554432000 4194304 4196468 140733339374000 140632672897648 140633146251906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26689] ppid=26627 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26630/task/26689/stat : 26689 (java) S 26627 26630 23703 0 -1 1077944384 13 13124 0 0 0 0 5 3 20 0 15 0 70829157 11079016448 12791 33554432000 4194304 4196468 140733339374000 140632597194016 140633146250965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26690] ppid=26627 vsize=10819352 memory=140522386552448 CPUtime=0.08 cores=1,3,5,7
/proc/26630/task/26690/stat : 26690 (java) S 26627 26630 23703 0 -1 1077944384 1 13124 0 0 0 0 5 3 20 0 15 0 70829158 11079016448 12791 33554432000 4194304 4196468 140733339374000 140631993214576 140633146250965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26691] ppid=26627 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26630/task/26691/stat : 26691 (java) S 26627 26630 23703 0 -1 1077944384 3 13124 0 0 0 0 5 3 20 0 15 0 70829160 11079016448 12791 33554432000 4194304 4196468 140733339374000 140631685814864 140633146259355 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26692] ppid=26627 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/26630/task/26692/stat : 26692 (java) S 26627 26630 23703 0 -1 1077944384 363 13124 0 0 1 0 5 3 20 0 15 0 70829160 11079016448 12791 33554432000 4194304 4196468 140733339374000 140632671844464 140633146251906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26693] ppid=26627 vsize=10819352 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/26630/task/26693/stat : 26693 (java) S 26627 26630 23703 0 -1 1077944384 258 13124 0 0 1 0 5 3 20 0 15 0 70829160 11079016448 12791 33554432000 4194304 4196468 140733339374000 140632670791664 140633146251906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26694] ppid=26627 vsize=10819352 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/26630/task/26694/stat : 26694 (java) S 26627 26630 23703 0 -1 1077944384 629 13124 0 0 5 0 5 3 20 0 15 0 70829160 11079016448 12791 33554432000 4194304 4196468 140733339374000 140632669739376 140633146251906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26695] ppid=26627 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26630/task/26695/stat : 26695 (java) S 26627 26630 23703 0 -1 1077944384 3 13124 0 0 0 0 5 3 20 0 15 0 70829160 11079016448 12791 33554432000 4194304 4196468 140733339374000 140631652256224 140633146250965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26696] ppid=26627 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26630/task/26696/stat : 26696 (java) S 26627 26630 23703 0 -1 1077944384 1 13124 0 0 0 0 5 3 20 0 15 0 70829161 11079016448 12791 33554432000 4194304 4196468 140733339374000 140632668687280 140633146251906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 51164 KiB
[startup+0.700775 s]
/proc/loadavg: 1.26 1.26 1.33 3/216 26696
/proc/meminfo: memFree=15299796/32770624 swapFree=67108796/67108860
[pid=26630] ppid=26627 vsize=10819352 memory=86572 CPUtime=0.98 cores=1,3,5,7
/proc/26630/stat : 26630 (java) S 26627 26630 23703 0 -1 1077944320 16794 13124 0 0 86 4 5 3 20 0 15 0 70829144 11079016448 21643 33554432000 4194304 4196468 140733339374000 140733339356544 140633146240759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 1 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
/proc/26630/statm: 2704838 21643 3243 1 0 2667149 0
[pid=26630/tid=26683] ppid=26627 vsize=10819352 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/26630/task/26683/stat : 26683 (java) R 26627 26630 23703 0 -1 4202560 12366 13124 0 0 55 2 5 3 20 0 15 0 70829155 11079016448 21643 33554432000 4194304 4196468 140733339374000 140633118035544 140633127804288 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26684] ppid=26627 vsize=10819352 memory=4 CPUtime=0.08 cores=1,3,5,7
/proc/26630/task/26684/stat : 26684 (java) S 26627 26630 23703 0 -1 1077944384 1 13124 0 0 0 0 5 3 20 0 15 0 70829155 11079016448 21643 33554432000 4194304 4196468 140733339374000 140633150482832 140633146250965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26685] ppid=26627 vsize=10819352 memory=30 CPUtime=0.08 cores=1,3,5,7
/proc/26630/task/26685/stat : 26685 (java) S 26627 26630 23703 0 -1 1077944384 1 13124 0 0 0 0 5 3 20 0 15 0 70829155 11079016448 21643 33554432000 4194304 4196468 140733339374000 140633069234448 140633146250965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26686] ppid=26627 vsize=10819352 memory=7165352523810879033 CPUtime=0.08 cores=1,3,5,7
/proc/26630/task/26686/stat : 26686 (java) S 26627 26630 23703 0 -1 1077944384 1 13124 0 0 0 0 5 3 20 0 15 0 70829155 11079016448 21643 33554432000 4194304 4196468 140733339374000 140633068182160 140633146250965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26687] ppid=26627 vsize=10819352 memory=7156871063736963152 CPUtime=0.08 cores=1,3,5,7
/proc/26630/task/26687/stat : 26687 (java) S 26627 26630 23703 0 -1 1077944384 2 13124 0 0 0 0 5 3 20 0 15 0 70829155 11079016448 21643 33554432000 4194304 4196468 140733339374000 140632717711888 140633146250965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26688] ppid=26627 vsize=10819352 memory=8023269665315972697 CPUtime=0.08 cores=1,3,5,7
/proc/26630/task/26688/stat : 26688 (java) S 26627 26630 23703 0 -1 1077944384 5 13124 0 0 0 0 5 3 20 0 15 0 70829157 11079016448 21643 33554432000 4194304 4196468 140733339374000 140632672897648 140633146251906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26689] ppid=26627 vsize=10819352 memory=7674596115929182250 CPUtime=0.08 cores=1,3,5,7
/proc/26630/task/26689/stat : 26689 (java) S 26627 26630 23703 0 -1 1077944384 13 13124 0 0 0 0 5 3 20 0 15 0 70829157 11079016448 21643 33554432000 4194304 4196468 140733339374000 140632597194016 140633146250965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26690] ppid=26627 vsize=10819352 memory=8328453600958622283 CPUtime=0.08 cores=1,3,5,7
/proc/26630/task/26690/stat : 26690 (java) S 26627 26630 23703 0 -1 1077944384 1 13124 0 0 0 0 5 3 20 0 15 0 70829158 11079016448 21643 33554432000 4194304 4196468 140733339374000 140631993214576 140633146250965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26691] ppid=26627 vsize=10819352 memory=-8458152057954364812 CPUtime=0.08 cores=1,3,5,7
/proc/26630/task/26691/stat : 26691 (java) S 26627 26630 23703 0 -1 1077944384 3 13124 0 0 0 0 5 3 20 0 15 0 70829160 11079016448 21643 33554432000 4194304 4196468 140733339374000 140631685814864 140633146259355 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26692] ppid=26627 vsize=10819352 memory=1399101730491701635 CPUtime=0.17 cores=1,3,5,7
/proc/26630/task/26692/stat : 26692 (java) S 26627 26630 23703 0 -1 1077944384 978 13124 0 0 9 0 5 3 20 0 15 0 70829160 11079016448 21643 33554432000 4194304 4196468 140733339374000 140632671844464 140633146251906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26693] ppid=26627 vsize=10819352 memory=-9001733975035308135 CPUtime=0.16 cores=1,3,5,7
/proc/26630/task/26693/stat : 26693 (java) S 26627 26630 23703 0 -1 1077944384 537 13124 0 0 8 0 5 3 20 0 15 0 70829160 11079016448 21643 33554432000 4194304 4196468 140733339374000 140632670791664 140633146251906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26694] ppid=26627 vsize=10819352 memory=-7606742951091920751 CPUtime=0.21 cores=1,3,5,7
/proc/26630/task/26694/stat : 26694 (java) S 26627 26630 23703 0 -1 1077944384 689 13124 0 0 13 0 5 3 20 0 15 0 70829160 11079016448 21643 33554432000 4194304 4196468 140733339374000 140632669739376 140633146251906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26695] ppid=26627 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26630/task/26695/stat : 26695 (java) S 26627 26630 23703 0 -1 1077944384 3 13124 0 0 0 0 5 3 20 0 15 0 70829160 11079016448 21643 33554432000 4194304 4196468 140733339374000 140631652256224 140633146250965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26696] ppid=26627 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26630/task/26696/stat : 26696 (java) S 26627 26630 23703 0 -1 1077944384 1 13124 0 0 0 0 5 3 20 0 15 0 70829161 11079016448 21643 33554432000 4194304 4196468 140733339374000 140632668687280 140633146251906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86572 KiB
[startup+1.50165 s]
/proc/loadavg: 1.26 1.26 1.33 3/216 26696
/proc/meminfo: memFree=15256000/32770624 swapFree=67108796/67108860
[pid=26630] ppid=26627 vsize=10828108 memory=207552 CPUtime=2.98 cores=1,3,5,7
/proc/26630/stat : 26630 (java) S 26627 26630 23703 0 -1 1077944320 22332 13124 0 0 282 8 5 3 20 0 15 0 70829144 11087982592 51888 33554432000 4194304 4196468 140733339374000 140733339356544 140633146240759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 1 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
/proc/26630/statm: 2707027 51888 3448 1 0 2668685 0
[pid=26630/tid=26683] ppid=26627 vsize=10828108 memory=0 CPUtime=1.45 cores=1,3,5,7
/proc/26630/task/26683/stat : 26683 (java) R 26627 26630 23703 0 -1 4202560 15121 13124 0 0 131 6 5 3 20 0 15 0 70829155 11087982592 51888 33554432000 4194304 4196468 140733339374000 140633118072240 140632752850947 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26684] ppid=26627 vsize=10828108 memory=100608 CPUtime=0.08 cores=1,3,5,7
/proc/26630/task/26684/stat : 26684 (java) S 26627 26630 23703 0 -1 1077944384 1 13124 0 0 0 0 5 3 20 0 15 0 70829155 11087982592 51888 33554432000 4194304 4196468 140733339374000 140633150482832 140633146250965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26685] ppid=26627 vsize=10828108 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26630/task/26685/stat : 26685 (java) S 26627 26630 23703 0 -1 1077944384 1 13124 0 0 0 0 5 3 20 0 15 0 70829155 11087982592 51888 33554432000 4194304 4196468 140733339374000 140633069234448 140633146250965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26686] ppid=26627 vsize=10828108 memory=6872598998417432672 CPUtime=0.08 cores=1,3,5,7
/proc/26630/task/26686/stat : 26686 (java) S 26627 26630 23703 0 -1 1077944384 1 13124 0 0 0 0 5 3 20 0 15 0 70829155 11087982592 51888 33554432000 4194304 4196468 140733339374000 140633068182160 140633146250965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26687] ppid=26627 vsize=10828108 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26630/task/26687/stat : 26687 (java) S 26627 26630 23703 0 -1 1077944384 2 13124 0 0 0 0 5 3 20 0 15 0 70829155 11087982592 51888 33554432000 4194304 4196468 140733339374000 140632717711888 140633146250965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26688] ppid=26627 vsize=10828108 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26630/task/26688/stat : 26688 (java) S 26627 26630 23703 0 -1 1077944384 12 13124 0 0 0 0 5 3 20 0 15 0 70829157 11087982592 51888 33554432000 4194304 4196468 140733339374000 140632672897648 140633146251906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26689] ppid=26627 vsize=10828108 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26630/task/26689/stat : 26689 (java) S 26627 26630 23703 0 -1 1077944384 13 13124 0 0 0 0 5 3 20 0 15 0 70829157 11087982592 51888 33554432000 4194304 4196468 140733339374000 140632597194016 140633146250965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26690] ppid=26627 vsize=10828108 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26630/task/26690/stat : 26690 (java) S 26627 26630 23703 0 -1 1077944384 1 13124 0 0 0 0 5 3 20 0 15 0 70829158 11087982592 51888 33554432000 4194304 4196468 140733339374000 140631993214576 140633146250965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26691] ppid=26627 vsize=10828108 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26630/task/26691/stat : 26691 (java) S 26627 26630 23703 0 -1 1077944384 3 13124 0 0 0 0 5 3 20 0 15 0 70829160 11087982592 51888 33554432000 4194304 4196468 140733339374000 140631685814864 140633146259355 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26692] ppid=26627 vsize=10828108 memory=4580 CPUtime=0.63 cores=1,3,5,7
/proc/26630/task/26692/stat : 26692 (java) R 26627 26630 23703 0 -1 4202560 1805 13124 0 0 55 0 5 3 20 0 15 0 70829160 11087982592 51888 33554432000 4194304 4196468 140733339374000 140632671831488 140633126876819 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26693] ppid=26627 vsize=10828108 memory=7161100971102199891 CPUtime=0.62 cores=1,3,5,7
/proc/26630/task/26693/stat : 26693 (java) R 26627 26630 23703 0 -1 4202560 1803 13124 0 0 54 0 5 3 20 0 15 0 70829160 11087982592 51888 33554432000 4194304 4196468 140733339374000 140632670776624 140633127784532 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26694] ppid=26627 vsize=10828108 memory=8 CPUtime=0.48 cores=1,3,5,7
/proc/26630/task/26694/stat : 26694 (java) S 26627 26630 23703 0 -1 1077944384 1372 13124 0 0 40 0 5 3 20 0 15 0 70829160 11087982592 51888 33554432000 4194304 4196468 140733339374000 140632669739376 140633146251906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26695] ppid=26627 vsize=10828108 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26630/task/26695/stat : 26695 (java) S 26627 26630 23703 0 -1 1077944384 3 13124 0 0 0 0 5 3 20 0 15 0 70829160 11087982592 51888 33554432000 4194304 4196468 140733339374000 140631652256224 140633146250965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26696] ppid=26627 vsize=10828108 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26630/task/26696/stat : 26696 (java) S 26627 26630 23703 0 -1 1077944384 1 13124 0 0 0 0 5 3 20 0 15 0 70829161 11087982592 51888 33554432000 4194304 4196468 140733339374000 140632668687280 140633146251906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
Current children cumulated CPU time: 2.98 s
Current children cumulated vsize: 10828108 KiB
Current children cumulated memory: 207552 KiB
[startup+3.11014 s]
/proc/loadavg: 1.26 1.26 1.33 3/216 26696
/proc/meminfo: memFree=14876932/32770624 swapFree=67108796/67108860
[pid=26630] ppid=26627 vsize=10836300 memory=488356 CPUtime=7.32 cores=1,3,5,7
/proc/26630/stat : 26630 (java) S 26627 26630 23703 0 -1 1077944320 38537 13124 0 0 697 27 5 3 20 0 15 0 70829144 11096371200 122089 33554432000 4194304 4196468 140733339374000 140733339356544 140633146240759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 1 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
/proc/26630/statm: 2709075 122089 3497 1 0 2670733 0
################
# More data... #
################
/proc/26630/task/26684/stat : 26684 (java) R 26627 26630 23703 0 -1 4202560 76244 13124 0 0 52429 309 5 3 20 0 15 0 70829155 11104780288 2086823 33554432000 4194304 4196468 140733339374000 140633150482416 140633138868967 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26685] ppid=26627 vsize=10844512 memory=8347288 CPUtime=530.52 cores=1,3,5,7
/proc/26630/task/26685/stat : 26685 (java) R 26627 26630 23703 0 -1 4202560 136695 13124 0 0 52760 284 5 3 20 0 15 0 70829155 11104780288 2086823 33554432000 4194304 4196468 140733339374000 140633069234032 140633138868967 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26686] ppid=26627 vsize=10844512 memory=8347288 CPUtime=533.48 cores=1,3,5,7
/proc/26630/task/26686/stat : 26686 (java) R 26627 26630 23703 0 -1 4202560 283153 13124 0 0 53074 266 5 3 20 0 15 0 70829155 11104780288 2086823 33554432000 4194304 4196468 140733339374000 140633068181744 140633138868967 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26687] ppid=26627 vsize=10844512 memory=8347288 CPUtime=532.2 cores=1,3,5,7
/proc/26630/task/26687/stat : 26687 (java) R 26627 26630 23703 0 -1 4202560 193059 13124 0 0 52933 279 5 3 20 0 15 0 70829155 11104780288 2086823 33554432000 4194304 4196468 140733339374000 140632717712088 140633131226055 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26688] ppid=26627 vsize=10844512 memory=8347292 CPUtime=3.02 cores=1,3,5,7
/proc/26630/task/26688/stat : 26688 (java) S 26627 26630 23703 0 -1 1077944384 353980 13124 0 0 279 15 5 3 20 0 15 0 70829157 11104780288 2086823 33554432000 4194304 4196468 140733339374000 140632672895968 140633146250965 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26689] ppid=26627 vsize=10844512 memory=8347288 CPUtime=0.08 cores=1,3,5,7
/proc/26630/task/26689/stat : 26689 (java) S 26627 26630 23703 0 -1 1077944384 30 13124 0 0 0 0 5 3 20 0 15 0 70829157 11104780288 2086823 33554432000 4194304 4196468 140733339374000 140632597194080 140633146250965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26690] ppid=26627 vsize=10844512 memory=8347292 CPUtime=0.08 cores=1,3,5,7
/proc/26630/task/26690/stat : 26690 (java) S 26627 26630 23703 0 -1 1077944384 16 13124 0 0 0 0 5 3 20 0 15 0 70829158 11104780288 2086823 33554432000 4194304 4196468 140733339374000 140631993214592 140633146250965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26691] ppid=26627 vsize=10844512 memory=8347288 CPUtime=0.08 cores=1,3,5,7
/proc/26630/task/26691/stat : 26691 (java) S 26627 26630 23703 0 -1 1077944384 3 13124 0 0 0 0 5 3 20 0 15 0 70829160 11104780288 2086823 33554432000 4194304 4196468 140733339374000 140631685814864 140633146259355 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26692] ppid=26627 vsize=10844512 memory=8347288 CPUtime=7.14 cores=1,3,5,7
/proc/26630/task/26692/stat : 26692 (java) S 26627 26630 23703 0 -1 1077944384 18582 13124 0 0 702 4 5 3 20 0 15 0 70829160 11104780288 2086823 33554432000 4194304 4196468 140733339374000 140632671844464 140633146251906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26693] ppid=26627 vsize=10844512 memory=3708 CPUtime=7.1 cores=1,3,5,7
/proc/26630/task/26693/stat : 26693 (java) S 26627 26630 23703 0 -1 1077944384 21910 13124 0 0 700 2 5 3 20 0 15 0 70829160 11104780288 2086823 33554432000 4194304 4196468 140733339374000 140632670791664 140633146251906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26694] ppid=26627 vsize=10844512 memory=3708 CPUtime=2.25 cores=1,3,5,7
/proc/26630/task/26694/stat : 26694 (java) S 26627 26630 23703 0 -1 1077944384 16806 13124 0 0 213 4 5 3 20 0 15 0 70829160 11104780288 2086823 33554432000 4194304 4196468 140733339374000 140632669739376 140633146251906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26695] ppid=26627 vsize=10844512 memory=21300 CPUtime=0.08 cores=1,3,5,7
/proc/26630/task/26695/stat : 26695 (java) S 26627 26630 23703 0 -1 1077944384 3 13124 0 0 0 0 5 3 20 0 15 0 70829160 11104780288 2086823 33554432000 4194304 4196468 140733339374000 140631652256224 140633146250965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26696] ppid=26627 vsize=10844512 memory=1040 CPUtime=0.37 cores=1,3,5,7
/proc/26630/task/26696/stat : 26696 (java) S 26627 26630 23703 0 -1 1077944384 776 13124 0 0 19 10 5 3 20 0 15 0 70829161 11104780288 2086823 33554432000 4194304 4196468 140733339374000 140632668687280 140633146251906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
Current children cumulated CPU time: 2295.81 s
Current children cumulated vsize: 10844512 KiB
Current children cumulated memory: 8347292 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+760.402 s]
/proc/loadavg: 4.64 4.20 2.94 6/216 26717
/proc/meminfo: memFree=7031700/32770624 swapFree=67108796/67108860
[pid=26630] ppid=26627 vsize=10844512 memory=8347300 CPUtime=2520.35 cores=1,3,5,7
/proc/26630/stat : 26630 (java) S 26627 26630 23703 0 -1 1077944320 1281110 13124 0 0 250753 1274 5 3 20 0 15 0 70829144 11104780288 2086825 33554432000 4194304 4196468 140733339374000 140733339356544 140633146240759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 1 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
/proc/26630/statm: 2711128 2086825 3529 1 0 2672781 0
[pid=26630/tid=26683] ppid=26627 vsize=10844512 memory=7524 CPUtime=152.98 cores=1,3,5,7
/proc/26630/task/26683/stat : 26683 (java) S 26627 26630 23703 0 -1 1077944384 119976 13124 0 0 15250 40 5 3 20 0 15 0 70829155 11104780288 2086825 33554432000 4194304 4196468 140733339374000 140633118074720 140633146250965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26684] ppid=26627 vsize=10844512 memory=6791534058613427641 CPUtime=583.25 cores=1,3,5,7
/proc/26630/task/26684/stat : 26684 (java) R 26627 26630 23703 0 -1 4202560 90597 13124 0 0 57990 327 5 3 20 0 15 0 70829155 11104780288 2086825 33554432000 4194304 4196468 140733339374000 140633150483032 140633130938534 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26685] ppid=26627 vsize=10844512 memory=4032 CPUtime=586.36 cores=1,3,5,7
/proc/26630/task/26685/stat : 26685 (java) R 26627 26630 23703 0 -1 4202560 140073 13124 0 0 58328 300 5 3 20 0 15 0 70829155 11104780288 2086825 33554432000 4194304 4196468 140733339374000 140633069234032 140633138868967 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26686] ppid=26627 vsize=10844512 memory=1284 CPUtime=588.98 cores=1,3,5,7
/proc/26630/task/26686/stat : 26686 (java) R 26627 26630 23703 0 -1 4202560 286390 13124 0 0 58602 288 5 3 20 0 15 0 70829155 11104780288 2086825 33554432000 4194304 4196468 140733339374000 140633068181744 140633138868967 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26687] ppid=26627 vsize=10844512 memory=1088 CPUtime=589.32 cores=1,3,5,7
/proc/26630/task/26687/stat : 26687 (java) R 26627 26630 23703 0 -1 4202560 209711 13124 0 0 58640 284 5 3 20 0 15 0 70829155 11104780288 2086825 33554432000 4194304 4196468 140733339374000 140632717711472 140633138868967 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26688] ppid=26627 vsize=10844512 memory=1796 CPUtime=3.21 cores=1,3,5,7
/proc/26630/task/26688/stat : 26688 (java) S 26627 26630 23703 0 -1 1077944384 374008 13124 0 0 297 16 5 3 20 0 15 0 70829157 11104780288 2086825 33554432000 4194304 4196468 140733339374000 140632672895968 140633146250965 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26689] ppid=26627 vsize=10844512 memory=1676 CPUtime=0.08 cores=1,3,5,7
/proc/26630/task/26689/stat : 26689 (java) S 26627 26630 23703 0 -1 1077944384 30 13124 0 0 0 0 5 3 20 0 15 0 70829157 11104780288 2086825 33554432000 4194304 4196468 140733339374000 140632597194080 140633146250965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26690] ppid=26627 vsize=10844512 memory=960 CPUtime=0.08 cores=1,3,5,7
/proc/26630/task/26690/stat : 26690 (java) S 26627 26630 23703 0 -1 1077944384 16 13124 0 0 0 0 5 3 20 0 15 0 70829158 11104780288 2086825 33554432000 4194304 4196468 140733339374000 140631993214592 140633146250965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26691] ppid=26627 vsize=10844512 memory=1232 CPUtime=0.08 cores=1,3,5,7
/proc/26630/task/26691/stat : 26691 (java) S 26627 26630 23703 0 -1 1077944384 3 13124 0 0 0 0 5 3 20 0 15 0 70829160 11104780288 2086825 33554432000 4194304 4196468 140733339374000 140631685814864 140633146259355 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26692] ppid=26627 vsize=10844512 memory=4072 CPUtime=7.14 cores=1,3,5,7
/proc/26630/task/26692/stat : 26692 (java) S 26627 26630 23703 0 -1 1077944384 18586 13124 0 0 702 4 5 3 20 0 15 0 70829160 11104780288 2086825 33554432000 4194304 4196468 140733339374000 140632671844512 140633146250965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26693] ppid=26627 vsize=10844512 memory=2244 CPUtime=7.1 cores=1,3,5,7
/proc/26630/task/26693/stat : 26693 (java) S 26627 26630 23703 0 -1 1077944384 21915 13124 0 0 700 2 5 3 20 0 15 0 70829160 11104780288 2086825 33554432000 4194304 4196468 140733339374000 140632670791424 140633146250965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26694] ppid=26627 vsize=10844512 memory=4124 CPUtime=2.25 cores=1,3,5,7
/proc/26630/task/26694/stat : 26694 (java) S 26627 26630 23703 0 -1 1077944384 16808 13124 0 0 213 4 5 3 20 0 15 0 70829160 11104780288 2086825 33554432000 4194304 4196468 140733339374000 140632669739424 140633146250965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26695] ppid=26627 vsize=10844512 memory=924 CPUtime=0.08 cores=1,3,5,7
/proc/26630/task/26695/stat : 26695 (java) S 26627 26630 23703 0 -1 1077944384 3 13124 0 0 0 0 5 3 20 0 15 0 70829160 11104780288 2086825 33554432000 4194304 4196468 140733339374000 140631652256224 140633146250965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26696] ppid=26627 vsize=10844512 memory=1572 CPUtime=0.39 cores=1,3,5,7
/proc/26630/task/26696/stat : 26696 (java) S 26627 26630 23703 0 -1 1077944384 801 13124 0 0 21 10 5 3 20 0 15 0 70829161 11104780288 2086825 33554432000 4194304 4196468 140733339374000 140632668687280 140633146251906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
Current children cumulated CPU time: 2520.35 s
Current children cumulated vsize: 10844512 KiB
Current children cumulated memory: 8347300 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+762.301 s]
/proc/loadavg: 4.59 4.20 2.94 6/216 26717
/proc/meminfo: memFree=7031816/32770624 swapFree=67108796/67108860
[pid=26630] ppid=26627 vsize=10844512 memory=8347300 CPUtime=2527.71 cores=1,3,5,7
/proc/26630/stat : 26630 (java) S 26627 26630 23703 0 -1 1077944320 1281166 13124 0 0 251486 1277 5 3 20 0 15 0 70829144 11104780288 2086825 33554432000 4194304 4196468 140733339374000 140733339356544 140633146240759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 1 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
/proc/26630/statm: 2711128 2086825 3529 1 0 2672781 0
[pid=26630/tid=26683] ppid=26627 vsize=10844512 memory=140522270761233 CPUtime=152.98 cores=1,3,5,7
/proc/26630/task/26683/stat : 26683 (java) S 26627 26630 23703 0 -1 1077944384 119976 13124 0 0 15250 40 5 3 20 0 15 0 70829155 11104780288 2086825 33554432000 4194304 4196468 140733339374000 140633118074720 140633146250965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26684] ppid=26627 vsize=10844512 memory=8347300 CPUtime=585.12 cores=1,3,5,7
/proc/26630/task/26684/stat : 26684 (java) R 26627 26630 23703 0 -1 4202560 90649 13124 0 0 58177 327 5 3 20 0 15 0 70829155 11104780288 2086825 33554432000 4194304 4196468 140733339374000 140633150483032 140633131191364 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26685] ppid=26627 vsize=10844512 memory=8347300 CPUtime=588.19 cores=1,3,5,7
/proc/26630/task/26685/stat : 26685 (java) R 26627 26630 23703 0 -1 4202560 140073 13124 0 0 58510 301 5 3 20 0 15 0 70829155 11104780288 2086825 33554432000 4194304 4196468 140733339374000 140633069234032 140633138868967 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26686] ppid=26627 vsize=10844512 memory=8347300 CPUtime=590.8 cores=1,3,5,7
/proc/26630/task/26686/stat : 26686 (java) R 26627 26630 23703 0 -1 4202560 286390 13124 0 0 58784 288 5 3 20 0 15 0 70829155 11104780288 2086825 33554432000 4194304 4196468 140733339374000 140633068181744 140633138868967 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26687] ppid=26627 vsize=10844512 memory=8347300 CPUtime=591.14 cores=1,3,5,7
/proc/26630/task/26687/stat : 26687 (java) R 26627 26630 23703 0 -1 4202560 209711 13124 0 0 58821 285 5 3 20 0 15 0 70829155 11104780288 2086825 33554432000 4194304 4196468 140733339374000 140632717711784 140633138868967 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26688] ppid=26627 vsize=10844512 memory=0 CPUtime=3.21 cores=1,3,5,7
/proc/26630/task/26688/stat : 26688 (java) S 26627 26630 23703 0 -1 1077944384 374008 13124 0 0 297 16 5 3 20 0 15 0 70829157 11104780288 2086825 33554432000 4194304 4196468 140733339374000 140632672895968 140633146250965 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26689] ppid=26627 vsize=10844512 memory=8347300 CPUtime=0.08 cores=1,3,5,7
/proc/26630/task/26689/stat : 26689 (java) S 26627 26630 23703 0 -1 1077944384 30 13124 0 0 0 0 5 3 20 0 15 0 70829157 11104780288 2086825 33554432000 4194304 4196468 140733339374000 140632597194080 140633146250965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26690] ppid=26627 vsize=10844512 memory=8347300 CPUtime=0.08 cores=1,3,5,7
/proc/26630/task/26690/stat : 26690 (java) S 26627 26630 23703 0 -1 1077944384 16 13124 0 0 0 0 5 3 20 0 15 0 70829158 11104780288 2086825 33554432000 4194304 4196468 140733339374000 140631993214592 140633146250965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26691] ppid=26627 vsize=10844512 memory=8347300 CPUtime=0.08 cores=1,3,5,7
/proc/26630/task/26691/stat : 26691 (java) S 26627 26630 23703 0 -1 1077944384 6 13124 0 0 0 0 5 3 20 0 15 0 70829160 11104780288 2086825 33554432000 4194304 4196468 140733339374000 140631685814512 140633146250965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26692] ppid=26627 vsize=10844512 memory=8347300 CPUtime=7.14 cores=1,3,5,7
/proc/26630/task/26692/stat : 26692 (java) S 26627 26630 23703 0 -1 1077944384 18586 13124 0 0 702 4 5 3 20 0 15 0 70829160 11104780288 2086825 33554432000 4194304 4196468 140733339374000 140632671844512 140633146250965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26693] ppid=26627 vsize=10844512 memory=8347300 CPUtime=7.1 cores=1,3,5,7
/proc/26630/task/26693/stat : 26693 (java) S 26627 26630 23703 0 -1 1077944384 21915 13124 0 0 700 2 5 3 20 0 15 0 70829160 11104780288 2086825 33554432000 4194304 4196468 140733339374000 140632670791424 140633146250965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26694] ppid=26627 vsize=10844512 memory=8347300 CPUtime=2.25 cores=1,3,5,7
/proc/26630/task/26694/stat : 26694 (java) S 26627 26630 23703 0 -1 1077944384 16808 13124 0 0 213 4 5 3 20 0 15 0 70829160 11104780288 2086825 33554432000 4194304 4196468 140733339374000 140632669739424 140633146250965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26695] ppid=26627 vsize=10844512 memory=8347300 CPUtime=0.08 cores=1,3,5,7
/proc/26630/task/26695/stat : 26695 (java) S 26627 26630 23703 0 -1 1077944384 3 13124 0 0 0 0 5 3 20 0 15 0 70829160 11104780288 2086825 33554432000 4194304 4196468 140733339374000 140631652256224 140633146250965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26696] ppid=26627 vsize=10844512 memory=8347300 CPUtime=0.39 cores=1,3,5,7
/proc/26630/task/26696/stat : 26696 (java) S 26627 26630 23703 0 -1 1077944384 801 13124 0 0 21 10 5 3 20 0 15 0 70829161 11104780288 2086825 33554432000 4194304 4196468 140733339374000 140632668687280 140633146251906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
Current children cumulated CPU time: 2527.71 s
Current children cumulated vsize: 10844512 KiB
Current children cumulated memory: 8347300 KiB
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+762.454 s]
# the end of solver process 26630 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.33 s, system=12.8522 s
Solver just ended.
Dumping a history of the last processes samples
[startup+762.401 s]
/proc/loadavg: 4.59 4.20 2.94 6/216 26717
/proc/meminfo: memFree=7031816/32770624 swapFree=67108796/67108860
[pid=26630] ppid=26627 vsize=10844512 memory=8347300 CPUtime=2528.1 cores=1,3,5,7
/proc/26630/stat : 26630 (java) S 26627 26630 23703 0 -1 1077944320 1281174 13124 0 0 251525 1277 5 3 20 0 15 0 70829144 11104780288 2086825 33554432000 4194304 4196468 140733339374000 140733339356544 140633146240759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 1 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
/proc/26630/statm: 2711128 2086825 3529 1 0 2672781 0
[pid=26630/tid=26683] ppid=26627 vsize=10844512 memory=164 CPUtime=152.98 cores=1,3,5,7
/proc/26630/task/26683/stat : 26683 (java) S 26627 26630 23703 0 -1 1077944384 119976 13124 0 0 15250 40 5 3 20 0 15 0 70829155 11104780288 2086825 33554432000 4194304 4196468 140733339374000 140633118074720 140633146250965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26684] ppid=26627 vsize=10844512 memory=8514726395715351173 CPUtime=585.22 cores=1,3,5,7
/proc/26630/task/26684/stat : 26684 (java) R 26627 26630 23703 0 -1 4202560 90657 13124 0 0 58187 327 5 3 20 0 15 0 70829155 11104780288 2086825 33554432000 4194304 4196468 140733339374000 140633150483032 140633127837507 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26685] ppid=26627 vsize=10844512 memory=5024 CPUtime=588.29 cores=1,3,5,7
/proc/26630/task/26685/stat : 26685 (java) R 26627 26630 23703 0 -1 4202560 140073 13124 0 0 58520 301 5 3 20 0 15 0 70829155 11104780288 2086825 33554432000 4194304 4196468 140733339374000 140633069234032 140633138868967 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26686] ppid=26627 vsize=10844512 memory=4032 CPUtime=590.9 cores=1,3,5,7
/proc/26630/task/26686/stat : 26686 (java) R 26627 26630 23703 0 -1 4202560 286390 13124 0 0 58794 288 5 3 20 0 15 0 70829155 11104780288 2086825 33554432000 4194304 4196468 140733339374000 140633068181744 140633138868967 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26687] ppid=26627 vsize=10844512 memory=1284 CPUtime=591.24 cores=1,3,5,7
/proc/26630/task/26687/stat : 26687 (java) R 26627 26630 23703 0 -1 4202560 209711 13124 0 0 58831 285 5 3 20 0 15 0 70829155 11104780288 2086825 33554432000 4194304 4196468 140733339374000 140632717711784 140633138868967 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26688] ppid=26627 vsize=10844512 memory=6791534058613427641 CPUtime=3.21 cores=1,3,5,7
/proc/26630/task/26688/stat : 26688 (java) S 26627 26630 23703 0 -1 1077944384 374008 13124 0 0 297 16 5 3 20 0 15 0 70829157 11104780288 2086825 33554432000 4194304 4196468 140733339374000 140632672895968 140633146250965 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26689] ppid=26627 vsize=10844512 memory=1232 CPUtime=0.08 cores=1,3,5,7
/proc/26630/task/26689/stat : 26689 (java) S 26627 26630 23703 0 -1 1077944384 30 13124 0 0 0 0 5 3 20 0 15 0 70829157 11104780288 2086825 33554432000 4194304 4196468 140733339374000 140632597194080 140633146250965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26690] ppid=26627 vsize=10844512 memory=4072 CPUtime=0.08 cores=1,3,5,7
/proc/26630/task/26690/stat : 26690 (java) S 26627 26630 23703 0 -1 1077944384 16 13124 0 0 0 0 5 3 20 0 15 0 70829158 11104780288 2086825 33554432000 4194304 4196468 140733339374000 140631993214592 140633146250965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26691] ppid=26627 vsize=10844512 memory=2244 CPUtime=0.08 cores=1,3,5,7
/proc/26630/task/26691/stat : 26691 (java) S 26627 26630 23703 0 -1 1077944384 6 13124 0 0 0 0 5 3 20 0 15 0 70829160 11104780288 2086825 33554432000 4194304 4196468 140733339374000 140631685814512 140633146250965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26692] ppid=26627 vsize=10844512 memory=6791534058613427641 CPUtime=7.14 cores=1,3,5,7
/proc/26630/task/26692/stat : 26692 (java) S 26627 26630 23703 0 -1 1077944384 18586 13124 0 0 702 4 5 3 20 0 15 0 70829160 11104780288 2086825 33554432000 4194304 4196468 140733339374000 140632671844512 140633146250965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26693] ppid=26627 vsize=10844512 memory=4016 CPUtime=7.1 cores=1,3,5,7
/proc/26630/task/26693/stat : 26693 (java) S 26627 26630 23703 0 -1 1077944384 21915 13124 0 0 700 2 5 3 20 0 15 0 70829160 11104780288 2086825 33554432000 4194304 4196468 140733339374000 140632670791424 140633146250965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26694] ppid=26627 vsize=10844512 memory=644 CPUtime=2.25 cores=1,3,5,7
/proc/26630/task/26694/stat : 26694 (java) S 26627 26630 23703 0 -1 1077944384 16808 13124 0 0 213 4 5 3 20 0 15 0 70829160 11104780288 2086825 33554432000 4194304 4196468 140733339374000 140632669739424 140633146250965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26695] ppid=26627 vsize=10844512 memory=1676 CPUtime=0.08 cores=1,3,5,7
/proc/26630/task/26695/stat : 26695 (java) S 26627 26630 23703 0 -1 1077944384 3 13124 0 0 0 0 5 3 20 0 15 0 70829160 11104780288 2086825 33554432000 4194304 4196468 140733339374000 140631652256224 140633146250965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
[pid=26630/tid=26696] ppid=26627 vsize=10844512 memory=6791534058613427641 CPUtime=0.39 cores=1,3,5,7
/proc/26630/task/26696/stat : 26696 (java) S 26627 26630 23703 0 -1 1077944384 801 13124 0 0 21 10 5 3 20 0 15 0 70829161 11104780288 2086825 33554432000 4194304 4196468 140733339374000 140632668687280 140633146251906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14807040 140733339376240 140733339379036 140733339379036 140733339381711 0
Current children cumulated CPU time: 2528.1 s
Current children cumulated vsize: 10844512 KiB
Current children cumulated memory: 8347300 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 762.454
CPU time (s): 2528.18
CPU user time (s): 2515.33
CPU system time (s): 12.8522
CPU usage (%): 331.584
Max. virtual memory (cumulated for all children) (KiB): 10844512
Max. memory (cumulated for all children) (KiB): 8347300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.33
system time used= 12.8522
maximum resident set size= 8347480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1294300
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 78376
involuntary context switches= 36002
# summary of solver processes directly reported to runsolver:
# pid: 26630
# total CPU time (s): 2528.18
# total CPU user time (s): 2515.33
# total CPU system time (s): 12.8522
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.32366 second user time and 7.51155 second system time
The end