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 (8592 MiB free)
memory of node 1: 16384 MiB (10791 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294706-1532481934/watcher-4294706-1532481934 -o /tmp/evaluation-result-4294706-1532481934/solver-4294706-1532481934 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532466433-19937 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=135187924 HOME/instance-4294706-1532481934.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=23634, runsolver pid=23631
[startup+0.10012 s]*
/proc/loadavg: 1.26 1.35 1.38 3/210 23691
/proc/meminfo: memFree=19842464/32770624 swapFree=67108860/67108860
[pid=23634] ppid=23631 vsize=9972712 memory=15436 CPUtime=0.09 cores=1,3,5,7
/proc/23634/stat : 23634 (java) S 23631 23634 19905 0 -1 1077944320 4501 13117 0 0 1 0 5 3 20 0 6 0 65756574 10212057088 3859 33554432000 4194304 4196468 140733426139216 140733426121760 140015796199159 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
/proc/23634/statm: 2493178 3859 1957 1 0 2481616 0
[pid=23634/tid=23687] ppid=23631 vsize=9972712 memory=4628411388058700198 CPUtime=0.09 cores=1,3,5,7
/proc/23634/task/23687/stat : 23687 (java) R 23631 23634 19905 0 -1 4202560 2312 13117 0 0 1 0 5 3 20 0 6 0 65756583 10212057088 3859 33554432000 4194304 4196468 140733426139216 140015768035920 140015780279646 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23688] ppid=23631 vsize=9972712 memory=5793855313330403769 CPUtime=0.08 cores=1,3,5,7
/proc/23634/task/23688/stat : 23688 (java) S 23631 23634 19905 0 -1 1077944384 2 13117 0 0 0 0 5 3 20 0 6 0 65756584 10212057088 3859 33554432000 4194304 4196468 140733426139216 140015800433552 140015796209365 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23689] ppid=23631 vsize=9978880 memory=140062320510592 CPUtime=0.08 cores=1,3,5,7
/proc/23634/task/23689/stat : 23689 (java) S 23631 23634 19905 0 -1 1077944384 1 13117 0 0 0 0 5 3 20 0 6 0 65756584 10218373120 3859 33554432000 4194304 4196468 140733426139216 140015734483728 140015796209365 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23690] ppid=23631 vsize=9984680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23634/task/23690/stat : 23690 (java) S 23631 23634 19905 0 -1 1077944384 1 13117 0 0 0 0 5 3 20 0 6 0 65756584 10224312320 3859 33554432000 4194304 4196468 140733426139216 140015367982224 140015796209365 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23691] ppid=23631 vsize=9988792 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23634/task/23691/stat : 23691 (java) S 23631 23634 19905 0 -1 1077944384 1 13117 0 0 0 0 5 3 20 0 6 0 65756584 10228523008 3859 33554432000 4194304 4196468 140733426139216 140015366929424 140015796209365 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 15436 KiB
[startup+0.210022 s]*
/proc/loadavg: 1.26 1.35 1.38 3/219 23700
/proc/meminfo: memFree=19825016/32770624 swapFree=67108860/67108860
[pid=23634] ppid=23631 vsize=10818904 memory=39720 CPUtime=0.26 cores=1,3,5,7
/proc/23634/stat : 23634 (java) S 23631 23634 19905 0 -1 1077944320 8823 13117 0 0 17 1 5 3 20 0 15 0 65756574 11078557696 9930 33554432000 4194304 4196468 140733426139216 140733426121760 140015796199159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
/proc/23634/statm: 2704726 9930 2955 1 0 2667149 0
[pid=23634/tid=23687] ppid=23631 vsize=10818936 memory=-8540663193526752614 CPUtime=0.2 cores=1,3,5,7
/proc/23634/task/23687/stat : 23687 (java) R 23631 23634 19905 0 -1 4202560 5401 13117 0 0 11 1 5 3 20 0 15 0 65756583 11078590464 9995 33554432000 4194304 4196468 140733426139216 140015768023968 140015788878877 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23688] ppid=23631 vsize=10818936 memory=4211973788525301130 CPUtime=0.08 cores=1,3,5,7
/proc/23634/task/23688/stat : 23688 (java) S 23631 23634 19905 0 -1 1077944384 2 13117 0 0 0 0 5 3 20 0 15 0 65756584 11078590464 10061 33554432000 4194304 4196468 140733426139216 140015800433552 140015796209365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23689] ppid=23631 vsize=10818936 memory=140062320510592 CPUtime=0.08 cores=1,3,5,7
/proc/23634/task/23689/stat : 23689 (java) S 23631 23634 19905 0 -1 1077944384 1 13117 0 0 0 0 5 3 20 0 15 0 65756584 11078590464 10061 33554432000 4194304 4196468 140733426139216 140015734483728 140015796209365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23690] ppid=23631 vsize=10818936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23634/task/23690/stat : 23690 (java) S 23631 23634 19905 0 -1 1077944384 1 13117 0 0 0 0 5 3 20 0 15 0 65756584 11078590464 10061 33554432000 4194304 4196468 140733426139216 140015367982224 140015796209365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23691] ppid=23631 vsize=10818936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23634/task/23691/stat : 23691 (java) S 23631 23634 19905 0 -1 1077944384 1 13117 0 0 0 0 5 3 20 0 15 0 65756584 11078590464 10061 33554432000 4194304 4196468 140733426139216 140015366929424 140015796209365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23692] ppid=23631 vsize=10818936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23634/task/23692/stat : 23692 (java) S 23631 23634 19905 0 -1 1077944384 2 13117 0 0 0 0 5 3 20 0 15 0 65756585 11078590464 10127 33554432000 4194304 4196468 140733426139216 140015255386224 140015796210306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23693] ppid=23631 vsize=10818936 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23634/task/23693/stat : 23693 (java) S 23631 23634 19905 0 -1 1077944384 33 13117 0 0 0 0 5 3 20 0 15 0 65756585 11078590464 10127 33554432000 4194304 4196468 140733426139216 140015254332192 140015796209365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23694] ppid=23631 vsize=10818936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23634/task/23694/stat : 23694 (java) S 23631 23634 19905 0 -1 1077944384 1 13117 0 0 0 0 5 3 20 0 15 0 65756586 11078590464 10127 33554432000 4194304 4196468 140733426139216 140014658774128 140015796209365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23695] ppid=23631 vsize=10818936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23634/task/23695/stat : 23695 (java) S 23631 23634 19905 0 -1 1077944384 3 13117 0 0 0 0 5 3 20 0 15 0 65756588 11078590464 10193 33554432000 4194304 4196468 140733426139216 140014351374416 140015796217755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23696] ppid=23631 vsize=10818936 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/23634/task/23696/stat : 23696 (java) S 23631 23634 19905 0 -1 1077944384 438 13117 0 0 1 0 5 3 20 0 15 0 65756588 11078590464 10193 33554432000 4194304 4196468 140733426139216 140015220775536 140015796210306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23697] ppid=23631 vsize=10818936 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/23634/task/23697/stat : 23697 (java) S 23631 23634 19905 0 -1 1077944384 195 13117 0 0 1 0 5 3 20 0 15 0 65756588 11078590464 10193 33554432000 4194304 4196468 140733426139216 140015219722736 140015796210306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23698] ppid=23631 vsize=10818936 memory=140062320510592 CPUtime=0.11 cores=1,3,5,7
/proc/23634/task/23698/stat : 23698 (java) S 23631 23634 19905 0 -1 1077944384 663 13117 0 0 3 0 5 3 20 0 15 0 65756588 11078590464 10259 33554432000 4194304 4196468 140733426139216 140015218670448 140015796210306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23699] ppid=23631 vsize=10818936 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23634/task/23699/stat : 23699 (java) S 23631 23634 19905 0 -1 1077944384 3 13117 0 0 0 0 5 3 20 0 15 0 65756588 11078590464 10259 33554432000 4194304 4196468 140733426139216 140014317816800 140015796209365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23700] ppid=23631 vsize=10818936 memory=140062320510592 CPUtime=0.08 cores=1,3,5,7
/proc/23634/task/23700/stat : 23700 (java) S 23631 23634 19905 0 -1 1077944384 1 13117 0 0 0 0 5 3 20 0 15 0 65756589 11078590464 10259 33554432000 4194304 4196468 140733426139216 140015217617328 140015796210306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 39720 KiB
[startup+0.310564 s]*
/proc/loadavg: 1.26 1.35 1.38 3/219 23700
/proc/meminfo: memFree=19811796/32770624 swapFree=67108860/67108860
[pid=23634] ppid=23631 vsize=10819352 memory=50448 CPUtime=0.39 cores=1,3,5,7
/proc/23634/stat : 23634 (java) S 23631 23634 19905 0 -1 1077944320 10714 13117 0 0 29 2 5 3 20 0 15 0 65756574 11079016448 12612 33554432000 4194304 4196468 140733426139216 140733426121760 140015796199159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
/proc/23634/statm: 2704838 12612 3102 1 0 2667149 0
[pid=23634/tid=23687] ppid=23631 vsize=10819352 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/23634/task/23687/stat : 23687 (java) R 23631 23634 19905 0 -1 4202560 7147 13117 0 0 20 1 5 3 20 0 15 0 65756583 11079016448 12612 33554432000 4194304 4196468 140733426139216 140015768011168 140015789299076 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23688] ppid=23631 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23634/task/23688/stat : 23688 (java) S 23631 23634 19905 0 -1 1077944384 2 13117 0 0 0 0 5 3 20 0 15 0 65756584 11079016448 12612 33554432000 4194304 4196468 140733426139216 140015800433552 140015796209365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23689] ppid=23631 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23634/task/23689/stat : 23689 (java) S 23631 23634 19905 0 -1 1077944384 1 13117 0 0 0 0 5 3 20 0 15 0 65756584 11079016448 12612 33554432000 4194304 4196468 140733426139216 140015734483728 140015796209365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23690] ppid=23631 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23634/task/23690/stat : 23690 (java) S 23631 23634 19905 0 -1 1077944384 1 13117 0 0 0 0 5 3 20 0 15 0 65756584 11079016448 12612 33554432000 4194304 4196468 140733426139216 140015367982224 140015796209365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23691] ppid=23631 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23634/task/23691/stat : 23691 (java) S 23631 23634 19905 0 -1 1077944384 1 13117 0 0 0 0 5 3 20 0 15 0 65756584 11079016448 12612 33554432000 4194304 4196468 140733426139216 140015366929424 140015796209365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23692] ppid=23631 vsize=10819352 memory=140062320510591 CPUtime=0.08 cores=1,3,5,7
/proc/23634/task/23692/stat : 23692 (java) S 23631 23634 19905 0 -1 1077944384 2 13117 0 0 0 0 5 3 20 0 15 0 65756585 11079016448 12612 33554432000 4194304 4196468 140733426139216 140015255386224 140015796210306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23693] ppid=23631 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23634/task/23693/stat : 23693 (java) S 23631 23634 19905 0 -1 1077944384 33 13117 0 0 0 0 5 3 20 0 15 0 65756585 11079016448 12612 33554432000 4194304 4196468 140733426139216 140015254332192 140015796209365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23694] ppid=23631 vsize=10819352 memory=140062320510592 CPUtime=0.08 cores=1,3,5,7
/proc/23634/task/23694/stat : 23694 (java) S 23631 23634 19905 0 -1 1077944384 1 13117 0 0 0 0 5 3 20 0 15 0 65756586 11079016448 12612 33554432000 4194304 4196468 140733426139216 140014658774128 140015796209365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23695] ppid=23631 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23634/task/23695/stat : 23695 (java) S 23631 23634 19905 0 -1 1077944384 3 13117 0 0 0 0 5 3 20 0 15 0 65756588 11079016448 12612 33554432000 4194304 4196468 140733426139216 140014351374416 140015796217755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23696] ppid=23631 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/23634/task/23696/stat : 23696 (java) S 23631 23634 19905 0 -1 1077944384 443 13117 0 0 1 0 5 3 20 0 15 0 65756588 11079016448 12612 33554432000 4194304 4196468 140733426139216 140015220775536 140015796210306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23697] ppid=23631 vsize=10819352 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/23634/task/23697/stat : 23697 (java) S 23631 23634 19905 0 -1 1077944384 198 13117 0 0 1 0 5 3 20 0 15 0 65756588 11079016448 12612 33554432000 4194304 4196468 140733426139216 140015219722736 140015796210306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23698] ppid=23631 vsize=10819352 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/23634/task/23698/stat : 23698 (java) R 23631 23634 19905 0 -1 4202560 696 13117 0 0 5 0 5 3 20 0 15 0 65756588 11079016448 12612 33554432000 4194304 4196468 140733426139216 140015218670448 140015789296051 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23699] ppid=23631 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23634/task/23699/stat : 23699 (java) S 23631 23634 19905 0 -1 1077944384 3 13117 0 0 0 0 5 3 20 0 15 0 65756588 11079016448 12612 33554432000 4194304 4196468 140733426139216 140014317816800 140015796209365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23700] ppid=23631 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23634/task/23700/stat : 23700 (java) S 23631 23634 19905 0 -1 1077944384 1 13117 0 0 0 0 5 3 20 0 15 0 65756589 11079016448 12612 33554432000 4194304 4196468 140733426139216 140015217617328 140015796210306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 50448 KiB
[startup+0.700784 s]
/proc/loadavg: 1.26 1.35 1.38 3/219 23700
/proc/meminfo: memFree=19801216/32770624 swapFree=67108860/67108860
[pid=23634] ppid=23631 vsize=10819352 memory=83908 CPUtime=1 cores=1,3,5,7
/proc/23634/stat : 23634 (java) S 23631 23634 19905 0 -1 1077944320 17092 13117 0 0 88 4 5 3 20 0 15 0 65756574 11079016448 20977 33554432000 4194304 4196468 140733426139216 140733426121760 140015796199159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
/proc/23634/statm: 2704838 20977 3237 1 0 2667149 0
[pid=23634/tid=23687] ppid=23631 vsize=10819352 memory=20164 CPUtime=0.67 cores=1,3,5,7
/proc/23634/task/23687/stat : 23687 (java) R 23631 23634 19905 0 -1 4202560 12272 13117 0 0 56 3 5 3 20 0 15 0 65756583 11079016448 20977 33554432000 4194304 4196468 140733426139216 140015768019984 140015780279646 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23688] ppid=23631 vsize=10819352 memory=4580 CPUtime=0.08 cores=1,3,5,7
/proc/23634/task/23688/stat : 23688 (java) S 23631 23634 19905 0 -1 1077944384 2 13117 0 0 0 0 5 3 20 0 15 0 65756584 11079016448 20977 33554432000 4194304 4196468 140733426139216 140015800433552 140015796209365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23689] ppid=23631 vsize=10819352 memory=140062172160495 CPUtime=0.08 cores=1,3,5,7
/proc/23634/task/23689/stat : 23689 (java) S 23631 23634 19905 0 -1 1077944384 1 13117 0 0 0 0 5 3 20 0 15 0 65756584 11079016448 20977 33554432000 4194304 4196468 140733426139216 140015734483728 140015796209365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23690] ppid=23631 vsize=10819352 memory=140063178490797 CPUtime=0.08 cores=1,3,5,7
/proc/23634/task/23690/stat : 23690 (java) S 23631 23634 19905 0 -1 1077944384 1 13117 0 0 0 0 5 3 20 0 15 0 65756584 11079016448 20977 33554432000 4194304 4196468 140733426139216 140015367982224 140015796209365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23691] ppid=23631 vsize=10819352 memory=12180 CPUtime=0.08 cores=1,3,5,7
/proc/23634/task/23691/stat : 23691 (java) S 23631 23634 19905 0 -1 1077944384 1 13117 0 0 0 0 5 3 20 0 15 0 65756584 11079016448 20977 33554432000 4194304 4196468 140733426139216 140015366929424 140015796209365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23692] ppid=23631 vsize=10819352 memory=7305218370954160217 CPUtime=0.08 cores=1,3,5,7
/proc/23634/task/23692/stat : 23692 (java) S 23631 23634 19905 0 -1 1077944384 5 13117 0 0 0 0 5 3 20 0 15 0 65756585 11079016448 20977 33554432000 4194304 4196468 140733426139216 140015255386224 140015796210306 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23693] ppid=23631 vsize=10819352 memory=7019257425709197167 CPUtime=0.08 cores=1,3,5,7
/proc/23634/task/23693/stat : 23693 (java) S 23631 23634 19905 0 -1 1077944384 33 13117 0 0 0 0 5 3 20 0 15 0 65756585 11079016448 20977 33554432000 4194304 4196468 140733426139216 140015254332192 140015796209365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23694] ppid=23631 vsize=10819352 memory=5860705283049084265 CPUtime=0.08 cores=1,3,5,7
/proc/23634/task/23694/stat : 23694 (java) S 23631 23634 19905 0 -1 1077944384 1 13117 0 0 0 0 5 3 20 0 15 0 65756586 11079016448 20977 33554432000 4194304 4196468 140733426139216 140014658774128 140015796209365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23695] ppid=23631 vsize=10819352 memory=3054156605368933524 CPUtime=0.08 cores=1,3,5,7
/proc/23634/task/23695/stat : 23695 (java) S 23631 23634 19905 0 -1 1077944384 3 13117 0 0 0 0 5 3 20 0 15 0 65756588 11079016448 20977 33554432000 4194304 4196468 140733426139216 140014351374416 140015796217755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23696] ppid=23631 vsize=10819352 memory=8326441112149131693 CPUtime=0.17 cores=1,3,5,7
/proc/23634/task/23696/stat : 23696 (java) S 23631 23634 19905 0 -1 1077944384 1071 13117 0 0 9 0 5 3 20 0 15 0 65756588 11079016448 20977 33554432000 4194304 4196468 140733426139216 140015220775536 140015796210306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23697] ppid=23631 vsize=10819352 memory=-7025452035940392864 CPUtime=0.16 cores=1,3,5,7
/proc/23634/task/23697/stat : 23697 (java) S 23631 23634 19905 0 -1 1077944384 626 13117 0 0 8 0 5 3 20 0 15 0 65756588 11079016448 20977 33554432000 4194304 4196468 140733426139216 140015219722736 140015796210306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23698] ppid=23631 vsize=10819352 memory=6944656592452807326 CPUtime=0.21 cores=1,3,5,7
/proc/23634/task/23698/stat : 23698 (java) S 23631 23634 19905 0 -1 1077944384 884 13117 0 0 13 0 5 3 20 0 15 0 65756588 11079016448 20977 33554432000 4194304 4196468 140733426139216 140015218670448 140015796210306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23699] ppid=23631 vsize=10819352 memory=-9178176116494409632 CPUtime=0.08 cores=1,3,5,7
/proc/23634/task/23699/stat : 23699 (java) S 23631 23634 19905 0 -1 1077944384 3 13117 0 0 0 0 5 3 20 0 15 0 65756588 11079016448 20977 33554432000 4194304 4196468 140733426139216 140014317816800 140015796209365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23700] ppid=23631 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23634/task/23700/stat : 23700 (java) S 23631 23634 19905 0 -1 1077944384 1 13117 0 0 0 0 5 3 20 0 15 0 65756589 11079016448 20977 33554432000 4194304 4196468 140733426139216 140015217617328 140015796210306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 83908 KiB
[startup+1.50074 s]
/proc/loadavg: 1.32 1.36 1.39 3/219 23700
/proc/meminfo: memFree=19757268/32770624 swapFree=67108860/67108860
[pid=23634] ppid=23631 vsize=10834252 memory=174856 CPUtime=2.32 cores=1,3,5,7
/proc/23634/stat : 23634 (java) S 23631 23634 19905 0 -1 1077944320 24173 13117 0 0 216 8 5 3 20 0 15 0 65756574 11094274048 43714 33554432000 4194304 4196468 140733426139216 140733426121760 140015796199159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
/proc/23634/statm: 2708563 43714 3467 1 0 2670221 0
[pid=23634/tid=23687] ppid=23631 vsize=10834252 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/23634/task/23687/stat : 23687 (java) R 23631 23634 19905 0 -1 4202560 17709 13117 0 0 131 4 5 3 20 0 15 0 65756583 11094274048 43714 33554432000 4194304 4196468 140733426139216 140015768030368 140015780279646 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23688] ppid=23631 vsize=10834252 memory=97580 CPUtime=0.09 cores=1,3,5,7
/proc/23634/task/23688/stat : 23688 (java) S 23631 23634 19905 0 -1 1077944384 29 13117 0 0 1 0 5 3 20 0 15 0 65756584 11094274048 43714 33554432000 4194304 4196468 140733426139216 140015800433552 140015796209365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23689] ppid=23631 vsize=10834252 memory=5790086053191909267 CPUtime=0.09 cores=1,3,5,7
/proc/23634/task/23689/stat : 23689 (java) S 23631 23634 19905 0 -1 1077944384 15 13117 0 0 1 0 5 3 20 0 15 0 65756584 11094274048 43714 33554432000 4194304 4196468 140733426139216 140015734483728 140015796209365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23690] ppid=23631 vsize=10834252 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/23634/task/23690/stat : 23690 (java) S 23631 23634 19905 0 -1 1077944384 61 13117 0 0 1 0 5 3 20 0 15 0 65756584 11094274048 43714 33554432000 4194304 4196468 140733426139216 140015367982224 140015796209365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23691] ppid=23631 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23634/task/23691/stat : 23691 (java) S 23631 23634 19905 0 -1 1077944384 219 13117 0 0 0 0 5 3 20 0 15 0 65756584 11094274048 43714 33554432000 4194304 4196468 140733426139216 140015366929424 140015796209365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23692] ppid=23631 vsize=10834252 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/23634/task/23692/stat : 23692 (java) S 23631 23634 19905 0 -1 1077944384 56 13117 0 0 1 0 5 3 20 0 15 0 65756585 11094274048 43714 33554432000 4194304 4196468 140733426139216 140015255386224 140015796210306 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23693] ppid=23631 vsize=10834252 memory=-6221781267475802396 CPUtime=0.08 cores=1,3,5,7
/proc/23634/task/23693/stat : 23693 (java) S 23631 23634 19905 0 -1 1077944384 33 13117 0 0 0 0 5 3 20 0 15 0 65756585 11094274048 43714 33554432000 4194304 4196468 140733426139216 140015254332256 140015796209365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23694] ppid=23631 vsize=10834252 memory=4312 CPUtime=0.08 cores=1,3,5,7
/proc/23634/task/23694/stat : 23694 (java) S 23631 23634 19905 0 -1 1077944384 2 13117 0 0 0 0 5 3 20 0 15 0 65756586 11094274048 43714 33554432000 4194304 4196468 140733426139216 140014658774144 140015796209365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23695] ppid=23631 vsize=10834252 memory=2196 CPUtime=0.08 cores=1,3,5,7
/proc/23634/task/23695/stat : 23695 (java) S 23631 23634 19905 0 -1 1077944384 3 13117 0 0 0 0 5 3 20 0 15 0 65756588 11094274048 43714 33554432000 4194304 4196468 140733426139216 140014351374416 140015796217755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23696] ppid=23631 vsize=10834252 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/23634/task/23696/stat : 23696 (java) S 23631 23634 19905 0 -1 1077944384 1224 13117 0 0 21 0 5 3 20 0 15 0 65756588 11094274048 43714 33554432000 4194304 4196468 140733426139216 140015220775536 140015796210306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23697] ppid=23631 vsize=10834252 memory=241818537104043 CPUtime=0.28 cores=1,3,5,7
/proc/23634/task/23697/stat : 23697 (java) S 23631 23634 19905 0 -1 1077944384 1090 13117 0 0 20 0 5 3 20 0 15 0 65756588 11094274048 43714 33554432000 4194304 4196468 140733426139216 140015219722736 140015796210306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23698] ppid=23631 vsize=10834252 memory=315765 CPUtime=0.43 cores=1,3,5,7
/proc/23634/task/23698/stat : 23698 (java) S 23631 23634 19905 0 -1 1077944384 1540 13117 0 0 35 0 5 3 20 0 15 0 65756588 11094274048 43714 33554432000 4194304 4196468 140733426139216 140015218670448 140015796210306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23699] ppid=23631 vsize=10834252 memory=6935650355271196736 CPUtime=0.08 cores=1,3,5,7
/proc/23634/task/23699/stat : 23699 (java) S 23631 23634 19905 0 -1 1077944384 3 13117 0 0 0 0 5 3 20 0 15 0 65756588 11094274048 43714 33554432000 4194304 4196468 140733426139216 140014317816800 140015796209365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23700] ppid=23631 vsize=10834252 memory=6935649255759568960 CPUtime=0.08 cores=1,3,5,7
/proc/23634/task/23700/stat : 23700 (java) S 23631 23634 19905 0 -1 1077944384 1 13117 0 0 0 0 5 3 20 0 15 0 65756589 11094274048 43714 33554432000 4194304 4196468 140733426139216 140015217617328 140015796210306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
Current children cumulated CPU time: 2.32 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/23634/task/23687/stat : 23687 (java) R 23631 23634 19905 0 -1 4202560 97337 13117 0 0 235298 69 5 3 20 0 15 0 65756583 11176083456 328091 33554432000 4194304 4196468 140733426139216 140015768032896 140015411684695 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23688] ppid=23631 vsize=10914144 memory=1312364 CPUtime=12.32 cores=1,3,5,7
/proc/23634/task/23688/stat : 23688 (java) S 23631 23634 19905 0 -1 1077944384 14441 13117 0 0 1154 70 5 3 20 0 15 0 65756584 11176083456 328091 33554432000 4194304 4196468 140733426139216 140015800433552 140015796209365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23689] ppid=23631 vsize=10914144 memory=1312364 CPUtime=12.35 cores=1,3,5,7
/proc/23634/task/23689/stat : 23689 (java) S 23631 23634 19905 0 -1 1077944384 13829 13117 0 0 1160 67 5 3 20 0 15 0 65756584 11176083456 328091 33554432000 4194304 4196468 140733426139216 140015734483728 140015796209365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23690] ppid=23631 vsize=10914144 memory=1312364 CPUtime=12.33 cores=1,3,5,7
/proc/23634/task/23690/stat : 23690 (java) S 23631 23634 19905 0 -1 1077944384 12302 13117 0 0 1157 68 5 3 20 0 15 0 65756584 11176083456 328091 33554432000 4194304 4196468 140733426139216 140015367982224 140015796209365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23691] ppid=23631 vsize=10914144 memory=56 CPUtime=12.31 cores=1,3,5,7
/proc/23634/task/23691/stat : 23691 (java) S 23631 23634 19905 0 -1 1077944384 18863 13117 0 0 1152 71 5 3 20 0 15 0 65756584 11176083456 328091 33554432000 4194304 4196468 140733426139216 140015366929424 140015796209365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23692] ppid=23631 vsize=10914144 memory=1312364 CPUtime=12.04 cores=1,3,5,7
/proc/23634/task/23692/stat : 23692 (java) S 23631 23634 19905 0 -1 1077944384 16297 13117 0 0 1130 66 5 3 20 0 15 0 65756585 11176083456 328091 33554432000 4194304 4196468 140733426139216 140015255386224 140015796210306 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23693] ppid=23631 vsize=10914144 memory=1312320 CPUtime=0.08 cores=1,3,5,7
/proc/23634/task/23693/stat : 23693 (java) S 23631 23634 19905 0 -1 1077944384 39 13117 0 0 0 0 5 3 20 0 15 0 65756585 11176083456 328091 33554432000 4194304 4196468 140733426139216 140015254332256 140015796209365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23694] ppid=23631 vsize=10914144 memory=1312364 CPUtime=0.08 cores=1,3,5,7
/proc/23634/task/23694/stat : 23694 (java) S 23631 23634 19905 0 -1 1077944384 3 13117 0 0 0 0 5 3 20 0 15 0 65756586 11176083456 328091 33554432000 4194304 4196468 140733426139216 140014658774144 140015796209365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23695] ppid=23631 vsize=10914144 memory=4048 CPUtime=0.08 cores=1,3,5,7
/proc/23634/task/23695/stat : 23695 (java) S 23631 23634 19905 0 -1 1077944384 3 13117 0 0 0 0 5 3 20 0 15 0 65756588 11176083456 328091 33554432000 4194304 4196468 140733426139216 140014351374416 140015796217755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23696] ppid=23631 vsize=10914144 memory=1236 CPUtime=3.26 cores=1,3,5,7
/proc/23634/task/23696/stat : 23696 (java) S 23631 23634 19905 0 -1 1077944384 14465 13117 0 0 312 6 5 3 20 0 15 0 65756588 11176083456 328091 33554432000 4194304 4196468 140733426139216 140015220775536 140015796210306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23697] ppid=23631 vsize=10914144 memory=6791534058613427641 CPUtime=2.59 cores=1,3,5,7
/proc/23634/task/23697/stat : 23697 (java) S 23631 23634 19905 0 -1 1077944384 6715 13117 0 0 249 2 5 3 20 0 15 0 65756588 11176083456 328091 33554432000 4194304 4196468 140733426139216 140015219722736 140015796210306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23698] ppid=23631 vsize=10914144 memory=4312 CPUtime=1.59 cores=1,3,5,7
/proc/23634/task/23698/stat : 23698 (java) S 23631 23634 19905 0 -1 1077944384 11264 13117 0 0 149 2 5 3 20 0 15 0 65756588 11176083456 328091 33554432000 4194304 4196468 140733426139216 140015218670448 140015796210306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23699] ppid=23631 vsize=10914144 memory=2196 CPUtime=0.08 cores=1,3,5,7
/proc/23634/task/23699/stat : 23699 (java) S 23631 23634 19905 0 -1 1077944384 3 13117 0 0 0 0 5 3 20 0 15 0 65756588 11176083456 328091 33554432000 4194304 4196468 140733426139216 140014317816800 140015796209365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23700] ppid=23631 vsize=10914144 memory=6791534058613427641 CPUtime=1.67 cores=1,3,5,7
/proc/23634/task/23700/stat : 23700 (java) S 23631 23634 19905 0 -1 1077944384 1001 13117 0 0 73 86 5 3 20 0 15 0 65756589 11176083456 328091 33554432000 4194304 4196468 140733426139216 140015217617328 140015796210306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
Current children cumulated CPU time: 2423.58 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 1312364 KiB
[startup+2442.3 s]
/proc/loadavg: 1.25 1.40 1.44 3/220 23933
/proc/meminfo: memFree=18394112/32770624 swapFree=67108860/67108860
[pid=23634] ppid=23631 vsize=10914144 memory=1312440 CPUtime=2484.51 cores=1,3,5,7
/proc/23634/stat : 23634 (java) S 23631 23634 19905 0 -1 1077944320 210997 13117 0 0 248010 433 5 3 20 0 15 0 65756574 11176083456 328110 33554432000 4194304 4196468 140733426139216 140733426121760 140015796199159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
/proc/23634/statm: 2728536 328110 3517 1 0 2690189 0
[pid=23634/tid=23687] ppid=23631 vsize=10914144 memory=1312440 CPUtime=2413 cores=1,3,5,7
/proc/23634/task/23687/stat : 23687 (java) R 23631 23634 19905 0 -1 4202560 98447 13117 0 0 241223 69 5 3 20 0 15 0 65756583 11176083456 328110 33554432000 4194304 4196468 140733426139216 140015768032928 140015413084946 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23688] ppid=23631 vsize=10914144 memory=1312432 CPUtime=12.66 cores=1,3,5,7
/proc/23634/task/23688/stat : 23688 (java) S 23631 23634 19905 0 -1 1077944384 14457 13117 0 0 1186 72 5 3 20 0 15 0 65756584 11176083456 328110 33554432000 4194304 4196468 140733426139216 140015800433552 140015796209365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23689] ppid=23631 vsize=10914144 memory=1312364 CPUtime=12.68 cores=1,3,5,7
/proc/23634/task/23689/stat : 23689 (java) S 23631 23634 19905 0 -1 1077944384 13894 13117 0 0 1191 69 5 3 20 0 15 0 65756584 11176083456 328110 33554432000 4194304 4196468 140733426139216 140015734483728 140015796209365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23690] ppid=23631 vsize=10914144 memory=1312416 CPUtime=12.65 cores=1,3,5,7
/proc/23634/task/23690/stat : 23690 (java) S 23631 23634 19905 0 -1 1077944384 12386 13117 0 0 1188 69 5 3 20 0 15 0 65756584 11176083456 328110 33554432000 4194304 4196468 140733426139216 140015367982224 140015796209365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23691] ppid=23631 vsize=10914144 memory=1312432 CPUtime=12.63 cores=1,3,5,7
/proc/23634/task/23691/stat : 23691 (java) S 23631 23634 19905 0 -1 1077944384 19153 13117 0 0 1182 73 5 3 20 0 15 0 65756584 11176083456 328110 33554432000 4194304 4196468 140733426139216 140015366929424 140015796209365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23692] ppid=23631 vsize=10914144 memory=1312432 CPUtime=12.36 cores=1,3,5,7
/proc/23634/task/23692/stat : 23692 (java) S 23631 23634 19905 0 -1 1077944384 16495 13117 0 0 1160 68 5 3 20 0 15 0 65756585 11176083456 328110 33554432000 4194304 4196468 140733426139216 140015255386224 140015796210306 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23693] ppid=23631 vsize=10914144 memory=1312432 CPUtime=0.08 cores=1,3,5,7
/proc/23634/task/23693/stat : 23693 (java) S 23631 23634 19905 0 -1 1077944384 39 13117 0 0 0 0 5 3 20 0 15 0 65756585 11176083456 328110 33554432000 4194304 4196468 140733426139216 140015254332256 140015796209365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23694] ppid=23631 vsize=10914144 memory=1312432 CPUtime=0.08 cores=1,3,5,7
/proc/23634/task/23694/stat : 23694 (java) S 23631 23634 19905 0 -1 1077944384 3 13117 0 0 0 0 5 3 20 0 15 0 65756586 11176083456 328110 33554432000 4194304 4196468 140733426139216 140014658774144 140015796209365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23695] ppid=23631 vsize=10914144 memory=1312440 CPUtime=0.08 cores=1,3,5,7
/proc/23634/task/23695/stat : 23695 (java) S 23631 23634 19905 0 -1 1077944384 3 13117 0 0 0 0 5 3 20 0 15 0 65756588 11176083456 328110 33554432000 4194304 4196468 140733426139216 140014351374416 140015796217755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23696] ppid=23631 vsize=10914144 memory=1312440 CPUtime=3.26 cores=1,3,5,7
/proc/23634/task/23696/stat : 23696 (java) S 23631 23634 19905 0 -1 1077944384 14467 13117 0 0 312 6 5 3 20 0 15 0 65756588 11176083456 328110 33554432000 4194304 4196468 140733426139216 140015220775536 140015796210306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23697] ppid=23631 vsize=10914144 memory=1312440 CPUtime=2.59 cores=1,3,5,7
/proc/23634/task/23697/stat : 23697 (java) S 23631 23634 19905 0 -1 1077944384 6717 13117 0 0 249 2 5 3 20 0 15 0 65756588 11176083456 328110 33554432000 4194304 4196468 140733426139216 140015219722736 140015796210306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23698] ppid=23631 vsize=10914144 memory=1312440 CPUtime=1.59 cores=1,3,5,7
/proc/23634/task/23698/stat : 23698 (java) S 23631 23634 19905 0 -1 1077944384 11726 13117 0 0 149 2 5 3 20 0 15 0 65756588 11176083456 328110 33554432000 4194304 4196468 140733426139216 140015218670448 140015796210306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23699] ppid=23631 vsize=10914144 memory=15872 CPUtime=0.08 cores=1,3,5,7
/proc/23634/task/23699/stat : 23699 (java) S 23631 23634 19905 0 -1 1077944384 3 13117 0 0 0 0 5 3 20 0 15 0 65756588 11176083456 328110 33554432000 4194304 4196468 140733426139216 140014317816800 140015796209365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23700] ppid=23631 vsize=10914144 memory=16244 CPUtime=1.7 cores=1,3,5,7
/proc/23634/task/23700/stat : 23700 (java) S 23631 23634 19905 0 -1 1077944384 1019 13117 0 0 75 87 5 3 20 0 15 0 65756589 11176083456 328110 33554432000 4194304 4196468 140733426139216 140015217617328 140015796210306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
Current children cumulated CPU time: 2484.51 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 1312440 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2477.3 s]
/proc/loadavg: 1.32 1.41 1.44 3/220 23933
/proc/meminfo: memFree=18392808/32770624 swapFree=67108860/67108860
[pid=23634] ppid=23631 vsize=10914144 memory=1312460 CPUtime=2520.06 cores=1,3,5,7
/proc/23634/stat : 23634 (java) S 23631 23634 19905 0 -1 1077944320 212321 13117 0 0 251559 439 5 3 20 0 15 0 65756574 11176083456 328115 33554432000 4194304 4196468 140733426139216 140733426121760 140015796199159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
/proc/23634/statm: 2728536 328115 3517 1 0 2690189 0
[pid=23634/tid=23687] ppid=23631 vsize=10914144 memory=1312460 CPUtime=2447.57 cores=1,3,5,7
/proc/23634/task/23687/stat : 23687 (java) R 23631 23634 19905 0 -1 4202560 99119 13117 0 0 244679 70 5 3 20 0 15 0 65756583 11176083456 328115 33554432000 4194304 4196468 140733426139216 140015768033008 140015402350592 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23688] ppid=23631 vsize=10914144 memory=1312460 CPUtime=12.85 cores=1,3,5,7
/proc/23634/task/23688/stat : 23688 (java) S 23631 23634 19905 0 -1 1077944384 14514 13117 0 0 1204 73 5 3 20 0 15 0 65756584 11176083456 328115 33554432000 4194304 4196468 140733426139216 140015800433552 140015796209365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23689] ppid=23631 vsize=10914144 memory=1312460 CPUtime=12.87 cores=1,3,5,7
/proc/23634/task/23689/stat : 23689 (java) S 23631 23634 19905 0 -1 1077944384 13909 13117 0 0 1209 70 5 3 20 0 15 0 65756584 11176083456 328115 33554432000 4194304 4196468 140733426139216 140015734483728 140015796209365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23690] ppid=23631 vsize=10914144 memory=1312460 CPUtime=12.84 cores=1,3,5,7
/proc/23634/task/23690/stat : 23690 (java) S 23631 23634 19905 0 -1 1077944384 12649 13117 0 0 1207 69 5 3 20 0 15 0 65756584 11176083456 328115 33554432000 4194304 4196468 140733426139216 140015367982224 140015796209365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23691] ppid=23631 vsize=10914144 memory=1312460 CPUtime=12.83 cores=1,3,5,7
/proc/23634/task/23691/stat : 23691 (java) S 23631 23634 19905 0 -1 1077944384 19252 13117 0 0 1201 74 5 3 20 0 15 0 65756584 11176083456 328115 33554432000 4194304 4196468 140733426139216 140015366929424 140015796209365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23692] ppid=23631 vsize=10914144 memory=1312460 CPUtime=12.54 cores=1,3,5,7
/proc/23634/task/23692/stat : 23692 (java) S 23631 23634 19905 0 -1 1077944384 16689 13117 0 0 1177 69 5 3 20 0 15 0 65756585 11176083456 328115 33554432000 4194304 4196468 140733426139216 140015255386224 140015796210306 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23693] ppid=23631 vsize=10914144 memory=1312460 CPUtime=0.08 cores=1,3,5,7
/proc/23634/task/23693/stat : 23693 (java) S 23631 23634 19905 0 -1 1077944384 39 13117 0 0 0 0 5 3 20 0 15 0 65756585 11176083456 328115 33554432000 4194304 4196468 140733426139216 140015254332256 140015796209365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23694] ppid=23631 vsize=10914144 memory=1312460 CPUtime=0.08 cores=1,3,5,7
/proc/23634/task/23694/stat : 23694 (java) S 23631 23634 19905 0 -1 1077944384 3 13117 0 0 0 0 5 3 20 0 15 0 65756586 11176083456 328115 33554432000 4194304 4196468 140733426139216 140014658774144 140015796209365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23695] ppid=23631 vsize=10914144 memory=1312460 CPUtime=0.08 cores=1,3,5,7
/proc/23634/task/23695/stat : 23695 (java) S 23631 23634 19905 0 -1 1077944384 3 13117 0 0 0 0 5 3 20 0 15 0 65756588 11176083456 328115 33554432000 4194304 4196468 140733426139216 140014351374416 140015796217755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23696] ppid=23631 vsize=10914144 memory=1312460 CPUtime=3.26 cores=1,3,5,7
/proc/23634/task/23696/stat : 23696 (java) S 23631 23634 19905 0 -1 1077944384 14469 13117 0 0 312 6 5 3 20 0 15 0 65756588 11176083456 328115 33554432000 4194304 4196468 140733426139216 140015220775536 140015796210306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23697] ppid=23631 vsize=10914144 memory=1312460 CPUtime=2.59 cores=1,3,5,7
/proc/23634/task/23697/stat : 23697 (java) S 23631 23634 19905 0 -1 1077944384 6719 13117 0 0 249 2 5 3 20 0 15 0 65756588 11176083456 328115 33554432000 4194304 4196468 140733426139216 140015219722736 140015796210306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23698] ppid=23631 vsize=10914144 memory=1312460 CPUtime=1.59 cores=1,3,5,7
/proc/23634/task/23698/stat : 23698 (java) S 23631 23634 19905 0 -1 1077944384 11728 13117 0 0 149 2 5 3 20 0 15 0 65756588 11176083456 328115 33554432000 4194304 4196468 140733426139216 140015218670448 140015796210306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23699] ppid=23631 vsize=10914144 memory=1312460 CPUtime=0.08 cores=1,3,5,7
/proc/23634/task/23699/stat : 23699 (java) S 23631 23634 19905 0 -1 1077944384 3 13117 0 0 0 0 5 3 20 0 15 0 65756588 11176083456 328115 33554432000 4194304 4196468 140733426139216 140014317816800 140015796209365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23700] ppid=23631 vsize=10914144 memory=1312460 CPUtime=1.73 cores=1,3,5,7
/proc/23634/task/23700/stat : 23700 (java) S 23631 23634 19905 0 -1 1077944384 1037 13117 0 0 77 88 5 3 20 0 15 0 65756589 11176083456 328115 33554432000 4194304 4196468 140733426139216 140015217617328 140015796210306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 1312460 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2477.33 s]
# the end of solver process 23634 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.66 s, system=4.43293 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2477.3 s]
/proc/loadavg: 1.32 1.41 1.44 3/220 23933
/proc/meminfo: memFree=18392808/32770624 swapFree=67108860/67108860
[pid=23634] ppid=23631 vsize=10914144 memory=1312460 CPUtime=2520.06 cores=1,3,5,7
/proc/23634/stat : 23634 (java) S 23631 23634 19905 0 -1 1077944320 212321 13117 0 0 251559 439 5 3 20 0 15 0 65756574 11176083456 328115 33554432000 4194304 4196468 140733426139216 140733426121760 140015796199159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
/proc/23634/statm: 2728536 328115 3517 1 0 2690189 0
[pid=23634/tid=23687] ppid=23631 vsize=10914144 memory=1312460 CPUtime=2447.57 cores=1,3,5,7
/proc/23634/task/23687/stat : 23687 (java) R 23631 23634 19905 0 -1 4202560 99119 13117 0 0 244679 70 5 3 20 0 15 0 65756583 11176083456 328115 33554432000 4194304 4196468 140733426139216 140015768033008 140015402350592 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23688] ppid=23631 vsize=10914144 memory=1312460 CPUtime=12.85 cores=1,3,5,7
/proc/23634/task/23688/stat : 23688 (java) S 23631 23634 19905 0 -1 1077944384 14514 13117 0 0 1204 73 5 3 20 0 15 0 65756584 11176083456 328115 33554432000 4194304 4196468 140733426139216 140015800433552 140015796209365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23689] ppid=23631 vsize=10914144 memory=1312460 CPUtime=12.87 cores=1,3,5,7
/proc/23634/task/23689/stat : 23689 (java) S 23631 23634 19905 0 -1 1077944384 13909 13117 0 0 1209 70 5 3 20 0 15 0 65756584 11176083456 328115 33554432000 4194304 4196468 140733426139216 140015734483728 140015796209365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23690] ppid=23631 vsize=10914144 memory=1312460 CPUtime=12.84 cores=1,3,5,7
/proc/23634/task/23690/stat : 23690 (java) S 23631 23634 19905 0 -1 1077944384 12649 13117 0 0 1207 69 5 3 20 0 15 0 65756584 11176083456 328115 33554432000 4194304 4196468 140733426139216 140015367982224 140015796209365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23691] ppid=23631 vsize=10914144 memory=1312460 CPUtime=12.83 cores=1,3,5,7
/proc/23634/task/23691/stat : 23691 (java) S 23631 23634 19905 0 -1 1077944384 19252 13117 0 0 1201 74 5 3 20 0 15 0 65756584 11176083456 328115 33554432000 4194304 4196468 140733426139216 140015366929424 140015796209365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23692] ppid=23631 vsize=10914144 memory=1312460 CPUtime=12.54 cores=1,3,5,7
/proc/23634/task/23692/stat : 23692 (java) S 23631 23634 19905 0 -1 1077944384 16689 13117 0 0 1177 69 5 3 20 0 15 0 65756585 11176083456 328115 33554432000 4194304 4196468 140733426139216 140015255386224 140015796210306 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23693] ppid=23631 vsize=10914144 memory=1312460 CPUtime=0.08 cores=1,3,5,7
/proc/23634/task/23693/stat : 23693 (java) S 23631 23634 19905 0 -1 1077944384 39 13117 0 0 0 0 5 3 20 0 15 0 65756585 11176083456 328115 33554432000 4194304 4196468 140733426139216 140015254332256 140015796209365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23694] ppid=23631 vsize=10914144 memory=1312460 CPUtime=0.08 cores=1,3,5,7
/proc/23634/task/23694/stat : 23694 (java) S 23631 23634 19905 0 -1 1077944384 3 13117 0 0 0 0 5 3 20 0 15 0 65756586 11176083456 328115 33554432000 4194304 4196468 140733426139216 140014658774144 140015796209365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23695] ppid=23631 vsize=10914144 memory=1312460 CPUtime=0.08 cores=1,3,5,7
/proc/23634/task/23695/stat : 23695 (java) S 23631 23634 19905 0 -1 1077944384 3 13117 0 0 0 0 5 3 20 0 15 0 65756588 11176083456 328115 33554432000 4194304 4196468 140733426139216 140014351374416 140015796217755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23696] ppid=23631 vsize=10914144 memory=1312460 CPUtime=3.26 cores=1,3,5,7
/proc/23634/task/23696/stat : 23696 (java) S 23631 23634 19905 0 -1 1077944384 14469 13117 0 0 312 6 5 3 20 0 15 0 65756588 11176083456 328115 33554432000 4194304 4196468 140733426139216 140015220775536 140015796210306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23697] ppid=23631 vsize=10914144 memory=1312460 CPUtime=2.59 cores=1,3,5,7
/proc/23634/task/23697/stat : 23697 (java) S 23631 23634 19905 0 -1 1077944384 6719 13117 0 0 249 2 5 3 20 0 15 0 65756588 11176083456 328115 33554432000 4194304 4196468 140733426139216 140015219722736 140015796210306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23698] ppid=23631 vsize=10914144 memory=1312460 CPUtime=1.59 cores=1,3,5,7
/proc/23634/task/23698/stat : 23698 (java) S 23631 23634 19905 0 -1 1077944384 11728 13117 0 0 149 2 5 3 20 0 15 0 65756588 11176083456 328115 33554432000 4194304 4196468 140733426139216 140015218670448 140015796210306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23699] ppid=23631 vsize=10914144 memory=1312460 CPUtime=0.08 cores=1,3,5,7
/proc/23634/task/23699/stat : 23699 (java) S 23631 23634 19905 0 -1 1077944384 3 13117 0 0 0 0 5 3 20 0 15 0 65756588 11176083456 328115 33554432000 4194304 4196468 140733426139216 140014317816800 140015796209365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
[pid=23634/tid=23700] ppid=23631 vsize=10914144 memory=1312460 CPUtime=1.73 cores=1,3,5,7
/proc/23634/task/23700/stat : 23700 (java) S 23631 23634 19905 0 -1 1077944384 1037 13117 0 0 77 88 5 3 20 0 15 0 65756589 11176083456 328115 33554432000 4194304 4196468 140733426139216 140015217617328 140015796210306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8630272 140733426141807 140733426144604 140733426144604 140733426147279 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 1312460 KiB
Child status: 143
Real time (s): 2477.33
CPU time (s): 2520.1
CPU user time (s): 2515.66
CPU system time (s): 4.43293
CPU usage (%): 101.726
Max. virtual memory (cumulated for all children) (KiB): 10916984
Max. memory (cumulated for all children) (KiB): 1312460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.66
system time used= 4.43293
maximum resident set size= 1316704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 226966
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 329304
involuntary context switches= 8215
# summary of solver processes directly reported to runsolver:
# pid: 23634
# total CPU time (s): 2520.1
# total CPU user time (s): 2515.66
# total CPU system time (s): 4.43293
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.8104 second user time and 24.169 second system time
The end