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 (4100 MiB free)
memory of node 1: 16384 MiB (13316 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294997-1532510565/watcher-4294997-1532510565 -o /tmp/evaluation-result-4294997-1532510565/solver-4294997-1532510565 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532498695-4224 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=2053907417 -superng HOME/instance-4294997-1532510565.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=6176, runsolver pid=6173
[startup+0.100061 s]*
/proc/loadavg: 1.77 1.81 1.83 3/211 6233
/proc/meminfo: memFree=17829632/32770624 swapFree=67108860/67108860
[pid=6176] ppid=6173 vsize=9972712 memory=16548 CPUtime=0.08 cores=1,3,5,7
/proc/6176/stat : 6176 (java) S 6173 6176 4192 0 -1 1077944320 4303 13432 0 0 1 0 5 2 20 0 6 0 68619658 10212057088 4137 33554432000 4194304 4196468 140729375258048 140729375240592 139977850380023 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
/proc/6176/statm: 2493178 4137 1932 1 0 2481616 0
[pid=6176/tid=6229] ppid=6173 vsize=9972712 memory=4718545630382498451 CPUtime=0.07 cores=1,3,5,7
/proc/6176/task/6229/stat : 6229 (java) R 6173 6176 4192 0 -1 4202560 2153 13432 0 0 0 0 5 2 20 0 6 0 68619667 10212057088 4203 33554432000 4194304 4196468 140729375258048 139977822216784 139977834460510 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6230] ppid=6173 vsize=9972712 memory=5793855048662350265 CPUtime=0.07 cores=1,3,5,7
/proc/6176/task/6230/stat : 6230 (java) S 6173 6176 4192 0 -1 1077944384 1 13432 0 0 0 0 5 2 20 0 6 0 68619668 10212057088 4203 33554432000 4194304 4196468 140729375258048 139977854622864 139977850390229 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6231] ppid=6173 vsize=9972712 memory=139797652457088 CPUtime=0.07 cores=1,3,5,7
/proc/6176/task/6231/stat : 6231 (java) S 6173 6176 4192 0 -1 1077944384 1 13432 0 0 0 0 5 2 20 0 6 0 68619668 10212057088 4203 33554432000 4194304 4196468 140729375258048 139977753512976 139977850390229 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6232] ppid=6173 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6176/task/6232/stat : 6232 (java) S 6173 6176 4192 0 -1 1077944384 1 13432 0 0 0 0 5 2 20 0 6 0 68619668 10212057088 4203 33554432000 4194304 4196468 140729375258048 139977752460176 139977850390229 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6233] ppid=6173 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6176/task/6233/stat : 6233 (java) S 6173 6176 4192 0 -1 1077944384 2 13432 0 0 0 0 5 2 20 0 6 0 68619668 10212057088 4203 33554432000 4194304 4196468 140729375258048 139977751407376 139977850390229 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16548 KiB
[startup+0.210273 s]*
/proc/loadavg: 1.77 1.81 1.83 3/220 6242
/proc/meminfo: memFree=17807016/32770624 swapFree=67108860/67108860
[pid=6176] ppid=6173 vsize=10818904 memory=41140 CPUtime=0.25 cores=1,3,5,7
/proc/6176/stat : 6176 (java) S 6173 6176 4192 0 -1 1077944320 7553 13432 0 0 16 2 5 2 20 0 15 0 68619658 11078557696 10285 33554432000 4194304 4196468 140729375258048 140729375240592 139977850380023 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
/proc/6176/statm: 2704726 10285 2926 1 0 2667149 0
[pid=6176/tid=6229] ppid=6173 vsize=10818904 memory=-2899909650764262549 CPUtime=0.18 cores=1,3,5,7
/proc/6176/task/6229/stat : 6229 (java) R 6173 6176 4192 0 -1 4202560 4393 13432 0 0 10 1 5 2 20 0 15 0 68619667 11078557696 10483 33554432000 4194304 4196468 140729375258048 139977822197136 139977830655851 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6230] ppid=6173 vsize=10818904 memory=4211973523857247626 CPUtime=0.07 cores=1,3,5,7
/proc/6176/task/6230/stat : 6230 (java) S 6173 6176 4192 0 -1 1077944384 1 13432 0 0 0 0 5 2 20 0 15 0 68619668 11078557696 10483 33554432000 4194304 4196468 140729375258048 139977854622864 139977850390229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6231] ppid=6173 vsize=10818904 memory=139797652457088 CPUtime=0.07 cores=1,3,5,7
/proc/6176/task/6231/stat : 6231 (java) S 6173 6176 4192 0 -1 1077944384 1 13432 0 0 0 0 5 2 20 0 15 0 68619668 11078557696 10483 33554432000 4194304 4196468 140729375258048 139977753512976 139977850390229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6232] ppid=6173 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6176/task/6232/stat : 6232 (java) S 6173 6176 4192 0 -1 1077944384 1 13432 0 0 0 0 5 2 20 0 15 0 68619668 11078557696 10483 33554432000 4194304 4196468 140729375258048 139977752460176 139977850390229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6233] ppid=6173 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/6176/task/6233/stat : 6233 (java) S 6173 6176 4192 0 -1 1077944384 2 13432 0 0 0 0 5 2 20 0 15 0 68619668 11078557696 10483 33554432000 4194304 4196468 140729375258048 139977751407376 139977850390229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6234] ppid=6173 vsize=10818904 memory=139797652457088 CPUtime=0.07 cores=1,3,5,7
/proc/6176/task/6234/stat : 6234 (java) S 6173 6176 4192 0 -1 1077944384 2 13432 0 0 0 0 5 2 20 0 15 0 68619669 11078557696 10483 33554432000 4194304 4196468 140729375258048 139977309948272 139977850391170 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6235] ppid=6173 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/6176/task/6235/stat : 6235 (java) S 6173 6176 4192 0 -1 1077944384 13 13432 0 0 0 0 5 2 20 0 15 0 68619670 11078557696 10483 33554432000 4194304 4196468 140729375258048 139976742265888 139977850390229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6236] ppid=6173 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6176/task/6236/stat : 6236 (java) S 6173 6176 4192 0 -1 1077944384 1 13432 0 0 0 0 5 2 20 0 15 0 68619670 11078557696 10549 33554432000 4194304 4196468 140729375258048 139976608047984 139977850390229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6237] ppid=6173 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6176/task/6237/stat : 6237 (java) S 6173 6176 4192 0 -1 1077944384 3 13432 0 0 0 0 5 2 20 0 15 0 68619673 11078557696 10549 33554432000 4194304 4196468 140729375258048 139976367757136 139977850398619 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6238] ppid=6173 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6176/task/6238/stat : 6238 (java) S 6173 6176 4192 0 -1 1077944384 526 13432 0 0 1 0 5 2 20 0 15 0 68619673 11078557696 10549 33554432000 4194304 4196468 140729375258048 139977308896112 139977850391170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6239] ppid=6173 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/6176/task/6239/stat : 6239 (java) S 6173 6176 4192 0 -1 1077944384 55 13432 0 0 0 0 5 2 20 0 15 0 68619673 11078557696 10549 33554432000 4194304 4196468 140729375258048 139977307843312 139977850391170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6240] ppid=6173 vsize=10818904 memory=139797652457088 CPUtime=0.1 cores=1,3,5,7
/proc/6176/task/6240/stat : 6240 (java) S 6173 6176 4192 0 -1 1077944384 549 13432 0 0 3 0 5 2 20 0 15 0 68619673 11078557696 10549 33554432000 4194304 4196468 140729375258048 139977306790512 139977850391170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6241] ppid=6173 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/6176/task/6241/stat : 6241 (java) S 6173 6176 4192 0 -1 1077944384 3 13432 0 0 0 0 5 2 20 0 15 0 68619673 11078557696 10549 33554432000 4194304 4196468 140729375258048 139976334199520 139977850390229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6242] ppid=6173 vsize=10818904 memory=139797652457088 CPUtime=0.07 cores=1,3,5,7
/proc/6176/task/6242/stat : 6242 (java) S 6173 6176 4192 0 -1 1077944384 1 13432 0 0 0 0 5 2 20 0 15 0 68619673 11078557696 10549 33554432000 4194304 4196468 140729375258048 139977305737904 139977850391170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 41140 KiB
[startup+0.31045 s]*
/proc/loadavg: 1.77 1.81 1.83 3/220 6242
/proc/meminfo: memFree=17795852/32770624 swapFree=67108860/67108860
[pid=6176] ppid=6173 vsize=10819352 memory=53916 CPUtime=0.38 cores=1,3,5,7
/proc/6176/stat : 6176 (java) S 6173 6176 4192 0 -1 1077944320 10574 13432 0 0 28 3 5 2 20 0 15 0 68619658 11079016448 13479 33554432000 4194304 4196468 140729375258048 140729375240592 139977850380023 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
/proc/6176/statm: 2704838 13479 3045 1 0 2667149 0
[pid=6176/tid=6229] ppid=6173 vsize=10819352 memory=8112282956445269571 CPUtime=0.28 cores=1,3,5,7
/proc/6176/task/6229/stat : 6229 (java) R 6173 6176 4192 0 -1 4202560 7224 13432 0 0 19 2 5 2 20 0 15 0 68619667 11079016448 13479 33554432000 4194304 4196468 140729375258048 139977822192032 139977834460510 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6230] ppid=6173 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6176/task/6230/stat : 6230 (java) S 6173 6176 4192 0 -1 1077944384 1 13432 0 0 0 0 5 2 20 0 15 0 68619668 11079016448 13479 33554432000 4194304 4196468 140729375258048 139977854622864 139977850390229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6231] ppid=6173 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6176/task/6231/stat : 6231 (java) S 6173 6176 4192 0 -1 1077944384 1 13432 0 0 0 0 5 2 20 0 15 0 68619668 11079016448 13479 33554432000 4194304 4196468 140729375258048 139977753512976 139977850390229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6232] ppid=6173 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6176/task/6232/stat : 6232 (java) S 6173 6176 4192 0 -1 1077944384 1 13432 0 0 0 0 5 2 20 0 15 0 68619668 11079016448 13479 33554432000 4194304 4196468 140729375258048 139977752460176 139977850390229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6233] ppid=6173 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/6176/task/6233/stat : 6233 (java) S 6173 6176 4192 0 -1 1077944384 2 13432 0 0 0 0 5 2 20 0 15 0 68619668 11079016448 13479 33554432000 4194304 4196468 140729375258048 139977751407376 139977850390229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6234] ppid=6173 vsize=10819352 memory=139797652457087 CPUtime=0.07 cores=1,3,5,7
/proc/6176/task/6234/stat : 6234 (java) S 6173 6176 4192 0 -1 1077944384 2 13432 0 0 0 0 5 2 20 0 15 0 68619669 11079016448 13479 33554432000 4194304 4196468 140729375258048 139977309948272 139977850391170 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6235] ppid=6173 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/6176/task/6235/stat : 6235 (java) S 6173 6176 4192 0 -1 1077944384 13 13432 0 0 0 0 5 2 20 0 15 0 68619670 11079016448 13479 33554432000 4194304 4196468 140729375258048 139976742265888 139977850390229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6236] ppid=6173 vsize=10819352 memory=139797652457088 CPUtime=0.07 cores=1,3,5,7
/proc/6176/task/6236/stat : 6236 (java) S 6173 6176 4192 0 -1 1077944384 1 13432 0 0 0 0 5 2 20 0 15 0 68619670 11079016448 13479 33554432000 4194304 4196468 140729375258048 139976608047984 139977850390229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6237] ppid=6173 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/6176/task/6237/stat : 6237 (java) S 6173 6176 4192 0 -1 1077944384 3 13432 0 0 0 0 5 2 20 0 15 0 68619673 11079016448 13479 33554432000 4194304 4196468 140729375258048 139976367757136 139977850398619 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6238] ppid=6173 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6176/task/6238/stat : 6238 (java) S 6173 6176 4192 0 -1 1077944384 526 13432 0 0 1 0 5 2 20 0 15 0 68619673 11079016448 13479 33554432000 4194304 4196468 140729375258048 139977308896112 139977850391170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6239] ppid=6173 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6176/task/6239/stat : 6239 (java) S 6173 6176 4192 0 -1 1077944384 56 13432 0 0 1 0 5 2 20 0 15 0 68619673 11079016448 13479 33554432000 4194304 4196468 140729375258048 139977307843312 139977850391170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6240] ppid=6173 vsize=10819352 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/6176/task/6240/stat : 6240 (java) S 6173 6176 4192 0 -1 1077944384 558 13432 0 0 5 0 5 2 20 0 15 0 68619673 11079016448 13479 33554432000 4194304 4196468 140729375258048 139977306790512 139977850391170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6241] ppid=6173 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6176/task/6241/stat : 6241 (java) S 6173 6176 4192 0 -1 1077944384 3 13432 0 0 0 0 5 2 20 0 15 0 68619673 11079016448 13479 33554432000 4194304 4196468 140729375258048 139976334199520 139977850390229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6242] ppid=6173 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6176/task/6242/stat : 6242 (java) S 6173 6176 4192 0 -1 1077944384 1 13432 0 0 0 0 5 2 20 0 15 0 68619673 11079016448 13479 33554432000 4194304 4196468 140729375258048 139977305737904 139977850391170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 53916 KiB
[startup+0.700791 s]
/proc/loadavg: 1.77 1.81 1.83 4/220 6242
/proc/meminfo: memFree=17784820/32770624 swapFree=67108860/67108860
[pid=6176] ppid=6173 vsize=10819352 memory=86604 CPUtime=0.98 cores=1,3,5,7
/proc/6176/stat : 6176 (java) S 6173 6176 4192 0 -1 1077944320 16750 13432 0 0 87 4 5 2 20 0 15 0 68619658 11079016448 21651 33554432000 4194304 4196468 140729375258048 140729375240592 139977850380023 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
/proc/6176/statm: 2704838 21651 3245 1 0 2667149 0
[pid=6176/tid=6229] ppid=6173 vsize=10819352 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/6176/task/6229/stat : 6229 (java) R 6173 6176 4192 0 -1 4202560 12320 13432 0 0 55 3 5 2 20 0 15 0 68619667 11079016448 21651 33554432000 4194304 4196468 140729375258048 139977822200848 139977834460510 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6230] ppid=6173 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6176/task/6230/stat : 6230 (java) S 6173 6176 4192 0 -1 1077944384 1 13432 0 0 0 0 5 2 20 0 15 0 68619668 11079016448 21651 33554432000 4194304 4196468 140729375258048 139977854622864 139977850390229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6231] ppid=6173 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6176/task/6231/stat : 6231 (java) S 6173 6176 4192 0 -1 1077944384 1 13432 0 0 0 0 5 2 20 0 15 0 68619668 11079016448 21651 33554432000 4194304 4196468 140729375258048 139977753512976 139977850390229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6232] ppid=6173 vsize=10819352 memory=4132 CPUtime=0.07 cores=1,3,5,7
/proc/6176/task/6232/stat : 6232 (java) S 6173 6176 4192 0 -1 1077944384 1 13432 0 0 0 0 5 2 20 0 15 0 68619668 11079016448 21651 33554432000 4194304 4196468 140729375258048 139977752460176 139977850390229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6233] ppid=6173 vsize=10819352 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/6176/task/6233/stat : 6233 (java) S 6173 6176 4192 0 -1 1077944384 2 13432 0 0 0 0 5 2 20 0 15 0 68619668 11079016448 21651 33554432000 4194304 4196468 140729375258048 139977751407376 139977850390229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6234] ppid=6173 vsize=10819352 memory=2244 CPUtime=0.07 cores=1,3,5,7
/proc/6176/task/6234/stat : 6234 (java) S 6173 6176 4192 0 -1 1077944384 5 13432 0 0 0 0 5 2 20 0 15 0 68619669 11079016448 21651 33554432000 4194304 4196468 140729375258048 139977309948272 139977850391170 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6235] ppid=6173 vsize=10819352 memory=139797494506736 CPUtime=0.07 cores=1,3,5,7
/proc/6176/task/6235/stat : 6235 (java) S 6173 6176 4192 0 -1 1077944384 13 13432 0 0 0 0 5 2 20 0 15 0 68619670 11079016448 21651 33554432000 4194304 4196468 140729375258048 139976742265888 139977850390229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6236] ppid=6173 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6176/task/6236/stat : 6236 (java) S 6173 6176 4192 0 -1 1077944384 1 13432 0 0 0 0 5 2 20 0 15 0 68619670 11079016448 21651 33554432000 4194304 4196468 140729375258048 139976608047984 139977850390229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6237] ppid=6173 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6176/task/6237/stat : 6237 (java) S 6173 6176 4192 0 -1 1077944384 3 13432 0 0 0 0 5 2 20 0 15 0 68619673 11079016448 21651 33554432000 4194304 4196468 140729375258048 139976367757136 139977850398619 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6238] ppid=6173 vsize=10819352 memory=6944656575208382560 CPUtime=0.15 cores=1,3,5,7
/proc/6176/task/6238/stat : 6238 (java) S 6173 6176 4192 0 -1 1077944384 937 13432 0 0 8 0 5 2 20 0 15 0 68619673 11079016448 21651 33554432000 4194304 4196468 140729375258048 139977308896112 139977850391170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6239] ppid=6173 vsize=10819352 memory=6656426216303648864 CPUtime=0.16 cores=1,3,5,7
/proc/6176/task/6239/stat : 6239 (java) R 6173 6176 4192 0 -1 1077944384 639 13432 0 0 9 0 5 2 20 0 15 0 68619673 11079016448 21651 33554432000 4194304 4196468 140729375258048 139977307843312 139977850391170 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6240] ppid=6173 vsize=10819352 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/6176/task/6240/stat : 6240 (java) R 6173 6176 4192 0 -1 4202560 635 13432 0 0 13 0 5 2 20 0 15 0 68619673 11079016448 21651 33554432000 4194304 4196468 140729375258048 139977306790512 139977828917628 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6241] ppid=6173 vsize=10819352 memory=6944656592455359580 CPUtime=0.07 cores=1,3,5,7
/proc/6176/task/6241/stat : 6241 (java) S 6173 6176 4192 0 -1 1077944384 3 13432 0 0 0 0 5 2 20 0 15 0 68619673 11079016448 21651 33554432000 4194304 4196468 140729375258048 139976334199520 139977850390229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6242] ppid=6173 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6176/task/6242/stat : 6242 (java) S 6173 6176 4192 0 -1 1077944384 1 13432 0 0 0 0 5 2 20 0 15 0 68619673 11079016448 21651 33554432000 4194304 4196468 140729375258048 139977305737904 139977850391170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86604 KiB
[startup+1.50128 s]
/proc/loadavg: 1.71 1.80 1.82 3/220 6242
/proc/meminfo: memFree=17737968/32770624 swapFree=67108860/67108860
[pid=6176] ppid=6173 vsize=10834252 memory=199320 CPUtime=2.95 cores=1,3,5,7
/proc/6176/stat : 6176 (java) S 6173 6176 4192 0 -1 1077944320 26025 13432 0 0 278 10 5 2 20 0 15 0 68619658 11094274048 49830 33554432000 4194304 4196468 140729375258048 140729375240592 139977850380023 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
/proc/6176/statm: 2708563 49830 3490 1 0 2670221 0
[pid=6176/tid=6229] ppid=6173 vsize=10834252 memory=0 CPUtime=1.4 cores=1,3,5,7
/proc/6176/task/6229/stat : 6229 (java) R 6173 6176 4192 0 -1 4202560 17309 13432 0 0 127 6 5 2 20 0 15 0 68619667 11094274048 49830 33554432000 4194304 4196468 140729375258048 139977822197264 139977850401949 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6230] ppid=6173 vsize=10834252 memory=4132 CPUtime=0.09 cores=1,3,5,7
/proc/6176/task/6230/stat : 6230 (java) S 6173 6176 4192 0 -1 1077944384 92 13432 0 0 2 0 5 2 20 0 15 0 68619668 11094274048 49830 33554432000 4194304 4196468 140729375258048 139977854622864 139977850390229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6231] ppid=6173 vsize=10834252 memory=20844 CPUtime=0.07 cores=1,3,5,7
/proc/6176/task/6231/stat : 6231 (java) S 6173 6176 4192 0 -1 1077944384 41 13432 0 0 0 0 5 2 20 0 15 0 68619668 11094274048 49830 33554432000 4194304 4196468 140729375258048 139977753512976 139977850390229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6232] ppid=6173 vsize=10834252 memory=1292 CPUtime=0.08 cores=1,3,5,7
/proc/6176/task/6232/stat : 6232 (java) S 6173 6176 4192 0 -1 1077944384 1 13432 0 0 1 0 5 2 20 0 15 0 68619668 11094274048 49830 33554432000 4194304 4196468 140729375258048 139977752460176 139977850390229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6233] ppid=6173 vsize=10834252 memory=100072 CPUtime=0.08 cores=1,3,5,7
/proc/6176/task/6233/stat : 6233 (java) S 6173 6176 4192 0 -1 1077944384 141 13432 0 0 1 0 5 2 20 0 15 0 68619668 11094274048 49830 33554432000 4194304 4196468 140729375258048 139977751407376 139977850390229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6234] ppid=6173 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6176/task/6234/stat : 6234 (java) S 6173 6176 4192 0 -1 1077944384 51 13432 0 0 1 0 5 2 20 0 15 0 68619669 11094274048 49830 33554432000 4194304 4196468 140729375258048 139977309948272 139977850391170 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6235] ppid=6173 vsize=10834252 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6176/task/6235/stat : 6235 (java) S 6173 6176 4192 0 -1 1077944384 14 13432 0 0 0 0 5 2 20 0 15 0 68619670 11094274048 49830 33554432000 4194304 4196468 140729375258048 139976742265888 139977850390229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6236] ppid=6173 vsize=10834252 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6176/task/6236/stat : 6236 (java) S 6173 6176 4192 0 -1 1077944384 2 13432 0 0 0 0 5 2 20 0 15 0 68619670 11094274048 49830 33554432000 4194304 4196468 140729375258048 139976608047984 139977850390229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6237] ppid=6173 vsize=10834252 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6176/task/6237/stat : 6237 (java) S 6173 6176 4192 0 -1 1077944384 3 13432 0 0 0 0 5 2 20 0 15 0 68619673 11094274048 49830 33554432000 4194304 4196468 140729375258048 139976367757136 139977850398619 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6238] ppid=6173 vsize=10834252 memory=0 CPUtime=0.62 cores=1,3,5,7
/proc/6176/task/6238/stat : 6238 (java) R 6173 6176 4192 0 -1 4202560 3027 13432 0 0 55 0 5 2 20 0 15 0 68619673 11094274048 49830 33554432000 4194304 4196468 140729375258048 139977308882576 139977829626257 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6239] ppid=6173 vsize=10834252 memory=0 CPUtime=0.51 cores=1,3,5,7
/proc/6176/task/6239/stat : 6239 (java) S 6173 6176 4192 0 -1 1077944384 1714 13432 0 0 44 0 5 2 20 0 15 0 68619673 11094274048 49830 33554432000 4194304 4196468 140729375258048 139977307843312 139977850391170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6240] ppid=6173 vsize=10834252 memory=0 CPUtime=0.49 cores=1,3,5,7
/proc/6176/task/6240/stat : 6240 (java) R 6173 6176 4192 0 -1 4202560 1438 13432 0 0 42 0 5 2 20 0 15 0 68619673 11094274048 49830 33554432000 4194304 4196468 140729375258048 139977306790512 139977828900112 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6241] ppid=6173 vsize=10834252 memory=288230596050944315 CPUtime=0.07 cores=1,3,5,7
/proc/6176/task/6241/stat : 6241 (java) S 6173 6176 4192 0 -1 1077944384 3 13432 0 0 0 0 5 2 20 0 15 0 68619673 11094274048 49830 33554432000 4194304 4196468 140729375258048 139976334199520 139977850390229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6242] ppid=6173 vsize=10834252 memory=16100360058046859 CPUtime=0.07 cores=1,3,5,7
/proc/6176/task/6242/stat : 6242 (java) S 6173 6176 4192 0 -1 1077944384 1 13432 0 0 0 0 5 2 20 0 15 0 68619673 11094274048 49830 33554432000 4194304 4196468 140729375258048 139977305737904 139977850391170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
Current children cumulated CPU time: 2.95 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/6176/task/6229/stat : 6229 (java) R 6173 6176 4192 0 -1 4202560 252501 13432 0 0 221001 59 5 2 20 0 15 0 68619667 11113168896 1134545 33554432000 4194304 4196468 140729375258048 139977822211304 139977453129258 0 4 0 16800975 0 0 0 -1 3 0 0 54 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6230] ppid=6173 vsize=10852704 memory=279594989872688 CPUtime=49.59 cores=1,3,5,7
/proc/6176/task/6230/stat : 6230 (java) S 6173 6176 4192 0 -1 1077944384 54541 13432 0 0 4788 164 5 2 20 0 15 0 68619668 11113168896 1134545 33554432000 4194304 4196468 140729375258048 139977854622864 139977850390229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6231] ppid=6173 vsize=10852704 memory=4538180 CPUtime=49.69 cores=1,3,5,7
/proc/6176/task/6231/stat : 6231 (java) S 6173 6176 4192 0 -1 1077944384 52916 13432 0 0 4799 163 5 2 20 0 15 0 68619668 11113168896 1134545 33554432000 4194304 4196468 140729375258048 139977753512976 139977850390229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6232] ppid=6173 vsize=10852704 memory=4538180 CPUtime=49.65 cores=1,3,5,7
/proc/6176/task/6232/stat : 6232 (java) S 6173 6176 4192 0 -1 1077944384 57292 13432 0 0 4799 159 5 2 20 0 15 0 68619668 11113168896 1134545 33554432000 4194304 4196468 140729375258048 139977752460176 139977850390229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6233] ppid=6173 vsize=10852704 memory=4538180 CPUtime=49.48 cores=1,3,5,7
/proc/6176/task/6233/stat : 6233 (java) S 6173 6176 4192 0 -1 1077944384 62102 13432 0 0 4777 164 5 2 20 0 15 0 68619668 11113168896 1134545 33554432000 4194304 4196468 140729375258048 139977751407376 139977850390229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6234] ppid=6173 vsize=10852704 memory=4538180 CPUtime=0.87 cores=1,3,5,7
/proc/6176/task/6234/stat : 6234 (java) S 6173 6176 4192 0 -1 1077944384 70028 13432 0 0 70 10 5 2 20 0 15 0 68619669 11113168896 1134545 33554432000 4194304 4196468 140729375258048 139977309948272 139977850391170 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6235] ppid=6173 vsize=10852704 memory=4620 CPUtime=0.07 cores=1,3,5,7
/proc/6176/task/6235/stat : 6235 (java) S 6173 6176 4192 0 -1 1077944384 30 13432 0 0 0 0 5 2 20 0 15 0 68619670 11113168896 1134545 33554432000 4194304 4196468 140729375258048 139976742265952 139977850390229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6236] ppid=6173 vsize=10852704 memory=4538180 CPUtime=0.07 cores=1,3,5,7
/proc/6176/task/6236/stat : 6236 (java) S 6173 6176 4192 0 -1 1077944384 6 13432 0 0 0 0 5 2 20 0 15 0 68619670 11113168896 1134545 33554432000 4194304 4196468 140729375258048 139976608048000 139977850390229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6237] ppid=6173 vsize=10852704 memory=4538180 CPUtime=0.07 cores=1,3,5,7
/proc/6176/task/6237/stat : 6237 (java) S 6173 6176 4192 0 -1 1077944384 3 13432 0 0 0 0 5 2 20 0 15 0 68619673 11113168896 1134545 33554432000 4194304 4196468 140729375258048 139976367757136 139977850398619 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6238] ppid=6173 vsize=10852704 memory=4538180 CPUtime=15.14 cores=1,3,5,7
/proc/6176/task/6238/stat : 6238 (java) S 6173 6176 4192 0 -1 1077944384 71760 13432 0 0 1498 9 5 2 20 0 15 0 68619673 11113168896 1134545 33554432000 4194304 4196468 140729375258048 139977308896112 139977850391170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6239] ppid=6173 vsize=10852704 memory=4538180 CPUtime=12.75 cores=1,3,5,7
/proc/6176/task/6239/stat : 6239 (java) S 6173 6176 4192 0 -1 1077944384 52776 13432 0 0 1260 8 5 2 20 0 15 0 68619673 11113168896 1134545 33554432000 4194304 4196468 140729375258048 139977307843312 139977850391170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6240] ppid=6173 vsize=10852704 memory=4538180 CPUtime=4.5 cores=1,3,5,7
/proc/6176/task/6240/stat : 6240 (java) S 6173 6176 4192 0 -1 1077944384 61001 13432 0 0 434 9 5 2 20 0 15 0 68619673 11113168896 1134545 33554432000 4194304 4196468 140729375258048 139977306790512 139977850391170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6241] ppid=6173 vsize=10852704 memory=2444 CPUtime=0.07 cores=1,3,5,7
/proc/6176/task/6241/stat : 6241 (java) S 6173 6176 4192 0 -1 1077944384 3 13432 0 0 0 0 5 2 20 0 15 0 68619673 11113168896 1134545 33554432000 4194304 4196468 140729375258048 139976334199520 139977850390229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6242] ppid=6173 vsize=10852704 memory=1832 CPUtime=1.34 cores=1,3,5,7
/proc/6176/task/6242/stat : 6242 (java) S 6173 6176 4192 0 -1 1077944384 2045 13432 0 0 58 69 5 2 20 0 15 0 68619673 11113168896 1134545 33554432000 4194304 4196468 140729375258048 139977305737904 139977850391170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 60 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
Current children cumulated CPU time: 2443.16 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 4538180 KiB
[startup+2322.3 s]
/proc/loadavg: 1.77 1.79 1.85 3/219 6466
/proc/meminfo: memFree=10494776/32770624 swapFree=67108860/67108860
[pid=6176] ppid=6173 vsize=10852704 memory=4538200 CPUtime=2503.65 cores=1,3,5,7
/proc/6176/stat : 6176 (java) S 6173 6176 4192 0 -1 1077944320 753867 13432 0 0 249553 805 5 2 20 0 15 0 68619658 11113168896 1134550 33554432000 4194304 4196468 140729375258048 140729375240592 139977850380023 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
/proc/6176/statm: 2713176 1134550 3535 1 0 2674829 0
[pid=6176/tid=6229] ppid=6173 vsize=10852704 memory=4538200 CPUtime=2270.6 cores=1,3,5,7
/proc/6176/task/6229/stat : 6229 (java) R 6173 6176 4192 0 -1 4202560 258175 13432 0 0 226992 61 5 2 20 0 15 0 68619667 11113168896 1134550 33554432000 4194304 4196468 140729375258048 139977822214416 139977454514316 0 4 0 16800975 0 0 0 -1 5 0 0 54 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6230] ppid=6173 vsize=10852704 memory=4538200 CPUtime=49.66 cores=1,3,5,7
/proc/6176/task/6230/stat : 6230 (java) S 6173 6176 4192 0 -1 1077944384 54695 13432 0 0 4795 164 5 2 20 0 15 0 68619668 11113168896 1134550 33554432000 4194304 4196468 140729375258048 139977854622864 139977850390229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6231] ppid=6173 vsize=10852704 memory=4538200 CPUtime=49.76 cores=1,3,5,7
/proc/6176/task/6231/stat : 6231 (java) S 6173 6176 4192 0 -1 1077944384 53784 13432 0 0 4806 163 5 2 20 0 15 0 68619668 11113168896 1134550 33554432000 4194304 4196468 140729375258048 139977753512976 139977850390229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6232] ppid=6173 vsize=10852704 memory=4538200 CPUtime=49.72 cores=1,3,5,7
/proc/6176/task/6232/stat : 6232 (java) S 6173 6176 4192 0 -1 1077944384 59059 13432 0 0 4806 159 5 2 20 0 15 0 68619668 11113168896 1134550 33554432000 4194304 4196468 140729375258048 139977752460176 139977850390229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6233] ppid=6173 vsize=10852704 memory=4538200 CPUtime=49.55 cores=1,3,5,7
/proc/6176/task/6233/stat : 6233 (java) S 6173 6176 4192 0 -1 1077944384 62243 13432 0 0 4783 165 5 2 20 0 15 0 68619668 11113168896 1134550 33554432000 4194304 4196468 140729375258048 139977751407376 139977850390229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6234] ppid=6173 vsize=10852704 memory=4538200 CPUtime=0.87 cores=1,3,5,7
/proc/6176/task/6234/stat : 6234 (java) S 6173 6176 4192 0 -1 1077944384 70349 13432 0 0 70 10 5 2 20 0 15 0 68619669 11113168896 1134550 33554432000 4194304 4196468 140729375258048 139977309948272 139977850391170 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6235] ppid=6173 vsize=10852704 memory=55 CPUtime=0.07 cores=1,3,5,7
/proc/6176/task/6235/stat : 6235 (java) S 6173 6176 4192 0 -1 1077944384 30 13432 0 0 0 0 5 2 20 0 15 0 68619670 11113168896 1134550 33554432000 4194304 4196468 140729375258048 139976742265952 139977850390229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6236] ppid=6173 vsize=10852704 memory=4538200 CPUtime=0.07 cores=1,3,5,7
/proc/6176/task/6236/stat : 6236 (java) S 6173 6176 4192 0 -1 1077944384 6 13432 0 0 0 0 5 2 20 0 15 0 68619670 11113168896 1134550 33554432000 4194304 4196468 140729375258048 139976608048000 139977850390229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6237] ppid=6173 vsize=10852704 memory=4538200 CPUtime=0.07 cores=1,3,5,7
/proc/6176/task/6237/stat : 6237 (java) S 6173 6176 4192 0 -1 1077944384 3 13432 0 0 0 0 5 2 20 0 15 0 68619673 11113168896 1134550 33554432000 4194304 4196468 140729375258048 139976367757136 139977850398619 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6238] ppid=6173 vsize=10852704 memory=1832 CPUtime=15.26 cores=1,3,5,7
/proc/6176/task/6238/stat : 6238 (java) S 6173 6176 4192 0 -1 1077944384 74577 13432 0 0 1510 9 5 2 20 0 15 0 68619673 11113168896 1134550 33554432000 4194304 4196468 140729375258048 139977308896112 139977850391170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6239] ppid=6173 vsize=10852704 memory=1948 CPUtime=12.88 cores=1,3,5,7
/proc/6176/task/6239/stat : 6239 (java) S 6173 6176 4192 0 -1 1077944384 54245 13432 0 0 1273 8 5 2 20 0 15 0 68619673 11113168896 1134550 33554432000 4194304 4196468 140729375258048 139977307843312 139977850391170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6240] ppid=6173 vsize=10852704 memory=1008 CPUtime=4.5 cores=1,3,5,7
/proc/6176/task/6240/stat : 6240 (java) S 6173 6176 4192 0 -1 1077944384 62432 13432 0 0 434 9 5 2 20 0 15 0 68619673 11113168896 1134550 33554432000 4194304 4196468 140729375258048 139977306790512 139977850391170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6241] ppid=6173 vsize=10852704 memory=4620 CPUtime=0.07 cores=1,3,5,7
/proc/6176/task/6241/stat : 6241 (java) S 6173 6176 4192 0 -1 1077944384 3 13432 0 0 0 0 5 2 20 0 15 0 68619673 11113168896 1134550 33554432000 4194304 4196468 140729375258048 139976334199520 139977850390229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6242] ppid=6173 vsize=10852704 memory=4538200 CPUtime=1.37 cores=1,3,5,7
/proc/6176/task/6242/stat : 6242 (java) S 6173 6176 4192 0 -1 1077944384 2078 13432 0 0 59 71 5 2 20 0 15 0 68619673 11113168896 1134550 33554432000 4194304 4196468 140729375258048 139977305737904 139977850391170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 60 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
Current children cumulated CPU time: 2503.65 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 4538200 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2338.7 s]
/proc/loadavg: 1.82 1.80 1.85 3/220 6468
/proc/meminfo: memFree=10494516/32770624 swapFree=67108860/67108860
[pid=6176] ppid=6173 vsize=10852704 memory=4538204 CPUtime=2520.08 cores=1,3,5,7
/proc/6176/stat : 6176 (java) S 6173 6176 4192 0 -1 1077944320 754621 13432 0 0 251195 806 5 2 20 0 15 0 68619658 11113168896 1134551 33554432000 4194304 4196468 140729375258048 140729375240592 139977850380023 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
/proc/6176/statm: 2713176 1134551 3535 1 0 2674829 0
[pid=6176/tid=6229] ppid=6173 vsize=10852704 memory=4538200 CPUtime=2286.99 cores=1,3,5,7
/proc/6176/task/6229/stat : 6229 (java) R 6173 6176 4192 0 -1 4202560 258911 13432 0 0 228631 61 5 2 20 0 15 0 68619667 11113168896 1134551 33554432000 4194304 4196468 140729375258048 139977822214720 139977454515774 0 4 0 16800975 0 0 0 -1 5 0 0 54 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6230] ppid=6173 vsize=10852704 memory=4538200 CPUtime=49.66 cores=1,3,5,7
/proc/6176/task/6230/stat : 6230 (java) S 6173 6176 4192 0 -1 1077944384 54699 13432 0 0 4795 164 5 2 20 0 15 0 68619668 11113168896 1134551 33554432000 4194304 4196468 140729375258048 139977854622864 139977850390229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6231] ppid=6173 vsize=10852704 memory=4538204 CPUtime=49.76 cores=1,3,5,7
/proc/6176/task/6231/stat : 6231 (java) S 6173 6176 4192 0 -1 1077944384 53787 13432 0 0 4806 163 5 2 20 0 15 0 68619668 11113168896 1134551 33554432000 4194304 4196468 140729375258048 139977753512976 139977850390229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6232] ppid=6173 vsize=10852704 memory=4538204 CPUtime=49.73 cores=1,3,5,7
/proc/6176/task/6232/stat : 6232 (java) S 6173 6176 4192 0 -1 1077944384 59061 13432 0 0 4807 159 5 2 20 0 15 0 68619668 11113168896 1134551 33554432000 4194304 4196468 140729375258048 139977752460176 139977850390229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6233] ppid=6173 vsize=10852704 memory=4538204 CPUtime=49.55 cores=1,3,5,7
/proc/6176/task/6233/stat : 6233 (java) S 6173 6176 4192 0 -1 1077944384 62243 13432 0 0 4783 165 5 2 20 0 15 0 68619668 11113168896 1134551 33554432000 4194304 4196468 140729375258048 139977751407376 139977850390229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6234] ppid=6173 vsize=10852704 memory=4538204 CPUtime=0.88 cores=1,3,5,7
/proc/6176/task/6234/stat : 6234 (java) S 6173 6176 4192 0 -1 1077944384 70356 13432 0 0 71 10 5 2 20 0 15 0 68619669 11113168896 1134551 33554432000 4194304 4196468 140729375258048 139977309948272 139977850391170 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6235] ppid=6173 vsize=10852704 memory=4538204 CPUtime=0.07 cores=1,3,5,7
/proc/6176/task/6235/stat : 6235 (java) S 6173 6176 4192 0 -1 1077944384 30 13432 0 0 0 0 5 2 20 0 15 0 68619670 11113168896 1134551 33554432000 4194304 4196468 140729375258048 139976742265952 139977850390229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6236] ppid=6173 vsize=10852704 memory=4538204 CPUtime=0.07 cores=1,3,5,7
/proc/6176/task/6236/stat : 6236 (java) S 6173 6176 4192 0 -1 1077944384 6 13432 0 0 0 0 5 2 20 0 15 0 68619670 11113168896 1134551 33554432000 4194304 4196468 140729375258048 139976608048000 139977850390229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6237] ppid=6173 vsize=10852704 memory=4538204 CPUtime=0.07 cores=1,3,5,7
/proc/6176/task/6237/stat : 6237 (java) S 6173 6176 4192 0 -1 1077944384 3 13432 0 0 0 0 5 2 20 0 15 0 68619673 11113168896 1134551 33554432000 4194304 4196468 140729375258048 139976367757136 139977850398619 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6238] ppid=6173 vsize=10852704 memory=18472 CPUtime=15.26 cores=1,3,5,7
/proc/6176/task/6238/stat : 6238 (java) S 6173 6176 4192 0 -1 1077944384 74577 13432 0 0 1510 9 5 2 20 0 15 0 68619673 11113168896 1134551 33554432000 4194304 4196468 140729375258048 139977308896112 139977850391170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6239] ppid=6173 vsize=10852704 memory=1224 CPUtime=12.89 cores=1,3,5,7
/proc/6176/task/6239/stat : 6239 (java) S 6173 6176 4192 0 -1 1077944384 54245 13432 0 0 1273 9 5 2 20 0 15 0 68619673 11113168896 1134551 33554432000 4194304 4196468 140729375258048 139977307843312 139977850391170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6240] ppid=6173 vsize=10852704 memory=1704 CPUtime=4.5 cores=1,3,5,7
/proc/6176/task/6240/stat : 6240 (java) S 6173 6176 4192 0 -1 1077944384 62432 13432 0 0 434 9 5 2 20 0 15 0 68619673 11113168896 1134551 33554432000 4194304 4196468 140729375258048 139977306790512 139977850391170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6241] ppid=6173 vsize=10852704 memory=4132 CPUtime=0.07 cores=1,3,5,7
/proc/6176/task/6241/stat : 6241 (java) S 6173 6176 4192 0 -1 1077944384 3 13432 0 0 0 0 5 2 20 0 15 0 68619673 11113168896 1134551 33554432000 4194304 4196468 140729375258048 139976334199520 139977850390229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6242] ppid=6173 vsize=10852704 memory=20888 CPUtime=1.37 cores=1,3,5,7
/proc/6176/task/6242/stat : 6242 (java) S 6173 6176 4192 0 -1 1077944384 2080 13432 0 0 59 71 5 2 20 0 15 0 68619673 11113168896 1134551 33554432000 4194304 4196468 140729375258048 139977305737904 139977850391170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 60 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 4538204 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2338.75 s]
# the end of solver process 6176 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2512.03 s, system=8.12245 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2338.7 s]
/proc/loadavg: 1.82 1.80 1.85 3/220 6468
/proc/meminfo: memFree=10494516/32770624 swapFree=67108860/67108860
[pid=6176] ppid=6173 vsize=10852704 memory=4538204 CPUtime=2520.08 cores=1,3,5,7
/proc/6176/stat : 6176 (java) S 6173 6176 4192 0 -1 1077944320 754621 13432 0 0 251195 806 5 2 20 0 15 0 68619658 11113168896 1134551 33554432000 4194304 4196468 140729375258048 140729375240592 139977850380023 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
/proc/6176/statm: 2713176 1134551 3535 1 0 2674829 0
[pid=6176/tid=6229] ppid=6173 vsize=10852704 memory=4538200 CPUtime=2286.99 cores=1,3,5,7
/proc/6176/task/6229/stat : 6229 (java) R 6173 6176 4192 0 -1 4202560 258911 13432 0 0 228631 61 5 2 20 0 15 0 68619667 11113168896 1134551 33554432000 4194304 4196468 140729375258048 139977822214720 139977454515774 0 4 0 16800975 0 0 0 -1 5 0 0 54 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6230] ppid=6173 vsize=10852704 memory=4538200 CPUtime=49.66 cores=1,3,5,7
/proc/6176/task/6230/stat : 6230 (java) S 6173 6176 4192 0 -1 1077944384 54699 13432 0 0 4795 164 5 2 20 0 15 0 68619668 11113168896 1134551 33554432000 4194304 4196468 140729375258048 139977854622864 139977850390229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6231] ppid=6173 vsize=10852704 memory=4538204 CPUtime=49.76 cores=1,3,5,7
/proc/6176/task/6231/stat : 6231 (java) S 6173 6176 4192 0 -1 1077944384 53787 13432 0 0 4806 163 5 2 20 0 15 0 68619668 11113168896 1134551 33554432000 4194304 4196468 140729375258048 139977753512976 139977850390229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6232] ppid=6173 vsize=10852704 memory=4538204 CPUtime=49.73 cores=1,3,5,7
/proc/6176/task/6232/stat : 6232 (java) S 6173 6176 4192 0 -1 1077944384 59061 13432 0 0 4807 159 5 2 20 0 15 0 68619668 11113168896 1134551 33554432000 4194304 4196468 140729375258048 139977752460176 139977850390229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6233] ppid=6173 vsize=10852704 memory=4538204 CPUtime=49.55 cores=1,3,5,7
/proc/6176/task/6233/stat : 6233 (java) S 6173 6176 4192 0 -1 1077944384 62243 13432 0 0 4783 165 5 2 20 0 15 0 68619668 11113168896 1134551 33554432000 4194304 4196468 140729375258048 139977751407376 139977850390229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6234] ppid=6173 vsize=10852704 memory=4538204 CPUtime=0.88 cores=1,3,5,7
/proc/6176/task/6234/stat : 6234 (java) S 6173 6176 4192 0 -1 1077944384 70356 13432 0 0 71 10 5 2 20 0 15 0 68619669 11113168896 1134551 33554432000 4194304 4196468 140729375258048 139977309948272 139977850391170 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6235] ppid=6173 vsize=10852704 memory=4538204 CPUtime=0.07 cores=1,3,5,7
/proc/6176/task/6235/stat : 6235 (java) S 6173 6176 4192 0 -1 1077944384 30 13432 0 0 0 0 5 2 20 0 15 0 68619670 11113168896 1134551 33554432000 4194304 4196468 140729375258048 139976742265952 139977850390229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6236] ppid=6173 vsize=10852704 memory=4538204 CPUtime=0.07 cores=1,3,5,7
/proc/6176/task/6236/stat : 6236 (java) S 6173 6176 4192 0 -1 1077944384 6 13432 0 0 0 0 5 2 20 0 15 0 68619670 11113168896 1134551 33554432000 4194304 4196468 140729375258048 139976608048000 139977850390229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6237] ppid=6173 vsize=10852704 memory=4538204 CPUtime=0.07 cores=1,3,5,7
/proc/6176/task/6237/stat : 6237 (java) S 6173 6176 4192 0 -1 1077944384 3 13432 0 0 0 0 5 2 20 0 15 0 68619673 11113168896 1134551 33554432000 4194304 4196468 140729375258048 139976367757136 139977850398619 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6238] ppid=6173 vsize=10852704 memory=18472 CPUtime=15.26 cores=1,3,5,7
/proc/6176/task/6238/stat : 6238 (java) S 6173 6176 4192 0 -1 1077944384 74577 13432 0 0 1510 9 5 2 20 0 15 0 68619673 11113168896 1134551 33554432000 4194304 4196468 140729375258048 139977308896112 139977850391170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6239] ppid=6173 vsize=10852704 memory=1224 CPUtime=12.89 cores=1,3,5,7
/proc/6176/task/6239/stat : 6239 (java) S 6173 6176 4192 0 -1 1077944384 54245 13432 0 0 1273 9 5 2 20 0 15 0 68619673 11113168896 1134551 33554432000 4194304 4196468 140729375258048 139977307843312 139977850391170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6240] ppid=6173 vsize=10852704 memory=1704 CPUtime=4.5 cores=1,3,5,7
/proc/6176/task/6240/stat : 6240 (java) S 6173 6176 4192 0 -1 1077944384 62432 13432 0 0 434 9 5 2 20 0 15 0 68619673 11113168896 1134551 33554432000 4194304 4196468 140729375258048 139977306790512 139977850391170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6241] ppid=6173 vsize=10852704 memory=4132 CPUtime=0.07 cores=1,3,5,7
/proc/6176/task/6241/stat : 6241 (java) S 6173 6176 4192 0 -1 1077944384 3 13432 0 0 0 0 5 2 20 0 15 0 68619673 11113168896 1134551 33554432000 4194304 4196468 140729375258048 139976334199520 139977850390229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
[pid=6176/tid=6242] ppid=6173 vsize=10852704 memory=20888 CPUtime=1.37 cores=1,3,5,7
/proc/6176/task/6242/stat : 6242 (java) S 6173 6176 4192 0 -1 1077944384 2080 13432 0 0 59 71 5 2 20 0 15 0 68619673 11113168896 1134551 33554432000 4194304 4196468 140729375258048 139977305737904 139977850391170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 60 0 0 6293624 6294260 11038720 140729375266987 140729375270236 140729375270236 140729375272911 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 4538204 KiB
Child status: 143
Real time (s): 2338.75
CPU time (s): 2520.15
CPU user time (s): 2512.03
CPU system time (s): 8.12245
CPU usage (%): 107.756
Max. virtual memory (cumulated for all children) (KiB): 10852704
Max. memory (cumulated for all children) (KiB): 5639396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2512.03
system time used= 8.12245
maximum resident set size= 5639412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 772189
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 72600
involuntary context switches= 5357
# summary of solver processes directly reported to runsolver:
# pid: 6176
# total CPU time (s): 2520.15
# total CPU user time (s): 2512.03
# total CPU system time (s): 8.12245
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1544 second user time and 21.6088 second system time
The end