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 (11955 MiB free)
memory of node 1: 16384 MiB (10909 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294536-1532470613/watcher-4294536-1532470613 -o /tmp/evaluation-result-4294536-1532470613/solver-4294536-1532470613 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532470571-27174 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=643073162 -superng HOME/instance-4294536-1532470613.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=27788, runsolver pid=27785
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 1.86 1.27 1.12 3/206 27845
/proc/meminfo: memFree=23408580/32770624 swapFree=67108860/67108860
[pid=27788] ppid=27785 vsize=9972712 memory=18860 CPUtime=0.08 cores=1,3,5,7
/proc/27788/stat : 27788 (java) S 27785 27788 27142 0 -1 1077944320 4377 13184 0 0 1 0 4 3 20 0 6 0 64624503 10212057088 4715 33554432000 4194304 4196468 140728909793184 140728909775728 139663297810167 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
/proc/27788/statm: 2493178 4715 1934 1 0 2481616 0
[pid=27788/tid=27841] ppid=27785 vsize=9972712 memory=4279135703913235855 CPUtime=0.07 cores=1,3,5,7
/proc/27788/task/27841/stat : 27841 (java) R 27785 27788 27142 0 -1 4202560 2185 13184 0 0 0 0 4 3 20 0 6 0 64624512 10212057088 4715 33554432000 4194304 4196468 140728909793184 139663269646928 139663297832093 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27842] ppid=27785 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27788/task/27842/stat : 27842 (java) S 27785 27788 27142 0 -1 1077944384 1 13184 0 0 0 0 4 3 20 0 6 0 64624513 10212057088 4715 33554432000 4194304 4196468 140728909793184 139663302052496 139663297820373 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27843] ppid=27785 vsize=9972712 memory=140284184839808 CPUtime=0.07 cores=1,3,5,7
/proc/27788/task/27843/stat : 27843 (java) S 27785 27788 27142 0 -1 1077944384 1 13184 0 0 0 0 4 3 20 0 6 0 64624513 10212057088 4715 33554432000 4194304 4196468 140728909793184 139663216871952 139663297820373 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27844] ppid=27785 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27788/task/27844/stat : 27844 (java) S 27785 27788 27142 0 -1 1077944384 1 13184 0 0 0 0 4 3 20 0 6 0 64624513 10212057088 4715 33554432000 4194304 4196468 140728909793184 139663215819152 139663297820373 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27845] ppid=27785 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/27788/task/27845/stat : 27845 (java) S 27785 27788 27142 0 -1 1077944384 2 13184 0 0 0 0 4 3 20 0 6 0 64624513 10212057088 4715 33554432000 4194304 4196468 140728909793184 139663214766352 139663297820373 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18860 KiB
[startup+0.210674 s]*
/proc/loadavg: 1.86 1.27 1.12 3/215 27854
/proc/meminfo: memFree=23385848/32770624 swapFree=67108860/67108860
[pid=27788] ppid=27785 vsize=10818904 memory=45352 CPUtime=0.25 cores=1,3,5,7
/proc/27788/stat : 27788 (java) S 27785 27788 27142 0 -1 1077944320 9240 13184 0 0 16 2 4 3 20 0 15 0 64624503 11078557696 11338 33554432000 4194304 4196468 140728909793184 140728909775728 139663297810167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
/proc/27788/statm: 2704734 11338 2936 1 0 2667157 0
[pid=27788/tid=27841] ppid=27785 vsize=10818936 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/27788/task/27841/stat : 27841 (java) R 27785 27788 27142 0 -1 4202560 5896 13184 0 0 10 1 4 3 20 0 15 0 64624512 11078590464 11338 33554432000 4194304 4196468 140728909793184 139663269634976 139663290489885 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27842] ppid=27785 vsize=10818936 memory=364 CPUtime=0.07 cores=1,3,5,7
/proc/27788/task/27842/stat : 27842 (java) S 27785 27788 27142 0 -1 1077944384 1 13184 0 0 0 0 4 3 20 0 15 0 64624513 11078590464 11338 33554432000 4194304 4196468 140728909793184 139663302052496 139663297820373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27843] ppid=27785 vsize=10818936 memory=140284184866762 CPUtime=0.07 cores=1,3,5,7
/proc/27788/task/27843/stat : 27843 (java) S 27785 27788 27142 0 -1 1077944384 1 13184 0 0 0 0 4 3 20 0 15 0 64624513 11078590464 11338 33554432000 4194304 4196468 140728909793184 139663216871952 139663297820373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27844] ppid=27785 vsize=10818936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27788/task/27844/stat : 27844 (java) S 27785 27788 27142 0 -1 1077944384 1 13184 0 0 0 0 4 3 20 0 15 0 64624513 11078590464 11338 33554432000 4194304 4196468 140728909793184 139663215819152 139663297820373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27845] ppid=27785 vsize=10818936 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/27788/task/27845/stat : 27845 (java) S 27785 27788 27142 0 -1 1077944384 2 13184 0 0 0 0 4 3 20 0 15 0 64624513 11078590464 11338 33554432000 4194304 4196468 140728909793184 139663214766352 139663297820373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27846] ppid=27785 vsize=10818936 memory=140284184839808 CPUtime=0.07 cores=1,3,5,7
/proc/27788/task/27846/stat : 27846 (java) S 27785 27788 27142 0 -1 1077944384 2 13184 0 0 0 0 4 3 20 0 15 0 64624514 11078590464 11338 33554432000 4194304 4196468 140728909793184 139662824237936 139663297821314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27847] ppid=27785 vsize=10818936 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/27788/task/27847/stat : 27847 (java) S 27785 27788 27142 0 -1 1077944384 13 13184 0 0 0 0 4 3 20 0 15 0 64624514 11078590464 11338 33554432000 4194304 4196468 140728909793184 139662739891744 139663297820373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27848] ppid=27785 vsize=10818936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27788/task/27848/stat : 27848 (java) S 27785 27788 27142 0 -1 1077944384 1 13184 0 0 0 0 4 3 20 0 15 0 64624515 11078590464 11338 33554432000 4194304 4196468 140728909793184 139662135911792 139663297820373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27849] ppid=27785 vsize=10818936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27788/task/27849/stat : 27849 (java) S 27785 27788 27142 0 -1 1077944384 3 13184 0 0 0 0 4 3 20 0 15 0 64624517 11078590464 11338 33554432000 4194304 4196468 140728909793184 139661828512080 139663297828763 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27850] ppid=27785 vsize=10818936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27788/task/27850/stat : 27850 (java) S 27785 27788 27142 0 -1 1077944384 513 13184 0 0 1 0 4 3 20 0 15 0 64624517 11078590464 11338 33554432000 4194304 4196468 140728909793184 139662823184752 139663297821314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27851] ppid=27785 vsize=10818936 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/27788/task/27851/stat : 27851 (java) S 27785 27788 27142 0 -1 1077944384 57 13184 0 0 0 0 4 3 20 0 15 0 64624517 11078590464 11338 33554432000 4194304 4196468 140728909793184 139662822131952 139663297821314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27852] ppid=27785 vsize=10818936 memory=140284184839808 CPUtime=0.1 cores=1,3,5,7
/proc/27788/task/27852/stat : 27852 (java) S 27785 27788 27142 0 -1 1077944384 567 13184 0 0 3 0 4 3 20 0 15 0 64624517 11078590464 11338 33554432000 4194304 4196468 140728909793184 139662821079152 139663297821314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27853] ppid=27785 vsize=10818936 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/27788/task/27853/stat : 27853 (java) S 27785 27788 27142 0 -1 1077944384 3 13184 0 0 0 0 4 3 20 0 15 0 64624517 11078590464 11338 33554432000 4194304 4196468 140728909793184 139661794953440 139663297820373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27854] ppid=27785 vsize=10818904 memory=140284184839808 CPUtime=0.07 cores=1,3,5,7
/proc/27788/task/27854/stat : 27854 (java) S 27785 27788 27142 0 -1 1077944384 1 13184 0 0 0 0 4 3 20 0 15 0 64624518 11078557696 11338 33554432000 4194304 4196468 140728909793184 139662820027568 139663297821314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 45352 KiB
[startup+0.310317 s]*
/proc/loadavg: 1.86 1.27 1.12 4/215 27854
/proc/meminfo: memFree=23372824/32770624 swapFree=67108860/67108860
[pid=27788] ppid=27785 vsize=10819352 memory=53228 CPUtime=0.38 cores=1,3,5,7
/proc/27788/stat : 27788 (java) S 27785 27788 27142 0 -1 1077944320 10445 13184 0 0 28 3 4 3 20 0 15 0 64624503 11079016448 13307 33554432000 4194304 4196468 140728909793184 140728909775728 139663297810167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
/proc/27788/statm: 2704838 13307 3055 1 0 2667149 0
[pid=27788/tid=27841] ppid=27785 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/27788/task/27841/stat : 27841 (java) R 27785 27788 27142 0 -1 4202560 7085 13184 0 0 19 2 4 3 20 0 15 0 64624512 11079016448 13307 33554432000 4194304 4196468 140728909793184 139663269622176 139663290047294 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27842] ppid=27785 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27788/task/27842/stat : 27842 (java) S 27785 27788 27142 0 -1 1077944384 1 13184 0 0 0 0 4 3 20 0 15 0 64624513 11079016448 13307 33554432000 4194304 4196468 140728909793184 139663302052496 139663297820373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27843] ppid=27785 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27788/task/27843/stat : 27843 (java) S 27785 27788 27142 0 -1 1077944384 1 13184 0 0 0 0 4 3 20 0 15 0 64624513 11079016448 13307 33554432000 4194304 4196468 140728909793184 139663216871952 139663297820373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27844] ppid=27785 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27788/task/27844/stat : 27844 (java) S 27785 27788 27142 0 -1 1077944384 1 13184 0 0 0 0 4 3 20 0 15 0 64624513 11079016448 13307 33554432000 4194304 4196468 140728909793184 139663215819152 139663297820373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27845] ppid=27785 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27788/task/27845/stat : 27845 (java) S 27785 27788 27142 0 -1 1077944384 2 13184 0 0 0 0 4 3 20 0 15 0 64624513 11079016448 13307 33554432000 4194304 4196468 140728909793184 139663214766352 139663297820373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27846] ppid=27785 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27788/task/27846/stat : 27846 (java) S 27785 27788 27142 0 -1 1077944384 2 13184 0 0 0 0 4 3 20 0 15 0 64624514 11079016448 13307 33554432000 4194304 4196468 140728909793184 139662824237936 139663297821314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27847] ppid=27785 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/27788/task/27847/stat : 27847 (java) S 27785 27788 27142 0 -1 1077944384 13 13184 0 0 0 0 4 3 20 0 15 0 64624514 11079016448 13307 33554432000 4194304 4196468 140728909793184 139662739891744 139663297820373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27848] ppid=27785 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27788/task/27848/stat : 27848 (java) S 27785 27788 27142 0 -1 1077944384 1 13184 0 0 0 0 4 3 20 0 15 0 64624515 11079016448 13307 33554432000 4194304 4196468 140728909793184 139662135911792 139663297820373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27849] ppid=27785 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27788/task/27849/stat : 27849 (java) S 27785 27788 27142 0 -1 1077944384 3 13184 0 0 0 0 4 3 20 0 15 0 64624517 11079016448 13307 33554432000 4194304 4196468 140728909793184 139661828512080 139663297828763 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27850] ppid=27785 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27788/task/27850/stat : 27850 (java) S 27785 27788 27142 0 -1 1077944384 513 13184 0 0 1 0 4 3 20 0 15 0 64624517 11079016448 13307 33554432000 4194304 4196468 140728909793184 139662823184752 139663297821314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27851] ppid=27785 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/27788/task/27851/stat : 27851 (java) S 27785 27788 27142 0 -1 1077944384 58 13184 0 0 1 0 4 3 20 0 15 0 64624517 11079016448 13307 33554432000 4194304 4196468 140728909793184 139662822131952 139663297821314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27852] ppid=27785 vsize=10819352 memory=140284184839808 CPUtime=0.12 cores=1,3,5,7
/proc/27788/task/27852/stat : 27852 (java) S 27785 27788 27142 0 -1 1077944384 575 13184 0 0 5 0 4 3 20 0 15 0 64624517 11079016448 13307 33554432000 4194304 4196468 140728909793184 139662821079152 139663297821314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27853] ppid=27785 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/27788/task/27853/stat : 27853 (java) S 27785 27788 27142 0 -1 1077944384 3 13184 0 0 0 0 4 3 20 0 15 0 64624517 11079016448 13307 33554432000 4194304 4196468 140728909793184 139661794953440 139663297820373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27854] ppid=27785 vsize=10819352 memory=140284184839808 CPUtime=0.07 cores=1,3,5,7
/proc/27788/task/27854/stat : 27854 (java) S 27785 27788 27142 0 -1 1077944384 1 13184 0 0 0 0 4 3 20 0 15 0 64624518 11079016448 13307 33554432000 4194304 4196468 140728909793184 139662820027568 139663297821314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 53228 KiB
[startup+0.700765 s]
/proc/loadavg: 1.86 1.27 1.12 3/215 27854
/proc/meminfo: memFree=23363644/32770624 swapFree=67108860/67108860
[pid=27788] ppid=27785 vsize=10819352 memory=86512 CPUtime=0.97 cores=1,3,5,7
/proc/27788/stat : 27788 (java) S 27785 27788 27142 0 -1 1077944320 16761 13184 0 0 86 4 4 3 20 0 15 0 64624503 11079016448 21628 33554432000 4194304 4196468 140728909793184 140728909775728 139663297810167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
/proc/27788/statm: 2704838 21628 3237 1 0 2667149 0
[pid=27788/tid=27841] ppid=27785 vsize=10819352 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/27788/task/27841/stat : 27841 (java) R 27785 27788 27142 0 -1 4202560 12330 13184 0 0 56 3 4 3 20 0 15 0 64624512 11079016448 21628 33554432000 4194304 4196468 140728909793184 139663269630992 139663282975753 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27842] ppid=27785 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27788/task/27842/stat : 27842 (java) S 27785 27788 27142 0 -1 1077944384 1 13184 0 0 0 0 4 3 20 0 15 0 64624513 11079016448 21628 33554432000 4194304 4196468 140728909793184 139663302052496 139663297820373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27843] ppid=27785 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27788/task/27843/stat : 27843 (java) S 27785 27788 27142 0 -1 1077944384 1 13184 0 0 0 0 4 3 20 0 15 0 64624513 11079016448 21628 33554432000 4194304 4196468 140728909793184 139663216871952 139663297820373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27844] ppid=27785 vsize=10819352 memory=140284033905456 CPUtime=0.07 cores=1,3,5,7
/proc/27788/task/27844/stat : 27844 (java) S 27785 27788 27142 0 -1 1077944384 1 13184 0 0 0 0 4 3 20 0 15 0 64624513 11079016448 21628 33554432000 4194304 4196468 140728909793184 139663215819152 139663297820373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27845] ppid=27785 vsize=10819352 memory=140286516789841 CPUtime=0.07 cores=1,3,5,7
/proc/27788/task/27845/stat : 27845 (java) S 27785 27788 27142 0 -1 1077944384 2 13184 0 0 0 0 4 3 20 0 15 0 64624513 11079016448 21628 33554432000 4194304 4196468 140728909793184 139663214766352 139663297820373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27846] ppid=27785 vsize=10819352 memory=1624 CPUtime=0.07 cores=1,3,5,7
/proc/27788/task/27846/stat : 27846 (java) S 27785 27788 27142 0 -1 1077944384 5 13184 0 0 0 0 4 3 20 0 15 0 64624514 11079016448 21628 33554432000 4194304 4196468 140728909793184 139662824237936 139663297821314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27847] ppid=27785 vsize=10819352 memory=4639098309541127270 CPUtime=0.07 cores=1,3,5,7
/proc/27788/task/27847/stat : 27847 (java) S 27785 27788 27142 0 -1 1077944384 13 13184 0 0 0 0 4 3 20 0 15 0 64624514 11079016448 21628 33554432000 4194304 4196468 140728909793184 139662739891744 139663297820373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27848] ppid=27785 vsize=10819352 memory=7885635084775281009 CPUtime=0.07 cores=1,3,5,7
/proc/27788/task/27848/stat : 27848 (java) S 27785 27788 27142 0 -1 1077944384 1 13184 0 0 0 0 4 3 20 0 15 0 64624515 11079016448 21628 33554432000 4194304 4196468 140728909793184 139662135911792 139663297820373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27849] ppid=27785 vsize=10819352 memory=12556 CPUtime=0.07 cores=1,3,5,7
/proc/27788/task/27849/stat : 27849 (java) S 27785 27788 27142 0 -1 1077944384 3 13184 0 0 0 0 4 3 20 0 15 0 64624517 11079016448 21628 33554432000 4194304 4196468 140728909793184 139661828512080 139663297828763 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27850] ppid=27785 vsize=10819352 memory=4052 CPUtime=0.16 cores=1,3,5,7
/proc/27788/task/27850/stat : 27850 (java) S 27785 27788 27142 0 -1 1077944384 1113 13184 0 0 9 0 4 3 20 0 15 0 64624517 11079016448 21628 33554432000 4194304 4196468 140728909793184 139662823184752 139663297821314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27851] ppid=27785 vsize=10819352 memory=18444 CPUtime=0.14 cores=1,3,5,7
/proc/27788/task/27851/stat : 27851 (java) S 27785 27788 27142 0 -1 1077944384 439 13184 0 0 7 0 4 3 20 0 15 0 64624517 11079016448 21628 33554432000 4194304 4196468 140728909793184 139662822131952 139663297821314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27852] ppid=27785 vsize=10819352 memory=640 CPUtime=0.19 cores=1,3,5,7
/proc/27788/task/27852/stat : 27852 (java) S 27785 27788 27142 0 -1 1077944384 661 13184 0 0 12 0 4 3 20 0 15 0 64624517 11079016448 21628 33554432000 4194304 4196468 140728909793184 139662821079152 139663297821314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27853] ppid=27785 vsize=10819352 memory=1784 CPUtime=0.07 cores=1,3,5,7
/proc/27788/task/27853/stat : 27853 (java) S 27785 27788 27142 0 -1 1077944384 3 13184 0 0 0 0 4 3 20 0 15 0 64624517 11079016448 21628 33554432000 4194304 4196468 140728909793184 139661794953440 139663297820373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27854] ppid=27785 vsize=10819352 memory=1236 CPUtime=0.07 cores=1,3,5,7
/proc/27788/task/27854/stat : 27854 (java) S 27785 27788 27142 0 -1 1077944384 1 13184 0 0 0 0 4 3 20 0 15 0 64624518 11079016448 21628 33554432000 4194304 4196468 140728909793184 139662820027568 139663297821314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86512 KiB
[startup+1.50071 s]
/proc/loadavg: 1.86 1.27 1.12 5/215 27854
/proc/meminfo: memFree=23296096/32770624 swapFree=67108860/67108860
[pid=27788] ppid=27785 vsize=10834252 memory=198288 CPUtime=2.63 cores=1,3,5,7
/proc/27788/stat : 27788 (java) S 27785 27788 27142 0 -1 1077944320 24242 13184 0 0 245 11 4 3 20 0 15 0 64624503 11094274048 49572 33554432000 4194304 4196468 140728909793184 140728909775728 139663297810167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
/proc/27788/statm: 2708563 49572 3480 1 0 2670221 0
[pid=27788/tid=27841] ppid=27785 vsize=10834252 memory=63212 CPUtime=1.42 cores=1,3,5,7
/proc/27788/task/27841/stat : 27841 (java) R 27785 27788 27142 0 -1 4202560 17115 13184 0 0 129 6 4 3 20 0 15 0 64624512 11094274048 49572 33554432000 4194304 4196468 140728909793184 139663269627328 139663283505152 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27842] ppid=27785 vsize=10834252 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/27788/task/27842/stat : 27842 (java) S 27785 27788 27142 0 -1 1077944384 17 13184 0 0 1 0 4 3 20 0 15 0 64624513 11094274048 49572 33554432000 4194304 4196468 140728909793184 139663302052496 139663297820373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27843] ppid=27785 vsize=10834252 memory=280568067842208 CPUtime=0.08 cores=1,3,5,7
/proc/27788/task/27843/stat : 27843 (java) S 27785 27788 27142 0 -1 1077944384 178 13184 0 0 1 0 4 3 20 0 15 0 64624513 11094274048 49572 33554432000 4194304 4196468 140728909793184 139663216871952 139663297820373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27844] ppid=27785 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27788/task/27844/stat : 27844 (java) S 27785 27788 27142 0 -1 1077944384 23 13184 0 0 1 0 4 3 20 0 15 0 64624513 11094274048 49572 33554432000 4194304 4196468 140728909793184 139663215819152 139663297820373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27845] ppid=27785 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27788/task/27845/stat : 27845 (java) S 27785 27788 27142 0 -1 1077944384 71 13184 0 0 1 0 4 3 20 0 15 0 64624513 11094274048 49572 33554432000 4194304 4196468 140728909793184 139663214766352 139663297820373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27846] ppid=27785 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27788/task/27846/stat : 27846 (java) S 27785 27788 27142 0 -1 1077944384 59 13184 0 0 1 0 4 3 20 0 15 0 64624514 11094274048 49572 33554432000 4194304 4196468 140728909793184 139662824237936 139663297821314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27847] ppid=27785 vsize=10834252 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27788/task/27847/stat : 27847 (java) S 27785 27788 27142 0 -1 1077944384 14 13184 0 0 0 0 4 3 20 0 15 0 64624514 11094274048 49572 33554432000 4194304 4196468 140728909793184 139662739891808 139663297820373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27848] ppid=27785 vsize=10834252 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27788/task/27848/stat : 27848 (java) S 27785 27788 27142 0 -1 1077944384 1 13184 0 0 0 0 4 3 20 0 15 0 64624515 11094274048 49572 33554432000 4194304 4196468 140728909793184 139662135911808 139663297820373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27849] ppid=27785 vsize=10834252 memory=-5921431000321636112 CPUtime=0.07 cores=1,3,5,7
/proc/27788/task/27849/stat : 27849 (java) S 27785 27788 27142 0 -1 1077944384 3 13184 0 0 0 0 4 3 20 0 15 0 64624517 11094274048 49572 33554432000 4194304 4196468 140728909793184 139661828512080 139663297828763 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27850] ppid=27785 vsize=10834252 memory=0 CPUtime=0.4 cores=1,3,5,7
/proc/27788/task/27850/stat : 27850 (java) R 27785 27788 27142 0 -1 4202560 1838 13184 0 0 33 0 4 3 20 0 15 0 64624517 11094274048 49572 33554432000 4194304 4196468 140728909793184 139662823184752 139663279354827 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27851] ppid=27785 vsize=10834252 memory=0 CPUtime=0.39 cores=1,3,5,7
/proc/27788/task/27851/stat : 27851 (java) S 27785 27788 27142 0 -1 1077944384 1065 13184 0 0 32 0 4 3 20 0 15 0 64624517 11094274048 49572 33554432000 4194304 4196468 140728909793184 139662822131952 139663297821314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27852] ppid=27785 vsize=10834252 memory=6791534058613427641 CPUtime=0.49 cores=1,3,5,7
/proc/27788/task/27852/stat : 27852 (java) S 27785 27788 27142 0 -1 1077944384 1667 13184 0 0 42 0 4 3 20 0 15 0 64624517 11094274048 49572 33554432000 4194304 4196468 140728909793184 139662821079152 139663297821314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27853] ppid=27785 vsize=10834252 memory=4638778398332698720 CPUtime=0.07 cores=1,3,5,7
/proc/27788/task/27853/stat : 27853 (java) S 27785 27788 27142 0 -1 1077944384 3 13184 0 0 0 0 4 3 20 0 15 0 64624517 11094274048 49572 33554432000 4194304 4196468 140728909793184 139661794953440 139663297820373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27854] ppid=27785 vsize=10834252 memory=280568068086656 CPUtime=0.07 cores=1,3,5,7
/proc/27788/task/27854/stat : 27854 (java) S 27785 27788 27142 0 -1 1077944384 1 13184 0 0 0 0 4 3 20 0 15 0 64624518 11094274048 49572 33554432000 4194304 4196468 140728909793184 139662820027568 139663297821314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
Current children cumulated CPU time: 2.63 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
[startup+3.11035 s]
/proc/loadavg: 1.86 1.27 1.12 6/215 27854
/proc/meminfo: memFree=23157320/32770624 swapFree=67108860/67108860
[pid=27788] ppid=27785 vsize=10844512 memory=259408 CPUtime=6.38 cores=1,3,5,7
/proc/27788/stat : 27788 (java) S 27785 27788 27142 0 -1 1077944320 39635 13184 0 0 616 15 4 3 20 0 15 0 64624503 11104780288 64852 33554432000 4194304 4196468 140728909793184 140728909775728 139663297810167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
/proc/27788/statm: 2711128 64852 3499 1 0 2672781 0
[pid=27788/tid=27841] ppid=27785 vsize=10844512 memory=218000 CPUtime=3.02 cores=1,3,5,7
/proc/27788/task/27841/stat : 27841 (java) R 27785 27788 27142 0 -1 4202560 27084 13184 0 0 286 9 4 3 20 0 15 0 64624512 11104780288 64852 33554432000 4194304 4196468 140728909793184 139663269643312 139663281853797 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27842] ppid=27785 vsize=10844512 memory=220760 CPUtime=0.08 cores=1,3,5,7
/proc/27788/task/27842/stat : 27842 (java) S 27785 27788 27142 0 -1 1077944384 17 13184 0 0 1 0 4 3 20 0 15 0 64624513 11104780288 64852 33554432000 4194304 4196468 140728909793184 139663302052496 139663297820373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27843] ppid=27785 vsize=10844512 memory=280568067706112 CPUtime=0.08 cores=1,3,5,7
/proc/27788/task/27843/stat : 27843 (java) S 27785 27788 27142 0 -1 1077944384 178 13184 0 0 1 0 4 3 20 0 15 0 64624513 11104780288 64852 33554432000 4194304 4196468 140728909793184 139663216871952 139663297820373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27844] ppid=27785 vsize=10844512 memory=1788518336001 CPUtime=0.08 cores=1,3,5,7
/proc/27788/task/27844/stat : 27844 (java) S 27785 27788 27142 0 -1 1077944384 23 13184 0 0 1 0 4 3 20 0 15 0 64624513 11104780288 64852 33554432000 4194304 4196468 140728909793184 139663215819152 139663297820373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27845] ppid=27785 vsize=10844512 memory=1891597551105 CPUtime=0.08 cores=1,3,5,7
/proc/27788/task/27845/stat : 27845 (java) S 27785 27788 27142 0 -1 1077944384 71 13184 0 0 1 0 4 3 20 0 15 0 64624513 11104780288 64852 33554432000 4194304 4196468 140728909793184 139663214766352 139663297820373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27846] ppid=27785 vsize=10844512 memory=280568067673040 CPUtime=0.08 cores=1,3,5,7
/proc/27788/task/27846/stat : 27846 (java) S 27785 27788 27142 0 -1 1077944384 60 13184 0 0 1 0 4 3 20 0 15 0 64624514 11104780288 64852 33554432000 4194304 4196468 140728909793184 139662824237936 139663297821314 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27847] ppid=27785 vsize=10844512 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27788/task/27847/stat : 27847 (java) S 27785 27788 27142 0 -1 1077944384 14 13184 0 0 0 0 4 3 20 0 15 0 64624514 11104780288 64852 33554432000 4194304 4196468 140728909793184 139662739891808 139663297820373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27848] ppid=27785 vsize=10844512 memory=-2897801490638248215 CPUtime=0.07 cores=1,3,5,7
/proc/27788/task/27848/stat : 27848 (java) S 27785 27788 27142 0 -1 1077944384 1 13184 0 0 0 0 4 3 20 0 15 0 64624515 11104780288 64852 33554432000 4194304 4196468 140728909793184 139662135911808 139663297820373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27849] ppid=27785 vsize=10844512 memory=6944656592387989600 CPUtime=0.07 cores=1,3,5,7
/proc/27788/task/27849/stat : 27849 (java) S 27785 27788 27142 0 -1 1077944384 3 13184 0 0 0 0 4 3 20 0 15 0 64624517 11104780288 64852 33554432000 4194304 4196468 140728909793184 139661828512080 139663297828763 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27850] ppid=27785 vsize=10844512 memory=6944656592455359580 CPUtime=0.94 cores=1,3,5,7
/proc/27788/task/27850/stat : 27850 (java) R 27785 27788 27142 0 -1 4202560 2199 13184 0 0 86 1 4 3 20 0 15 0 64624517 11104780288 64852 33554432000 4194304 4196468 140728909793184 139662823184752 139663275976648 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27851] ppid=27785 vsize=10844512 memory=280568067655392 CPUtime=1.29 cores=1,3,5,7
/proc/27788/task/27851/stat : 27851 (java) R 27785 27788 27142 0 -1 4202560 3730 13184 0 0 122 0 4 3 20 0 15 0 64624517 11104780288 64852 33554432000 4194304 4196468 140728909793184 139662822116736 139663281306951 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27852] ppid=27785 vsize=10844512 memory=280568067662112 CPUtime=1.21 cores=1,3,5,7
/proc/27788/task/27852/stat : 27852 (java) S 27785 27788 27142 0 -1 1077944384 4065 13184 0 0 113 1 4 3 20 0 15 0 64624517 11104780288 64852 33554432000 4194304 4196468 140728909793184 139662821079152 139663297821314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27853] ppid=27785 vsize=10844512 memory=56 CPUtime=0.07 cores=1,3,5,7
/proc/27788/task/27853/stat : 27853 (java) S 27785 27788 27142 0 -1 1077944384 3 13184 0 0 0 0 4 3 20 0 15 0 64624517 11104780288 64852 33554432000 4194304 4196468 140728909793184 139661794953440 139663297820373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27854] ppid=27785 vsize=10844512 memory=7674468198577627200 CPUtime=0.07 cores=1,3,5,7
/proc/27788/task/27854/stat : 27854 (java) S 27785 27788 27142 0 -1 1077944384 1 13184 0 0 0 0 4 3 20 0 15 0 64624518 11104780288 64852 33554432000 4194304 4196468 140728909793184 139662820027568 139663297821314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
Current children cumulated CPU time: 6.38 s
Current children cumulated vsize: 10844512 KiB
Current children cumulated memory: 259408 KiB
[startup+6.30078 s]
/proc/loadavg: 1.87 1.28 1.13 7/215 27854
/proc/meminfo: memFree=23034368/32770624 swapFree=67108860/67108860
[pid=27788] ppid=27785 vsize=10916192 memory=371828 CPUtime=15.9 cores=1,3,5,7
/proc/27788/stat : 27788 (java) S 27785 27788 27142 0 -1 1077944320 74926 13184 0 0 1557 26 4 3 20 0 15 0 64624503 11178180608 92957 33554432000 4194304 4196468 140728909793184 140728909775728 139663297810167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
/proc/27788/statm: 2729048 92957 3521 1 0 2690701 0
[pid=27788/tid=27841] ppid=27785 vsize=10916192 memory=371820 CPUtime=6.13 cores=1,3,5,7
/proc/27788/task/27841/stat : 27841 (java) R 27785 27788 27142 0 -1 4202560 45187 13184 0 0 593 13 4 3 20 0 15 0 64624512 11178180608 92957 33554432000 4194304 4196468 140728909793184 139663269640544 139662900136895 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27842] ppid=27785 vsize=10916192 memory=4 CPUtime=0.11 cores=1,3,5,7
/proc/27788/task/27842/stat : 27842 (java) S 27785 27788 27142 0 -1 1077944384 80 13184 0 0 4 0 4 3 20 0 15 0 64624513 11178180608 92957 33554432000 4194304 4196468 140728909793184 139663302052496 139663297820373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27843] ppid=27785 vsize=10916192 memory=4 CPUtime=0.11 cores=1,3,5,7
/proc/27788/task/27843/stat : 27843 (java) S 27785 27788 27142 0 -1 1077944384 334 13184 0 0 4 0 4 3 20 0 15 0 64624513 11178180608 92957 33554432000 4194304 4196468 140728909793184 139663216871952 139663297820373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27844] ppid=27785 vsize=10916192 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/27788/task/27844/stat : 27844 (java) S 27785 27788 27142 0 -1 1077944384 93 13184 0 0 4 0 4 3 20 0 15 0 64624513 11178180608 92957 33554432000 4194304 4196468 140728909793184 139663215819152 139663297820373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27845] ppid=27785 vsize=10916192 memory=7306316804797196914 CPUtime=0.11 cores=1,3,5,7
/proc/27788/task/27845/stat : 27845 (java) S 27785 27788 27142 0 -1 1077944384 271 13184 0 0 4 0 4 3 20 0 15 0 64624513 11178180608 92957 33554432000 4194304 4196468 140728909793184 139663214766352 139663297820373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27846] ppid=27785 vsize=10916192 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/27788/task/27846/stat : 27846 (java) S 27785 27788 27142 0 -1 1077944384 4591 13184 0 0 4 0 4 3 20 0 15 0 64624514 11178180608 92957 33554432000 4194304 4196468 140728909793184 139662824237936 139663297821314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27847] ppid=27785 vsize=10916192 memory=4612 CPUtime=0.07 cores=1,3,5,7
/proc/27788/task/27847/stat : 27847 (java) S 27785 27788 27142 0 -1 1077944384 14 13184 0 0 0 0 4 3 20 0 15 0 64624514 11178180608 92957 33554432000 4194304 4196468 140728909793184 139662739891808 139663297820373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27848] ppid=27785 vsize=10916192 memory=8392 CPUtime=0.07 cores=1,3,5,7
/proc/27788/task/27848/stat : 27848 (java) S 27785 27788 27142 0 -1 1077944384 1 13184 0 0 0 0 4 3 20 0 15 0 64624515 11178180608 92957 33554432000 4194304 4196468 140728909793184 139662135911808 139663297820373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27849] ppid=27785 vsize=10916192 memory=1624 CPUtime=0.07 cores=1,3,5,7
/proc/27788/task/27849/stat : 27849 (java) S 27785 27788 27142 0 -1 1077944384 3 13184 0 0 0 0 4 3 20 0 15 0 64624517 11178180608 92957 33554432000 4194304 4196468 140728909793184 139661828512080 139663297828763 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27850] ppid=27785 vsize=10916192 memory=1200 CPUtime=3.54 cores=1,3,5,7
/proc/27788/task/27850/stat : 27850 (java) R 27785 27788 27142 0 -1 4202560 7556 13184 0 0 343 4 4 3 20 0 15 0 64624517 11178180608 92957 33554432000 4194304 4196468 140728909793184 139662823166464 139663279353890 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27851] ppid=27785 vsize=10916192 memory=0 CPUtime=3.95 cores=1,3,5,7
/proc/27788/task/27851/stat : 27851 (java) R 27785 27788 27142 0 -1 4202560 7284 13184 0 0 387 1 4 3 20 0 15 0 64624517 11178180608 92957 33554432000 4194304 4196468 140728909793184 139662822115904 139663278985968 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27852] ppid=27785 vsize=10916192 memory=4420 CPUtime=2.19 cores=1,3,5,7
/proc/27788/task/27852/stat : 27852 (java) S 27785 27788 27142 0 -1 1077944384 7317 13184 0 0 210 2 4 3 20 0 15 0 64624517 11178180608 92957 33554432000 4194304 4196468 140728909793184 139662821079152 139663297821314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27853] ppid=27785 vsize=10916192 memory=6628 CPUtime=0.07 cores=1,3,5,7
/proc/27788/task/27853/stat : 27853 (java) S 27785 27788 27142 0 -1 1077944384 3 13184 0 0 0 0 4 3 20 0 15 0 64624517 11178180608 92957 33554432000 4194304 4196468 140728909793184 139661794953440 139663297820373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27854] ppid=27785 vsize=10916192 memory=8836 CPUtime=0.07 cores=1,3,5,7
/proc/27788/task/27854/stat : 27854 (java) S 27785 27788 27142 0 -1 1077944384 9 13184 0 0 0 0 4 3 20 0 15 0 64624518 11178180608 92957 33554432000 4194304 4196468 140728909793184 139662820027568 139663297821314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
Current children cumulated CPU time: 15.9 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 371828 KiB
[startup+6.57941 s]
# the end of solver process 27788 was just reported to runsolver
# cumulated CPU time of all completed processes: user=16.3941 s, system=0.312323 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.4009 s]
/proc/loadavg: 1.87 1.28 1.13 7/215 27854
/proc/meminfo: memFree=23034368/32770624 swapFree=67108860/67108860
[pid=27788] ppid=27785 vsize=10916192 memory=371828 CPUtime=16.21 cores=1,3,5,7
/proc/27788/stat : 27788 (java) S 27785 27788 27142 0 -1 1077944320 75033 13184 0 0 1588 26 4 3 20 0 15 0 64624503 11178180608 92957 33554432000 4194304 4196468 140728909793184 140728909775728 139663297810167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
/proc/27788/statm: 2729048 92957 3521 1 0 2690701 0
[pid=27788/tid=27841] ppid=27785 vsize=10916192 memory=6944656592455360604 CPUtime=6.23 cores=1,3,5,7
/proc/27788/task/27841/stat : 27841 (java) R 27785 27788 27142 0 -1 4202560 45193 13184 0 0 603 13 4 3 20 0 15 0 64624512 11178180608 92957 33554432000 4194304 4196468 140728909793184 139663269640544 139662909878530 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27842] ppid=27785 vsize=10916192 memory=8514726395714820750 CPUtime=0.11 cores=1,3,5,7
/proc/27788/task/27842/stat : 27842 (java) S 27785 27788 27142 0 -1 1077944384 80 13184 0 0 4 0 4 3 20 0 15 0 64624513 11178180608 92957 33554432000 4194304 4196468 140728909793184 139663302052496 139663297820373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27843] ppid=27785 vsize=10916192 memory=-8689539942354613440 CPUtime=0.11 cores=1,3,5,7
/proc/27788/task/27843/stat : 27843 (java) S 27785 27788 27142 0 -1 1077944384 334 13184 0 0 4 0 4 3 20 0 15 0 64624513 11178180608 92957 33554432000 4194304 4196468 140728909793184 139663216871952 139663297820373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27844] ppid=27785 vsize=10916192 memory=-8253362664378451622 CPUtime=0.11 cores=1,3,5,7
/proc/27788/task/27844/stat : 27844 (java) S 27785 27788 27142 0 -1 1077944384 93 13184 0 0 4 0 4 3 20 0 15 0 64624513 11178180608 92957 33554432000 4194304 4196468 140728909793184 139663215819152 139663297820373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27845] ppid=27785 vsize=10916192 memory=7 CPUtime=0.11 cores=1,3,5,7
/proc/27788/task/27845/stat : 27845 (java) S 27785 27788 27142 0 -1 1077944384 271 13184 0 0 4 0 4 3 20 0 15 0 64624513 11178180608 92957 33554432000 4194304 4196468 140728909793184 139663214766352 139663297820373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27846] ppid=27785 vsize=10916192 memory=7 CPUtime=0.11 cores=1,3,5,7
/proc/27788/task/27846/stat : 27846 (java) S 27785 27788 27142 0 -1 1077944384 4591 13184 0 0 4 0 4 3 20 0 15 0 64624514 11178180608 92957 33554432000 4194304 4196468 140728909793184 139662824237936 139663297821314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27847] ppid=27785 vsize=10916192 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/27788/task/27847/stat : 27847 (java) S 27785 27788 27142 0 -1 1077944384 14 13184 0 0 0 0 4 3 20 0 15 0 64624514 11178180608 92957 33554432000 4194304 4196468 140728909793184 139662739891808 139663297820373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27848] ppid=27785 vsize=10916192 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/27788/task/27848/stat : 27848 (java) S 27785 27788 27142 0 -1 1077944384 1 13184 0 0 0 0 4 3 20 0 15 0 64624515 11178180608 92957 33554432000 4194304 4196468 140728909793184 139662135911808 139663297820373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27849] ppid=27785 vsize=10916192 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/27788/task/27849/stat : 27849 (java) S 27785 27788 27142 0 -1 1077944384 3 13184 0 0 0 0 4 3 20 0 15 0 64624517 11178180608 92957 33554432000 4194304 4196468 140728909793184 139661828512080 139663297828763 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27850] ppid=27785 vsize=10916192 memory=7 CPUtime=3.64 cores=1,3,5,7
/proc/27788/task/27850/stat : 27850 (java) R 27785 27788 27142 0 -1 4202560 7625 13184 0 0 353 4 4 3 20 0 15 0 64624517 11178180608 92957 33554432000 4194304 4196468 140728909793184 139662823165584 139663282732124 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27851] ppid=27785 vsize=10916192 memory=6791534058613427641 CPUtime=4.05 cores=1,3,5,7
/proc/27788/task/27851/stat : 27851 (java) R 27785 27788 27142 0 -1 4202560 7302 13184 0 0 397 1 4 3 20 0 15 0 64624517 11178180608 92957 33554432000 4194304 4196468 140728909793184 139662822115904 139663282927334 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27852] ppid=27785 vsize=10916192 memory=6080802196407996497 CPUtime=2.19 cores=1,3,5,7
/proc/27788/task/27852/stat : 27852 (java) S 27785 27788 27142 0 -1 1077944384 7327 13184 0 0 210 2 4 3 20 0 15 0 64624517 11178180608 92957 33554432000 4194304 4196468 140728909793184 139662821079152 139663297821314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27853] ppid=27785 vsize=10916192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27788/task/27853/stat : 27853 (java) S 27785 27788 27142 0 -1 1077944384 3 13184 0 0 0 0 4 3 20 0 15 0 64624517 11178180608 92957 33554432000 4194304 4196468 140728909793184 139661794953440 139663297820373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27854] ppid=27785 vsize=10916192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27788/task/27854/stat : 27854 (java) S 27785 27788 27142 0 -1 1077944384 9 13184 0 0 0 0 4 3 20 0 15 0 64624518 11178180608 92957 33554432000 4194304 4196468 140728909793184 139662820027568 139663297821314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
Current children cumulated CPU time: 16.21 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 371828 KiB
[startup+6.50514 s]
/proc/loadavg: 1.87 1.28 1.13 7/215 27854
/proc/meminfo: memFree=23034368/32770624 swapFree=67108860/67108860
[pid=27788] ppid=27785 vsize=10916192 memory=371872 CPUtime=16.52 cores=1,3,5,7
/proc/27788/stat : 27788 (java) S 27785 27788 27142 0 -1 1077944320 75189 13184 0 0 1619 26 4 3 20 0 15 0 64624503 11178180608 92968 33554432000 4194304 4196468 140728909793184 140728909775728 139663297810167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
/proc/27788/statm: 2729048 92968 3521 1 0 2690701 0
[pid=27788/tid=27841] ppid=27785 vsize=10916192 memory=371820 CPUtime=6.33 cores=1,3,5,7
/proc/27788/task/27841/stat : 27841 (java) R 27785 27788 27142 0 -1 4202560 45296 13184 0 0 613 13 4 3 20 0 15 0 64624512 11178180608 92968 33554432000 4194304 4196468 140728909793184 139663269643536 139663281853797 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27842] ppid=27785 vsize=10916192 memory=4 CPUtime=0.11 cores=1,3,5,7
/proc/27788/task/27842/stat : 27842 (java) S 27785 27788 27142 0 -1 1077944384 80 13184 0 0 4 0 4 3 20 0 15 0 64624513 11178180608 92968 33554432000 4194304 4196468 140728909793184 139663302052496 139663297820373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27843] ppid=27785 vsize=10916192 memory=4 CPUtime=0.11 cores=1,3,5,7
/proc/27788/task/27843/stat : 27843 (java) S 27785 27788 27142 0 -1 1077944384 334 13184 0 0 4 0 4 3 20 0 15 0 64624513 11178180608 92968 33554432000 4194304 4196468 140728909793184 139663216871952 139663297820373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27844] ppid=27785 vsize=10916192 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/27788/task/27844/stat : 27844 (java) S 27785 27788 27142 0 -1 1077944384 93 13184 0 0 4 0 4 3 20 0 15 0 64624513 11178180608 92968 33554432000 4194304 4196468 140728909793184 139663215819152 139663297820373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27845] ppid=27785 vsize=10916192 memory=7306316804797196914 CPUtime=0.11 cores=1,3,5,7
/proc/27788/task/27845/stat : 27845 (java) S 27785 27788 27142 0 -1 1077944384 271 13184 0 0 4 0 4 3 20 0 15 0 64624513 11178180608 92968 33554432000 4194304 4196468 140728909793184 139663214766352 139663297820373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27846] ppid=27785 vsize=10916192 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/27788/task/27846/stat : 27846 (java) S 27785 27788 27142 0 -1 1077944384 4604 13184 0 0 4 0 4 3 20 0 15 0 64624514 11178180608 92968 33554432000 4194304 4196468 140728909793184 139662824237936 139663297821314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27847] ppid=27785 vsize=10916192 memory=4612 CPUtime=0.07 cores=1,3,5,7
/proc/27788/task/27847/stat : 27847 (java) S 27785 27788 27142 0 -1 1077944384 14 13184 0 0 0 0 4 3 20 0 15 0 64624514 11178180608 92968 33554432000 4194304 4196468 140728909793184 139662739891808 139663297820373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27848] ppid=27785 vsize=10916192 memory=8392 CPUtime=0.07 cores=1,3,5,7
/proc/27788/task/27848/stat : 27848 (java) S 27785 27788 27142 0 -1 1077944384 1 13184 0 0 0 0 4 3 20 0 15 0 64624515 11178180608 92968 33554432000 4194304 4196468 140728909793184 139662135911808 139663297820373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27849] ppid=27785 vsize=10916192 memory=1624 CPUtime=0.07 cores=1,3,5,7
/proc/27788/task/27849/stat : 27849 (java) S 27785 27788 27142 0 -1 1077944384 3 13184 0 0 0 0 4 3 20 0 15 0 64624517 11178180608 92968 33554432000 4194304 4196468 140728909793184 139661828512080 139663297828763 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27850] ppid=27785 vsize=10916192 memory=1200 CPUtime=3.73 cores=1,3,5,7
/proc/27788/task/27850/stat : 27850 (java) S 27785 27788 27142 0 -1 1077944384 7643 13184 0 0 362 4 4 3 20 0 15 0 64624517 11178180608 92968 33554432000 4194304 4196468 140728909793184 139662823184752 139663297821314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27851] ppid=27785 vsize=10916192 memory=0 CPUtime=4.15 cores=1,3,5,7
/proc/27788/task/27851/stat : 27851 (java) R 27785 27788 27142 0 -1 4202560 7310 13184 0 0 407 1 4 3 20 0 15 0 64624517 11178180608 92968 33554432000 4194304 4196468 140728909793184 139662822120544 139663282552343 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27852] ppid=27785 vsize=10916192 memory=4420 CPUtime=2.21 cores=1,3,5,7
/proc/27788/task/27852/stat : 27852 (java) S 27785 27788 27142 0 -1 1077944384 7341 13184 0 0 212 2 4 3 20 0 15 0 64624517 11178180608 92968 33554432000 4194304 4196468 140728909793184 139662821079152 139663297821314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27853] ppid=27785 vsize=10916192 memory=6628 CPUtime=0.07 cores=1,3,5,7
/proc/27788/task/27853/stat : 27853 (java) S 27785 27788 27142 0 -1 1077944384 3 13184 0 0 0 0 4 3 20 0 15 0 64624517 11178180608 92968 33554432000 4194304 4196468 140728909793184 139661794953440 139663297820373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
[pid=27788/tid=27854] ppid=27785 vsize=10916192 memory=8836 CPUtime=0.07 cores=1,3,5,7
/proc/27788/task/27854/stat : 27854 (java) S 27785 27788 27142 0 -1 1077944384 9 13184 0 0 0 0 4 3 20 0 15 0 64624518 11178180608 92968 33554432000 4194304 4196468 140728909793184 139662820027568 139663297821314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37400576 140728909801644 140728909804892 140728909804892 140728909807567 0
Current children cumulated CPU time: 16.52 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 371872 KiB
Child status: 0
Real time (s): 6.57946
CPU time (s): 16.7065
CPU user time (s): 16.3941
CPU system time (s): 0.312323
CPU usage (%): 253.919
Max. virtual memory (cumulated for all children) (KiB): 10916192
Max. memory (cumulated for all children) (KiB): 371872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.3941
system time used= 0.312323
maximum resident set size= 374284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88746
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8420
involuntary context switches= 57
# summary of solver processes directly reported to runsolver:
# pid: 27788
# total CPU time (s): 16.7065
# total CPU user time (s): 16.3941
# total CPU system time (s): 0.312323
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.049075 second user time and 0.114939 second system time
The end