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 (5923 MiB free)
memory of node 1: 16384 MiB (10608 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289784-1532215271/watcher-4289784-1532215271 -o /tmp/evaluation-result-4289784-1532215271/solver-4289784-1532215271 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532208144-27126 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4289784-1532215271.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=27934, runsolver pid=27931
Current StackSize limit: 8192 KiB
[startup+0.10011 s]*
/proc/loadavg: 1.97 1.93 1.99 3/192 27943
/proc/meminfo: memFree=16900460/32770624 swapFree=67108860/67108860
[pid=27934] ppid=27931 vsize=10659012 memory=24532 CPUtime=0.05 cores=1,3,5,7
/proc/27934/stat : 27934 (java) S 27931 27934 25074 0 -1 1077944320 4460 0 0 0 5 0 0 0 20 0 15 0 39090289 10914828288 6133 33554432000 4194304 4196468 140729100736896 140729100719440 140432569646839 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
/proc/27934/statm: 2664753 6133 2664 1 0 2627263 0
[pid=27934/tid=27936] ppid=27931 vsize=10659012 memory=5450919713671312938 CPUtime=0.04 cores=1,3,5,7
/proc/27934/task/27936/stat : 27936 (java) R 27931 27934 25074 0 -1 4202560 2571 0 0 0 4 0 0 0 20 0 15 0 39090290 10914828288 6133 33554432000 4194304 4196468 140729100736896 140432573889120 140432561883966 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27937] ppid=27931 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27937/stat : 27937 (java) S 27931 27934 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39090292 10914828288 6133 33554432000 4194304 4196468 140729100736896 140432495720848 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27938] ppid=27931 vsize=10659012 memory=140252196730496 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27938/stat : 27938 (java) S 27931 27934 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39090292 10914828288 6133 33554432000 4194304 4196468 140729100736896 140432494668048 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27939] ppid=27931 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27939/stat : 27939 (java) S 27931 27934 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39090292 10914828288 6133 33554432000 4194304 4196468 140729100736896 140432493615760 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27940] ppid=27931 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27940/stat : 27940 (java) S 27931 27934 25074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39090292 10914828288 6133 33554432000 4194304 4196468 140729100736896 140432492562960 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27941] ppid=27931 vsize=10659012 memory=140252196730496 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27941/stat : 27941 (java) S 27931 27934 25074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39090296 10914828288 6133 33554432000 4194304 4196468 140729100736896 140432061172336 140432569657986 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27942] ppid=27931 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27942/stat : 27942 (java) S 27931 27934 25074 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39090296 10914828288 6133 33554432000 4194304 4196468 140729100736896 140432060118304 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27943] ppid=27931 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27943/stat : 27943 (java) S 27931 27934 25074 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39090297 10914828288 6133 33554432000 4194304 4196468 140729100736896 140432059065968 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27944] ppid=27931 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27944/stat : 27944 (java) S 27931 27934 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39090299 10914828288 6133 33554432000 4194304 4196468 140729100736896 140432058014288 140432569665435 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27945] ppid=27931 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27945/stat : 27945 (java) S 27931 27934 25074 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 39090299 10914828288 6133 33554432000 4194304 4196468 140729100736896 140432056961136 140432569657986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27946] ppid=27931 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27946/stat : 27946 (java) S 27931 27934 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39090299 10914828288 6133 33554432000 4194304 4196468 140729100736896 140432055908336 140432569657986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27947] ppid=27931 vsize=10659012 memory=140252196730496 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27947/stat : 27947 (java) S 27931 27934 25074 0 -1 1077944384 217 0 0 0 0 0 0 0 20 0 15 0 39090299 10914828288 6133 33554432000 4194304 4196468 140729100736896 140432054856048 140432569657986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27948] ppid=27931 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27948/stat : 27948 (java) S 27931 27934 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39090300 10914828288 6133 33554432000 4194304 4196468 140729100736896 140432053803488 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27949] ppid=27931 vsize=10659012 memory=140252196730496 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27949/stat : 27949 (java) S 27931 27934 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39090300 10914828288 6133 33554432000 4194304 4196468 140729100736896 140432052751280 140432569657986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 24532 KiB
[startup+0.210478 s]*
/proc/loadavg: 1.97 1.93 1.99 3/198 27949
/proc/meminfo: memFree=16877752/32770624 swapFree=67108860/67108860
[pid=27934] ppid=27931 vsize=10659012 memory=36432 CPUtime=0.21 cores=1,3,5,7
/proc/27934/stat : 27934 (java) S 27931 27934 25074 0 -1 1077944320 6741 0 0 0 19 2 0 0 20 0 15 0 39090289 10914828288 9108 33554432000 4194304 4196468 140729100736896 140729100719440 140432569646839 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
/proc/27934/statm: 2664753 9108 2908 1 0 2627263 0
[pid=27934/tid=27936] ppid=27931 vsize=10659012 memory=7311146985107750967 CPUtime=0.14 cores=1,3,5,7
/proc/27934/task/27936/stat : 27936 (java) R 27931 27934 25074 0 -1 4202560 4411 0 0 0 13 1 0 0 20 0 15 0 39090290 10914828288 9108 33554432000 4194304 4196468 140729100736896 140432573871248 140432569668765 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27937] ppid=27931 vsize=10659012 memory=8940 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27937/stat : 27937 (java) S 27931 27934 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39090292 10914828288 9108 33554432000 4194304 4196468 140729100736896 140432495720848 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27938] ppid=27931 vsize=10659012 memory=140252196757505 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27938/stat : 27938 (java) S 27931 27934 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39090292 10914828288 9108 33554432000 4194304 4196468 140729100736896 140432494668048 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27939] ppid=27931 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27939/stat : 27939 (java) S 27931 27934 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39090292 10914828288 9108 33554432000 4194304 4196468 140729100736896 140432493615760 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27940] ppid=27931 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27940/stat : 27940 (java) S 27931 27934 25074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39090292 10914828288 9108 33554432000 4194304 4196468 140729100736896 140432492562960 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27941] ppid=27931 vsize=10659012 memory=140252196730496 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27941/stat : 27941 (java) S 27931 27934 25074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39090296 10914828288 9108 33554432000 4194304 4196468 140729100736896 140432061172336 140432569657986 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27942] ppid=27931 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27942/stat : 27942 (java) S 27931 27934 25074 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39090296 10914828288 9108 33554432000 4194304 4196468 140729100736896 140432060118304 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27943] ppid=27931 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27943/stat : 27943 (java) S 27931 27934 25074 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39090297 10914828288 9108 33554432000 4194304 4196468 140729100736896 140432059065968 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27944] ppid=27931 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27944/stat : 27944 (java) S 27931 27934 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39090299 10914828288 9108 33554432000 4194304 4196468 140729100736896 140432058014288 140432569665435 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27945] ppid=27931 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27945/stat : 27945 (java) S 27931 27934 25074 0 -1 1077944384 356 0 0 0 0 0 0 0 20 0 15 0 39090299 10914828288 9108 33554432000 4194304 4196468 140729100736896 140432056961136 140432569657986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27946] ppid=27931 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27946/stat : 27946 (java) S 27931 27934 25074 0 -1 1077944384 222 0 0 0 0 0 0 0 20 0 15 0 39090299 10914828288 9108 33554432000 4194304 4196468 140729100736896 140432055908336 140432569657986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27947] ppid=27931 vsize=10659012 memory=140252196730496 CPUtime=0.03 cores=1,3,5,7
/proc/27934/task/27947/stat : 27947 (java) S 27931 27934 25074 0 -1 1077944384 384 0 0 0 3 0 0 0 20 0 15 0 39090299 10914828288 9108 33554432000 4194304 4196468 140729100736896 140432054856048 140432569657986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27948] ppid=27931 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27948/stat : 27948 (java) S 27931 27934 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39090300 10914828288 9108 33554432000 4194304 4196468 140729100736896 140432053803488 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27949] ppid=27931 vsize=10659012 memory=140252196730496 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27949/stat : 27949 (java) S 27931 27934 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39090300 10914828288 9108 33554432000 4194304 4196468 140729100736896 140432052751280 140432569657986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 36432 KiB
[startup+0.310287 s]*
/proc/loadavg: 1.90 1.92 1.99 3/198 27949
/proc/meminfo: memFree=16860312/32770624 swapFree=67108860/67108860
[pid=27934] ppid=27931 vsize=10659012 memory=43664 CPUtime=0.4 cores=1,3,5,7
/proc/27934/stat : 27934 (java) S 27931 27934 25074 0 -1 1077944320 7959 0 0 0 38 2 0 0 20 0 15 0 39090289 10914828288 10916 33554432000 4194304 4196468 140729100736896 140729100719440 140432569646839 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
/proc/27934/statm: 2664753 10916 3008 1 0 2627263 0
[pid=27934/tid=27936] ppid=27931 vsize=10659012 memory=8390339637985935414 CPUtime=0.24 cores=1,3,5,7
/proc/27934/task/27936/stat : 27936 (java) R 27931 27934 25074 0 -1 4202560 4867 0 0 0 23 1 0 0 20 0 15 0 39090290 10914828288 10916 33554432000 4194304 4196468 140729100736896 140432573875904 140432159921869 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27937] ppid=27931 vsize=10659012 memory=302022865681907735 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27937/stat : 27937 (java) S 27931 27934 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39090292 10914828288 10916 33554432000 4194304 4196468 140729100736896 140432495720848 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27938] ppid=27931 vsize=10659012 memory=140252196756556 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27938/stat : 27938 (java) S 27931 27934 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39090292 10914828288 10916 33554432000 4194304 4196468 140729100736896 140432494668048 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27939] ppid=27931 vsize=10659012 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27939/stat : 27939 (java) S 27931 27934 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39090292 10914828288 10916 33554432000 4194304 4196468 140729100736896 140432493615760 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27940] ppid=27931 vsize=10659012 memory=3472328279047811119 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27940/stat : 27940 (java) S 27931 27934 25074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39090292 10914828288 10916 33554432000 4194304 4196468 140729100736896 140432492562960 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27941] ppid=27931 vsize=10659012 memory=7596691808467609068 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27941/stat : 27941 (java) S 27931 27934 25074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39090296 10914828288 10916 33554432000 4194304 4196468 140729100736896 140432061172336 140432569657986 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27942] ppid=27931 vsize=10659012 memory=3905500723314570800 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27942/stat : 27942 (java) S 27931 27934 25074 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39090296 10914828288 10916 33554432000 4194304 4196468 140729100736896 140432060118304 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27943] ppid=27931 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27943/stat : 27943 (java) S 27931 27934 25074 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39090297 10914828288 10916 33554432000 4194304 4196468 140729100736896 140432059065968 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27944] ppid=27931 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27944/stat : 27944 (java) S 27931 27934 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39090299 10914828288 10916 33554432000 4194304 4196468 140729100736896 140432058014288 140432569665435 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27945] ppid=27931 vsize=10659012 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/27934/task/27945/stat : 27945 (java) S 27931 27934 25074 0 -1 1077944384 600 0 0 0 2 0 0 0 20 0 15 0 39090299 10914828288 10916 33554432000 4194304 4196468 140729100736896 140432056961136 140432569657986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27946] ppid=27931 vsize=10659012 memory=67440 CPUtime=0.02 cores=1,3,5,7
/proc/27934/task/27946/stat : 27946 (java) S 27931 27934 25074 0 -1 1077944384 416 0 0 0 2 0 0 0 20 0 15 0 39090299 10914828288 10916 33554432000 4194304 4196468 140729100736896 140432055908336 140432569657986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27947] ppid=27931 vsize=10659012 memory=140252196730496 CPUtime=0.09 cores=1,3,5,7
/proc/27934/task/27947/stat : 27947 (java) R 27931 27934 25074 0 -1 4202560 708 0 0 0 9 0 0 0 20 0 15 0 39090299 10914828288 10916 33554432000 4194304 4196468 140729100736896 140432054856048 140432548573687 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27948] ppid=27931 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27948/stat : 27948 (java) S 27931 27934 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39090300 10914828288 10916 33554432000 4194304 4196468 140729100736896 140432053803488 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27949] ppid=27931 vsize=10659012 memory=140252196730496 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27949/stat : 27949 (java) S 27931 27934 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39090300 10914828288 10916 33554432000 4194304 4196468 140729100736896 140432052751280 140432569657986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 43664 KiB
[startup+0.700738 s]
/proc/loadavg: 1.90 1.92 1.99 5/198 27949
/proc/meminfo: memFree=16802824/32770624 swapFree=67108860/67108860
[pid=27934] ppid=27931 vsize=10659088 memory=152288 CPUtime=1.57 cores=1,3,5,7
/proc/27934/stat : 27934 (java) S 27931 27934 25074 0 -1 1077944320 11078 0 0 0 153 4 0 0 20 0 15 0 39090289 10914906112 38072 33554432000 4194304 4196468 140729100736896 140729100719440 140432569646839 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
/proc/27934/statm: 2664772 38072 3105 1 0 2627263 0
[pid=27934/tid=27936] ppid=27931 vsize=10659088 memory=1728 CPUtime=0.62 cores=1,3,5,7
/proc/27934/task/27936/stat : 27936 (java) R 27931 27934 25074 0 -1 4202560 5267 0 0 0 59 3 0 0 20 0 15 0 39090290 10914906112 38072 33554432000 4194304 4196468 140729100736896 140432573880688 140432162805465 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27937] ppid=27931 vsize=10659088 memory=1924 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27937/stat : 27937 (java) S 27931 27934 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39090292 10914906112 38072 33554432000 4194304 4196468 140729100736896 140432495720848 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27938] ppid=27931 vsize=10659088 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27938/stat : 27938 (java) S 27931 27934 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39090292 10914906112 38072 33554432000 4194304 4196468 140729100736896 140432494668048 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27939] ppid=27931 vsize=10659088 memory=8380 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27939/stat : 27939 (java) S 27931 27934 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39090292 10914906112 38072 33554432000 4194304 4196468 140729100736896 140432493615760 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27940] ppid=27931 vsize=10659088 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27940/stat : 27940 (java) S 27931 27934 25074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39090292 10914906112 38072 33554432000 4194304 4196468 140729100736896 140432492562960 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27941] ppid=27931 vsize=10659088 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27941/stat : 27941 (java) S 27931 27934 25074 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 39090296 10914906112 38072 33554432000 4194304 4196468 140729100736896 140432061172336 140432569657986 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27942] ppid=27931 vsize=10659088 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27942/stat : 27942 (java) S 27931 27934 25074 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39090296 10914906112 38072 33554432000 4194304 4196468 140729100736896 140432060118304 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27943] ppid=27931 vsize=10659088 memory=5524 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27943/stat : 27943 (java) S 27931 27934 25074 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39090297 10914906112 38072 33554432000 4194304 4196468 140729100736896 140432059065968 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27944] ppid=27931 vsize=10659088 memory=4639098309541127276 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27944/stat : 27944 (java) S 27931 27934 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39090299 10914906112 38072 33554432000 4194304 4196468 140729100736896 140432058014288 140432569665435 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27945] ppid=27931 vsize=10659088 memory=7811323491934034027 CPUtime=0.35 cores=1,3,5,7
/proc/27934/task/27945/stat : 27945 (java) R 27931 27934 25074 0 -1 4202560 1738 0 0 0 35 0 0 0 20 0 15 0 39090299 10914906112 38072 33554432000 4194304 4196468 140729100736896 140432056961264 140432551190927 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27946] ppid=27931 vsize=10659088 memory=64 CPUtime=0.35 cores=1,3,5,7
/proc/27934/task/27946/stat : 27946 (java) R 27931 27934 25074 0 -1 4202560 1658 0 0 0 35 0 0 0 20 0 15 0 39090299 10914906112 38072 33554432000 4194304 4196468 140729100736896 140432055900824 140432549500435 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27947] ppid=27931 vsize=10659088 memory=28 CPUtime=0.23 cores=1,3,5,7
/proc/27934/task/27947/stat : 27947 (java) S 27931 27934 25074 0 -1 1077944384 1044 0 0 0 23 0 0 0 20 0 15 0 39090299 10914906112 38072 33554432000 4194304 4196468 140729100736896 140432054856048 140432569657986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27948] ppid=27931 vsize=10659088 memory=7146 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27948/stat : 27948 (java) S 27931 27934 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39090300 10914906112 38072 33554432000 4194304 4196468 140729100736896 140432053803488 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27949] ppid=27931 vsize=10659088 memory=1 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27949/stat : 27949 (java) S 27931 27934 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39090300 10914906112 38072 33554432000 4194304 4196468 140729100736896 140432052751280 140432569657986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
Current children cumulated CPU time: 1.57 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 152288 KiB
[startup+1.50085 s]
/proc/loadavg: 1.90 1.92 1.99 3/198 27949
/proc/meminfo: memFree=16404320/32770624 swapFree=67108860/67108860
[pid=27934] ppid=27931 vsize=10659088 memory=718036 CPUtime=3.63 cores=1,3,5,7
/proc/27934/stat : 27934 (java) S 27931 27934 25074 0 -1 1077944320 13345 0 0 0 332 31 0 0 20 0 15 0 39090289 10914906112 179509 33554432000 4194304 4196468 140729100736896 140729100719440 140432569646839 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
/proc/27934/statm: 2664772 179509 3141 1 0 2627263 0
[pid=27934/tid=27936] ppid=27931 vsize=10659088 memory=288230617509003574 CPUtime=1.19 cores=1,3,5,7
/proc/27934/task/27936/stat : 27936 (java) R 27931 27934 25074 0 -1 4202560 5747 0 0 0 111 8 0 0 20 0 15 0 39090290 10914906112 179509 33554432000 4194304 4196468 140729100736896 140432573883808 140432160138026 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27937] ppid=27931 vsize=10659088 memory=14412609709410693 CPUtime=0.21 cores=1,3,5,7
/proc/27934/task/27937/stat : 27937 (java) S 27931 27934 25074 0 -1 1077944384 173 0 0 0 16 5 0 0 20 0 15 0 39090292 10914906112 179509 33554432000 4194304 4196468 140729100736896 140432495720848 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27938] ppid=27931 vsize=10659088 memory=928 CPUtime=0.21 cores=1,3,5,7
/proc/27934/task/27938/stat : 27938 (java) S 27931 27934 25074 0 -1 1077944384 295 0 0 0 16 5 0 0 20 0 15 0 39090292 10914906112 179509 33554432000 4194304 4196468 140729100736896 140432494668048 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27939] ppid=27931 vsize=10659088 memory=1572 CPUtime=0.2 cores=1,3,5,7
/proc/27934/task/27939/stat : 27939 (java) S 27931 27934 25074 0 -1 1077944384 265 0 0 0 15 5 0 0 20 0 15 0 39090292 10914906112 179509 33554432000 4194304 4196468 140729100736896 140432493615760 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27940] ppid=27931 vsize=10659088 memory=2196 CPUtime=0.2 cores=1,3,5,7
/proc/27934/task/27940/stat : 27940 (java) S 27931 27934 25074 0 -1 1077944384 256 0 0 0 16 4 0 0 20 0 15 0 39090292 10914906112 179509 33554432000 4194304 4196468 140729100736896 140432492562960 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27941] ppid=27931 vsize=10659088 memory=6768 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27941/stat : 27941 (java) S 27931 27934 25074 0 -1 1077944384 514 0 0 0 0 0 0 0 20 0 15 0 39090296 10914906112 179509 33554432000 4194304 4196468 140729100736896 140432061172336 140432569657986 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
################
# More data... #
################
[startup+852.159 s]
# the end of solver process 27934 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2400.86 s, system=7.33891 s
Solver just ended.
Dumping a history of the last processes samples
[startup+851.201 s]
/proc/loadavg: 4.80 4.08 3.09 7/215 27998
/proc/meminfo: memFree=1230568/32770624 swapFree=67108860/67108860
[pid=27934] ppid=27931 vsize=10724624 memory=8403376 CPUtime=2404.53 cores=1,3,5,7
/proc/27934/stat : 27934 (java) S 27931 27934 25074 0 -1 1077944320 806317 0 0 0 239724 729 0 0 20 0 15 0 39090289 10982014976 2100844 33554432000 4194304 4196468 140729100736896 140729100719440 140432569646839 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
/proc/27934/statm: 2681156 2100844 3175 1 0 2643647 0
[pid=27934/tid=27936] ppid=27931 vsize=10724624 memory=8403376 CPUtime=300.45 cores=1,3,5,7
/proc/27934/task/27936/stat : 27936 (java) S 27931 27934 25074 0 -1 1077944384 57692 0 0 0 29993 52 0 0 20 0 15 0 39090290 10982014976 2100844 33554432000 4194304 4196468 140729100736896 140432573876928 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27937] ppid=27931 vsize=10724624 memory=8403376 CPUtime=517.9 cores=1,3,5,7
/proc/27934/task/27937/stat : 27937 (java) R 27931 27934 25074 0 -1 4202560 138046 0 0 0 51627 163 0 0 20 0 15 0 39090292 10982014976 2100844 33554432000 4194304 4196468 140729100736896 140432495720848 140432554643228 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27938] ppid=27931 vsize=10724624 memory=8403376 CPUtime=518.88 cores=1,3,5,7
/proc/27934/task/27938/stat : 27938 (java) R 27931 27934 25074 0 -1 4202560 142354 0 0 0 51722 166 0 0 20 0 15 0 39090292 10982014976 2100844 33554432000 4194304 4196468 140729100736896 140432494668248 140432554643240 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27939] ppid=27931 vsize=10724624 memory=8403376 CPUtime=518.58 cores=1,3,5,7
/proc/27934/task/27939/stat : 27939 (java) R 27931 27934 25074 0 -1 4202560 193099 0 0 0 51685 173 0 0 20 0 15 0 39090292 10982014976 2100844 33554432000 4194304 4196468 140729100736896 140432493615960 140432554345649 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27940] ppid=27931 vsize=10724624 memory=8403376 CPUtime=518.27 cores=1,3,5,7
/proc/27934/task/27940/stat : 27940 (java) R 27931 27934 25074 0 -1 4202560 129527 0 0 0 51674 153 0 0 20 0 15 0 39090292 10982014976 2100844 33554432000 4194304 4196468 140729100736896 140432492562960 140432554643249 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27941] ppid=27931 vsize=10724624 memory=0 CPUtime=25.98 cores=1,3,5,7
/proc/27934/task/27941/stat : 27941 (java) S 27931 27934 25074 0 -1 1077944384 118653 0 0 0 2591 7 0 0 20 0 15 0 39090296 10982014976 2100844 33554432000 4194304 4196468 140729100736896 140432061170880 140432569657045 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27942] ppid=27931 vsize=10724624 memory=56 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27942/stat : 27942 (java) S 27931 27934 25074 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 39090296 10982014976 2100844 33554432000 4194304 4196468 140729100736896 140432060118368 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27943] ppid=27931 vsize=10724624 memory=8380 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27943/stat : 27943 (java) S 27931 27934 25074 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 39090297 10982014976 2100844 33554432000 4194304 4196468 140729100736896 140432059065968 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27944] ppid=27931 vsize=10724624 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27944/stat : 27944 (java) S 27931 27934 25074 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 39090299 10982014976 2100844 33554432000 4194304 4196468 140729100736896 140432058013936 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27945] ppid=27931 vsize=10724624 memory=1440 CPUtime=1.62 cores=1,3,5,7
/proc/27934/task/27945/stat : 27945 (java) S 27931 27934 25074 0 -1 1077944384 11241 0 0 0 161 1 0 0 20 0 15 0 39090299 10982014976 2100844 33554432000 4194304 4196468 140729100736896 140432056960896 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27946] ppid=27931 vsize=10724624 memory=8403376 CPUtime=1.77 cores=1,3,5,7
/proc/27934/task/27946/stat : 27946 (java) S 27931 27934 25074 0 -1 1077944384 10629 0 0 0 176 1 0 0 20 0 15 0 39090299 10982014976 2100844 33554432000 4194304 4196468 140729100736896 140432055908384 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27947] ppid=27931 vsize=10724624 memory=13856 CPUtime=0.39 cores=1,3,5,7
/proc/27934/task/27947/stat : 27947 (java) S 27931 27934 25074 0 -1 1077944384 2729 0 0 0 39 0 0 0 20 0 15 0 39090299 10982014976 2100844 33554432000 4194304 4196468 140729100736896 140432054856096 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27948] ppid=27931 vsize=10724624 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27948/stat : 27948 (java) S 27931 27934 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39090300 10982014976 2100844 33554432000 4194304 4196468 140729100736896 140432053803488 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27949] ppid=27931 vsize=10724624 memory=8403376 CPUtime=0.6 cores=1,3,5,7
/proc/27934/task/27949/stat : 27949 (java) S 27931 27934 25074 0 -1 1077944384 955 0 0 0 26 34 0 0 20 0 15 0 39090300 10982014976 2100844 33554432000 4194304 4196468 140729100736896 140432052751280 140432569657986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
Current children cumulated CPU time: 2404.53 s
Current children cumulated vsize: 10724624 KiB
Current children cumulated memory: 8403376 KiB
[startup+851.601 s]
/proc/loadavg: 4.80 4.08 3.09 7/215 27998
/proc/meminfo: memFree=1230568/32770624 swapFree=67108860/67108860
[pid=27934] ppid=27931 vsize=10724624 memory=8403376 CPUtime=2406.13 cores=1,3,5,7
/proc/27934/stat : 27934 (java) S 27931 27934 25074 0 -1 1077944320 806317 0 0 0 239884 729 0 0 20 0 15 0 39090289 10982014976 2100844 33554432000 4194304 4196468 140729100736896 140729100719440 140432569646839 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
/proc/27934/statm: 2681156 2100844 3175 1 0 2643647 0
[pid=27934/tid=27936] ppid=27931 vsize=10724624 memory=0 CPUtime=300.45 cores=1,3,5,7
/proc/27934/task/27936/stat : 27936 (java) S 27931 27934 25074 0 -1 1077944384 57692 0 0 0 29993 52 0 0 20 0 15 0 39090290 10982014976 2100844 33554432000 4194304 4196468 140729100736896 140432573876928 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27937] ppid=27931 vsize=10724624 memory=8403376 CPUtime=518.3 cores=1,3,5,7
/proc/27934/task/27937/stat : 27937 (java) R 27931 27934 25074 0 -1 4202560 138046 0 0 0 51667 163 0 0 20 0 15 0 39090292 10982014976 2100844 33554432000 4194304 4196468 140729100736896 140432495720848 140432554643217 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27938] ppid=27931 vsize=10724624 memory=8403376 CPUtime=519.28 cores=1,3,5,7
/proc/27934/task/27938/stat : 27938 (java) R 27931 27934 25074 0 -1 4202560 142354 0 0 0 51762 166 0 0 20 0 15 0 39090292 10982014976 2100844 33554432000 4194304 4196468 140729100736896 140432494668248 140432554345807 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27939] ppid=27931 vsize=10724624 memory=6791534058613427641 CPUtime=518.98 cores=1,3,5,7
/proc/27934/task/27939/stat : 27939 (java) R 27931 27934 25074 0 -1 4202560 193099 0 0 0 51725 173 0 0 20 0 15 0 39090292 10982014976 2100844 33554432000 4194304 4196468 140729100736896 140432493615960 140432554643206 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27940] ppid=27931 vsize=10724624 memory=8380 CPUtime=518.67 cores=1,3,5,7
/proc/27934/task/27940/stat : 27940 (java) R 27931 27934 25074 0 -1 4202560 129527 0 0 0 51714 153 0 0 20 0 15 0 39090292 10982014976 2100844 33554432000 4194304 4196468 140729100736896 140432492562960 140432554643443 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27941] ppid=27931 vsize=10724624 memory=14008 CPUtime=25.98 cores=1,3,5,7
/proc/27934/task/27941/stat : 27941 (java) S 27931 27934 25074 0 -1 1077944384 118653 0 0 0 2591 7 0 0 20 0 15 0 39090296 10982014976 2100844 33554432000 4194304 4196468 140729100736896 140432061170880 140432569657045 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27942] ppid=27931 vsize=10724624 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27942/stat : 27942 (java) S 27931 27934 25074 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 39090296 10982014976 2100844 33554432000 4194304 4196468 140729100736896 140432060118368 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27943] ppid=27931 vsize=10724624 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27943/stat : 27943 (java) S 27931 27934 25074 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 39090297 10982014976 2100844 33554432000 4194304 4196468 140729100736896 140432059065968 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27944] ppid=27931 vsize=10724624 memory=1924 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27944/stat : 27944 (java) S 27931 27934 25074 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 39090299 10982014976 2100844 33554432000 4194304 4196468 140729100736896 140432058013936 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27945] ppid=27931 vsize=10724624 memory=1008 CPUtime=1.62 cores=1,3,5,7
/proc/27934/task/27945/stat : 27945 (java) S 27931 27934 25074 0 -1 1077944384 11241 0 0 0 161 1 0 0 20 0 15 0 39090299 10982014976 2100844 33554432000 4194304 4196468 140729100736896 140432056960896 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27946] ppid=27931 vsize=10724624 memory=8380 CPUtime=1.77 cores=1,3,5,7
/proc/27934/task/27946/stat : 27946 (java) S 27931 27934 25074 0 -1 1077944384 10629 0 0 0 176 1 0 0 20 0 15 0 39090299 10982014976 2100844 33554432000 4194304 4196468 140729100736896 140432055908384 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27947] ppid=27931 vsize=10724624 memory=8403376 CPUtime=0.39 cores=1,3,5,7
/proc/27934/task/27947/stat : 27947 (java) S 27931 27934 25074 0 -1 1077944384 2729 0 0 0 39 0 0 0 20 0 15 0 39090299 10982014976 2100844 33554432000 4194304 4196468 140729100736896 140432054856096 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27948] ppid=27931 vsize=10724624 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27948/stat : 27948 (java) S 27931 27934 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39090300 10982014976 2100844 33554432000 4194304 4196468 140729100736896 140432053803488 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27949] ppid=27931 vsize=10724624 memory=4132 CPUtime=0.6 cores=1,3,5,7
/proc/27934/task/27949/stat : 27949 (java) S 27931 27934 25074 0 -1 1077944384 955 0 0 0 26 34 0 0 20 0 15 0 39090300 10982014976 2100844 33554432000 4194304 4196468 140729100736896 140432052751280 140432569657986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
Current children cumulated CPU time: 2406.13 s
Current children cumulated vsize: 10724624 KiB
Current children cumulated memory: 8403376 KiB
[startup+852.001 s]*
/proc/loadavg: 4.80 4.08 3.09 6/215 27998
/proc/meminfo: memFree=1230568/32770624 swapFree=67108860/67108860
[pid=27934] ppid=27931 vsize=10724624 memory=8403376 CPUtime=2407.74 cores=1,3,5,7
/proc/27934/stat : 27934 (java) S 27931 27934 25074 0 -1 1077944320 806317 0 0 0 240045 729 0 0 20 0 15 0 39090289 10982014976 2100844 33554432000 4194304 4196468 140729100736896 140729100719440 140432569646839 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
/proc/27934/statm: 2681156 2100844 3175 1 0 2643647 0
[pid=27934/tid=27936] ppid=27931 vsize=10724624 memory=8403376 CPUtime=300.45 cores=1,3,5,7
/proc/27934/task/27936/stat : 27936 (java) S 27931 27934 25074 0 -1 1077944384 57692 0 0 0 29993 52 0 0 20 0 15 0 39090290 10982014976 2100844 33554432000 4194304 4196468 140729100736896 140432573876928 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27937] ppid=27931 vsize=10724624 memory=8403376 CPUtime=518.71 cores=1,3,5,7
/proc/27934/task/27937/stat : 27937 (java) R 27931 27934 25074 0 -1 4202560 138046 0 0 0 51708 163 0 0 20 0 15 0 39090292 10982014976 2100844 33554432000 4194304 4196468 140729100736896 140432495720656 140432562275047 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27938] ppid=27931 vsize=10724624 memory=33 CPUtime=519.67 cores=1,3,5,7
/proc/27934/task/27938/stat : 27938 (java) R 27931 27934 25074 0 -1 4202560 142354 0 0 0 51801 166 0 0 20 0 15 0 39090292 10982014976 2100844 33554432000 4194304 4196468 140729100736896 140432494668168 140432562275047 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27939] ppid=27931 vsize=10724624 memory=4126316290023845779 CPUtime=519.39 cores=1,3,5,7
/proc/27934/task/27939/stat : 27939 (java) R 27931 27934 25074 0 -1 4202560 193099 0 0 0 51766 173 0 0 20 0 15 0 39090292 10982014976 2100844 33554432000 4194304 4196468 140729100736896 140432493615960 140432554643191 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27940] ppid=27931 vsize=10724624 memory=1240 CPUtime=519.07 cores=1,3,5,7
/proc/27934/task/27940/stat : 27940 (java) R 27931 27934 25074 0 -1 4202560 129527 0 0 0 51754 153 0 0 20 0 15 0 39090292 10982014976 2100844 33554432000 4194304 4196468 140729100736896 140432492562768 140432555405656 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27941] ppid=27931 vsize=10724624 memory=2340 CPUtime=25.98 cores=1,3,5,7
/proc/27934/task/27941/stat : 27941 (java) S 27931 27934 25074 0 -1 1077944384 118653 0 0 0 2591 7 0 0 20 0 15 0 39090296 10982014976 2100844 33554432000 4194304 4196468 140729100736896 140432061170880 140432569657045 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27942] ppid=27931 vsize=10724624 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27942/stat : 27942 (java) S 27931 27934 25074 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 39090296 10982014976 2100844 33554432000 4194304 4196468 140729100736896 140432060118368 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27943] ppid=27931 vsize=10724624 memory=4132 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27943/stat : 27943 (java) S 27931 27934 25074 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 39090297 10982014976 2100844 33554432000 4194304 4196468 140729100736896 140432059065968 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27944] ppid=27931 vsize=10724624 memory=928 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27944/stat : 27944 (java) S 27931 27934 25074 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 39090299 10982014976 2100844 33554432000 4194304 4196468 140729100736896 140432058013936 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27945] ppid=27931 vsize=10724624 memory=1572 CPUtime=1.62 cores=1,3,5,7
/proc/27934/task/27945/stat : 27945 (java) S 27931 27934 25074 0 -1 1077944384 11241 0 0 0 161 1 0 0 20 0 15 0 39090299 10982014976 2100844 33554432000 4194304 4196468 140729100736896 140432056960896 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27946] ppid=27931 vsize=10724624 memory=2196 CPUtime=1.77 cores=1,3,5,7
/proc/27934/task/27946/stat : 27946 (java) S 27931 27934 25074 0 -1 1077944384 10629 0 0 0 176 1 0 0 20 0 15 0 39090299 10982014976 2100844 33554432000 4194304 4196468 140729100736896 140432055908384 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27947] ppid=27931 vsize=10724624 memory=6768 CPUtime=0.39 cores=1,3,5,7
/proc/27934/task/27947/stat : 27947 (java) S 27931 27934 25074 0 -1 1077944384 2729 0 0 0 39 0 0 0 20 0 15 0 39090299 10982014976 2100844 33554432000 4194304 4196468 140729100736896 140432054856096 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27948] ppid=27931 vsize=10724624 memory=832 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27948/stat : 27948 (java) S 27931 27934 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39090300 10982014976 2100844 33554432000 4194304 4196468 140729100736896 140432053803488 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27949] ppid=27931 vsize=10724624 memory=1692 CPUtime=0.6 cores=1,3,5,7
/proc/27934/task/27949/stat : 27949 (java) S 27931 27934 25074 0 -1 1077944384 955 0 0 0 26 34 0 0 20 0 15 0 39090300 10982014976 2100844 33554432000 4194304 4196468 140729100736896 140432052751280 140432569657986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
Current children cumulated CPU time: 2407.74 s
Current children cumulated vsize: 10724624 KiB
Current children cumulated memory: 8403376 KiB
[startup+852.111 s]
/proc/loadavg: 4.80 4.08 3.09 6/215 27998
/proc/meminfo: memFree=1230568/32770624 swapFree=67108860/67108860
[pid=27934] ppid=27931 vsize=10724624 memory=8403376 CPUtime=2408.12 cores=1,3,5,7
/proc/27934/stat : 27934 (java) S 27931 27934 25074 0 -1 1077944320 806317 0 0 0 240083 729 0 0 20 0 15 0 39090289 10982014976 2100844 33554432000 4194304 4196468 140729100736896 140729100719440 140432569646839 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
/proc/27934/statm: 2681156 2100844 3175 1 0 2643647 0
[pid=27934/tid=27936] ppid=27931 vsize=10724624 memory=8403376 CPUtime=300.45 cores=1,3,5,7
/proc/27934/task/27936/stat : 27936 (java) S 27931 27934 25074 0 -1 1077944384 57692 0 0 0 29993 52 0 0 20 0 15 0 39090290 10982014976 2100844 33554432000 4194304 4196468 140729100736896 140432573876928 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27937] ppid=27931 vsize=10724624 memory=8403376 CPUtime=518.8 cores=1,3,5,7
/proc/27934/task/27937/stat : 27937 (java) R 27931 27934 25074 0 -1 4202560 138046 0 0 0 51717 163 0 0 20 0 15 0 39090292 10982014976 2100844 33554432000 4194304 4196468 140729100736896 140432495720656 140432562275047 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27938] ppid=27931 vsize=10724624 memory=8403376 CPUtime=519.77 cores=1,3,5,7
/proc/27934/task/27938/stat : 27938 (java) R 27931 27934 25074 0 -1 4202560 142354 0 0 0 51811 166 0 0 20 0 15 0 39090292 10982014976 2100844 33554432000 4194304 4196468 140729100736896 140432494668168 140432562275047 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27939] ppid=27931 vsize=10724624 memory=8403376 CPUtime=519.49 cores=1,3,5,7
/proc/27934/task/27939/stat : 27939 (java) R 27931 27934 25074 0 -1 4202560 193099 0 0 0 51776 173 0 0 20 0 15 0 39090292 10982014976 2100844 33554432000 4194304 4196468 140729100736896 140432493615960 140432554643243 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27940] ppid=27931 vsize=10724624 memory=8403376 CPUtime=519.16 cores=1,3,5,7
/proc/27934/task/27940/stat : 27940 (java) R 27931 27934 25074 0 -1 4202560 129527 0 0 0 51763 153 0 0 20 0 15 0 39090292 10982014976 2100844 33554432000 4194304 4196468 140729100736896 140432492562768 140432562275047 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27941] ppid=27931 vsize=10724624 memory=8403376 CPUtime=25.98 cores=1,3,5,7
/proc/27934/task/27941/stat : 27941 (java) S 27931 27934 25074 0 -1 1077944384 118653 0 0 0 2591 7 0 0 20 0 15 0 39090296 10982014976 2100844 33554432000 4194304 4196468 140729100736896 140432061170880 140432569657045 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27942] ppid=27931 vsize=10724624 memory=8403376 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27942/stat : 27942 (java) S 27931 27934 25074 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 39090296 10982014976 2100844 33554432000 4194304 4196468 140729100736896 140432060118368 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27943] ppid=27931 vsize=10724624 memory=8403376 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27943/stat : 27943 (java) S 27931 27934 25074 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 39090297 10982014976 2100844 33554432000 4194304 4196468 140729100736896 140432059065968 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27944] ppid=27931 vsize=10724624 memory=8403376 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27944/stat : 27944 (java) S 27931 27934 25074 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 39090299 10982014976 2100844 33554432000 4194304 4196468 140729100736896 140432058013936 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27945] ppid=27931 vsize=10724624 memory=39 CPUtime=1.62 cores=1,3,5,7
/proc/27934/task/27945/stat : 27945 (java) S 27931 27934 25074 0 -1 1077944384 11241 0 0 0 161 1 0 0 20 0 15 0 39090299 10982014976 2100844 33554432000 4194304 4196468 140729100736896 140432056960896 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27946] ppid=27931 vsize=10724624 memory=8403376 CPUtime=1.77 cores=1,3,5,7
/proc/27934/task/27946/stat : 27946 (java) S 27931 27934 25074 0 -1 1077944384 10629 0 0 0 176 1 0 0 20 0 15 0 39090299 10982014976 2100844 33554432000 4194304 4196468 140729100736896 140432055908384 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27947] ppid=27931 vsize=10724624 memory=4140 CPUtime=0.39 cores=1,3,5,7
/proc/27934/task/27947/stat : 27947 (java) S 27931 27934 25074 0 -1 1077944384 2729 0 0 0 39 0 0 0 20 0 15 0 39090299 10982014976 2100844 33554432000 4194304 4196468 140729100736896 140432054856096 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27948] ppid=27931 vsize=10724624 memory=8403376 CPUtime=0 cores=1,3,5,7
/proc/27934/task/27948/stat : 27948 (java) S 27931 27934 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39090300 10982014976 2100844 33554432000 4194304 4196468 140729100736896 140432053803488 140432569657045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
[pid=27934/tid=27949] ppid=27931 vsize=10724624 memory=4048 CPUtime=0.6 cores=1,3,5,7
/proc/27934/task/27949/stat : 27949 (java) S 27931 27934 25074 0 -1 1077944384 955 0 0 0 26 34 0 0 20 0 15 0 39090300 10982014976 2100844 33554432000 4194304 4196468 140729100736896 140432052751280 140432569657986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27795456 140729100743793 140729100743945 140729100743945 140729100746703 0
Current children cumulated CPU time: 2408.12 s
Current children cumulated vsize: 10724624 KiB
Current children cumulated memory: 8403376 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 852.159
CPU time (s): 2408.2
CPU user time (s): 2400.86
CPU system time (s): 7.33891
CPU usage (%): 282.599
Max. virtual memory (cumulated for all children) (KiB): 10724624
Max. memory (cumulated for all children) (KiB): 8403376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.86
system time used= 7.33891
maximum resident set size= 8403640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 806322
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 36591
involuntary context switches= 21824
# summary of solver processes directly reported to runsolver:
# pid: 27934
# total CPU time (s): 2408.2
# total CPU user time (s): 2400.86
# total CPU system time (s): 7.33891
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.45123 second user time and 9.6738 second system time
The end