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 (14822 MiB free)
memory of node 1: 16384 MiB (14611 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4401162-1568689610/watcher-4401162-1568689610 -o /tmp/evaluation-result-4401162-1568689610/solver-4401162-1568689610 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1568673294-11994 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1863610876 HOME/instance-4401162-1568689610.xml
running on 4 cores: 0,2,4,6
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
solver pid=16939, runsolver pid=16936
Current StackSize limit: 8192 KiB
[startup+0.100095 s]*
/proc/loadavg: 1.81 1.47 1.37 3/218 16996
/proc/meminfo: memFree=30134540/32770624 swapFree=67004308/67108860
[pid=16939] ppid=16936 vsize=9972712 memory=18864 CPUtime=0.08 cores=0,2,4,6
/proc/16939/stat : 16939 (java) S 16936 16939 11963 0 -1 1077944320 4477 13059 0 0 1 0 5 2 20 0 6 0 445122642 10212057088 4716 33554432000 4194304 4196468 140723062731648 140723062714192 140262112292599 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
/proc/16939/statm: 2493178 4716 1935 1 0 2481616 0
[pid=16939/tid=16992] ppid=16936 vsize=9972712 memory=720575944405811505 CPUtime=0.08 cores=0,2,4,6
/proc/16939/task/16992/stat : 16992 (java) R 16936 16939 11963 0 -1 4202560 2266 13059 0 0 1 0 5 2 20 0 6 0 445122651 10212057088 4716 33554432000 4194304 4196468 140723062731648 140262084129360 140262097975091 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=16993] ppid=16936 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16939/task/16993/stat : 16993 (java) S 16936 16939 11963 0 -1 1077944384 1 13059 0 0 0 0 5 2 20 0 6 0 445122652 10212057088 4716 33554432000 4194304 4196468 140723062731648 140262116535056 140262112302805 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=16994] ppid=16936 vsize=9972712 memory=139745778152650 CPUtime=0.07 cores=0,2,4,6
/proc/16939/task/16994/stat : 16994 (java) S 16936 16939 11963 0 -1 1077944384 1 13059 0 0 0 0 5 2 20 0 6 0 445122652 10212057088 4716 33554432000 4194304 4196468 140723062731648 140262031354768 140262112302805 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=16995] ppid=16936 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16939/task/16995/stat : 16995 (java) S 16936 16939 11963 0 -1 1077944384 1 13059 0 0 0 0 5 2 20 0 6 0 445122652 10212057088 4716 33554432000 4194304 4196468 140723062731648 140262030302224 140262112302805 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=16996] ppid=16936 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16939/task/16996/stat : 16996 (java) S 16936 16939 11963 0 -1 1077944384 2 13059 0 0 0 0 5 2 20 0 6 0 445122652 10212057088 4716 33554432000 4194304 4196468 140723062731648 140262029249680 140262112302805 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18864 KiB
[startup+0.209893 s]*
/proc/loadavg: 1.81 1.47 1.37 4/227 17005
/proc/meminfo: memFree=30110944/32770624 swapFree=67004308/67108860
[pid=16939] ppid=16936 vsize=10820164 memory=45400 CPUtime=0.26 cores=0,2,4,6
/proc/16939/stat : 16939 (java) S 16936 16939 11963 0 -1 1077944320 7193 13059 0 0 17 2 5 2 20 0 15 0 445122642 11079847936 11350 33554432000 4194304 4196468 140723062731648 140723062714192 140262112292599 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
/proc/16939/statm: 2705041 11350 3240 1 0 2667149 0
[pid=16939/tid=16992] ppid=16936 vsize=10820184 memory=753035770744996145 CPUtime=0.18 cores=0,2,4,6
/proc/16939/task/16992/stat : 16992 (java) R 16936 16939 11963 0 -1 4202560 3712 13059 0 0 10 1 5 2 20 0 15 0 445122651 11079868416 11350 33554432000 4194304 4196468 140723062731648 140262084115760 140262112314525 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=16993] ppid=16936 vsize=10820184 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16939/task/16993/stat : 16993 (java) S 16936 16939 11963 0 -1 1077944384 1 13059 0 0 0 0 5 2 20 0 15 0 445122652 11079868416 11350 33554432000 4194304 4196468 140723062731648 140262116535056 140262112302805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=16994] ppid=16936 vsize=10820184 memory=139745778152650 CPUtime=0.07 cores=0,2,4,6
/proc/16939/task/16994/stat : 16994 (java) S 16936 16939 11963 0 -1 1077944384 1 13059 0 0 0 0 5 2 20 0 15 0 445122652 11079868416 11350 33554432000 4194304 4196468 140723062731648 140262031354768 140262112302805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=16995] ppid=16936 vsize=10820188 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16939/task/16995/stat : 16995 (java) S 16936 16939 11963 0 -1 1077944384 1 13059 0 0 0 0 5 2 20 0 15 0 445122652 11079872512 11350 33554432000 4194304 4196468 140723062731648 140262030302224 140262112302805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=16996] ppid=16936 vsize=10820188 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16939/task/16996/stat : 16996 (java) S 16936 16939 11963 0 -1 1077944384 2 13059 0 0 0 0 5 2 20 0 15 0 445122652 11079872512 11350 33554432000 4194304 4196468 140723062731648 140262029249680 140262112302805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=16997] ppid=16936 vsize=10820188 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16939/task/16997/stat : 16997 (java) S 16936 16939 11963 0 -1 1077944384 2 13059 0 0 0 0 5 2 20 0 15 0 445122654 11079872512 11350 33554432000 4194304 4196468 140723062731648 140261638735856 140262112303746 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=16998] ppid=16936 vsize=10820188 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/16939/task/16998/stat : 16998 (java) S 16936 16939 11963 0 -1 1077944384 13 13059 0 0 0 0 5 2 20 0 15 0 445122654 11079872512 11350 33554432000 4194304 4196468 140723062731648 140261552284576 140262112302805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=16999] ppid=16936 vsize=10820188 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16939/task/16999/stat : 16999 (java) S 16936 16939 11963 0 -1 1077944384 1 13059 0 0 0 0 5 2 20 0 15 0 445122654 11079872512 11350 33554432000 4194304 4196468 140723062731648 140261418066928 140262112302805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=17000] ppid=16936 vsize=10820188 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16939/task/17000/stat : 17000 (java) S 16936 16939 11963 0 -1 1077944384 2 13059 0 0 0 0 5 2 20 0 15 0 445122657 11079872512 11350 33554432000 4194304 4196468 140723062731648 140260814088400 140262112311195 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=17001] ppid=16936 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16939/task/17001/stat : 17001 (java) S 16936 16939 11963 0 -1 1077944384 584 13059 0 0 1 0 5 2 20 0 15 0 445122657 11079880704 11350 33554432000 4194304 4196468 140723062731648 140261637683696 140262112303746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=17002] ppid=16936 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/16939/task/17002/stat : 17002 (java) R 16936 16939 11963 0 -1 4202560 65 13059 0 0 0 0 5 2 20 0 15 0 445122657 11079880704 11350 33554432000 4194304 4196468 140723062731648 140261636631152 140262095791440 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=17003] ppid=16936 vsize=10820196 memory=139745778136704 CPUtime=0.1 cores=0,2,4,6
/proc/16939/task/17003/stat : 17003 (java) S 16936 16939 11963 0 -1 1077944384 609 13059 0 0 3 0 5 2 20 0 15 0 445122657 11079880704 11350 33554432000 4194304 4196468 140723062731648 140261635578608 140262112303746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=17004] ppid=16936 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/16939/task/17004/stat : 17004 (java) S 16936 16939 11963 0 -1 1077944384 3 13059 0 0 0 0 5 2 20 0 15 0 445122657 11079880704 11350 33554432000 4194304 4196468 140723062731648 140260344327264 140262112302805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=17005] ppid=16936 vsize=10820196 memory=139745778136704 CPUtime=0.07 cores=0,2,4,6
/proc/16939/task/17005/stat : 17005 (java) S 16936 16939 11963 0 -1 1077944384 1 13059 0 0 0 0 5 2 20 0 15 0 445122658 11079880704 11350 33554432000 4194304 4196468 140723062731648 140261634525488 140262112303746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10820164 KiB
Current children cumulated memory: 45400 KiB
[startup+0.310412 s]*
/proc/loadavg: 1.81 1.47 1.37 4/227 17005
/proc/meminfo: memFree=30098256/32770624 swapFree=67004308/67108860
[pid=16939] ppid=16936 vsize=10820196 memory=54088 CPUtime=0.4 cores=0,2,4,6
/proc/16939/stat : 16939 (java) S 16936 16939 11963 0 -1 1077944320 10734 13059 0 0 29 4 5 2 20 0 15 0 445122642 11079880704 13522 33554432000 4194304 4196468 140723062731648 140723062714192 140262112292599 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
/proc/16939/statm: 2705049 13522 3307 1 0 2667149 0
[pid=16939/tid=16992] ppid=16936 vsize=10820196 memory=1398722017469774279 CPUtime=0.28 cores=0,2,4,6
/proc/16939/task/16992/stat : 16992 (java) R 16936 16939 11963 0 -1 4202560 7211 13059 0 0 18 3 5 2 20 0 15 0 445122651 11079880704 13522 33554432000 4194304 4196468 140723062731648 140262084101552 140262093856146 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=16993] ppid=16936 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16939/task/16993/stat : 16993 (java) S 16936 16939 11963 0 -1 1077944384 1 13059 0 0 0 0 5 2 20 0 15 0 445122652 11079880704 13522 33554432000 4194304 4196468 140723062731648 140262116535056 140262112302805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=16994] ppid=16936 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16939/task/16994/stat : 16994 (java) S 16936 16939 11963 0 -1 1077944384 1 13059 0 0 0 0 5 2 20 0 15 0 445122652 11079880704 13522 33554432000 4194304 4196468 140723062731648 140262031354768 140262112302805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=16995] ppid=16936 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16939/task/16995/stat : 16995 (java) S 16936 16939 11963 0 -1 1077944384 1 13059 0 0 0 0 5 2 20 0 15 0 445122652 11079880704 13522 33554432000 4194304 4196468 140723062731648 140262030302224 140262112302805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=16996] ppid=16936 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16939/task/16996/stat : 16996 (java) S 16936 16939 11963 0 -1 1077944384 2 13059 0 0 0 0 5 2 20 0 15 0 445122652 11079880704 13522 33554432000 4194304 4196468 140723062731648 140262029249680 140262112302805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=16997] ppid=16936 vsize=10820196 memory=139745778136703 CPUtime=0.07 cores=0,2,4,6
/proc/16939/task/16997/stat : 16997 (java) S 16936 16939 11963 0 -1 1077944384 2 13059 0 0 0 0 5 2 20 0 15 0 445122654 11079880704 13522 33554432000 4194304 4196468 140723062731648 140261638735856 140262112303746 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=16998] ppid=16936 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/16939/task/16998/stat : 16998 (java) S 16936 16939 11963 0 -1 1077944384 13 13059 0 0 0 0 5 2 20 0 15 0 445122654 11079880704 13522 33554432000 4194304 4196468 140723062731648 140261552284576 140262112302805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=16999] ppid=16936 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16939/task/16999/stat : 16999 (java) S 16936 16939 11963 0 -1 1077944384 1 13059 0 0 0 0 5 2 20 0 15 0 445122654 11079880704 13522 33554432000 4194304 4196468 140723062731648 140261418066928 140262112302805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=17000] ppid=16936 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16939/task/17000/stat : 17000 (java) S 16936 16939 11963 0 -1 1077944384 2 13059 0 0 0 0 5 2 20 0 15 0 445122657 11079880704 13522 33554432000 4194304 4196468 140723062731648 140260814088400 140262112311195 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=17001] ppid=16936 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/16939/task/17001/stat : 17001 (java) S 16936 16939 11963 0 -1 1077944384 585 13059 0 0 2 0 5 2 20 0 15 0 445122657 11079880704 13522 33554432000 4194304 4196468 140723062731648 140261637683696 140262112303746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=17002] ppid=16936 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/16939/task/17002/stat : 17002 (java) S 16936 16939 11963 0 -1 1077944384 74 13059 0 0 1 0 5 2 20 0 15 0 445122657 11079880704 13522 33554432000 4194304 4196468 140723062731648 140261636631152 140262112303746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=17003] ppid=16936 vsize=10820196 memory=139745778136704 CPUtime=0.12 cores=0,2,4,6
/proc/16939/task/17003/stat : 17003 (java) S 16936 16939 11963 0 -1 1077944384 628 13059 0 0 5 0 5 2 20 0 15 0 445122657 11079880704 13522 33554432000 4194304 4196468 140723062731648 140261635578608 140262112303746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=17004] ppid=16936 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/16939/task/17004/stat : 17004 (java) S 16936 16939 11963 0 -1 1077944384 3 13059 0 0 0 0 5 2 20 0 15 0 445122657 11079880704 13522 33554432000 4194304 4196468 140723062731648 140260344327264 140262112302805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=17005] ppid=16936 vsize=10820196 memory=139745778136704 CPUtime=0.07 cores=0,2,4,6
/proc/16939/task/17005/stat : 17005 (java) S 16936 16939 11963 0 -1 1077944384 1 13059 0 0 0 0 5 2 20 0 15 0 445122658 11079880704 13522 33554432000 4194304 4196468 140723062731648 140261634525488 140262112303746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 54088 KiB
[startup+0.702628 s]
/proc/loadavg: 1.81 1.47 1.37 4/227 17005
/proc/meminfo: memFree=30083988/32770624 swapFree=67004308/67108860
[pid=16939] ppid=16936 vsize=10824364 memory=87484 CPUtime=1.1 cores=0,2,4,6
/proc/16939/stat : 16939 (java) S 16936 16939 11963 0 -1 1077944320 15076 13059 0 0 98 5 5 2 20 0 15 0 445122642 11084148736 21871 33554432000 4194304 4196468 140723062731648 140723062714192 140262112292599 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
/proc/16939/statm: 2706091 21871 3514 1 0 2668173 0
[pid=16939/tid=16992] ppid=16936 vsize=10824364 memory=5795117241467496816 CPUtime=0.67 cores=0,2,4,6
/proc/16939/task/16992/stat : 16992 (java) R 16936 16939 11963 0 -1 4202560 10470 13059 0 0 56 4 5 2 20 0 15 0 445122651 11084148736 21871 33554432000 4194304 4196468 140723062731648 140262084122144 140262096373086 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=16993] ppid=16936 vsize=10824364 memory=1416 CPUtime=0.07 cores=0,2,4,6
/proc/16939/task/16993/stat : 16993 (java) S 16936 16939 11963 0 -1 1077944384 1 13059 0 0 0 0 5 2 20 0 15 0 445122652 11084148736 21871 33554432000 4194304 4196468 140723062731648 140262116535056 140262112302805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=16994] ppid=16936 vsize=10824364 memory=1556 CPUtime=0.07 cores=0,2,4,6
/proc/16939/task/16994/stat : 16994 (java) S 16936 16939 11963 0 -1 1077944384 1 13059 0 0 0 0 5 2 20 0 15 0 445122652 11084148736 21871 33554432000 4194304 4196468 140723062731648 140262031354768 140262112302805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=16995] ppid=16936 vsize=10824364 memory=4580 CPUtime=0.07 cores=0,2,4,6
/proc/16939/task/16995/stat : 16995 (java) S 16936 16939 11963 0 -1 1077944384 1 13059 0 0 0 0 5 2 20 0 15 0 445122652 11084148736 21871 33554432000 4194304 4196468 140723062731648 140262030302224 140262112302805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=16996] ppid=16936 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16939/task/16996/stat : 16996 (java) S 16936 16939 11963 0 -1 1077944384 2 13059 0 0 0 0 5 2 20 0 15 0 445122652 11084148736 21871 33554432000 4194304 4196468 140723062731648 140262029249680 140262112302805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=16997] ppid=16936 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16939/task/16997/stat : 16997 (java) S 16936 16939 11963 0 -1 1077944384 6 13059 0 0 0 0 5 2 20 0 15 0 445122654 11084148736 21871 33554432000 4194304 4196468 140723062731648 140261638735856 140262112303746 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=16998] ppid=16936 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16939/task/16998/stat : 16998 (java) S 16936 16939 11963 0 -1 1077944384 13 13059 0 0 0 0 5 2 20 0 15 0 445122654 11084148736 21871 33554432000 4194304 4196468 140723062731648 140261552284576 140262112302805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=16999] ppid=16936 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16939/task/16999/stat : 16999 (java) S 16936 16939 11963 0 -1 1077944384 1 13059 0 0 0 0 5 2 20 0 15 0 445122654 11084148736 21871 33554432000 4194304 4196468 140723062731648 140261418066928 140262112302805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=17000] ppid=16936 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16939/task/17000/stat : 17000 (java) S 16936 16939 11963 0 -1 1077944384 2 13059 0 0 0 0 5 2 20 0 15 0 445122657 11084148736 21871 33554432000 4194304 4196468 140723062731648 140260814088400 140262112311195 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=17001] ppid=16936 vsize=10824364 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/16939/task/17001/stat : 17001 (java) R 16936 16939 11963 0 -1 4202560 1048 13059 0 0 13 0 5 2 20 0 15 0 445122657 11084148736 21871 33554432000 4194304 4196468 140723062731648 140261637683696 140262090267981 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=17002] ppid=16936 vsize=10824364 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/16939/task/17002/stat : 17002 (java) R 16936 16939 11963 0 -1 4202560 467 13059 0 0 11 0 5 2 20 0 15 0 445122657 11084148736 21871 33554432000 4194304 4196468 140723062731648 140261636617696 140262095679711 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=17003] ppid=16936 vsize=10824364 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/16939/task/17003/stat : 17003 (java) S 16936 16939 11963 0 -1 1077944384 852 13059 0 0 17 0 5 2 20 0 15 0 445122657 11084148736 21871 33554432000 4194304 4196468 140723062731648 140261635578608 140262112303746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=17004] ppid=16936 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16939/task/17004/stat : 17004 (java) S 16936 16939 11963 0 -1 1077944384 3 13059 0 0 0 0 5 2 20 0 15 0 445122657 11084148736 21871 33554432000 4194304 4196468 140723062731648 140260344327264 140262112302805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=17005] ppid=16936 vsize=10824364 memory=3588 CPUtime=0.07 cores=0,2,4,6
/proc/16939/task/17005/stat : 17005 (java) S 16936 16939 11963 0 -1 1077944384 1 13059 0 0 0 0 5 2 20 0 15 0 445122658 11084148736 21871 33554432000 4194304 4196468 140723062731648 140261634525488 140262112303746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 87484 KiB
[startup+1.50066 s]
/proc/loadavg: 1.81 1.47 1.37 3/227 17005
/proc/meminfo: memFree=30035596/32770624 swapFree=67004308/67108860
[pid=16939] ppid=16936 vsize=10834680 memory=189240 CPUtime=2.6 cores=0,2,4,6
/proc/16939/stat : 16939 (java) S 16936 16939 11963 0 -1 1077944320 24269 13059 0 0 243 10 5 2 20 0 15 0 445122642 11094712320 47310 33554432000 4194304 4196468 140723062731648 140723062714192 140262112292599 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
/proc/16939/statm: 2708670 47310 3581 1 0 2670733 0
[pid=16939/tid=16992] ppid=16936 vsize=10834680 memory=139745619350104 CPUtime=1.42 cores=0,2,4,6
/proc/16939/task/16992/stat : 16992 (java) R 16936 16939 11963 0 -1 4202560 15969 13059 0 0 129 6 5 2 20 0 15 0 445122651 11094712320 47310 33554432000 4194304 4196468 140723062731648 140262084117392 140262093333953 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=16993] ppid=16936 vsize=10834680 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16939/task/16993/stat : 16993 (java) S 16936 16939 11963 0 -1 1077944384 317 13059 0 0 1 0 5 2 20 0 15 0 445122652 11094712320 47310 33554432000 4194304 4196468 140723062731648 140262116535056 140262112302805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=16994] ppid=16936 vsize=10834680 memory=6628 CPUtime=0.08 cores=0,2,4,6
/proc/16939/task/16994/stat : 16994 (java) S 16936 16939 11963 0 -1 1077944384 43 13059 0 0 1 0 5 2 20 0 15 0 445122652 11094712320 47310 33554432000 4194304 4196468 140723062731648 140262031354768 140262112302805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=16995] ppid=16936 vsize=10834680 memory=7 CPUtime=0.08 cores=0,2,4,6
/proc/16939/task/16995/stat : 16995 (java) S 16936 16939 11963 0 -1 1077944384 92 13059 0 0 1 0 5 2 20 0 15 0 445122652 11094712320 47310 33554432000 4194304 4196468 140723062731648 140262030302224 140262112302805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=16996] ppid=16936 vsize=10834680 memory=279491239106976 CPUtime=0.08 cores=0,2,4,6
/proc/16939/task/16996/stat : 16996 (java) S 16936 16939 11963 0 -1 1077944384 40 13059 0 0 1 0 5 2 20 0 15 0 445122652 11094712320 47310 33554432000 4194304 4196468 140723062731648 140262029249680 140262112302805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=16997] ppid=16936 vsize=10834680 memory=212484917068940 CPUtime=0.08 cores=0,2,4,6
/proc/16939/task/16997/stat : 16997 (java) S 16936 16939 11963 0 -1 1077944384 1430 13059 0 0 1 0 5 2 20 0 15 0 445122654 11094712320 47310 33554432000 4194304 4196468 140723062731648 140261638735856 140262112303746 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=16998] ppid=16936 vsize=10834680 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16939/task/16998/stat : 16998 (java) S 16936 16939 11963 0 -1 1077944384 13 13059 0 0 0 0 5 2 20 0 15 0 445122654 11094712320 47310 33554432000 4194304 4196468 140723062731648 140261552284640 140262112302805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=16999] ppid=16936 vsize=10834680 memory=6011695425293022006 CPUtime=0.07 cores=0,2,4,6
/proc/16939/task/16999/stat : 16999 (java) S 16936 16939 11963 0 -1 1077944384 2 13059 0 0 0 0 5 2 20 0 15 0 445122654 11094712320 47310 33554432000 4194304 4196468 140723062731648 140261418066944 140262112302805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=17000] ppid=16936 vsize=10834680 memory=-8412658770403813517 CPUtime=0.07 cores=0,2,4,6
/proc/16939/task/17000/stat : 17000 (java) S 16936 16939 11963 0 -1 1077944384 2 13059 0 0 0 0 5 2 20 0 15 0 445122657 11094712320 47310 33554432000 4194304 4196468 140723062731648 140260814088400 140262112311195 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=17001] ppid=16936 vsize=10834680 memory=-7668917182949848256 CPUtime=0.42 cores=0,2,4,6
/proc/16939/task/17001/stat : 17001 (java) S 16936 16939 11963 0 -1 1077944384 1574 13059 0 0 35 0 5 2 20 0 15 0 445122657 11094712320 47310 33554432000 4194304 4196468 140723062731648 140261637683696 140262112303746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=17002] ppid=16936 vsize=10834680 memory=8514726395714956677 CPUtime=0.38 cores=0,2,4,6
/proc/16939/task/17002/stat : 17002 (java) S 16936 16939 11963 0 -1 1077944384 954 13059 0 0 31 0 5 2 20 0 15 0 445122657 11094712320 47310 33554432000 4194304 4196468 140723062731648 140261636631152 140262112303746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=17003] ppid=16936 vsize=10834680 memory=7100839870004429938 CPUtime=0.45 cores=0,2,4,6
/proc/16939/task/17003/stat : 17003 (java) S 16936 16939 11963 0 -1 1077944384 1621 13059 0 0 38 0 5 2 20 0 15 0 445122657 11094712320 47310 33554432000 4194304 4196468 140723062731648 140261635578608 140262112303746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=17004] ppid=16936 vsize=10834680 memory=4628420171383865741 CPUtime=0.07 cores=0,2,4,6
/proc/16939/task/17004/stat : 17004 (java) S 16936 16939 11963 0 -1 1077944384 3 13059 0 0 0 0 5 2 20 0 15 0 445122657 11094712320 47310 33554432000 4194304 4196468 140723062731648 140260344327264 140262112302805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=17005] ppid=16936 vsize=10834680 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16939/task/17005/stat : 17005 (java) S 16936 16939 11963 0 -1 1077944384 1 13059 0 0 0 0 5 2 20 0 15 0 445122658 11094712320 47310 33554432000 4194304 4196468 140723062731648 140261634525488 140262112303746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
Current children cumulated CPU time: 2.6 s
Current children cumulated vsize: 10834680 KiB
################
# More data... #
################
/proc/16939/task/16992/stat : 16992 (java) R 16936 16939 11963 0 -1 4202560 82397 13059 0 0 236505 40 5 2 20 0 15 0 445122651 11111522304 97080 33554432000 4194304 4196468 140723062731648 140262084117488 140261717573180 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=16993] ppid=16936 vsize=10851096 memory=388320 CPUtime=8.84 cores=0,2,4,6
/proc/16939/task/16993/stat : 16993 (java) S 16936 16939 11963 0 -1 1077944384 15372 13059 0 0 828 49 5 2 20 0 15 0 445122652 11111522304 97080 33554432000 4194304 4196468 140723062731648 140262116535056 140262112302805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=16994] ppid=16936 vsize=10851096 memory=388832 CPUtime=8.83 cores=0,2,4,6
/proc/16939/task/16994/stat : 16994 (java) S 16936 16939 11963 0 -1 1077944384 10330 13059 0 0 832 44 5 2 20 0 15 0 445122652 11111522304 97080 33554432000 4194304 4196468 140723062731648 140262031354768 140262112302805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=16995] ppid=16936 vsize=10851096 memory=388832 CPUtime=8.82 cores=0,2,4,6
/proc/16939/task/16995/stat : 16995 (java) S 16936 16939 11963 0 -1 1077944384 10817 13059 0 0 828 47 5 2 20 0 15 0 445122652 11111522304 97080 33554432000 4194304 4196468 140723062731648 140262030302224 140262112302805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=16996] ppid=16936 vsize=10851096 memory=389856 CPUtime=8.85 cores=0,2,4,6
/proc/16939/task/16996/stat : 16996 (java) S 16936 16939 11963 0 -1 1077944384 14089 13059 0 0 830 48 5 2 20 0 15 0 445122652 11111522304 97080 33554432000 4194304 4196468 140723062731648 140262029249680 140262112302805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=16997] ppid=16936 vsize=10851096 memory=389856 CPUtime=6.19 cores=0,2,4,6
/proc/16939/task/16997/stat : 16997 (java) S 16936 16939 11963 0 -1 1077944384 10009 13059 0 0 577 35 5 2 20 0 15 0 445122654 11111522304 97080 33554432000 4194304 4196468 140723062731648 140261638735856 140262112303746 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=16998] ppid=16936 vsize=10851096 memory=4420 CPUtime=0.07 cores=0,2,4,6
/proc/16939/task/16998/stat : 16998 (java) S 16936 16939 11963 0 -1 1077944384 23 13059 0 0 0 0 5 2 20 0 15 0 445122654 11111522304 97080 33554432000 4194304 4196468 140723062731648 140261552284640 140262112302805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=16999] ppid=16936 vsize=10851096 memory=388320 CPUtime=0.07 cores=0,2,4,6
/proc/16939/task/16999/stat : 16999 (java) S 16936 16939 11963 0 -1 1077944384 14 13059 0 0 0 0 5 2 20 0 15 0 445122654 11111522304 97080 33554432000 4194304 4196468 140723062731648 140261418066944 140262112302805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=17000] ppid=16936 vsize=10851096 memory=388320 CPUtime=0.07 cores=0,2,4,6
/proc/16939/task/17000/stat : 17000 (java) S 16936 16939 11963 0 -1 1077944384 2 13059 0 0 0 0 5 2 20 0 15 0 445122657 11111522304 97080 33554432000 4194304 4196468 140723062731648 140260814088400 140262112311195 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=17001] ppid=16936 vsize=10851096 memory=388320 CPUtime=7.77 cores=0,2,4,6
/proc/16939/task/17001/stat : 17001 (java) S 16936 16939 11963 0 -1 1077944384 40135 13059 0 0 759 11 5 2 20 0 15 0 445122657 11111522304 97080 33554432000 4194304 4196468 140723062731648 140261637683696 140262112303746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=17002] ppid=16936 vsize=10851096 memory=388320 CPUtime=7.49 cores=0,2,4,6
/proc/16939/task/17002/stat : 17002 (java) S 16936 16939 11963 0 -1 1077944384 33033 13059 0 0 735 7 5 2 20 0 15 0 445122657 11111522304 97080 33554432000 4194304 4196468 140723062731648 140261636631152 140262112303746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=17003] ppid=16936 vsize=10851096 memory=388320 CPUtime=5.63 cores=0,2,4,6
/proc/16939/task/17003/stat : 17003 (java) S 16936 16939 11963 0 -1 1077944384 39588 13059 0 0 547 9 5 2 20 0 15 0 445122657 11111522304 97080 33554432000 4194304 4196468 140723062731648 140261635578608 140262112303746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=17004] ppid=16936 vsize=10851096 memory=47692 CPUtime=0.07 cores=0,2,4,6
/proc/16939/task/17004/stat : 17004 (java) S 16936 16939 11963 0 -1 1077944384 3 13059 0 0 0 0 5 2 20 0 15 0 445122657 11111522304 97080 33554432000 4194304 4196468 140723062731648 140260344327264 140262112302805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=17005] ppid=16936 vsize=10851096 memory=388320 CPUtime=1.18 cores=0,2,4,6
/proc/16939/task/17005/stat : 17005 (java) S 16936 16939 11963 0 -1 1077944384 882 13059 0 0 59 52 5 2 20 0 15 0 445122658 11111522304 97080 33554432000 4194304 4196468 140723062731648 140261634525488 140262112303746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
Current children cumulated CPU time: 2428.58 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 388320 KiB
[startup+2442.3 s]
/proc/loadavg: 1.54 1.56 1.52 3/227 18134
/proc/meminfo: memFree=23996372/32770624 swapFree=67004308/67108860
[pid=16939] ppid=16936 vsize=10851096 memory=387292 CPUtime=2489.29 cores=0,2,4,6
/proc/16939/stat : 16939 (java) S 16936 16939 11963 0 -1 1077944320 259791 13059 0 0 248611 311 5 2 20 0 15 0 445122642 11111522304 96823 33554432000 4194304 4196468 140723062731648 140723062714192 140262112292599 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
/proc/16939/statm: 2712774 96823 3638 1 0 2674829 0
[pid=16939/tid=16992] ppid=16936 vsize=10851096 memory=387292 CPUtime=2425.11 cores=0,2,4,6
/proc/16939/task/16992/stat : 16992 (java) R 16936 16939 11963 0 -1 4202560 82689 13059 0 0 242463 41 5 2 20 0 15 0 445122651 11111522304 96823 33554432000 4194304 4196468 140723062731648 140262084107456 140261717573581 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=16993] ppid=16936 vsize=10851096 memory=387292 CPUtime=9.06 cores=0,2,4,6
/proc/16939/task/16993/stat : 16993 (java) S 16936 16939 11963 0 -1 1077944384 15444 13059 0 0 850 49 5 2 20 0 15 0 445122652 11111522304 96823 33554432000 4194304 4196468 140723062731648 140262116535056 140262112302805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=16994] ppid=16936 vsize=10851096 memory=387292 CPUtime=9.07 cores=0,2,4,6
/proc/16939/task/16994/stat : 16994 (java) S 16936 16939 11963 0 -1 1077944384 10468 13059 0 0 855 45 5 2 20 0 15 0 445122652 11111522304 96823 33554432000 4194304 4196468 140723062731648 140262031354768 140262112302805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=16995] ppid=16936 vsize=10851096 memory=387292 CPUtime=9.06 cores=0,2,4,6
/proc/16939/task/16995/stat : 16995 (java) S 16936 16939 11963 0 -1 1077944384 10884 13059 0 0 851 48 5 2 20 0 15 0 445122652 11111522304 96823 33554432000 4194304 4196468 140723062731648 140262030302224 140262112302805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=16996] ppid=16936 vsize=10851096 memory=387292 CPUtime=9.08 cores=0,2,4,6
/proc/16939/task/16996/stat : 16996 (java) S 16936 16939 11963 0 -1 1077944384 14203 13059 0 0 853 48 5 2 20 0 15 0 445122652 11111522304 96823 33554432000 4194304 4196468 140723062731648 140262029249680 140262112302805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=16997] ppid=16936 vsize=10851096 memory=387292 CPUtime=6.35 cores=0,2,4,6
/proc/16939/task/16997/stat : 16997 (java) S 16936 16939 11963 0 -1 1077944384 10198 13059 0 0 592 36 5 2 20 0 15 0 445122654 11111522304 96823 33554432000 4194304 4196468 140723062731648 140261638735856 140262112303746 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=16998] ppid=16936 vsize=10851096 memory=387292 CPUtime=0.07 cores=0,2,4,6
/proc/16939/task/16998/stat : 16998 (java) S 16936 16939 11963 0 -1 1077944384 23 13059 0 0 0 0 5 2 20 0 15 0 445122654 11111522304 96823 33554432000 4194304 4196468 140723062731648 140261552284640 140262112302805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=16999] ppid=16936 vsize=10851096 memory=387292 CPUtime=0.07 cores=0,2,4,6
/proc/16939/task/16999/stat : 16999 (java) S 16936 16939 11963 0 -1 1077944384 14 13059 0 0 0 0 5 2 20 0 15 0 445122654 11111522304 96823 33554432000 4194304 4196468 140723062731648 140261418066944 140262112302805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=17000] ppid=16936 vsize=10851096 memory=387292 CPUtime=0.07 cores=0,2,4,6
/proc/16939/task/17000/stat : 17000 (java) S 16936 16939 11963 0 -1 1077944384 2 13059 0 0 0 0 5 2 20 0 15 0 445122657 11111522304 96823 33554432000 4194304 4196468 140723062731648 140260814088400 140262112311195 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=17001] ppid=16936 vsize=10851096 memory=387292 CPUtime=7.77 cores=0,2,4,6
/proc/16939/task/17001/stat : 17001 (java) S 16936 16939 11963 0 -1 1077944384 40135 13059 0 0 759 11 5 2 20 0 15 0 445122657 11111522304 96823 33554432000 4194304 4196468 140723062731648 140261637683696 140262112303746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=17002] ppid=16936 vsize=10851096 memory=387292 CPUtime=7.49 cores=0,2,4,6
/proc/16939/task/17002/stat : 17002 (java) S 16936 16939 11963 0 -1 1077944384 33034 13059 0 0 735 7 5 2 20 0 15 0 445122657 11111522304 96823 33554432000 4194304 4196468 140723062731648 140261636631152 140262112303746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=17003] ppid=16936 vsize=10851096 memory=387292 CPUtime=5.63 cores=0,2,4,6
/proc/16939/task/17003/stat : 17003 (java) S 16936 16939 11963 0 -1 1077944384 39588 13059 0 0 547 9 5 2 20 0 15 0 445122657 11111522304 96823 33554432000 4194304 4196468 140723062731648 140261635578608 140262112303746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=17004] ppid=16936 vsize=10851096 memory=387292 CPUtime=0.07 cores=0,2,4,6
/proc/16939/task/17004/stat : 17004 (java) S 16936 16939 11963 0 -1 1077944384 3 13059 0 0 0 0 5 2 20 0 15 0 445122657 11111522304 96823 33554432000 4194304 4196468 140723062731648 140260344327264 140262112302805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=17005] ppid=16936 vsize=10851096 memory=387292 CPUtime=1.2 cores=0,2,4,6
/proc/16939/task/17005/stat : 17005 (java) S 16936 16939 11963 0 -1 1077944384 897 13059 0 0 60 53 5 2 20 0 15 0 445122658 11111522304 96823 33554432000 4194304 4196468 140723062731648 140261634525488 140262112303746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
Current children cumulated CPU time: 2489.29 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 387292 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2472.7 s]
/proc/loadavg: 1.47 1.54 1.51 3/227 18137
/proc/meminfo: memFree=23994032/32770624 swapFree=67004308/67108860
[pid=16939] ppid=16936 vsize=10851096 memory=387292 CPUtime=2520.04 cores=0,2,4,6
/proc/16939/stat : 16939 (java) S 16936 16939 11963 0 -1 1077944320 261001 13059 0 0 251684 313 5 2 20 0 15 0 445122642 11111522304 96823 33554432000 4194304 4196468 140723062731648 140723062714192 140262112292599 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
/proc/16939/statm: 2712774 96823 3638 1 0 2674829 0
[pid=16939/tid=16992] ppid=16936 vsize=10851096 memory=387292 CPUtime=2455.28 cores=0,2,4,6
/proc/16939/task/16992/stat : 16992 (java) R 16936 16939 11963 0 -1 4202560 83043 13059 0 0 245480 41 5 2 20 0 15 0 445122651 11111522304 96823 33554432000 4194304 4196468 140723062731648 140262084106416 140261717574723 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=16993] ppid=16936 vsize=10851096 memory=387292 CPUtime=9.19 cores=0,2,4,6
/proc/16939/task/16993/stat : 16993 (java) S 16936 16939 11963 0 -1 1077944384 15522 13059 0 0 862 50 5 2 20 0 15 0 445122652 11111522304 96823 33554432000 4194304 4196468 140723062731648 140262116535056 140262112302805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=16994] ppid=16936 vsize=10851096 memory=387292 CPUtime=9.18 cores=0,2,4,6
/proc/16939/task/16994/stat : 16994 (java) S 16936 16939 11963 0 -1 1077944384 10860 13059 0 0 866 45 5 2 20 0 15 0 445122652 11111522304 96823 33554432000 4194304 4196468 140723062731648 140262031354768 140262112302805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=16995] ppid=16936 vsize=10851096 memory=387292 CPUtime=9.17 cores=0,2,4,6
/proc/16939/task/16995/stat : 16995 (java) S 16936 16939 11963 0 -1 1077944384 11070 13059 0 0 862 48 5 2 20 0 15 0 445122652 11111522304 96823 33554432000 4194304 4196468 140723062731648 140262030302224 140262112302805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=16996] ppid=16936 vsize=10851096 memory=387292 CPUtime=9.2 cores=0,2,4,6
/proc/16939/task/16996/stat : 16996 (java) S 16936 16939 11963 0 -1 1077944384 14364 13059 0 0 864 49 5 2 20 0 15 0 445122652 11111522304 96823 33554432000 4194304 4196468 140723062731648 140262029249680 140262112302805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=16997] ppid=16936 vsize=10851096 memory=387292 CPUtime=6.43 cores=0,2,4,6
/proc/16939/task/16997/stat : 16997 (java) S 16936 16939 11963 0 -1 1077944384 10227 13059 0 0 600 36 5 2 20 0 15 0 445122654 11111522304 96823 33554432000 4194304 4196468 140723062731648 140261638735856 140262112303746 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=16998] ppid=16936 vsize=10851096 memory=387292 CPUtime=0.07 cores=0,2,4,6
/proc/16939/task/16998/stat : 16998 (java) S 16936 16939 11963 0 -1 1077944384 23 13059 0 0 0 0 5 2 20 0 15 0 445122654 11111522304 96823 33554432000 4194304 4196468 140723062731648 140261552284640 140262112302805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=16999] ppid=16936 vsize=10851096 memory=387292 CPUtime=0.07 cores=0,2,4,6
/proc/16939/task/16999/stat : 16999 (java) S 16936 16939 11963 0 -1 1077944384 14 13059 0 0 0 0 5 2 20 0 15 0 445122654 11111522304 96823 33554432000 4194304 4196468 140723062731648 140261418066944 140262112302805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=17000] ppid=16936 vsize=10851096 memory=4004 CPUtime=0.07 cores=0,2,4,6
/proc/16939/task/17000/stat : 17000 (java) S 16936 16939 11963 0 -1 1077944384 2 13059 0 0 0 0 5 2 20 0 15 0 445122657 11111522304 96823 33554432000 4194304 4196468 140723062731648 140260814088400 140262112311195 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=17001] ppid=16936 vsize=10851096 memory=387292 CPUtime=7.77 cores=0,2,4,6
/proc/16939/task/17001/stat : 17001 (java) S 16936 16939 11963 0 -1 1077944384 40137 13059 0 0 759 11 5 2 20 0 15 0 445122657 11111522304 96823 33554432000 4194304 4196468 140723062731648 140261637683696 140262112303746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=17002] ppid=16936 vsize=10851096 memory=387292 CPUtime=7.49 cores=0,2,4,6
/proc/16939/task/17002/stat : 17002 (java) S 16936 16939 11963 0 -1 1077944384 33036 13059 0 0 735 7 5 2 20 0 15 0 445122657 11111522304 96823 33554432000 4194304 4196468 140723062731648 140261636631152 140262112303746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=17003] ppid=16936 vsize=10851096 memory=387292 CPUtime=5.63 cores=0,2,4,6
/proc/16939/task/17003/stat : 17003 (java) S 16936 16939 11963 0 -1 1077944384 39590 13059 0 0 547 9 5 2 20 0 15 0 445122657 11111522304 96823 33554432000 4194304 4196468 140723062731648 140261635578608 140262112303746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=17004] ppid=16936 vsize=10851096 memory=387292 CPUtime=0.07 cores=0,2,4,6
/proc/16939/task/17004/stat : 17004 (java) S 16936 16939 11963 0 -1 1077944384 3 13059 0 0 0 0 5 2 20 0 15 0 445122657 11111522304 96823 33554432000 4194304 4196468 140723062731648 140260344327264 140262112302805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=17005] ppid=16936 vsize=10851096 memory=2608 CPUtime=1.22 cores=0,2,4,6
/proc/16939/task/17005/stat : 17005 (java) S 16936 16939 11963 0 -1 1077944384 901 13059 0 0 61 54 5 2 20 0 15 0 445122658 11111522304 96823 33554432000 4194304 4196468 140723062731648 140261634525488 140262112303746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 387292 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2472.72 s]
# the end of solver process 16939 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.92 s, system=3.17061 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2472.7 s]
/proc/loadavg: 1.47 1.54 1.51 3/227 18137
/proc/meminfo: memFree=23994032/32770624 swapFree=67004308/67108860
[pid=16939] ppid=16936 vsize=10851096 memory=387292 CPUtime=2520.04 cores=0,2,4,6
/proc/16939/stat : 16939 (java) S 16936 16939 11963 0 -1 1077944320 261001 13059 0 0 251684 313 5 2 20 0 15 0 445122642 11111522304 96823 33554432000 4194304 4196468 140723062731648 140723062714192 140262112292599 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
/proc/16939/statm: 2712774 96823 3638 1 0 2674829 0
[pid=16939/tid=16992] ppid=16936 vsize=10851096 memory=387292 CPUtime=2455.28 cores=0,2,4,6
/proc/16939/task/16992/stat : 16992 (java) R 16936 16939 11963 0 -1 4202560 83043 13059 0 0 245480 41 5 2 20 0 15 0 445122651 11111522304 96823 33554432000 4194304 4196468 140723062731648 140262084106416 140261717574723 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=16993] ppid=16936 vsize=10851096 memory=387292 CPUtime=9.19 cores=0,2,4,6
/proc/16939/task/16993/stat : 16993 (java) S 16936 16939 11963 0 -1 1077944384 15522 13059 0 0 862 50 5 2 20 0 15 0 445122652 11111522304 96823 33554432000 4194304 4196468 140723062731648 140262116535056 140262112302805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=16994] ppid=16936 vsize=10851096 memory=387292 CPUtime=9.18 cores=0,2,4,6
/proc/16939/task/16994/stat : 16994 (java) S 16936 16939 11963 0 -1 1077944384 10860 13059 0 0 866 45 5 2 20 0 15 0 445122652 11111522304 96823 33554432000 4194304 4196468 140723062731648 140262031354768 140262112302805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=16995] ppid=16936 vsize=10851096 memory=387292 CPUtime=9.17 cores=0,2,4,6
/proc/16939/task/16995/stat : 16995 (java) S 16936 16939 11963 0 -1 1077944384 11070 13059 0 0 862 48 5 2 20 0 15 0 445122652 11111522304 96823 33554432000 4194304 4196468 140723062731648 140262030302224 140262112302805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=16996] ppid=16936 vsize=10851096 memory=387292 CPUtime=9.2 cores=0,2,4,6
/proc/16939/task/16996/stat : 16996 (java) S 16936 16939 11963 0 -1 1077944384 14364 13059 0 0 864 49 5 2 20 0 15 0 445122652 11111522304 96823 33554432000 4194304 4196468 140723062731648 140262029249680 140262112302805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=16997] ppid=16936 vsize=10851096 memory=387292 CPUtime=6.43 cores=0,2,4,6
/proc/16939/task/16997/stat : 16997 (java) S 16936 16939 11963 0 -1 1077944384 10227 13059 0 0 600 36 5 2 20 0 15 0 445122654 11111522304 96823 33554432000 4194304 4196468 140723062731648 140261638735856 140262112303746 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=16998] ppid=16936 vsize=10851096 memory=387292 CPUtime=0.07 cores=0,2,4,6
/proc/16939/task/16998/stat : 16998 (java) S 16936 16939 11963 0 -1 1077944384 23 13059 0 0 0 0 5 2 20 0 15 0 445122654 11111522304 96823 33554432000 4194304 4196468 140723062731648 140261552284640 140262112302805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=16999] ppid=16936 vsize=10851096 memory=387292 CPUtime=0.07 cores=0,2,4,6
/proc/16939/task/16999/stat : 16999 (java) S 16936 16939 11963 0 -1 1077944384 14 13059 0 0 0 0 5 2 20 0 15 0 445122654 11111522304 96823 33554432000 4194304 4196468 140723062731648 140261418066944 140262112302805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=17000] ppid=16936 vsize=10851096 memory=4004 CPUtime=0.07 cores=0,2,4,6
/proc/16939/task/17000/stat : 17000 (java) S 16936 16939 11963 0 -1 1077944384 2 13059 0 0 0 0 5 2 20 0 15 0 445122657 11111522304 96823 33554432000 4194304 4196468 140723062731648 140260814088400 140262112311195 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=17001] ppid=16936 vsize=10851096 memory=387292 CPUtime=7.77 cores=0,2,4,6
/proc/16939/task/17001/stat : 17001 (java) S 16936 16939 11963 0 -1 1077944384 40137 13059 0 0 759 11 5 2 20 0 15 0 445122657 11111522304 96823 33554432000 4194304 4196468 140723062731648 140261637683696 140262112303746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=17002] ppid=16936 vsize=10851096 memory=387292 CPUtime=7.49 cores=0,2,4,6
/proc/16939/task/17002/stat : 17002 (java) S 16936 16939 11963 0 -1 1077944384 33036 13059 0 0 735 7 5 2 20 0 15 0 445122657 11111522304 96823 33554432000 4194304 4196468 140723062731648 140261636631152 140262112303746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=17003] ppid=16936 vsize=10851096 memory=387292 CPUtime=5.63 cores=0,2,4,6
/proc/16939/task/17003/stat : 17003 (java) S 16936 16939 11963 0 -1 1077944384 39590 13059 0 0 547 9 5 2 20 0 15 0 445122657 11111522304 96823 33554432000 4194304 4196468 140723062731648 140261635578608 140262112303746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=17004] ppid=16936 vsize=10851096 memory=387292 CPUtime=0.07 cores=0,2,4,6
/proc/16939/task/17004/stat : 17004 (java) S 16936 16939 11963 0 -1 1077944384 3 13059 0 0 0 0 5 2 20 0 15 0 445122657 11111522304 96823 33554432000 4194304 4196468 140723062731648 140260344327264 140262112302805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
[pid=16939/tid=17005] ppid=16936 vsize=10851096 memory=2608 CPUtime=1.22 cores=0,2,4,6
/proc/16939/task/17005/stat : 17005 (java) S 16936 16939 11963 0 -1 1077944384 901 13059 0 0 61 54 5 2 20 0 15 0 445122658 11111522304 96823 33554432000 4194304 4196468 140723062731648 140261634525488 140262112303746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 19935232 140723062737647 140723062740165 140723062740165 140723062742991 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 387292 KiB
Child status: 143
Real time (s): 2472.72
CPU time (s): 2520.09
CPU user time (s): 2516.92
CPU system time (s): 3.17061
CPU usage (%): 101.916
Max. virtual memory (cumulated for all children) (KiB): 10852032
Max. memory (cumulated for all children) (KiB): 872432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.92
system time used= 3.17061
maximum resident set size= 872432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274741
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 201522
involuntary context switches= 6193
# summary of solver processes directly reported to runsolver:
# pid: 16939
# total CPU time (s): 2520.09
# total CPU user time (s): 2516.92
# total CPU system time (s): 3.17061
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.0898 second user time and 24.232 second system time
The end