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 (10329 MiB free)
memory of node 1: 16384 MiB (11922 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387389-1568302454/watcher-4387389-1568302454 -o /tmp/evaluation-result-4387389-1568302454/solver-4387389-1568302454 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node143-1568286551-1786 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1110564454 HOME/instance-4387389-1568302454.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=6698, runsolver pid=6695
Current StackSize limit: 8192 KiB
[startup+0.100141 s]*
/proc/loadavg: 1.94 1.56 1.50 3/218 6755
/proc/meminfo: memFree=22782180/32770624 swapFree=67108848/67108860
[pid=6698] ppid=6695 vsize=9972712 memory=14916 CPUtime=0.09 cores=0,2,4,6
/proc/6698/stat : 6698 (java) S 6695 6698 466 0 -1 1077944320 4520 13373 0 0 1 0 5 3 20 0 6 0 406182835 10212057088 3729 33554432000 4194304 4196468 140735999674800 140735999657344 139807157612279 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
/proc/6698/statm: 2493178 3729 1935 1 0 2481616 0
[pid=6698/tid=6751] ppid=6695 vsize=9972712 memory=8514726395714820750 CPUtime=0.08 cores=0,2,4,6
/proc/6698/task/6751/stat : 6751 (java) R 6695 6698 466 0 -1 4202560 2336 13373 0 0 0 0 5 3 20 0 6 0 406182845 10212057088 3795 33554432000 4194304 4196468 140735999674800 139807129449040 139807141692796 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6752] ppid=6695 vsize=9972712 memory=-9181546050914066336 CPUtime=0.08 cores=0,2,4,6
/proc/6698/task/6752/stat : 6752 (java) S 6695 6698 466 0 -1 1077944384 3 13373 0 0 0 0 5 3 20 0 6 0 406182845 10212057088 3795 33554432000 4194304 4196468 140735999674800 139807161854864 139807157622485 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6753] ppid=6695 vsize=9972712 memory=139892441085568 CPUtime=0.08 cores=0,2,4,6
/proc/6698/task/6753/stat : 6753 (java) S 6695 6698 466 0 -1 1077944384 3 13373 0 0 0 0 5 3 20 0 6 0 406182845 10212057088 3795 33554432000 4194304 4196468 140735999674800 139806730808080 139807157622485 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6754] ppid=6695 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6698/task/6754/stat : 6754 (java) S 6695 6698 466 0 -1 1077944384 2 13373 0 0 0 0 5 3 20 0 6 0 406182845 10212057088 3795 33554432000 4194304 4196468 140735999674800 139806729755792 139807157622485 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6755] ppid=6695 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6698/task/6755/stat : 6755 (java) S 6695 6698 466 0 -1 1077944384 1 13373 0 0 0 0 5 3 20 0 6 0 406182845 10212057088 3795 33554432000 4194304 4196468 140735999674800 139806728702992 139807157622485 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 14916 KiB
[startup+0.21011 s]*
/proc/loadavg: 1.94 1.56 1.50 3/227 6764
/proc/meminfo: memFree=22759544/32770624 swapFree=67108848/67108860
[pid=6698] ppid=6695 vsize=10818940 memory=39992 CPUtime=0.26 cores=0,2,4,6
/proc/6698/stat : 6698 (java) S 6695 6698 466 0 -1 1077944320 7324 13373 0 0 17 1 5 3 20 0 15 0 406182835 11078594560 9998 33554432000 4194304 4196468 140735999674800 140735999657344 139807157612279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
/proc/6698/statm: 2704735 9998 2975 1 0 2667149 0
[pid=6698/tid=6751] ppid=6695 vsize=10818940 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/6698/task/6751/stat : 6751 (java) R 6695 6698 466 0 -1 4202560 3739 13373 0 0 11 1 5 3 20 0 15 0 406182845 11078594560 10006 33554432000 4194304 4196468 140735999674800 139807129444704 139807141692766 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6752] ppid=6695 vsize=10818940 memory=365 CPUtime=0.08 cores=0,2,4,6
/proc/6698/task/6752/stat : 6752 (java) S 6695 6698 466 0 -1 1077944384 3 13373 0 0 0 0 5 3 20 0 15 0 406182845 11078594560 10006 33554432000 4194304 4196468 140735999674800 139807161854864 139807157622485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6753] ppid=6695 vsize=10818940 memory=139892441092520 CPUtime=0.08 cores=0,2,4,6
/proc/6698/task/6753/stat : 6753 (java) S 6695 6698 466 0 -1 1077944384 3 13373 0 0 0 0 5 3 20 0 15 0 406182845 11078594560 10006 33554432000 4194304 4196468 140735999674800 139806730808080 139807157622485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6754] ppid=6695 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6698/task/6754/stat : 6754 (java) S 6695 6698 466 0 -1 1077944384 2 13373 0 0 0 0 5 3 20 0 15 0 406182845 11078594560 10006 33554432000 4194304 4196468 140735999674800 139806729755792 139807157622485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6755] ppid=6695 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6698/task/6755/stat : 6755 (java) S 6695 6698 466 0 -1 1077944384 1 13373 0 0 0 0 5 3 20 0 15 0 406182845 11078594560 10006 33554432000 4194304 4196468 140735999674800 139806728702992 139807157622485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6756] ppid=6695 vsize=10818940 memory=139892441085568 CPUtime=0.08 cores=0,2,4,6
/proc/6698/task/6756/stat : 6756 (java) S 6695 6698 466 0 -1 1077944384 2 13373 0 0 0 0 5 3 20 0 15 0 406182847 11078594560 10006 33554432000 4194304 4196468 140735999674800 139806617086064 139807157623426 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6757] ppid=6695 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6698/task/6757/stat : 6757 (java) S 6695 6698 466 0 -1 1077944384 33 13373 0 0 0 0 5 3 20 0 15 0 406182847 11078594560 10006 33554432000 4194304 4196468 140735999674800 139806616032032 139807157622485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6758] ppid=6695 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6698/task/6758/stat : 6758 (java) S 6695 6698 466 0 -1 1077944384 1 13373 0 0 0 0 5 3 20 0 15 0 406182847 11078594560 10006 33554432000 4194304 4196468 140735999674800 139806487078000 139807157622485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6759] ppid=6695 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6698/task/6759/stat : 6759 (java) S 6695 6698 466 0 -1 1077944384 2 13373 0 0 0 0 5 3 20 0 15 0 406182850 11078594560 10006 33554432000 4194304 4196468 140735999674800 139805883099216 139807157630875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6760] ppid=6695 vsize=10818940 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/6698/task/6760/stat : 6760 (java) S 6695 6698 466 0 -1 1077944384 468 13373 0 0 1 0 5 3 20 0 15 0 406182850 11078594560 10006 33554432000 4194304 4196468 140735999674800 139806582475376 139807157623426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6761] ppid=6695 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6698/task/6761/stat : 6761 (java) S 6695 6698 466 0 -1 1077944384 188 13373 0 0 0 0 5 3 20 0 15 0 406182850 11078594560 10006 33554432000 4194304 4196468 140735999674800 139806581422576 139807157623426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6762] ppid=6695 vsize=10818940 memory=139892441085568 CPUtime=0.11 cores=0,2,4,6
/proc/6698/task/6762/stat : 6762 (java) S 6695 6698 466 0 -1 1077944384 687 13373 0 0 3 0 5 3 20 0 15 0 406182850 11078594560 10006 33554432000 4194304 4196468 140735999674800 139806580370288 139807157623426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6763] ppid=6695 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6698/task/6763/stat : 6763 (java) S 6695 6698 466 0 -1 1077944384 3 13373 0 0 0 0 5 3 20 0 15 0 406182850 11078594560 10006 33554432000 4194304 4196468 140735999674800 139805413338080 139807157622485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6764] ppid=6695 vsize=10818940 memory=139892441085568 CPUtime=0.08 cores=0,2,4,6
/proc/6698/task/6764/stat : 6764 (java) S 6695 6698 466 0 -1 1077944384 1 13373 0 0 0 0 5 3 20 0 15 0 406182851 11078594560 10006 33554432000 4194304 4196468 140735999674800 139806579317168 139807157623426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 39992 KiB
[startup+0.312992 s]*
/proc/loadavg: 1.94 1.56 1.50 4/227 6764
/proc/meminfo: memFree=22748360/32770624 swapFree=67108848/67108860
[pid=6698] ppid=6695 vsize=10820096 memory=51632 CPUtime=0.4 cores=0,2,4,6
/proc/6698/stat : 6698 (java) S 6695 6698 466 0 -1 1077944320 11152 13373 0 0 29 3 5 3 20 0 15 0 406182835 11079778304 12908 33554432000 4194304 4196468 140735999674800 140735999657344 139807157612279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
/proc/6698/statm: 2705024 12908 3240 1 0 2667149 0
[pid=6698/tid=6751] ppid=6695 vsize=10820096 memory=1398722017469774279 CPUtime=0.3 cores=0,2,4,6
/proc/6698/task/6751/stat : 6751 (java) R 6695 6698 466 0 -1 4202560 7493 13373 0 0 20 2 5 3 20 0 15 0 406182845 11079778304 12908 33554432000 4194304 4196468 140735999674800 139807129432496 139806761386191 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6752] ppid=6695 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6698/task/6752/stat : 6752 (java) S 6695 6698 466 0 -1 1077944384 3 13373 0 0 0 0 5 3 20 0 15 0 406182845 11079778304 12908 33554432000 4194304 4196468 140735999674800 139807161854864 139807157622485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6753] ppid=6695 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6698/task/6753/stat : 6753 (java) S 6695 6698 466 0 -1 1077944384 3 13373 0 0 0 0 5 3 20 0 15 0 406182845 11079778304 12908 33554432000 4194304 4196468 140735999674800 139806730808080 139807157622485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6754] ppid=6695 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6698/task/6754/stat : 6754 (java) S 6695 6698 466 0 -1 1077944384 2 13373 0 0 0 0 5 3 20 0 15 0 406182845 11079778304 12908 33554432000 4194304 4196468 140735999674800 139806729755792 139807157622485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6755] ppid=6695 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6698/task/6755/stat : 6755 (java) S 6695 6698 466 0 -1 1077944384 1 13373 0 0 0 0 5 3 20 0 15 0 406182845 11079778304 12908 33554432000 4194304 4196468 140735999674800 139806728702992 139807157622485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6756] ppid=6695 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6698/task/6756/stat : 6756 (java) S 6695 6698 466 0 -1 1077944384 2 13373 0 0 0 0 5 3 20 0 15 0 406182847 11079778304 12908 33554432000 4194304 4196468 140735999674800 139806617086064 139807157623426 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6757] ppid=6695 vsize=10820096 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6698/task/6757/stat : 6757 (java) S 6695 6698 466 0 -1 1077944384 33 13373 0 0 0 0 5 3 20 0 15 0 406182847 11079778304 12908 33554432000 4194304 4196468 140735999674800 139806616032032 139807157622485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6758] ppid=6695 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6698/task/6758/stat : 6758 (java) S 6695 6698 466 0 -1 1077944384 1 13373 0 0 0 0 5 3 20 0 15 0 406182847 11079778304 12908 33554432000 4194304 4196468 140735999674800 139806487078000 139807157622485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6759] ppid=6695 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6698/task/6759/stat : 6759 (java) S 6695 6698 466 0 -1 1077944384 2 13373 0 0 0 0 5 3 20 0 15 0 406182850 11079778304 12908 33554432000 4194304 4196468 140735999674800 139805883099216 139807157630875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6760] ppid=6695 vsize=10820096 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/6698/task/6760/stat : 6760 (java) S 6695 6698 466 0 -1 1077944384 471 13373 0 0 1 0 5 3 20 0 15 0 406182850 11079778304 12908 33554432000 4194304 4196468 140735999674800 139806582475376 139807157623426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6761] ppid=6695 vsize=10820096 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/6698/task/6761/stat : 6761 (java) S 6695 6698 466 0 -1 1077944384 198 13373 0 0 1 0 5 3 20 0 15 0 406182850 11079778304 12908 33554432000 4194304 4196468 140735999674800 139806581422576 139807157623426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6762] ppid=6695 vsize=10820096 memory=139892441085568 CPUtime=0.13 cores=0,2,4,6
/proc/6698/task/6762/stat : 6762 (java) S 6695 6698 466 0 -1 1077944384 733 13373 0 0 5 0 5 3 20 0 15 0 406182850 11079778304 12908 33554432000 4194304 4196468 140735999674800 139806580370288 139807157623426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6763] ppid=6695 vsize=10820096 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6698/task/6763/stat : 6763 (java) S 6695 6698 466 0 -1 1077944384 3 13373 0 0 0 0 5 3 20 0 15 0 406182850 11079778304 12908 33554432000 4194304 4196468 140735999674800 139805413338080 139807157622485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6764] ppid=6695 vsize=10820096 memory=139892441085568 CPUtime=0.08 cores=0,2,4,6
/proc/6698/task/6764/stat : 6764 (java) S 6695 6698 466 0 -1 1077944384 1 13373 0 0 0 0 5 3 20 0 15 0 406182851 11079778304 12908 33554432000 4194304 4196468 140735999674800 139806579317168 139807157623426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820096 KiB
Current children cumulated memory: 51632 KiB
[startup+0.700726 s]
/proc/loadavg: 1.94 1.56 1.50 5/227 6764
/proc/meminfo: memFree=22736228/32770624 swapFree=67108848/67108860
[pid=6698] ppid=6695 vsize=10824340 memory=83584 CPUtime=1.14 cores=0,2,4,6
/proc/6698/stat : 6698 (java) S 6695 6698 466 0 -1 1077944320 15076 13373 0 0 101 5 5 3 20 0 15 0 406182835 11084124160 20896 33554432000 4194304 4196468 140735999674800 140735999657344 139807157612279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
/proc/6698/statm: 2706085 20896 3503 1 0 2668173 0
[pid=6698/tid=6751] ppid=6695 vsize=10824340 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/6698/task/6751/stat : 6751 (java) R 6695 6698 466 0 -1 4202560 10501 13373 0 0 55 4 5 3 20 0 15 0 406182845 11084124160 20896 33554432000 4194304 4196468 140735999674800 139807129439184 139807157634205 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6752] ppid=6695 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6698/task/6752/stat : 6752 (java) S 6695 6698 466 0 -1 1077944384 3 13373 0 0 0 0 5 3 20 0 15 0 406182845 11084124160 20896 33554432000 4194304 4196468 140735999674800 139807161854864 139807157622485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6753] ppid=6695 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6698/task/6753/stat : 6753 (java) S 6695 6698 466 0 -1 1077944384 3 13373 0 0 0 0 5 3 20 0 15 0 406182845 11084124160 20896 33554432000 4194304 4196468 140735999674800 139806730808080 139807157622485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6754] ppid=6695 vsize=10824340 memory=139892319465680 CPUtime=0.08 cores=0,2,4,6
/proc/6698/task/6754/stat : 6754 (java) S 6695 6698 466 0 -1 1077944384 2 13373 0 0 0 0 5 3 20 0 15 0 406182845 11084124160 20896 33554432000 4194304 4196468 140735999674800 139806729755792 139807157622485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6755] ppid=6695 vsize=10824340 memory=139895674765906 CPUtime=0.08 cores=0,2,4,6
/proc/6698/task/6755/stat : 6755 (java) S 6695 6698 466 0 -1 1077944384 1 13373 0 0 0 0 5 3 20 0 15 0 406182845 11084124160 20896 33554432000 4194304 4196468 140735999674800 139806728702992 139807157622485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6756] ppid=6695 vsize=10824340 memory=1840 CPUtime=0.08 cores=0,2,4,6
/proc/6698/task/6756/stat : 6756 (java) S 6695 6698 466 0 -1 1077944384 5 13373 0 0 0 0 5 3 20 0 15 0 406182847 11084124160 20896 33554432000 4194304 4196468 140735999674800 139806617086064 139807157623426 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6757] ppid=6695 vsize=10824340 memory=7302135314614015849 CPUtime=0.08 cores=0,2,4,6
/proc/6698/task/6757/stat : 6757 (java) S 6695 6698 466 0 -1 1077944384 33 13373 0 0 0 0 5 3 20 0 15 0 406182847 11084124160 20896 33554432000 4194304 4196468 140735999674800 139806616032032 139807157622485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6758] ppid=6695 vsize=10824340 memory=6010179516970067026 CPUtime=0.08 cores=0,2,4,6
/proc/6698/task/6758/stat : 6758 (java) S 6695 6698 466 0 -1 1077944384 1 13373 0 0 0 0 5 3 20 0 15 0 406182847 11084124160 20896 33554432000 4194304 4196468 140735999674800 139806487078000 139807157622485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6759] ppid=6695 vsize=10824340 memory=1100 CPUtime=0.08 cores=0,2,4,6
/proc/6698/task/6759/stat : 6759 (java) S 6695 6698 466 0 -1 1077944384 2 13373 0 0 0 0 5 3 20 0 15 0 406182850 11084124160 20896 33554432000 4194304 4196468 140735999674800 139805883099216 139807157630875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6760] ppid=6695 vsize=10824340 memory=15208 CPUtime=0.22 cores=0,2,4,6
/proc/6698/task/6760/stat : 6760 (java) S 6695 6698 466 0 -1 1077944384 876 13373 0 0 14 0 5 3 20 0 15 0 406182850 11084124160 20896 33554432000 4194304 4196468 140735999674800 139806582475376 139807157623426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6761] ppid=6695 vsize=10824340 memory=23052 CPUtime=0.2 cores=0,2,4,6
/proc/6698/task/6761/stat : 6761 (java) R 6695 6698 466 0 -1 4202560 443 13373 0 0 12 0 5 3 20 0 15 0 406182850 11084124160 20896 33554432000 4194304 4196468 140735999674800 139806581412960 139807143223312 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6762] ppid=6695 vsize=10824340 memory=4048 CPUtime=0.25 cores=0,2,4,6
/proc/6698/task/6762/stat : 6762 (java) S 6695 6698 466 0 -1 1077944384 996 13373 0 0 17 0 5 3 20 0 15 0 406182850 11084124160 20896 33554432000 4194304 4196468 140735999674800 139806580370288 139807157623426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6763] ppid=6695 vsize=10824340 memory=14288 CPUtime=0.08 cores=0,2,4,6
/proc/6698/task/6763/stat : 6763 (java) S 6695 6698 466 0 -1 1077944384 3 13373 0 0 0 0 5 3 20 0 15 0 406182850 11084124160 20896 33554432000 4194304 4196468 140735999674800 139805413338080 139807157622485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6764] ppid=6695 vsize=10824340 memory=504 CPUtime=0.08 cores=0,2,4,6
/proc/6698/task/6764/stat : 6764 (java) S 6695 6698 466 0 -1 1077944384 1 13373 0 0 0 0 5 3 20 0 15 0 406182851 11084124160 20896 33554432000 4194304 4196468 140735999674800 139806579317168 139807157623426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 83584 KiB
[startup+1.50078 s]
/proc/loadavg: 1.94 1.56 1.50 3/227 6764
/proc/meminfo: memFree=22689948/32770624 swapFree=67108848/67108860
[pid=6698] ppid=6695 vsize=10834656 memory=170468 CPUtime=2.5 cores=0,2,4,6
/proc/6698/stat : 6698 (java) S 6695 6698 466 0 -1 1077944320 22024 13373 0 0 233 9 5 3 20 0 15 0 406182835 11094687744 42617 33554432000 4194304 4196468 140735999674800 140735999657344 139807157612279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
/proc/6698/statm: 2708664 42617 3573 1 0 2670733 0
[pid=6698/tid=6751] ppid=6695 vsize=10834656 memory=167004 CPUtime=1.43 cores=0,2,4,6
/proc/6698/task/6751/stat : 6751 (java) R 6695 6698 466 0 -1 4202560 15511 13373 0 0 130 5 5 3 20 0 15 0 406182845 11094687744 42617 33554432000 4194304 4196468 140735999674800 139807129412688 139806761385168 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6752] ppid=6695 vsize=10834656 memory=2848 CPUtime=0.09 cores=0,2,4,6
/proc/6698/task/6752/stat : 6752 (java) S 6695 6698 466 0 -1 1077944384 32 13373 0 0 1 0 5 3 20 0 15 0 406182845 11094687744 42617 33554432000 4194304 4196468 140735999674800 139807161854864 139807157622485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6753] ppid=6695 vsize=10834656 memory=2376 CPUtime=0.08 cores=0,2,4,6
/proc/6698/task/6753/stat : 6753 (java) S 6695 6698 466 0 -1 1077944384 355 13373 0 0 0 0 5 3 20 0 15 0 406182845 11094687744 42617 33554432000 4194304 4196468 140735999674800 139806730808080 139807157622485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6754] ppid=6695 vsize=10834656 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/6698/task/6754/stat : 6754 (java) S 6695 6698 466 0 -1 1077944384 44 13373 0 0 1 0 5 3 20 0 15 0 406182845 11094687744 42617 33554432000 4194304 4196468 140735999674800 139806729755792 139807157622485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6755] ppid=6695 vsize=10834656 memory=7684413776151944361 CPUtime=0.09 cores=0,2,4,6
/proc/6698/task/6755/stat : 6755 (java) S 6695 6698 466 0 -1 1077944384 68 13373 0 0 1 0 5 3 20 0 15 0 406182845 11094687744 42617 33554432000 4194304 4196468 140735999674800 139806728702992 139807157622485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6756] ppid=6695 vsize=10834656 memory=-6010476260271675999 CPUtime=0.09 cores=0,2,4,6
/proc/6698/task/6756/stat : 6756 (java) S 6695 6698 466 0 -1 1077944384 141 13373 0 0 1 0 5 3 20 0 15 0 406182847 11094687744 42617 33554432000 4194304 4196468 140735999674800 139806617086064 139807157623426 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6757] ppid=6695 vsize=10834656 memory=3692216470037637019 CPUtime=0.08 cores=0,2,4,6
/proc/6698/task/6757/stat : 6757 (java) S 6695 6698 466 0 -1 1077944384 33 13373 0 0 0 0 5 3 20 0 15 0 406182847 11094687744 42617 33554432000 4194304 4196468 140735999674800 139806616032032 139807157622485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6758] ppid=6695 vsize=10834656 memory=3616448913277150529 CPUtime=0.08 cores=0,2,4,6
/proc/6698/task/6758/stat : 6758 (java) S 6695 6698 466 0 -1 1077944384 3 13373 0 0 0 0 5 3 20 0 15 0 406182847 11094687744 42617 33554432000 4194304 4196468 140735999674800 139806487078000 139807157622485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6759] ppid=6695 vsize=10834656 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6698/task/6759/stat : 6759 (java) S 6695 6698 466 0 -1 1077944384 2 13373 0 0 0 0 5 3 20 0 15 0 406182850 11094687744 42617 33554432000 4194304 4196468 140735999674800 139805883099216 139807157630875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6760] ppid=6695 vsize=10834656 memory=0 CPUtime=0.36 cores=0,2,4,6
/proc/6698/task/6760/stat : 6760 (java) S 6695 6698 466 0 -1 1077944384 1174 13373 0 0 28 0 5 3 20 0 15 0 406182850 11094687744 42617 33554432000 4194304 4196468 140735999674800 139806582475376 139807157623426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6761] ppid=6695 vsize=10834656 memory=4580 CPUtime=0.36 cores=0,2,4,6
/proc/6698/task/6761/stat : 6761 (java) S 6695 6698 466 0 -1 1077944384 861 13373 0 0 28 0 5 3 20 0 15 0 406182850 11094687744 42617 33554432000 4194304 4196468 140735999674800 139806581422576 139807157623426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6762] ppid=6695 vsize=10834656 memory=7878593803652785744 CPUtime=0.46 cores=0,2,4,6
/proc/6698/task/6762/stat : 6762 (java) R 6695 6698 466 0 -1 4202560 1590 13373 0 0 38 0 5 3 20 0 15 0 406182850 11094687744 42617 33554432000 4194304 4196468 140735999674800 139806580370288 139807157633626 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6763] ppid=6695 vsize=10834656 memory=6224067389248530513 CPUtime=0.08 cores=0,2,4,6
/proc/6698/task/6763/stat : 6763 (java) S 6695 6698 466 0 -1 1077944384 3 13373 0 0 0 0 5 3 20 0 15 0 406182850 11094687744 42617 33554432000 4194304 4196468 140735999674800 139805413338080 139807157622485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6764] ppid=6695 vsize=10834656 memory=7308612469127605867 CPUtime=0.08 cores=0,2,4,6
/proc/6698/task/6764/stat : 6764 (java) S 6695 6698 466 0 -1 1077944384 1 13373 0 0 0 0 5 3 20 0 15 0 406182851 11094687744 42617 33554432000 4194304 4196468 140735999674800 139806579317168 139807157623426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
Current children cumulated CPU time: 2.5 s
Current children cumulated vsize: 10834656 KiB
################
# More data... #
################
/proc/6698/task/6751/stat : 6751 (java) R 6695 6698 466 0 -1 4202560 60498 13373 0 0 236094 36 5 3 20 0 15 0 406182845 11109400576 163285 33554432000 4194304 4196468 140735999674800 139807129444240 139806774176839 0 4 0 16800975 0 0 0 -1 4 0 0 67 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6752] ppid=6695 vsize=10849024 memory=653140 CPUtime=8.87 cores=0,2,4,6
/proc/6698/task/6752/stat : 6752 (java) S 6695 6698 466 0 -1 1077944384 10558 13373 0 0 839 40 5 3 20 0 15 0 406182845 11109400576 163285 33554432000 4194304 4196468 140735999674800 139807161854864 139807157622485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6753] ppid=6695 vsize=10849024 memory=653140 CPUtime=8.87 cores=0,2,4,6
/proc/6698/task/6753/stat : 6753 (java) S 6695 6698 466 0 -1 1077944384 8808 13373 0 0 830 49 5 3 20 0 15 0 406182845 11109400576 163285 33554432000 4194304 4196468 140735999674800 139806730808080 139807157622485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6754] ppid=6695 vsize=10849024 memory=653140 CPUtime=8.86 cores=0,2,4,6
/proc/6698/task/6754/stat : 6754 (java) S 6695 6698 466 0 -1 1077944384 9793 13373 0 0 836 42 5 3 20 0 15 0 406182845 11109400576 163285 33554432000 4194304 4196468 140735999674800 139806729755792 139807157622485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6755] ppid=6695 vsize=10849024 memory=653140 CPUtime=8.86 cores=0,2,4,6
/proc/6698/task/6755/stat : 6755 (java) S 6695 6698 466 0 -1 1077944384 8029 13373 0 0 838 40 5 3 20 0 15 0 406182845 11109400576 163285 33554432000 4194304 4196468 140735999674800 139806728702992 139807157622485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6756] ppid=6695 vsize=10849024 memory=6628 CPUtime=7.88 cores=0,2,4,6
/proc/6698/task/6756/stat : 6756 (java) S 6695 6698 466 0 -1 1077944384 12491 13373 0 0 740 40 5 3 20 0 15 0 406182847 11109400576 163285 33554432000 4194304 4196468 140735999674800 139806617086064 139807157623426 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6757] ppid=6695 vsize=10849024 memory=653140 CPUtime=0.08 cores=0,2,4,6
/proc/6698/task/6757/stat : 6757 (java) S 6695 6698 466 0 -1 1077944384 38 13373 0 0 0 0 5 3 20 0 15 0 406182847 11109400576 163285 33554432000 4194304 4196468 140735999674800 139806616032096 139807157622485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6758] ppid=6695 vsize=10849024 memory=3924 CPUtime=0.08 cores=0,2,4,6
/proc/6698/task/6758/stat : 6758 (java) S 6695 6698 466 0 -1 1077944384 3 13373 0 0 0 0 5 3 20 0 15 0 406182847 11109400576 163285 33554432000 4194304 4196468 140735999674800 139806487078016 139807157622485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6759] ppid=6695 vsize=10849024 memory=8112282956445269571 CPUtime=0.08 cores=0,2,4,6
/proc/6698/task/6759/stat : 6759 (java) S 6695 6698 466 0 -1 1077944384 2 13373 0 0 0 0 5 3 20 0 15 0 406182850 11109400576 163285 33554432000 4194304 4196468 140735999674800 139805883099216 139807157630875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6760] ppid=6695 vsize=10849024 memory=2916 CPUtime=7.83 cores=0,2,4,6
/proc/6698/task/6760/stat : 6760 (java) S 6695 6698 466 0 -1 1077944384 31498 13373 0 0 768 7 5 3 20 0 15 0 406182850 11109400576 163285 33554432000 4194304 4196468 140735999674800 139806582475376 139807157623426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6761] ppid=6695 vsize=10849024 memory=653140 CPUtime=7.1 cores=0,2,4,6
/proc/6698/task/6761/stat : 6761 (java) S 6695 6698 466 0 -1 1077944384 31081 13373 0 0 695 7 5 3 20 0 15 0 406182850 11109400576 163285 33554432000 4194304 4196468 140735999674800 139806581422576 139807157623426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6762] ppid=6695 vsize=10849024 memory=651024 CPUtime=4.56 cores=0,2,4,6
/proc/6698/task/6762/stat : 6762 (java) S 6695 6698 466 0 -1 1077944384 27607 13373 0 0 441 7 5 3 20 0 15 0 406182850 11109400576 163285 33554432000 4194304 4196468 140735999674800 139806580370288 139807157623426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6763] ppid=6695 vsize=10849024 memory=653140 CPUtime=0.08 cores=0,2,4,6
/proc/6698/task/6763/stat : 6763 (java) S 6695 6698 466 0 -1 1077944384 3 13373 0 0 0 0 5 3 20 0 15 0 406182850 11109400576 163285 33554432000 4194304 4196468 140735999674800 139805413338080 139807157622485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6764] ppid=6695 vsize=10849024 memory=7168 CPUtime=1.4 cores=0,2,4,6
/proc/6698/task/6764/stat : 6764 (java) S 6695 6698 466 0 -1 1077944384 1600 13373 0 0 66 66 5 3 20 0 15 0 406182851 11109400576 163285 33554432000 4194304 4196468 140735999674800 139806579317168 139807157623426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
Current children cumulated CPU time: 2424.98 s
Current children cumulated vsize: 10849024 KiB
Current children cumulated memory: 653140 KiB
[startup+2442.3 s]
/proc/loadavg: 1.50 1.57 1.52 3/227 7657
/proc/meminfo: memFree=18926852/32770624 swapFree=67108848/67108860
[pid=6698] ppid=6695 vsize=10849024 memory=653656 CPUtime=2485.55 cores=0,2,4,6
/proc/6698/stat : 6698 (java) S 6695 6698 466 0 -1 1077944320 204869 13373 0 0 248261 286 5 3 20 0 15 0 406182835 11109400576 163414 33554432000 4194304 4196468 140735999674800 140735999657344 139807157612279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
/proc/6698/statm: 2712256 163414 3625 1 0 2674317 0
[pid=6698/tid=6751] ppid=6695 vsize=10849024 memory=653656 CPUtime=2420.94 cores=0,2,4,6
/proc/6698/task/6751/stat : 6751 (java) R 6695 6698 466 0 -1 4202560 60873 13373 0 0 242050 36 5 3 20 0 15 0 406182845 11109400576 163414 33554432000 4194304 4196468 140735999674800 139807129443840 139806765457015 0 4 0 16800975 0 0 0 -1 4 0 0 67 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6752] ppid=6695 vsize=10849024 memory=653656 CPUtime=9.06 cores=0,2,4,6
/proc/6698/task/6752/stat : 6752 (java) S 6695 6698 466 0 -1 1077944384 10567 13373 0 0 857 41 5 3 20 0 15 0 406182845 11109400576 163414 33554432000 4194304 4196468 140735999674800 139807161854864 139807157622485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6753] ppid=6695 vsize=10849024 memory=653656 CPUtime=9.06 cores=0,2,4,6
/proc/6698/task/6753/stat : 6753 (java) S 6695 6698 466 0 -1 1077944384 8819 13373 0 0 849 49 5 3 20 0 15 0 406182845 11109400576 163414 33554432000 4194304 4196468 140735999674800 139806730808080 139807157622485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6754] ppid=6695 vsize=10849024 memory=653656 CPUtime=9.06 cores=0,2,4,6
/proc/6698/task/6754/stat : 6754 (java) S 6695 6698 466 0 -1 1077944384 9803 13373 0 0 855 43 5 3 20 0 15 0 406182845 11109400576 163414 33554432000 4194304 4196468 140735999674800 139806729755792 139807157622485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6755] ppid=6695 vsize=10849024 memory=653656 CPUtime=9.05 cores=0,2,4,6
/proc/6698/task/6755/stat : 6755 (java) S 6695 6698 466 0 -1 1077944384 8123 13373 0 0 855 42 5 3 20 0 15 0 406182845 11109400576 163414 33554432000 4194304 4196468 140735999674800 139806728702992 139807157622485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6756] ppid=6695 vsize=10849024 memory=653656 CPUtime=8.06 cores=0,2,4,6
/proc/6698/task/6756/stat : 6756 (java) S 6695 6698 466 0 -1 1077944384 12624 13373 0 0 757 41 5 3 20 0 15 0 406182847 11109400576 163414 33554432000 4194304 4196468 140735999674800 139806617086064 139807157623426 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6757] ppid=6695 vsize=10849024 memory=653656 CPUtime=0.08 cores=0,2,4,6
/proc/6698/task/6757/stat : 6757 (java) S 6695 6698 466 0 -1 1077944384 38 13373 0 0 0 0 5 3 20 0 15 0 406182847 11109400576 163414 33554432000 4194304 4196468 140735999674800 139806616032096 139807157622485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6758] ppid=6695 vsize=10849024 memory=653656 CPUtime=0.08 cores=0,2,4,6
/proc/6698/task/6758/stat : 6758 (java) S 6695 6698 466 0 -1 1077944384 3 13373 0 0 0 0 5 3 20 0 15 0 406182847 11109400576 163414 33554432000 4194304 4196468 140735999674800 139806487078016 139807157622485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6759] ppid=6695 vsize=10849024 memory=3924 CPUtime=0.08 cores=0,2,4,6
/proc/6698/task/6759/stat : 6759 (java) S 6695 6698 466 0 -1 1077944384 2 13373 0 0 0 0 5 3 20 0 15 0 406182850 11109400576 163414 33554432000 4194304 4196468 140735999674800 139805883099216 139807157630875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6760] ppid=6695 vsize=10849024 memory=37900 CPUtime=7.83 cores=0,2,4,6
/proc/6698/task/6760/stat : 6760 (java) S 6695 6698 466 0 -1 1077944384 31500 13373 0 0 768 7 5 3 20 0 15 0 406182850 11109400576 163414 33554432000 4194304 4196468 140735999674800 139806582475376 139807157623426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6761] ppid=6695 vsize=10849024 memory=653656 CPUtime=7.1 cores=0,2,4,6
/proc/6698/task/6761/stat : 6761 (java) S 6695 6698 466 0 -1 1077944384 31083 13373 0 0 695 7 5 3 20 0 15 0 406182850 11109400576 163414 33554432000 4194304 4196468 140735999674800 139806581422576 139807157623426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6762] ppid=6695 vsize=10849024 memory=653656 CPUtime=4.56 cores=0,2,4,6
/proc/6698/task/6762/stat : 6762 (java) S 6695 6698 466 0 -1 1077944384 27609 13373 0 0 441 7 5 3 20 0 15 0 406182850 11109400576 163414 33554432000 4194304 4196468 140735999674800 139806580370288 139807157623426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6763] ppid=6695 vsize=10849024 memory=653656 CPUtime=0.08 cores=0,2,4,6
/proc/6698/task/6763/stat : 6763 (java) S 6695 6698 466 0 -1 1077944384 3 13373 0 0 0 0 5 3 20 0 15 0 406182850 11109400576 163414 33554432000 4194304 4196468 140735999674800 139805413338080 139807157622485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6764] ppid=6695 vsize=10849024 memory=653656 CPUtime=1.43 cores=0,2,4,6
/proc/6698/task/6764/stat : 6764 (java) S 6695 6698 466 0 -1 1077944384 1616 13373 0 0 68 67 5 3 20 0 15 0 406182851 11109400576 163414 33554432000 4194304 4196468 140735999674800 139806579317168 139807157623426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
Current children cumulated CPU time: 2485.55 s
Current children cumulated vsize: 10849024 KiB
Current children cumulated memory: 653656 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2476.5 s]
/proc/loadavg: 1.67 1.60 1.53 3/227 7660
/proc/meminfo: memFree=18975652/32770624 swapFree=67108848/67108860
[pid=6698] ppid=6695 vsize=10849024 memory=653668 CPUtime=2520.08 cores=0,2,4,6
/proc/6698/stat : 6698 (java) S 6695 6698 466 0 -1 1077944320 205790 13373 0 0 251712 288 5 3 20 0 15 0 406182835 11109400576 163417 33554432000 4194304 4196468 140735999674800 140735999657344 139807157612279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
/proc/6698/statm: 2712256 163417 3625 1 0 2674317 0
[pid=6698/tid=6751] ppid=6695 vsize=10849024 memory=653668 CPUtime=2454.87 cores=0,2,4,6
/proc/6698/task/6751/stat : 6751 (java) R 6695 6698 466 0 -1 4202560 61256 13373 0 0 245443 36 5 3 20 0 15 0 406182845 11109400576 163417 33554432000 4194304 4196468 140735999674800 139807129447104 139806772719104 0 4 0 16800975 0 0 0 -1 4 0 0 67 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6752] ppid=6695 vsize=10849024 memory=653668 CPUtime=9.19 cores=0,2,4,6
/proc/6698/task/6752/stat : 6752 (java) S 6695 6698 466 0 -1 1077944384 10588 13373 0 0 869 42 5 3 20 0 15 0 406182845 11109400576 163417 33554432000 4194304 4196468 140735999674800 139807161854864 139807157622485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6753] ppid=6695 vsize=10849024 memory=653668 CPUtime=9.18 cores=0,2,4,6
/proc/6698/task/6753/stat : 6753 (java) S 6695 6698 466 0 -1 1077944384 9082 13373 0 0 860 50 5 3 20 0 15 0 406182845 11109400576 163417 33554432000 4194304 4196468 140735999674800 139806730808080 139807157622485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6754] ppid=6695 vsize=10849024 memory=653668 CPUtime=9.17 cores=0,2,4,6
/proc/6698/task/6754/stat : 6754 (java) S 6695 6698 466 0 -1 1077944384 9817 13373 0 0 866 43 5 3 20 0 15 0 406182845 11109400576 163417 33554432000 4194304 4196468 140735999674800 139806729755792 139807157622485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6755] ppid=6695 vsize=10849024 memory=653668 CPUtime=9.17 cores=0,2,4,6
/proc/6698/task/6755/stat : 6755 (java) S 6695 6698 466 0 -1 1077944384 8192 13373 0 0 867 42 5 3 20 0 15 0 406182845 11109400576 163417 33554432000 4194304 4196468 140735999674800 139806728702992 139807157622485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6756] ppid=6695 vsize=10849024 memory=279784639429904 CPUtime=8.15 cores=0,2,4,6
/proc/6698/task/6756/stat : 6756 (java) S 6695 6698 466 0 -1 1077944384 12774 13373 0 0 766 41 5 3 20 0 15 0 406182847 11109400576 163417 33554432000 4194304 4196468 140735999674800 139806617086064 139807157623426 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6757] ppid=6695 vsize=10849024 memory=653668 CPUtime=0.08 cores=0,2,4,6
/proc/6698/task/6757/stat : 6757 (java) S 6695 6698 466 0 -1 1077944384 38 13373 0 0 0 0 5 3 20 0 15 0 406182847 11109400576 163417 33554432000 4194304 4196468 140735999674800 139806616032096 139807157622485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6758] ppid=6695 vsize=10849024 memory=653668 CPUtime=0.08 cores=0,2,4,6
/proc/6698/task/6758/stat : 6758 (java) S 6695 6698 466 0 -1 1077944384 3 13373 0 0 0 0 5 3 20 0 15 0 406182847 11109400576 163417 33554432000 4194304 4196468 140735999674800 139806487078016 139807157622485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6759] ppid=6695 vsize=10849024 memory=8112282956445269571 CPUtime=0.08 cores=0,2,4,6
/proc/6698/task/6759/stat : 6759 (java) S 6695 6698 466 0 -1 1077944384 2 13373 0 0 0 0 5 3 20 0 15 0 406182850 11109400576 163417 33554432000 4194304 4196468 140735999674800 139805883099216 139807157630875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6760] ppid=6695 vsize=10849024 memory=4872558044660077418 CPUtime=7.83 cores=0,2,4,6
/proc/6698/task/6760/stat : 6760 (java) S 6695 6698 466 0 -1 1077944384 31502 13373 0 0 768 7 5 3 20 0 15 0 406182850 11109400576 163417 33554432000 4194304 4196468 140735999674800 139806582475376 139807157623426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6761] ppid=6695 vsize=10849024 memory=653668 CPUtime=7.1 cores=0,2,4,6
/proc/6698/task/6761/stat : 6761 (java) S 6695 6698 466 0 -1 1077944384 31085 13373 0 0 695 7 5 3 20 0 15 0 406182850 11109400576 163417 33554432000 4194304 4196468 140735999674800 139806581422576 139807157623426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6762] ppid=6695 vsize=10849024 memory=653668 CPUtime=4.56 cores=0,2,4,6
/proc/6698/task/6762/stat : 6762 (java) S 6695 6698 466 0 -1 1077944384 27611 13373 0 0 441 7 5 3 20 0 15 0 406182850 11109400576 163417 33554432000 4194304 4196468 140735999674800 139806580370288 139807157623426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6763] ppid=6695 vsize=10849024 memory=653668 CPUtime=0.08 cores=0,2,4,6
/proc/6698/task/6763/stat : 6763 (java) S 6695 6698 466 0 -1 1077944384 3 13373 0 0 0 0 5 3 20 0 15 0 406182850 11109400576 163417 33554432000 4194304 4196468 140735999674800 139805413338080 139807157622485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6764] ppid=6695 vsize=10849024 memory=653668 CPUtime=1.45 cores=0,2,4,6
/proc/6698/task/6764/stat : 6764 (java) S 6695 6698 466 0 -1 1077944384 1631 13373 0 0 69 68 5 3 20 0 15 0 406182851 11109400576 163417 33554432000 4194304 4196468 140735999674800 139806579317168 139807157623426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10849024 KiB
Current children cumulated memory: 653668 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2476.53 s]
# the end of solver process 6698 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.2 s, system=2.92718 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2476.5 s]
/proc/loadavg: 1.67 1.60 1.53 3/227 7660
/proc/meminfo: memFree=18975652/32770624 swapFree=67108848/67108860
[pid=6698] ppid=6695 vsize=10849024 memory=653668 CPUtime=2520.08 cores=0,2,4,6
/proc/6698/stat : 6698 (java) S 6695 6698 466 0 -1 1077944320 205790 13373 0 0 251712 288 5 3 20 0 15 0 406182835 11109400576 163417 33554432000 4194304 4196468 140735999674800 140735999657344 139807157612279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
/proc/6698/statm: 2712256 163417 3625 1 0 2674317 0
[pid=6698/tid=6751] ppid=6695 vsize=10849024 memory=653668 CPUtime=2454.87 cores=0,2,4,6
/proc/6698/task/6751/stat : 6751 (java) R 6695 6698 466 0 -1 4202560 61256 13373 0 0 245443 36 5 3 20 0 15 0 406182845 11109400576 163417 33554432000 4194304 4196468 140735999674800 139807129447104 139806772719104 0 4 0 16800975 0 0 0 -1 4 0 0 67 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6752] ppid=6695 vsize=10849024 memory=653668 CPUtime=9.19 cores=0,2,4,6
/proc/6698/task/6752/stat : 6752 (java) S 6695 6698 466 0 -1 1077944384 10588 13373 0 0 869 42 5 3 20 0 15 0 406182845 11109400576 163417 33554432000 4194304 4196468 140735999674800 139807161854864 139807157622485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6753] ppid=6695 vsize=10849024 memory=653668 CPUtime=9.18 cores=0,2,4,6
/proc/6698/task/6753/stat : 6753 (java) S 6695 6698 466 0 -1 1077944384 9082 13373 0 0 860 50 5 3 20 0 15 0 406182845 11109400576 163417 33554432000 4194304 4196468 140735999674800 139806730808080 139807157622485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6754] ppid=6695 vsize=10849024 memory=653668 CPUtime=9.17 cores=0,2,4,6
/proc/6698/task/6754/stat : 6754 (java) S 6695 6698 466 0 -1 1077944384 9817 13373 0 0 866 43 5 3 20 0 15 0 406182845 11109400576 163417 33554432000 4194304 4196468 140735999674800 139806729755792 139807157622485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6755] ppid=6695 vsize=10849024 memory=653668 CPUtime=9.17 cores=0,2,4,6
/proc/6698/task/6755/stat : 6755 (java) S 6695 6698 466 0 -1 1077944384 8192 13373 0 0 867 42 5 3 20 0 15 0 406182845 11109400576 163417 33554432000 4194304 4196468 140735999674800 139806728702992 139807157622485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6756] ppid=6695 vsize=10849024 memory=279784639429904 CPUtime=8.15 cores=0,2,4,6
/proc/6698/task/6756/stat : 6756 (java) S 6695 6698 466 0 -1 1077944384 12774 13373 0 0 766 41 5 3 20 0 15 0 406182847 11109400576 163417 33554432000 4194304 4196468 140735999674800 139806617086064 139807157623426 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6757] ppid=6695 vsize=10849024 memory=653668 CPUtime=0.08 cores=0,2,4,6
/proc/6698/task/6757/stat : 6757 (java) S 6695 6698 466 0 -1 1077944384 38 13373 0 0 0 0 5 3 20 0 15 0 406182847 11109400576 163417 33554432000 4194304 4196468 140735999674800 139806616032096 139807157622485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6758] ppid=6695 vsize=10849024 memory=653668 CPUtime=0.08 cores=0,2,4,6
/proc/6698/task/6758/stat : 6758 (java) S 6695 6698 466 0 -1 1077944384 3 13373 0 0 0 0 5 3 20 0 15 0 406182847 11109400576 163417 33554432000 4194304 4196468 140735999674800 139806487078016 139807157622485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6759] ppid=6695 vsize=10849024 memory=8112282956445269571 CPUtime=0.08 cores=0,2,4,6
/proc/6698/task/6759/stat : 6759 (java) S 6695 6698 466 0 -1 1077944384 2 13373 0 0 0 0 5 3 20 0 15 0 406182850 11109400576 163417 33554432000 4194304 4196468 140735999674800 139805883099216 139807157630875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6760] ppid=6695 vsize=10849024 memory=4872558044660077418 CPUtime=7.83 cores=0,2,4,6
/proc/6698/task/6760/stat : 6760 (java) S 6695 6698 466 0 -1 1077944384 31502 13373 0 0 768 7 5 3 20 0 15 0 406182850 11109400576 163417 33554432000 4194304 4196468 140735999674800 139806582475376 139807157623426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6761] ppid=6695 vsize=10849024 memory=653668 CPUtime=7.1 cores=0,2,4,6
/proc/6698/task/6761/stat : 6761 (java) S 6695 6698 466 0 -1 1077944384 31085 13373 0 0 695 7 5 3 20 0 15 0 406182850 11109400576 163417 33554432000 4194304 4196468 140735999674800 139806581422576 139807157623426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6762] ppid=6695 vsize=10849024 memory=653668 CPUtime=4.56 cores=0,2,4,6
/proc/6698/task/6762/stat : 6762 (java) S 6695 6698 466 0 -1 1077944384 27611 13373 0 0 441 7 5 3 20 0 15 0 406182850 11109400576 163417 33554432000 4194304 4196468 140735999674800 139806580370288 139807157623426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6763] ppid=6695 vsize=10849024 memory=653668 CPUtime=0.08 cores=0,2,4,6
/proc/6698/task/6763/stat : 6763 (java) S 6695 6698 466 0 -1 1077944384 3 13373 0 0 0 0 5 3 20 0 15 0 406182850 11109400576 163417 33554432000 4194304 4196468 140735999674800 139805413338080 139807157622485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
[pid=6698/tid=6764] ppid=6695 vsize=10849024 memory=653668 CPUtime=1.45 cores=0,2,4,6
/proc/6698/task/6764/stat : 6764 (java) S 6695 6698 466 0 -1 1077944384 1631 13373 0 0 69 68 5 3 20 0 15 0 406182851 11109400576 163417 33554432000 4194304 4196468 140735999674800 139806579317168 139807157623426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14696448 140735999679221 140735999681733 140735999681733 140735999684559 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10849024 KiB
Current children cumulated memory: 653668 KiB
Child status: 143
Real time (s): 2476.53
CPU time (s): 2520.12
CPU user time (s): 2517.2
CPU system time (s): 2.92718
CPU usage (%): 101.76
Max. virtual memory (cumulated for all children) (KiB): 10851996
Max. memory (cumulated for all children) (KiB): 653928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.2
system time used= 2.92718
maximum resident set size= 657804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 220198
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 245502
involuntary context switches= 8617
# summary of solver processes directly reported to runsolver:
# pid: 6698
# total CPU time (s): 2520.12
# total CPU user time (s): 2517.2
# total CPU system time (s): 2.92718
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5517 second user time and 24.1378 second system time
The end