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 (10047 MiB free)
memory of node 1: 16384 MiB (11228 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294383-1532461005/watcher-4294383-1532461005 -o /tmp/evaluation-result-4294383-1532461005/solver-4294383-1532461005 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532448512-24796 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=2126770241 -superng HOME/instance-4294383-1532461005.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=27895, runsolver pid=27892
[startup+0.100165 s]*
/proc/loadavg: 1.61 1.43 1.37 3/202 27948
/proc/meminfo: memFree=21782328/32770624 swapFree=67108860/67108860
[pid=27895] ppid=27892 vsize=9972712 memory=16552 CPUtime=0.09 cores=0,2,4,6
/proc/27895/stat : 27895 (java) S 27892 27895 24765 0 -1 1077944320 4296 13341 0 0 1 0 5 3 20 0 6 0 63663684 10212057088 4138 33554432000 4194304 4196468 140725132836160 140725132818704 140024274489079 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
/proc/27895/statm: 2493178 4138 1932 1 0 2481616 0
[pid=27895/tid=27948] ppid=27892 vsize=9972712 memory=4279135703946723981 CPUtime=0.09 cores=0,2,4,6
/proc/27895/task/27948/stat : 27948 (java) R 27892 27895 24765 0 -1 4202560 2114 13341 0 0 1 0 5 3 20 0 6 0 63663693 10212057088 4138 33554432000 4194304 4196468 140725132836160 140024246325840 140024260171605 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27949] ppid=27892 vsize=9972712 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27949/stat : 27949 (java) S 27892 27895 24765 0 -1 1077944384 1 13341 0 0 0 0 5 3 20 0 6 0 63663694 10212057088 4138 33554432000 4194304 4196468 140725132836160 140024278731024 140024274499285 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27950] ppid=27892 vsize=9972712 memory=140393771206272 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27950/stat : 27950 (java) S 27892 27895 24765 0 -1 1077944384 1 13341 0 0 0 0 5 3 20 0 6 0 63663694 10212057088 4138 33554432000 4194304 4196468 140725132836160 140024193550736 140024274499285 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27951] ppid=27892 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27951/stat : 27951 (java) S 27892 27895 24765 0 -1 1077944384 2 13341 0 0 0 0 5 3 20 0 6 0 63663694 10212057088 4138 33554432000 4194304 4196468 140725132836160 140024192498192 140024274499285 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27952] ppid=27892 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27952/stat : 27952 (java) S 27892 27895 24765 0 -1 1077944384 1 13341 0 0 0 0 5 3 20 0 6 0 63663694 10212057088 4138 33554432000 4194304 4196468 140725132836160 140024191445648 140024274499285 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16552 KiB
[startup+0.210239 s]*
/proc/loadavg: 1.61 1.43 1.37 3/215 27961
/proc/meminfo: memFree=21758976/32770624 swapFree=67108860/67108860
[pid=27895] ppid=27892 vsize=10821524 memory=45488 CPUtime=0.26 cores=0,2,4,6
/proc/27895/stat : 27895 (java) S 27892 27895 24765 0 -1 1077944320 8532 13341 0 0 17 1 5 3 20 0 15 0 63663684 11081240576 11306 33554432000 4194304 4196468 140725132836160 140725132818704 140024274489079 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
/proc/27895/statm: 2705381 11372 2973 1 0 2667804 0
[pid=27895/tid=27948] ppid=27892 vsize=10821524 memory=-6517102902069810590 CPUtime=0.19 cores=0,2,4,6
/proc/27895/task/27948/stat : 27948 (java) R 27892 27895 24765 0 -1 4202560 5232 13341 0 0 10 1 5 3 20 0 15 0 63663693 11081240576 11011 33554432000 4194304 4196468 140725132836160 140024246313888 140024267206183 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27949] ppid=27892 vsize=10819896 memory=-7025452035940392864 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27949/stat : 27949 (java) S 27892 27895 24765 0 -1 1077944384 1 13341 0 0 0 0 5 3 20 0 15 0 63663694 11079573504 11011 33554432000 4194304 4196468 140725132836160 140024278731024 140024274499285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27950] ppid=27892 vsize=10819896 memory=140393771206272 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27950/stat : 27950 (java) S 27892 27895 24765 0 -1 1077944384 1 13341 0 0 0 0 5 3 20 0 15 0 63663694 11079573504 10771 33554432000 4194304 4196468 140725132836160 140024193550736 140024274499285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27951] ppid=27892 vsize=10818936 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27951/stat : 27951 (java) S 27892 27895 24765 0 -1 1077944384 2 13341 0 0 0 0 5 3 20 0 15 0 63663694 11078590464 10771 33554432000 4194304 4196468 140725132836160 140024192498192 140024274499285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27952] ppid=27892 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27952/stat : 27952 (java) S 27892 27895 24765 0 -1 1077944384 1 13341 0 0 0 0 5 3 20 0 15 0 63663694 11078557696 10763 33554432000 4194304 4196468 140725132836160 140024191445648 140024274499285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27953] ppid=27892 vsize=10818904 memory=140393771206272 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27953/stat : 27953 (java) S 27892 27895 24765 0 -1 1077944384 2 13341 0 0 0 0 5 3 20 0 15 0 63663696 11078557696 10763 33554432000 4194304 4196468 140725132836160 140023800879600 140024274500226 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27954] ppid=27892 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27954/stat : 27954 (java) S 27892 27895 24765 0 -1 1077944384 13 13341 0 0 0 0 5 3 20 0 15 0 63663696 11078557696 10763 33554432000 4194304 4196468 140725132836160 140023718471072 140024274499285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27955] ppid=27892 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27955/stat : 27955 (java) S 27892 27895 24765 0 -1 1077944384 1 13341 0 0 0 0 5 3 20 0 15 0 63663696 11078557696 10763 33554432000 4194304 4196468 140725132836160 140023114491376 140024274499285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27956] ppid=27892 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27956/stat : 27956 (java) S 27892 27895 24765 0 -1 1077944384 3 13341 0 0 0 0 5 3 20 0 15 0 63663699 11078557696 10763 33554432000 4194304 4196468 140725132836160 140022807091920 140024274507675 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27957] ppid=27892 vsize=10818904 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/27895/task/27957/stat : 27957 (java) S 27892 27895 24765 0 -1 1077944384 494 13341 0 0 1 0 5 3 20 0 15 0 63663699 11078557696 10763 33554432000 4194304 4196468 140725132836160 140023799826416 140024274500226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27958] ppid=27892 vsize=10818904 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/27895/task/27958/stat : 27958 (java) S 27892 27895 24765 0 -1 1077944384 90 13341 0 0 1 0 5 3 20 0 15 0 63663699 11078557696 10763 33554432000 4194304 4196468 140725132836160 140023798773872 140024274500226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27959] ppid=27892 vsize=10818936 memory=140393771206272 CPUtime=0.11 cores=0,2,4,6
/proc/27895/task/27959/stat : 27959 (java) S 27892 27895 24765 0 -1 1077944384 549 13341 0 0 3 0 5 3 20 0 15 0 63663699 11078590464 10763 33554432000 4194304 4196468 140725132836160 140023797721328 140024274500226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27960] ppid=27892 vsize=10818936 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27960/stat : 27960 (java) S 27892 27895 24765 0 -1 1077944384 3 13341 0 0 0 0 5 3 20 0 15 0 63663699 11078590464 10763 33554432000 4194304 4196468 140725132836160 140022773533280 140024274499285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27961] ppid=27892 vsize=10818936 memory=140393771206272 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27961/stat : 27961 (java) S 27892 27895 24765 0 -1 1077944384 1 13341 0 0 0 0 5 3 20 0 15 0 63663699 11078590464 10763 33554432000 4194304 4196468 140725132836160 140023796669232 140024274500226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10821524 KiB
Current children cumulated memory: 45488 KiB
[startup+0.310452 s]*
/proc/loadavg: 1.61 1.43 1.37 3/215 27961
/proc/meminfo: memFree=21745952/32770624 swapFree=67108860/67108860
[pid=27895] ppid=27892 vsize=10819352 memory=53512 CPUtime=0.39 cores=0,2,4,6
/proc/27895/stat : 27895 (java) S 27892 27895 24765 0 -1 1077944320 10444 13341 0 0 29 2 5 3 20 0 15 0 63663684 11079016448 13378 33554432000 4194304 4196468 140725132836160 140725132818704 140024274489079 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
/proc/27895/statm: 2704838 13378 3092 1 0 2667149 0
[pid=27895/tid=27948] ppid=27892 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/27895/task/27948/stat : 27948 (java) R 27892 27895 24765 0 -1 4202560 7088 13341 0 0 19 1 5 3 20 0 15 0 63663693 11079016448 13378 33554432000 4194304 4196468 140725132836160 140024246301088 140024266726206 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27949] ppid=27892 vsize=10819352 memory=7373043845850746960 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27949/stat : 27949 (java) S 27892 27895 24765 0 -1 1077944384 1 13341 0 0 0 0 5 3 20 0 15 0 63663694 11079016448 13378 33554432000 4194304 4196468 140725132836160 140024278731024 140024274499285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27950] ppid=27892 vsize=10819352 memory=2076 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27950/stat : 27950 (java) S 27892 27895 24765 0 -1 1077944384 1 13341 0 0 0 0 5 3 20 0 15 0 63663694 11079016448 13378 33554432000 4194304 4196468 140725132836160 140024193550736 140024274499285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27951] ppid=27892 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27951/stat : 27951 (java) S 27892 27895 24765 0 -1 1077944384 2 13341 0 0 0 0 5 3 20 0 15 0 63663694 11079016448 13378 33554432000 4194304 4196468 140725132836160 140024192498192 140024274499285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27952] ppid=27892 vsize=10819352 memory=4126316290023845779 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27952/stat : 27952 (java) S 27892 27895 24765 0 -1 1077944384 1 13341 0 0 0 0 5 3 20 0 15 0 63663694 11079016448 13378 33554432000 4194304 4196468 140725132836160 140024191445648 140024274499285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27953] ppid=27892 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27953/stat : 27953 (java) S 27892 27895 24765 0 -1 1077944384 2 13341 0 0 0 0 5 3 20 0 15 0 63663696 11079016448 13378 33554432000 4194304 4196468 140725132836160 140023800879600 140024274500226 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27954] ppid=27892 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27954/stat : 27954 (java) S 27892 27895 24765 0 -1 1077944384 13 13341 0 0 0 0 5 3 20 0 15 0 63663696 11079016448 13378 33554432000 4194304 4196468 140725132836160 140023718471072 140024274499285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27955] ppid=27892 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27955/stat : 27955 (java) S 27892 27895 24765 0 -1 1077944384 1 13341 0 0 0 0 5 3 20 0 15 0 63663696 11079016448 13378 33554432000 4194304 4196468 140725132836160 140023114491376 140024274499285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27956] ppid=27892 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27956/stat : 27956 (java) S 27892 27895 24765 0 -1 1077944384 3 13341 0 0 0 0 5 3 20 0 15 0 63663699 11079016448 13378 33554432000 4194304 4196468 140725132836160 140022807091920 140024274507675 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27957] ppid=27892 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/27895/task/27957/stat : 27957 (java) S 27892 27895 24765 0 -1 1077944384 495 13341 0 0 1 0 5 3 20 0 15 0 63663699 11079016448 13378 33554432000 4194304 4196468 140725132836160 140023799826416 140024274500226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27958] ppid=27892 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/27895/task/27958/stat : 27958 (java) S 27892 27895 24765 0 -1 1077944384 90 13341 0 0 1 0 5 3 20 0 15 0 63663699 11079016448 13378 33554432000 4194304 4196468 140725132836160 140023798773872 140024274500226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27959] ppid=27892 vsize=10819352 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/27895/task/27959/stat : 27959 (java) R 27892 27895 24765 0 -1 4202560 556 13341 0 0 5 0 5 3 20 0 15 0 63663699 11079016448 13378 33554432000 4194304 4196468 140725132836160 140023797721328 140024254460264 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27960] ppid=27892 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27960/stat : 27960 (java) S 27892 27895 24765 0 -1 1077944384 3 13341 0 0 0 0 5 3 20 0 15 0 63663699 11079016448 13378 33554432000 4194304 4196468 140725132836160 140022773533280 140024274499285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27961] ppid=27892 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27961/stat : 27961 (java) S 27892 27895 24765 0 -1 1077944384 1 13341 0 0 0 0 5 3 20 0 15 0 63663699 11079016448 13378 33554432000 4194304 4196468 140725132836160 140023796669232 140024274500226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 53512 KiB
[startup+0.70084 s]
/proc/loadavg: 1.64 1.44 1.37 3/215 27961
/proc/meminfo: memFree=21736276/32770624 swapFree=67108860/67108860
[pid=27895] ppid=27892 vsize=10819352 memory=86412 CPUtime=0.99 cores=0,2,4,6
/proc/27895/stat : 27895 (java) S 27892 27895 24765 0 -1 1077944320 16748 13341 0 0 87 4 5 3 20 0 15 0 63663684 11079016448 21603 33554432000 4194304 4196468 140725132836160 140725132818704 140024274489079 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
/proc/27895/statm: 2704838 21603 3237 1 0 2667149 0
[pid=27895/tid=27948] ppid=27892 vsize=10819352 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/27895/task/27948/stat : 27948 (java) R 27892 27895 24765 0 -1 4202560 12271 13341 0 0 56 3 5 3 20 0 15 0 63663693 11079016448 21603 33554432000 4194304 4196468 140725132836160 140024246309904 140024259654624 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27949] ppid=27892 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27949/stat : 27949 (java) S 27892 27895 24765 0 -1 1077944384 1 13341 0 0 0 0 5 3 20 0 15 0 63663694 11079016448 21603 33554432000 4194304 4196468 140725132836160 140024278731024 140024274499285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27950] ppid=27892 vsize=10819352 memory=4136 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27950/stat : 27950 (java) S 27892 27895 24765 0 -1 1077944384 1 13341 0 0 0 0 5 3 20 0 15 0 63663694 11079016448 21603 33554432000 4194304 4196468 140725132836160 140024193550736 140024274499285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27951] ppid=27892 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27951/stat : 27951 (java) S 27892 27895 24765 0 -1 1077944384 2 13341 0 0 0 0 5 3 20 0 15 0 63663694 11079016448 21603 33554432000 4194304 4196468 140725132836160 140024192498192 140024274499285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27952] ppid=27892 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27952/stat : 27952 (java) S 27892 27895 24765 0 -1 1077944384 1 13341 0 0 0 0 5 3 20 0 15 0 63663694 11079016448 21603 33554432000 4194304 4196468 140725132836160 140024191445648 140024274499285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27953] ppid=27892 vsize=10819352 memory=4420 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27953/stat : 27953 (java) S 27892 27895 24765 0 -1 1077944384 5 13341 0 0 0 0 5 3 20 0 15 0 63663696 11079016448 21603 33554432000 4194304 4196468 140725132836160 140023800879600 140024274500226 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27954] ppid=27892 vsize=10819352 memory=6628 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27954/stat : 27954 (java) S 27892 27895 24765 0 -1 1077944384 13 13341 0 0 0 0 5 3 20 0 15 0 63663696 11079016448 21603 33554432000 4194304 4196468 140725132836160 140023718471072 140024274499285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27955] ppid=27892 vsize=10819352 memory=8836 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27955/stat : 27955 (java) S 27892 27895 24765 0 -1 1077944384 1 13341 0 0 0 0 5 3 20 0 15 0 63663696 11079016448 21603 33554432000 4194304 4196468 140725132836160 140023114491376 140024274499285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27956] ppid=27892 vsize=10819352 memory=11044 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27956/stat : 27956 (java) S 27892 27895 24765 0 -1 1077944384 3 13341 0 0 0 0 5 3 20 0 15 0 63663699 11079016448 21603 33554432000 4194304 4196468 140725132836160 140022807091920 140024274507675 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27957] ppid=27892 vsize=10819352 memory=13252 CPUtime=0.17 cores=0,2,4,6
/proc/27895/task/27957/stat : 27957 (java) S 27892 27895 24765 0 -1 1077944384 1101 13341 0 0 9 0 5 3 20 0 15 0 63663699 11079016448 21603 33554432000 4194304 4196468 140725132836160 140023799826416 140024274500226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27958] ppid=27892 vsize=10819352 memory=15460 CPUtime=0.15 cores=0,2,4,6
/proc/27895/task/27958/stat : 27958 (java) S 27892 27895 24765 0 -1 1077944384 516 13341 0 0 7 0 5 3 20 0 15 0 63663699 11079016448 21603 33554432000 4194304 4196468 140725132836160 140023798773872 140024274500226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27959] ppid=27892 vsize=10819352 memory=17668 CPUtime=0.21 cores=0,2,4,6
/proc/27895/task/27959/stat : 27959 (java) S 27892 27895 24765 0 -1 1077944384 640 13341 0 0 13 0 5 3 20 0 15 0 63663699 11079016448 21603 33554432000 4194304 4196468 140725132836160 140023797721328 140024274500226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27960] ppid=27892 vsize=10819352 memory=19876 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27960/stat : 27960 (java) S 27892 27895 24765 0 -1 1077944384 3 13341 0 0 0 0 5 3 20 0 15 0 63663699 11079016448 21603 33554432000 4194304 4196468 140725132836160 140022773533280 140024274499285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27961] ppid=27892 vsize=10819352 memory=22084 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27961/stat : 27961 (java) S 27892 27895 24765 0 -1 1077944384 1 13341 0 0 0 0 5 3 20 0 15 0 63663699 11079016448 21603 33554432000 4194304 4196468 140725132836160 140023796669232 140024274500226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86412 KiB
[startup+1.5051 s]
/proc/loadavg: 1.64 1.44 1.37 3/215 27961
/proc/meminfo: memFree=21692524/32770624 swapFree=67108860/67108860
[pid=27895] ppid=27892 vsize=10832204 memory=185876 CPUtime=2.84 cores=0,2,4,6
/proc/27895/stat : 27895 (java) S 27892 27895 24765 0 -1 1077944320 24312 13341 0 0 266 10 5 3 20 0 15 0 63663684 11092176896 46469 33554432000 4194304 4196468 140725132836160 140725132818704 140024274489079 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
/proc/27895/statm: 2708051 46469 3453 1 0 2669709 0
[pid=27895/tid=27948] ppid=27892 vsize=10832204 memory=0 CPUtime=1.46 cores=0,2,4,6
/proc/27895/task/27948/stat : 27948 (java) S 27892 27895 24765 0 -1 1077944384 16946 13341 0 0 132 6 5 3 20 0 15 0 63663693 11092176896 46469 33554432000 4194304 4196468 140725132836160 140024246304176 140024274499285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27949] ppid=27892 vsize=10832204 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27949/stat : 27949 (java) S 27892 27895 24765 0 -1 1077944384 51 13341 0 0 0 0 5 3 20 0 15 0 63663694 11092176896 46469 33554432000 4194304 4196468 140725132836160 140024278731024 140024274499285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27950] ppid=27892 vsize=10832204 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27950/stat : 27950 (java) S 27892 27895 24765 0 -1 1077944384 11 13341 0 0 0 0 5 3 20 0 15 0 63663694 11092176896 46469 33554432000 4194304 4196468 140725132836160 140024193550736 140024274499285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27951] ppid=27892 vsize=10832204 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27951/stat : 27951 (java) S 27892 27895 24765 0 -1 1077944384 169 13341 0 0 0 0 5 3 20 0 15 0 63663694 11092176896 46469 33554432000 4194304 4196468 140725132836160 140024192498192 140024274499285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27952] ppid=27892 vsize=10832204 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27952/stat : 27952 (java) S 27892 27895 24765 0 -1 1077944384 12 13341 0 0 0 0 5 3 20 0 15 0 63663694 11092176896 46469 33554432000 4194304 4196468 140725132836160 140024191445648 140024274499285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27953] ppid=27892 vsize=10832204 memory=1399103955520229747 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27953/stat : 27953 (java) R 27892 27895 24765 0 -1 4202560 20 13341 0 0 0 0 5 3 20 0 15 0 63663696 11092176896 46469 33554432000 4194304 4196468 140725132836160 140023800878080 140024258848465 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27954] ppid=27892 vsize=10832204 memory=280787245148416 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27954/stat : 27954 (java) S 27892 27895 24765 0 -1 1077944384 13 13341 0 0 0 0 5 3 20 0 15 0 63663696 11092176896 46469 33554432000 4194304 4196468 140725132836160 140023718471072 140024274499285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27955] ppid=27892 vsize=10832204 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27955/stat : 27955 (java) S 27892 27895 24765 0 -1 1077944384 1 13341 0 0 0 0 5 3 20 0 15 0 63663696 11092176896 46469 33554432000 4194304 4196468 140725132836160 140023114491376 140024274499285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27956] ppid=27892 vsize=10832204 memory=1228 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27956/stat : 27956 (java) S 27892 27895 24765 0 -1 1077944384 3 13341 0 0 0 0 5 3 20 0 15 0 63663699 11092176896 46469 33554432000 4194304 4196468 140725132836160 140022807091920 140024274507675 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27957] ppid=27892 vsize=10832204 memory=1704 CPUtime=0.51 cores=0,2,4,6
/proc/27895/task/27957/stat : 27957 (java) S 27892 27895 24765 0 -1 1077944384 1749 13341 0 0 43 0 5 3 20 0 15 0 63663699 11092176896 46469 33554432000 4194304 4196468 140725132836160 140023799826416 140024274500226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27958] ppid=27892 vsize=10832204 memory=9924 CPUtime=0.54 cores=0,2,4,6
/proc/27895/task/27958/stat : 27958 (java) S 27892 27895 24765 0 -1 1077944384 1627 13341 0 0 46 0 5 3 20 0 15 0 63663699 11092176896 46469 33554432000 4194304 4196468 140725132836160 140023798773872 140024274500226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27959] ppid=27892 vsize=10832204 memory=5788 CPUtime=0.5 cores=0,2,4,6
/proc/27895/task/27959/stat : 27959 (java) S 27892 27895 24765 0 -1 1077944384 1517 13341 0 0 41 1 5 3 20 0 15 0 63663699 11092176896 46469 33554432000 4194304 4196468 140725132836160 140023797721328 140024274500226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27960] ppid=27892 vsize=10832204 memory=1936 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27960/stat : 27960 (java) S 27892 27895 24765 0 -1 1077944384 3 13341 0 0 0 0 5 3 20 0 15 0 63663699 11092176896 46469 33554432000 4194304 4196468 140725132836160 140022773533280 140024274499285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27961] ppid=27892 vsize=10832204 memory=1196 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27961/stat : 27961 (java) S 27892 27895 24765 0 -1 1077944384 1 13341 0 0 0 0 5 3 20 0 15 0 63663699 11092176896 46469 33554432000 4194304 4196468 140725132836160 140023796669232 140024274500226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 10832204 KiB
################
# More data... #
################
[startup+6.30075 s]
/proc/loadavg: 1.67 1.45 1.38 5/215 27961
/proc/meminfo: memFree=21458512/32770624 swapFree=67108860/67108860
[pid=27895] ppid=27892 vsize=10844512 memory=366628 CPUtime=16.36 cores=0,2,4,6
/proc/27895/stat : 27895 (java) S 27892 27895 24765 0 -1 1077944320 52895 13341 0 0 1603 25 5 3 20 0 15 0 63663684 11104780288 91657 33554432000 4194304 4196468 140725132836160 140725132818704 140024274489079 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
/proc/27895/statm: 2711128 91657 3521 1 0 2672781 0
[pid=27895/tid=27948] ppid=27892 vsize=10844512 memory=4616 CPUtime=6.08 cores=0,2,4,6
/proc/27895/task/27948/stat : 27948 (java) R 27892 27895 24765 0 -1 4202560 28436 13341 0 0 589 11 5 3 20 0 15 0 63663693 11104780288 91657 33554432000 4194304 4196468 140725132836160 140024246324304 140024274501014 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27949] ppid=27892 vsize=10844512 memory=56 CPUtime=0.18 cores=0,2,4,6
/proc/27895/task/27949/stat : 27949 (java) S 27892 27895 24765 0 -1 1077944384 199 13341 0 0 9 1 5 3 20 0 15 0 63663694 11104780288 91657 33554432000 4194304 4196468 140725132836160 140024278731024 140024274499285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27950] ppid=27892 vsize=10844512 memory=6944656592455359580 CPUtime=0.17 cores=0,2,4,6
/proc/27895/task/27950/stat : 27950 (java) S 27892 27895 24765 0 -1 1077944384 70 13341 0 0 8 1 5 3 20 0 15 0 63663694 11104780288 91657 33554432000 4194304 4196468 140725132836160 140024193550736 140024274499285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27951] ppid=27892 vsize=10844512 memory=6943526294502006880 CPUtime=0.18 cores=0,2,4,6
/proc/27895/task/27951/stat : 27951 (java) S 27892 27895 24765 0 -1 1077944384 250 13341 0 0 8 2 5 3 20 0 15 0 63663694 11104780288 91657 33554432000 4194304 4196468 140725132836160 140024192498192 140024274499285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27952] ppid=27892 vsize=10844512 memory=217584 CPUtime=0.17 cores=0,2,4,6
/proc/27895/task/27952/stat : 27952 (java) S 27892 27895 24765 0 -1 1077944384 125 13341 0 0 8 1 5 3 20 0 15 0 63663694 11104780288 91657 33554432000 4194304 4196468 140725132836160 140024191445648 140024274499285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27953] ppid=27892 vsize=10844512 memory=4616 CPUtime=0.13 cores=0,2,4,6
/proc/27895/task/27953/stat : 27953 (java) S 27892 27895 24765 0 -1 1077944384 2663 13341 0 0 5 0 5 3 20 0 15 0 63663696 11104780288 91657 33554432000 4194304 4196468 140725132836160 140023800879600 140024274500226 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27954] ppid=27892 vsize=10844512 memory=1424 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27954/stat : 27954 (java) S 27892 27895 24765 0 -1 1077944384 16 13341 0 0 0 0 5 3 20 0 15 0 63663696 11104780288 91657 33554432000 4194304 4196468 140725132836160 140023718471136 140024274499285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27955] ppid=27892 vsize=10844512 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27955/stat : 27955 (java) S 27892 27895 24765 0 -1 1077944384 4 13341 0 0 0 0 5 3 20 0 15 0 63663696 11104780288 91657 33554432000 4194304 4196468 140725132836160 140023114491392 140024274499285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27956] ppid=27892 vsize=10844512 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27956/stat : 27956 (java) S 27892 27895 24765 0 -1 1077944384 3 13341 0 0 0 0 5 3 20 0 15 0 63663699 11104780288 91657 33554432000 4194304 4196468 140725132836160 140022807091920 140024274507675 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27957] ppid=27892 vsize=10844512 memory=8 CPUtime=3.93 cores=0,2,4,6
/proc/27895/task/27957/stat : 27957 (java) S 27892 27895 24765 0 -1 1077944384 4598 13341 0 0 384 1 5 3 20 0 15 0 63663699 11104780288 91657 33554432000 4194304 4196468 140725132836160 140023799826416 140024274500226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27958] ppid=27892 vsize=10844512 memory=8 CPUtime=4.22 cores=0,2,4,6
/proc/27895/task/27958/stat : 27958 (java) R 27892 27895 24765 0 -1 4202560 5804 13341 0 0 413 1 5 3 20 0 15 0 63663699 11104780288 91657 33554432000 4194304 4196468 140725132836160 140023798773872 140024253706740 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27959] ppid=27892 vsize=10844512 memory=8 CPUtime=1.83 cores=0,2,4,6
/proc/27895/task/27959/stat : 27959 (java) R 27892 27895 24765 0 -1 1077944384 8508 13341 0 0 172 3 5 3 20 0 15 0 63663699 11104780288 91657 33554432000 4194304 4196468 140725132836160 140023797721328 140024274500226 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27960] ppid=27892 vsize=10844512 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27960/stat : 27960 (java) S 27892 27895 24765 0 -1 1077944384 3 13341 0 0 0 0 5 3 20 0 15 0 63663699 11104780288 91657 33554432000 4194304 4196468 140725132836160 140022773533280 140024274499285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27961] ppid=27892 vsize=10844512 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27961/stat : 27961 (java) S 27892 27895 24765 0 -1 1077944384 27 13341 0 0 0 0 5 3 20 0 15 0 63663699 11104780288 91657 33554432000 4194304 4196468 140725132836160 140023796669232 140024274500226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
Current children cumulated CPU time: 16.36 s
Current children cumulated vsize: 10844512 KiB
Current children cumulated memory: 366628 KiB
[startup+7.64449 s]
# the end of solver process 27895 was just reported to runsolver
# cumulated CPU time of all completed processes: user=19.8708 s, system=0.338225 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40179 s]
/proc/loadavg: 1.67 1.45 1.38 5/215 27961
/proc/meminfo: memFree=21458512/32770624 swapFree=67108860/67108860
[pid=27895] ppid=27892 vsize=10844512 memory=367268 CPUtime=16.68 cores=0,2,4,6
/proc/27895/stat : 27895 (java) S 27892 27895 24765 0 -1 1077944320 53093 13341 0 0 1635 25 5 3 20 0 15 0 63663684 11104780288 91817 33554432000 4194304 4196468 140725132836160 140725132818704 140024274489079 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
/proc/27895/statm: 2711128 91817 3521 1 0 2672781 0
[pid=27895/tid=27948] ppid=27892 vsize=10844512 memory=8 CPUtime=6.19 cores=0,2,4,6
/proc/27895/task/27948/stat : 27948 (java) R 27892 27895 24765 0 -1 4202560 28484 13341 0 0 600 11 5 3 20 0 15 0 63663693 11104780288 91817 33554432000 4194304 4196468 140725132836160 140024246320720 140024274501014 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27949] ppid=27892 vsize=10844512 memory=8 CPUtime=0.18 cores=0,2,4,6
/proc/27895/task/27949/stat : 27949 (java) S 27892 27895 24765 0 -1 1077944384 199 13341 0 0 9 1 5 3 20 0 15 0 63663694 11104780288 91817 33554432000 4194304 4196468 140725132836160 140024278731024 140024274499285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27950] ppid=27892 vsize=10844512 memory=6791534058613427641 CPUtime=0.17 cores=0,2,4,6
/proc/27895/task/27950/stat : 27950 (java) S 27892 27895 24765 0 -1 1077944384 70 13341 0 0 8 1 5 3 20 0 15 0 63663694 11104780288 91817 33554432000 4194304 4196468 140725132836160 140024193550736 140024274499285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27951] ppid=27892 vsize=10844512 memory=6153433744107203943 CPUtime=0.18 cores=0,2,4,6
/proc/27895/task/27951/stat : 27951 (java) S 27892 27895 24765 0 -1 1077944384 250 13341 0 0 8 2 5 3 20 0 15 0 63663694 11104780288 91817 33554432000 4194304 4196468 140725132836160 140024192498192 140024274499285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27952] ppid=27892 vsize=10844512 memory=7518026630507424109 CPUtime=0.17 cores=0,2,4,6
/proc/27895/task/27952/stat : 27952 (java) S 27892 27895 24765 0 -1 1077944384 125 13341 0 0 8 1 5 3 20 0 15 0 63663694 11104780288 91817 33554432000 4194304 4196468 140725132836160 140024191445648 140024274499285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27953] ppid=27892 vsize=10844512 memory=7524220187846667351 CPUtime=0.13 cores=0,2,4,6
/proc/27895/task/27953/stat : 27953 (java) S 27892 27895 24765 0 -1 1077944384 2663 13341 0 0 5 0 5 3 20 0 15 0 63663696 11104780288 91817 33554432000 4194304 4196468 140725132836160 140023800879600 140024274500226 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27954] ppid=27892 vsize=10844512 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27954/stat : 27954 (java) S 27892 27895 24765 0 -1 1077944384 16 13341 0 0 0 0 5 3 20 0 15 0 63663696 11104780288 91817 33554432000 4194304 4196468 140725132836160 140023718471136 140024274499285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27955] ppid=27892 vsize=10844512 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27955/stat : 27955 (java) S 27892 27895 24765 0 -1 1077944384 4 13341 0 0 0 0 5 3 20 0 15 0 63663696 11104780288 91817 33554432000 4194304 4196468 140725132836160 140023114491392 140024274499285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27956] ppid=27892 vsize=10844512 memory=3472468689041981795 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27956/stat : 27956 (java) S 27892 27895 24765 0 -1 1077944384 3 13341 0 0 0 0 5 3 20 0 15 0 63663699 11104780288 91817 33554432000 4194304 4196468 140725132836160 140022807091920 140024274507675 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27957] ppid=27892 vsize=10844512 memory=280787245508208 CPUtime=4.01 cores=0,2,4,6
/proc/27895/task/27957/stat : 27957 (java) R 27892 27895 24765 0 -1 4202560 4620 13341 0 0 392 1 5 3 20 0 15 0 63663699 11104780288 91817 33554432000 4194304 4196468 140725132836160 140023799826544 140024274501014 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27958] ppid=27892 vsize=10844512 memory=0 CPUtime=4.32 cores=0,2,4,6
/proc/27895/task/27958/stat : 27958 (java) R 27892 27895 24765 0 -1 4202560 5842 13341 0 0 423 1 5 3 20 0 15 0 63663699 11104780288 91817 33554432000 4194304 4196468 140725132836160 140023798760368 140024274510426 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27959] ppid=27892 vsize=10844512 memory=0 CPUtime=1.88 cores=0,2,4,6
/proc/27895/task/27959/stat : 27959 (java) R 27892 27895 24765 0 -1 1077944384 8598 13341 0 0 177 3 5 3 20 0 15 0 63663699 11104780288 91817 33554432000 4194304 4196468 140725132836160 140023797721328 140024274500226 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27960] ppid=27892 vsize=10844512 memory=-3621219749712857441 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27960/stat : 27960 (java) S 27892 27895 24765 0 -1 1077944384 3 13341 0 0 0 0 5 3 20 0 15 0 63663699 11104780288 91817 33554432000 4194304 4196468 140725132836160 140022773533280 140024274499285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27961] ppid=27892 vsize=10844512 memory=6944656592387989600 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27961/stat : 27961 (java) S 27892 27895 24765 0 -1 1077944384 27 13341 0 0 0 0 5 3 20 0 15 0 63663699 11104780288 91817 33554432000 4194304 4196468 140725132836160 140023796669232 140024274500226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
Current children cumulated CPU time: 16.68 s
Current children cumulated vsize: 10844512 KiB
Current children cumulated memory: 367268 KiB
[startup+7.20065 s]
/proc/loadavg: 1.67 1.45 1.38 6/215 27961
/proc/meminfo: memFree=21430532/32770624 swapFree=67108860/67108860
[pid=27895] ppid=27892 vsize=10914144 memory=406984 CPUtime=18.83 cores=0,2,4,6
/proc/27895/stat : 27895 (java) S 27892 27895 24765 0 -1 1077944320 63440 13341 0 0 1847 28 5 3 20 0 15 0 63663684 11176083456 101746 33554432000 4194304 4196468 140725132836160 140725132818704 140024274489079 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
/proc/27895/statm: 2728536 101746 3523 1 0 2690189 0
[pid=27895/tid=27948] ppid=27892 vsize=10914144 memory=324300 CPUtime=6.98 cores=0,2,4,6
/proc/27895/task/27948/stat : 27948 (java) R 27892 27895 24765 0 -1 4202560 37836 13341 0 0 677 13 5 3 20 0 15 0 63663693 11176083456 101746 33554432000 4194304 4196468 140725132836160 140024246312080 140023870619435 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27949] ppid=27892 vsize=10914144 memory=15824378344507954 CPUtime=0.18 cores=0,2,4,6
/proc/27895/task/27949/stat : 27949 (java) S 27892 27895 24765 0 -1 1077944384 199 13341 0 0 9 1 5 3 20 0 15 0 63663694 11176083456 101746 33554432000 4194304 4196468 140725132836160 140024278731024 140024274499285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27950] ppid=27892 vsize=10914144 memory=6655300316396806240 CPUtime=0.17 cores=0,2,4,6
/proc/27895/task/27950/stat : 27950 (java) S 27892 27895 24765 0 -1 1077944384 70 13341 0 0 8 1 5 3 20 0 15 0 63663694 11176083456 101746 33554432000 4194304 4196468 140725132836160 140024193550736 140024274499285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27951] ppid=27892 vsize=10914144 memory=6944656592387989600 CPUtime=0.18 cores=0,2,4,6
/proc/27895/task/27951/stat : 27951 (java) S 27892 27895 24765 0 -1 1077944384 250 13341 0 0 8 2 5 3 20 0 15 0 63663694 11176083456 101746 33554432000 4194304 4196468 140725132836160 140024192498192 140024274499285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27952] ppid=27892 vsize=10914144 memory=6944656592455360604 CPUtime=0.17 cores=0,2,4,6
/proc/27895/task/27952/stat : 27952 (java) S 27892 27895 24765 0 -1 1077944384 125 13341 0 0 8 1 5 3 20 0 15 0 63663694 11176083456 101746 33554432000 4194304 4196468 140725132836160 140024191445648 140024274499285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27953] ppid=27892 vsize=10914144 memory=-7022074515825631275 CPUtime=0.13 cores=0,2,4,6
/proc/27895/task/27953/stat : 27953 (java) S 27892 27895 24765 0 -1 1077944384 2663 13341 0 0 5 0 5 3 20 0 15 0 63663696 11176083456 101746 33554432000 4194304 4196468 140725132836160 140023800879600 140024274500226 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27954] ppid=27892 vsize=10914144 memory=-6876588461455810464 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27954/stat : 27954 (java) S 27892 27895 24765 0 -1 1077944384 16 13341 0 0 0 0 5 3 20 0 15 0 63663696 11176083456 101746 33554432000 4194304 4196468 140725132836160 140023718471136 140024274499285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27955] ppid=27892 vsize=10914144 memory=-7522837415730323359 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27955/stat : 27955 (java) S 27892 27895 24765 0 -1 1077944384 4 13341 0 0 0 0 5 3 20 0 15 0 63663696 11176083456 101746 33554432000 4194304 4196468 140725132836160 140023114491392 140024274499285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27956] ppid=27892 vsize=10914144 memory=-8918985357576057910 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27956/stat : 27956 (java) S 27892 27895 24765 0 -1 1077944384 3 13341 0 0 0 0 5 3 20 0 15 0 63663699 11176083456 101746 33554432000 4194304 4196468 140725132836160 140022807091920 140024274507675 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27957] ppid=27892 vsize=10914144 memory=0 CPUtime=4.57 cores=0,2,4,6
/proc/27895/task/27957/stat : 27957 (java) R 27892 27895 24765 0 -1 4202560 5236 13341 0 0 448 1 5 3 20 0 15 0 63663699 11176083456 101746 33554432000 4194304 4196468 140725132836160 140023799814224 140024253705280 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27958] ppid=27892 vsize=10914144 memory=6791534058613427641 CPUtime=4.82 cores=0,2,4,6
/proc/27895/task/27958/stat : 27958 (java) R 27892 27895 24765 0 -1 4202560 5930 13341 0 0 473 1 5 3 20 0 15 0 63663699 11176083456 101746 33554432000 4194304 4196468 140725132836160 140023798764848 140024255667007 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27959] ppid=27892 vsize=10914144 memory=0 CPUtime=2.15 cores=0,2,4,6
/proc/27895/task/27959/stat : 27959 (java) R 27892 27895 24765 0 -1 1077944384 8889 13341 0 0 204 3 5 3 20 0 15 0 63663699 11176083456 101746 33554432000 4194304 4196468 140725132836160 140023797721328 140024274500226 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27960] ppid=27892 vsize=10914144 memory=6297532452091482727 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27960/stat : 27960 (java) S 27892 27895 24765 0 -1 1077944384 3 13341 0 0 0 0 5 3 20 0 15 0 63663699 11176083456 101746 33554432000 4194304 4196468 140725132836160 140022773533280 140024274499285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27961] ppid=27892 vsize=10914144 memory=140393622574001 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27961/stat : 27961 (java) S 27892 27895 24765 0 -1 1077944384 27 13341 0 0 0 0 5 3 20 0 15 0 63663699 11176083456 101746 33554432000 4194304 4196468 140725132836160 140023796669232 140024274500226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
Current children cumulated CPU time: 18.83 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 406984 KiB
[startup+7.60146 s]
/proc/loadavg: 1.67 1.45 1.38 6/215 27961
/proc/meminfo: memFree=21430532/32770624 swapFree=67108860/67108860
[pid=27895] ppid=27892 vsize=10916192 memory=415676 CPUtime=20.13 cores=0,2,4,6
/proc/27895/stat : 27895 (java) S 27892 27895 24765 0 -1 1077944320 65586 13341 0 0 1976 29 5 3 20 0 15 0 63663684 11178180608 103919 33554432000 4194304 4196468 140725132836160 140725132818704 140024274489079 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
/proc/27895/statm: 2729048 103919 3523 1 0 2690701 0
[pid=27895/tid=27948] ppid=27892 vsize=10916192 memory=0 CPUtime=7.38 cores=0,2,4,6
/proc/27895/task/27948/stat : 27948 (java) R 27892 27895 24765 0 -1 4202560 38240 13341 0 0 717 13 5 3 20 0 15 0 63663693 11178180608 103919 33554432000 4194304 4196468 140725132836160 140024246323008 140024254764409 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27949] ppid=27892 vsize=10916192 memory=13869 CPUtime=0.18 cores=0,2,4,6
/proc/27895/task/27949/stat : 27949 (java) S 27892 27895 24765 0 -1 1077944384 199 13341 0 0 9 1 5 3 20 0 15 0 63663694 11178180608 103919 33554432000 4194304 4196468 140725132836160 140024278731024 140024274499285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27950] ppid=27892 vsize=10916192 memory=6791534058613427641 CPUtime=0.17 cores=0,2,4,6
/proc/27895/task/27950/stat : 27950 (java) S 27892 27895 24765 0 -1 1077944384 70 13341 0 0 8 1 5 3 20 0 15 0 63663694 11178180608 103919 33554432000 4194304 4196468 140725132836160 140024193550736 140024274499285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27951] ppid=27892 vsize=10916192 memory=-5703089342203525590 CPUtime=0.18 cores=0,2,4,6
/proc/27895/task/27951/stat : 27951 (java) S 27892 27895 24765 0 -1 1077944384 250 13341 0 0 8 2 5 3 20 0 15 0 63663694 11178180608 103919 33554432000 4194304 4196468 140725132836160 140024192498192 140024274499285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27952] ppid=27892 vsize=10916192 memory=5782692679075529345 CPUtime=0.17 cores=0,2,4,6
/proc/27895/task/27952/stat : 27952 (java) S 27892 27895 24765 0 -1 1077944384 125 13341 0 0 8 1 5 3 20 0 15 0 63663694 11178180608 103919 33554432000 4194304 4196468 140725132836160 140024191445648 140024274499285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27953] ppid=27892 vsize=10916192 memory=9051283677730746851 CPUtime=0.13 cores=0,2,4,6
/proc/27895/task/27953/stat : 27953 (java) S 27892 27895 24765 0 -1 1077944384 2663 13341 0 0 5 0 5 3 20 0 15 0 63663696 11178180608 103919 33554432000 4194304 4196468 140725132836160 140023800879600 140024274500226 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27954] ppid=27892 vsize=10916192 memory=-2892745056948402235 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27954/stat : 27954 (java) S 27892 27895 24765 0 -1 1077944384 16 13341 0 0 0 0 5 3 20 0 15 0 63663696 11178180608 103919 33554432000 4194304 4196468 140725132836160 140023718471136 140024274499285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27955] ppid=27892 vsize=10916192 memory=-3621219715169225006 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27955/stat : 27955 (java) S 27892 27895 24765 0 -1 1077944384 4 13341 0 0 0 0 5 3 20 0 15 0 63663696 11178180608 103919 33554432000 4194304 4196468 140725132836160 140023114491392 140024274499285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27956] ppid=27892 vsize=10916192 memory=-7751062316387021378 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27956/stat : 27956 (java) S 27892 27895 24765 0 -1 1077944384 3 13341 0 0 0 0 5 3 20 0 15 0 63663699 11178180608 103919 33554432000 4194304 4196468 140725132836160 140022807091920 140024274507675 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27957] ppid=27892 vsize=10916192 memory=8514701219880993441 CPUtime=4.94 cores=0,2,4,6
/proc/27895/task/27957/stat : 27957 (java) R 27892 27895 24765 0 -1 4202560 5847 13341 0 0 485 1 5 3 20 0 15 0 63663699 11178180608 103919 33554432000 4194304 4196468 140725132836160 140023799812512 140024253741680 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27958] ppid=27892 vsize=10916192 memory=5780995989620102258 CPUtime=5.16 cores=0,2,4,6
/proc/27895/task/27958/stat : 27958 (java) R 27892 27895 24765 0 -1 4202560 6692 13341 0 0 507 1 5 3 20 0 15 0 63663699 11178180608 103919 33554432000 4194304 4196468 140725132836160 140023798757072 140024256010361 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27959] ppid=27892 vsize=10916192 memory=1292 CPUtime=2.35 cores=0,2,4,6
/proc/27895/task/27959/stat : 27959 (java) S 27892 27895 24765 0 -1 1077944384 9258 13341 0 0 224 3 5 3 20 0 15 0 63663699 11178180608 103919 33554432000 4194304 4196468 140725132836160 140023797721328 140024274500226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27960] ppid=27892 vsize=10916192 memory=1728 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27960/stat : 27960 (java) S 27892 27895 24765 0 -1 1077944384 3 13341 0 0 0 0 5 3 20 0 15 0 63663699 11178180608 103919 33554432000 4194304 4196468 140725132836160 140022773533280 140024274499285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
[pid=27895/tid=27961] ppid=27892 vsize=10916192 memory=796 CPUtime=0.08 cores=0,2,4,6
/proc/27895/task/27961/stat : 27961 (java) S 27892 27895 24765 0 -1 1077944384 27 13341 0 0 0 0 5 3 20 0 15 0 63663699 11178180608 103919 33554432000 4194304 4196468 140725132836160 140023796669232 140024274500226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18018304 140725132843179 140725132846428 140725132846428 140725132849103 0
Current children cumulated CPU time: 20.13 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 415676 KiB
Child status: 0
Real time (s): 7.64455
CPU time (s): 20.209
CPU user time (s): 19.8708
CPU system time (s): 0.338225
CPU usage (%): 264.359
Max. virtual memory (cumulated for all children) (KiB): 10916192
Max. memory (cumulated for all children) (KiB): 415676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.8708
system time used= 0.338225
maximum resident set size= 417888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79159
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8259
involuntary context switches= 83
# summary of solver processes directly reported to runsolver:
# pid: 27895
# total CPU time (s): 20.209
# total CPU user time (s): 19.8708
# total CPU system time (s): 0.338225
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.069068 second user time and 0.114977 second system time
The end