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 (6684 MiB free)
memory of node 1: 16384 MiB (9805 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294244-1532446038/watcher-4294244-1532446038 -o /tmp/evaluation-result-4294244-1532446038/solver-4294244-1532446038 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532446038-19003 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=132838655 -superng HOME/instance-4294244-1532446038.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=19027, runsolver pid=19024
[startup+0.100225 s]*
/proc/loadavg: 0.53 0.69 0.99 2/194 19140
/proc/meminfo: memFree=16879492/32770624 swapFree=67108860/67108860
[pid=19027] ppid=19024 vsize=9972712 memory=16812 CPUtime=0.09 cores=0,2,4,6
/proc/19027/stat : 19027 (java) S 19024 19027 12709 0 -1 1077944320 4328 13193 0 0 1 0 5 3 20 0 6 0 62166981 10212057088 4203 33554432000 4194304 4196468 140729753229664 140729753212208 140169360662263 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
/proc/19027/statm: 2493178 4203 1934 1 0 2481616 0
[pid=19027/tid=19137] ppid=19024 vsize=9972712 memory=-8540663193526752614 CPUtime=0.08 cores=0,2,4,6
/proc/19027/task/19137/stat : 19137 (java) R 19024 19027 12709 0 -1 4202560 2155 13193 0 0 0 0 5 3 20 0 6 0 62166991 10212057088 4203 33554432000 4194304 4196468 140729753229664 140169332499024 140169346344789 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19139] ppid=19024 vsize=9972712 memory=4211973797555584394 CPUtime=0.08 cores=0,2,4,6
/proc/19027/task/19139/stat : 19139 (java) S 19024 19027 12709 0 -1 1077944384 2 13193 0 0 0 0 5 3 20 0 6 0 62166991 10212057088 4203 33554432000 4194304 4196468 140729753229664 140169364904720 140169360672469 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19140] ppid=19024 vsize=9972712 memory=140071350793856 CPUtime=0.08 cores=0,2,4,6
/proc/19027/task/19140/stat : 19140 (java) S 19024 19027 12709 0 -1 1077944384 1 13193 0 0 0 0 5 3 20 0 6 0 62166991 10212057088 4203 33554432000 4194304 4196468 140729753229664 140169279724432 140169360672469 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19141] ppid=19024 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19027/task/19141/stat : 19141 (java) S 19024 19027 12709 0 -1 1077944384 1 13193 0 0 0 0 5 3 20 0 6 0 62166991 10212057088 4203 33554432000 4194304 4196468 140729753229664 140169278671888 140169360672469 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19142] ppid=19024 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19027/task/19142/stat : 19142 (java) S 19024 19027 12709 0 -1 1077944384 2 13193 0 0 0 0 5 3 20 0 6 0 62166991 10212057088 4203 33554432000 4194304 4196468 140729753229664 140168932285584 140169360672469 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16812 KiB
[startup+0.210334 s]*
/proc/loadavg: 0.53 0.69 0.99 3/218 19164
/proc/meminfo: memFree=16827344/32770624 swapFree=67108860/67108860
[pid=19027] ppid=19024 vsize=10818856 memory=42840 CPUtime=0.26 cores=0,2,4,6
/proc/19027/stat : 19027 (java) S 19024 19027 12709 0 -1 1077944320 8628 13193 0 0 17 1 5 3 20 0 15 0 62166981 11078508544 10710 33554432000 4194304 4196468 140729753229664 140729753212208 140169360662263 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
/proc/19027/statm: 2704714 10710 2918 1 0 2667149 0
[pid=19027/tid=19137] ppid=19024 vsize=10818856 memory=-8540663193526752614 CPUtime=0.19 cores=0,2,4,6
/proc/19027/task/19137/stat : 19137 (java) R 19024 19027 12709 0 -1 4202560 5281 13193 0 0 10 1 5 3 20 0 15 0 62166991 11078508544 10710 33554432000 4194304 4196468 140729753229664 140169332459920 140169340937928 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19139] ppid=19024 vsize=10818856 memory=4211973797555584394 CPUtime=0.08 cores=0,2,4,6
/proc/19027/task/19139/stat : 19139 (java) S 19024 19027 12709 0 -1 1077944384 2 13193 0 0 0 0 5 3 20 0 15 0 62166991 11078508544 10710 33554432000 4194304 4196468 140729753229664 140169364904720 140169360672469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19140] ppid=19024 vsize=10818856 memory=140071350793856 CPUtime=0.08 cores=0,2,4,6
/proc/19027/task/19140/stat : 19140 (java) S 19024 19027 12709 0 -1 1077944384 1 13193 0 0 0 0 5 3 20 0 15 0 62166991 11078508544 10710 33554432000 4194304 4196468 140729753229664 140169279724432 140169360672469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19141] ppid=19024 vsize=10818856 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19027/task/19141/stat : 19141 (java) S 19024 19027 12709 0 -1 1077944384 1 13193 0 0 0 0 5 3 20 0 15 0 62166991 11078508544 10710 33554432000 4194304 4196468 140729753229664 140169278671888 140169360672469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19142] ppid=19024 vsize=10818856 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19027/task/19142/stat : 19142 (java) S 19024 19027 12709 0 -1 1077944384 2 13193 0 0 0 0 5 3 20 0 15 0 62166991 11078508544 10710 33554432000 4194304 4196468 140729753229664 140168932285584 140169360672469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19147] ppid=19024 vsize=10818856 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19027/task/19147/stat : 19147 (java) S 19024 19027 12709 0 -1 1077944384 2 13193 0 0 0 0 5 3 20 0 15 0 62166993 11078508544 10710 33554432000 4194304 4196468 140729753229664 140168887334896 140169360673410 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19149] ppid=19024 vsize=10818856 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19027/task/19149/stat : 19149 (java) S 19024 19027 12709 0 -1 1077944384 13 13193 0 0 0 0 5 3 20 0 15 0 62166993 11078508544 10710 33554432000 4194304 4196468 140729753229664 140168673616800 140169360672469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19150] ppid=19024 vsize=10818856 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19027/task/19150/stat : 19150 (java) S 19024 19027 12709 0 -1 1077944384 1 13193 0 0 0 0 5 3 20 0 15 0 62166993 11078508544 10710 33554432000 4194304 4196468 140729753229664 140168203854832 140169360672469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19153] ppid=19024 vsize=10818856 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19027/task/19153/stat : 19153 (java) S 19024 19027 12709 0 -1 1077944384 3 13193 0 0 0 0 5 3 20 0 15 0 62166996 11078508544 10710 33554432000 4194304 4196468 140729753229664 140167896455376 140169360680859 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19154] ppid=19024 vsize=10818856 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/19027/task/19154/stat : 19154 (java) S 19024 19027 12709 0 -1 1077944384 526 13193 0 0 1 0 5 3 20 0 15 0 62166996 11078508544 10710 33554432000 4194304 4196468 140729753229664 140168886282736 140169360673410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19155] ppid=19024 vsize=10818856 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19027/task/19155/stat : 19155 (java) S 19024 19027 12709 0 -1 1077944384 54 13193 0 0 0 0 5 3 20 0 15 0 62166996 11078508544 10710 33554432000 4194304 4196468 140729753229664 140168885230192 140169360673410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19156] ppid=19024 vsize=10818856 memory=140071350793856 CPUtime=0.11 cores=0,2,4,6
/proc/19027/task/19156/stat : 19156 (java) S 19024 19027 12709 0 -1 1077944384 545 13193 0 0 3 0 5 3 20 0 15 0 62166996 11078508544 10710 33554432000 4194304 4196468 140729753229664 140168884177648 140169360673410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19157] ppid=19024 vsize=10818856 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19027/task/19157/stat : 19157 (java) S 19024 19027 12709 0 -1 1077944384 3 13193 0 0 0 0 5 3 20 0 15 0 62166996 11078508544 10710 33554432000 4194304 4196468 140729753229664 140167862897760 140169360672469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19162] ppid=19024 vsize=10818856 memory=140071350793856 CPUtime=0.08 cores=0,2,4,6
/proc/19027/task/19162/stat : 19162 (java) S 19024 19027 12709 0 -1 1077944384 1 13193 0 0 0 0 5 3 20 0 15 0 62166997 11078508544 10710 33554432000 4194304 4196468 140729753229664 140168883124528 140169360673410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818856 KiB
Current children cumulated memory: 42840 KiB
[startup+0.3106 s]*
/proc/loadavg: 0.53 0.69 0.99 3/218 19164
/proc/meminfo: memFree=16805948/32770624 swapFree=67108860/67108860
[pid=19027] ppid=19024 vsize=10819352 memory=54184 CPUtime=0.38 cores=0,2,4,6
/proc/19027/stat : 19027 (java) S 19024 19027 12709 0 -1 1077944320 10652 13193 0 0 29 1 5 3 20 0 15 0 62166981 11079016448 13546 33554432000 4194304 4196468 140729753229664 140729753212208 140169360662263 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
/proc/19027/statm: 2704838 13546 3049 1 0 2667149 0
[pid=19027/tid=19137] ppid=19024 vsize=10819352 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/19027/task/19137/stat : 19137 (java) R 19024 19027 12709 0 -1 4202560 7306 13193 0 0 20 1 5 3 20 0 15 0 62166991 11079016448 13546 33554432000 4194304 4196468 140729753229664 140169332474272 140169360674198 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19139] ppid=19024 vsize=10819352 memory=-7003737579269690708 CPUtime=0.08 cores=0,2,4,6
/proc/19027/task/19139/stat : 19139 (java) S 19024 19027 12709 0 -1 1077944384 2 13193 0 0 0 0 5 3 20 0 15 0 62166991 11079016448 13546 33554432000 4194304 4196468 140729753229664 140169364904720 140169360672469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19140] ppid=19024 vsize=10819352 memory=140071350800849 CPUtime=0.08 cores=0,2,4,6
/proc/19027/task/19140/stat : 19140 (java) S 19024 19027 12709 0 -1 1077944384 1 13193 0 0 0 0 5 3 20 0 15 0 62166991 11079016448 13546 33554432000 4194304 4196468 140729753229664 140169279724432 140169360672469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19141] ppid=19024 vsize=10819352 memory=7232898019642468945 CPUtime=0.08 cores=0,2,4,6
/proc/19027/task/19141/stat : 19141 (java) S 19024 19027 12709 0 -1 1077944384 1 13193 0 0 0 0 5 3 20 0 15 0 62166991 11079016448 13546 33554432000 4194304 4196468 140729753229664 140169278671888 140169360672469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19142] ppid=19024 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19027/task/19142/stat : 19142 (java) S 19024 19027 12709 0 -1 1077944384 2 13193 0 0 0 0 5 3 20 0 15 0 62166991 11079016448 13546 33554432000 4194304 4196468 140729753229664 140168932285584 140169360672469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19147] ppid=19024 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19027/task/19147/stat : 19147 (java) S 19024 19027 12709 0 -1 1077944384 2 13193 0 0 0 0 5 3 20 0 15 0 62166993 11079016448 13546 33554432000 4194304 4196468 140729753229664 140168887334896 140169360673410 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19149] ppid=19024 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19027/task/19149/stat : 19149 (java) S 19024 19027 12709 0 -1 1077944384 13 13193 0 0 0 0 5 3 20 0 15 0 62166993 11079016448 13546 33554432000 4194304 4196468 140729753229664 140168673616800 140169360672469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19150] ppid=19024 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19027/task/19150/stat : 19150 (java) S 19024 19027 12709 0 -1 1077944384 1 13193 0 0 0 0 5 3 20 0 15 0 62166993 11079016448 13546 33554432000 4194304 4196468 140729753229664 140168203854832 140169360672469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19153] ppid=19024 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19027/task/19153/stat : 19153 (java) S 19024 19027 12709 0 -1 1077944384 3 13193 0 0 0 0 5 3 20 0 15 0 62166996 11079016448 13546 33554432000 4194304 4196468 140729753229664 140167896455376 140169360680859 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19154] ppid=19024 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/19027/task/19154/stat : 19154 (java) S 19024 19027 12709 0 -1 1077944384 526 13193 0 0 1 0 5 3 20 0 15 0 62166996 11079016448 13546 33554432000 4194304 4196468 140729753229664 140168886282736 140169360673410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19155] ppid=19024 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/19027/task/19155/stat : 19155 (java) R 19024 19027 12709 0 -1 4202560 55 13193 0 0 1 0 5 3 20 0 15 0 62166996 11079016448 13546 33554432000 4194304 4196468 140729753229664 140168885230192 140169340317633 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19156] ppid=19024 vsize=10819352 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/19027/task/19156/stat : 19156 (java) R 19024 19027 12709 0 -1 4202560 550 13193 0 0 5 0 5 3 20 0 15 0 62166996 11079016448 13546 33554432000 4194304 4196468 140729753229664 140168884177648 140169360683610 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19157] ppid=19024 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19027/task/19157/stat : 19157 (java) S 19024 19027 12709 0 -1 1077944384 3 13193 0 0 0 0 5 3 20 0 15 0 62166996 11079016448 13546 33554432000 4194304 4196468 140729753229664 140167862897760 140169360672469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19162] ppid=19024 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19027/task/19162/stat : 19162 (java) S 19024 19027 12709 0 -1 1077944384 1 13193 0 0 0 0 5 3 20 0 15 0 62166997 11079016448 13546 33554432000 4194304 4196468 140729753229664 140168883124528 140169360673410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 54184 KiB
[startup+0.700743 s]
/proc/loadavg: 0.53 0.69 0.99 4/218 19164
/proc/meminfo: memFree=16784292/32770624 swapFree=67108860/67108860
[pid=19027] ppid=19024 vsize=10819352 memory=86708 CPUtime=0.98 cores=0,2,4,6
/proc/19027/stat : 19027 (java) S 19024 19027 12709 0 -1 1077944320 16814 13193 0 0 87 3 5 3 20 0 15 0 62166981 11079016448 21677 33554432000 4194304 4196468 140729753229664 140729753212208 140169360662263 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
/proc/19027/statm: 2704838 21677 3236 1 0 2667149 0
[pid=19027/tid=19137] ppid=19024 vsize=10819352 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/19027/task/19137/stat : 19137 (java) R 19024 19027 12709 0 -1 4202560 12532 13193 0 0 55 2 5 3 20 0 15 0 62166991 11079016448 21677 33554432000 4194304 4196468 140729753229664 140169332455776 140169345827902 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19139] ppid=19024 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19027/task/19139/stat : 19139 (java) S 19024 19027 12709 0 -1 1077944384 2 13193 0 0 0 0 5 3 20 0 15 0 62166991 11079016448 21677 33554432000 4194304 4196468 140729753229664 140169364904720 140169360672469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19140] ppid=19024 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19027/task/19140/stat : 19140 (java) S 19024 19027 12709 0 -1 1077944384 1 13193 0 0 0 0 5 3 20 0 15 0 62166991 11079016448 21677 33554432000 4194304 4196468 140729753229664 140169279724432 140169360672469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19141] ppid=19024 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19027/task/19141/stat : 19141 (java) S 19024 19027 12709 0 -1 1077944384 1 13193 0 0 0 0 5 3 20 0 15 0 62166991 11079016448 21677 33554432000 4194304 4196468 140729753229664 140169278671888 140169360672469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19142] ppid=19024 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19027/task/19142/stat : 19142 (java) S 19024 19027 12709 0 -1 1077944384 2 13193 0 0 0 0 5 3 20 0 15 0 62166991 11079016448 21677 33554432000 4194304 4196468 140729753229664 140168932285584 140169360672469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19147] ppid=19024 vsize=10819352 memory=3828 CPUtime=0.08 cores=0,2,4,6
/proc/19027/task/19147/stat : 19147 (java) S 19024 19027 12709 0 -1 1077944384 6 13193 0 0 0 0 5 3 20 0 15 0 62166993 11079016448 21677 33554432000 4194304 4196468 140729753229664 140168887334896 140169360673410 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19149] ppid=19024 vsize=10819352 memory=2241 CPUtime=0.08 cores=0,2,4,6
/proc/19027/task/19149/stat : 19149 (java) S 19024 19027 12709 0 -1 1077944384 13 13193 0 0 0 0 5 3 20 0 15 0 62166993 11079016448 21677 33554432000 4194304 4196468 140729753229664 140168673616800 140169360672469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19150] ppid=19024 vsize=10819352 memory=2244 CPUtime=0.08 cores=0,2,4,6
/proc/19027/task/19150/stat : 19150 (java) S 19024 19027 12709 0 -1 1077944384 1 13193 0 0 0 0 5 3 20 0 15 0 62166993 11079016448 21677 33554432000 4194304 4196468 140729753229664 140168203854832 140169360672469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19153] ppid=19024 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19027/task/19153/stat : 19153 (java) S 19024 19027 12709 0 -1 1077944384 3 13193 0 0 0 0 5 3 20 0 15 0 62166996 11079016448 21677 33554432000 4194304 4196468 140729753229664 140167896455376 140169360680859 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19154] ppid=19024 vsize=10819352 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/19027/task/19154/stat : 19154 (java) S 19024 19027 12709 0 -1 1077944384 1130 13193 0 0 9 0 5 3 20 0 15 0 62166996 11079016448 21677 33554432000 4194304 4196468 140729753229664 140168886282736 140169360673410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19155] ppid=19024 vsize=10819352 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/19027/task/19155/stat : 19155 (java) S 19024 19027 12709 0 -1 1077944384 335 13193 0 0 7 0 5 3 20 0 15 0 62166996 11079016448 21677 33554432000 4194304 4196468 140729753229664 140168885230192 140169360673410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19156] ppid=19024 vsize=10819352 memory=19265 CPUtime=0.21 cores=0,2,4,6
/proc/19027/task/19156/stat : 19156 (java) S 19024 19027 12709 0 -1 1077944384 591 13193 0 0 13 0 5 3 20 0 15 0 62166996 11079016448 21677 33554432000 4194304 4196468 140729753229664 140168884177648 140169360673410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19157] ppid=19024 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19027/task/19157/stat : 19157 (java) S 19024 19027 12709 0 -1 1077944384 3 13193 0 0 0 0 5 3 20 0 15 0 62166996 11079016448 21677 33554432000 4194304 4196468 140729753229664 140167862897760 140169360672469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19162] ppid=19024 vsize=10819352 memory=3533419649945857446 CPUtime=0.08 cores=0,2,4,6
/proc/19027/task/19162/stat : 19162 (java) S 19024 19027 12709 0 -1 1077944384 1 13193 0 0 0 0 5 3 20 0 15 0 62166997 11079016448 21677 33554432000 4194304 4196468 140729753229664 140168883124528 140169360673410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86708 KiB
[startup+1.50075 s]
/proc/loadavg: 0.53 0.69 0.99 3/218 19164
/proc/meminfo: memFree=16694508/32770624 swapFree=67108860/67108860
[pid=19027] ppid=19024 vsize=10834252 memory=177872 CPUtime=2.24 cores=0,2,4,6
/proc/19027/stat : 19027 (java) S 19024 19027 12709 0 -1 1077944320 25133 13193 0 0 209 7 5 3 20 0 15 0 62166981 11094274048 44468 33554432000 4194304 4196468 140729753229664 140729753212208 140169360662263 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
/proc/19027/statm: 2708563 44468 3468 1 0 2670221 0
[pid=19027/tid=19137] ppid=19024 vsize=10834252 memory=0 CPUtime=1.42 cores=0,2,4,6
/proc/19027/task/19137/stat : 19137 (java) R 19024 19027 12709 0 -1 4202560 18490 13193 0 0 130 4 5 3 20 0 15 0 62166991 11094274048 44468 33554432000 4194304 4196468 140729753229664 140169332479360 140169360674198 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19139] ppid=19024 vsize=10834252 memory=6944656592455360604 CPUtime=0.09 cores=0,2,4,6
/proc/19027/task/19139/stat : 19139 (java) S 19024 19027 12709 0 -1 1077944384 262 13193 0 0 1 0 5 3 20 0 15 0 62166991 11094274048 44468 33554432000 4194304 4196468 140729753229664 140169364904720 140169360672469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19140] ppid=19024 vsize=10834252 memory=6944656592455360604 CPUtime=0.09 cores=0,2,4,6
/proc/19027/task/19140/stat : 19140 (java) S 19024 19027 12709 0 -1 1077944384 23 13193 0 0 1 0 5 3 20 0 15 0 62166991 11094274048 44468 33554432000 4194304 4196468 140729753229664 140169279724432 140169360672469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19141] ppid=19024 vsize=10834252 memory=6944656575208382560 CPUtime=0.09 cores=0,2,4,6
/proc/19027/task/19141/stat : 19141 (java) S 19024 19027 12709 0 -1 1077944384 70 13193 0 0 1 0 5 3 20 0 15 0 62166991 11094274048 44468 33554432000 4194304 4196468 140729753229664 140169278671888 140169360672469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19142] ppid=19024 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/19027/task/19142/stat : 19142 (java) S 19024 19027 12709 0 -1 1077944384 24 13193 0 0 1 0 5 3 20 0 15 0 62166991 11094274048 44468 33554432000 4194304 4196468 140729753229664 140168932285584 140169360672469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19147] ppid=19024 vsize=10834252 memory=140071231692992 CPUtime=0.09 cores=0,2,4,6
/proc/19027/task/19147/stat : 19147 (java) S 19024 19027 12709 0 -1 1077944384 596 13193 0 0 1 0 5 3 20 0 15 0 62166993 11094274048 44468 33554432000 4194304 4196468 140729753229664 140168887334896 140169360673410 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19149] ppid=19024 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19027/task/19149/stat : 19149 (java) S 19024 19027 12709 0 -1 1077944384 14 13193 0 0 0 0 5 3 20 0 15 0 62166993 11094274048 44468 33554432000 4194304 4196468 140729753229664 140168673616864 140169360672469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19150] ppid=19024 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19027/task/19150/stat : 19150 (java) S 19024 19027 12709 0 -1 1077944384 1 13193 0 0 0 0 5 3 20 0 15 0 62166993 11094274048 44468 33554432000 4194304 4196468 140729753229664 140168203854832 140169360672469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19153] ppid=19024 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19027/task/19153/stat : 19153 (java) S 19024 19027 12709 0 -1 1077944384 3 13193 0 0 0 0 5 3 20 0 15 0 62166996 11094274048 44468 33554432000 4194304 4196468 140729753229664 140167896455376 140169360680859 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19154] ppid=19024 vsize=10834252 memory=0 CPUtime=0.3 cores=0,2,4,6
/proc/19027/task/19154/stat : 19154 (java) S 19024 19027 12709 0 -1 1077944384 1288 13193 0 0 22 0 5 3 20 0 15 0 62166996 11094274048 44468 33554432000 4194304 4196468 140729753229664 140168886282736 140169360673410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19155] ppid=19024 vsize=10834252 memory=13 CPUtime=0.27 cores=0,2,4,6
/proc/19027/task/19155/stat : 19155 (java) S 19024 19027 12709 0 -1 1077944384 808 13193 0 0 19 0 5 3 20 0 15 0 62166996 11094274048 44468 33554432000 4194304 4196468 140729753229664 140168885230192 140169360673410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19156] ppid=19024 vsize=10834252 memory=10 CPUtime=0.37 cores=0,2,4,6
/proc/19027/task/19156/stat : 19156 (java) S 19024 19027 12709 0 -1 1077944384 1357 13193 0 0 29 0 5 3 20 0 15 0 62166996 11094274048 44468 33554432000 4194304 4196468 140729753229664 140168884177648 140169360673410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19157] ppid=19024 vsize=10834252 memory=19 CPUtime=0.08 cores=0,2,4,6
/proc/19027/task/19157/stat : 19157 (java) S 19024 19027 12709 0 -1 1077944384 3 13193 0 0 0 0 5 3 20 0 15 0 62166996 11094274048 44468 33554432000 4194304 4196468 140729753229664 140167862897760 140169360672469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19162] ppid=19024 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19027/task/19162/stat : 19162 (java) S 19024 19027 12709 0 -1 1077944384 1 13193 0 0 0 0 5 3 20 0 15 0 62166997 11094274048 44468 33554432000 4194304 4196468 140729753229664 140168883124528 140169360673410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
Current children cumulated CPU time: 2.24 s
Current children cumulated vsize: 10834252 KiB
Current children cumulated memory: 177872 KiB
[startup+3.11059 s]
/proc/loadavg: 0.53 0.69 0.99 7/218 19164
/proc/meminfo: memFree=16427084/32770624 swapFree=67108860/67108860
[pid=19027] ppid=19024 vsize=10912096 memory=279864 CPUtime=5.82 cores=0,2,4,6
/proc/19027/stat : 19027 (java) S 19024 19027 12709 0 -1 1077944320 57919 13193 0 0 559 15 5 3 20 0 15 0 62166981 11173986304 69966 33554432000 4194304 4196468 140729753229664 140729753212208 140169360662263 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
/proc/19027/statm: 2728024 69966 3498 1 0 2689677 0
[pid=19027/tid=19137] ppid=19024 vsize=10912096 memory=56 CPUtime=2.99 cores=0,2,4,6
/proc/19027/task/19137/stat : 19137 (java) R 19024 19027 12709 0 -1 4202560 40000 13193 0 0 283 8 5 3 20 0 15 0 62166991 11173986304 69966 33554432000 4194304 4196468 140729753229664 140169332477624 140169340937970 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19139] ppid=19024 vsize=10912096 memory=55 CPUtime=0.1 cores=0,2,4,6
/proc/19027/task/19139/stat : 19139 (java) S 19024 19027 12709 0 -1 1077944384 286 13193 0 0 2 0 5 3 20 0 15 0 62166991 11173986304 69966 33554432000 4194304 4196468 140729753229664 140169364904720 140169360672469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19140] ppid=19024 vsize=10912096 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/19027/task/19140/stat : 19140 (java) S 19024 19027 12709 0 -1 1077944384 40 13193 0 0 2 0 5 3 20 0 15 0 62166991 11173986304 69966 33554432000 4194304 4196468 140729753229664 140169279724432 140169360672469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19141] ppid=19024 vsize=10912096 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/19027/task/19141/stat : 19141 (java) S 19024 19027 12709 0 -1 1077944384 159 13193 0 0 2 0 5 3 20 0 15 0 62166991 11173986304 69966 33554432000 4194304 4196468 140729753229664 140169278671888 140169360672469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19142] ppid=19024 vsize=10912096 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/19027/task/19142/stat : 19142 (java) S 19024 19027 12709 0 -1 1077944384 71 13193 0 0 2 0 5 3 20 0 15 0 62166991 11173986304 69966 33554432000 4194304 4196468 140729753229664 140168932285584 140169360672469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19147] ppid=19024 vsize=10912096 memory=7663282033701972325 CPUtime=0.11 cores=0,2,4,6
/proc/19027/task/19147/stat : 19147 (java) S 19024 19027 12709 0 -1 1077944384 2114 13193 0 0 3 0 5 3 20 0 15 0 62166993 11173986304 69966 33554432000 4194304 4196468 140729753229664 140168887334896 140169360673410 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19149] ppid=19024 vsize=10912096 memory=4642757591664515177 CPUtime=0.08 cores=0,2,4,6
/proc/19027/task/19149/stat : 19149 (java) S 19024 19027 12709 0 -1 1077944384 14 13193 0 0 0 0 5 3 20 0 15 0 62166993 11173986304 70032 33554432000 4194304 4196468 140729753229664 140168673616864 140169360672469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19150] ppid=19024 vsize=10912096 memory=6298970639842370147 CPUtime=0.08 cores=0,2,4,6
/proc/19027/task/19150/stat : 19150 (java) S 19024 19027 12709 0 -1 1077944384 1 13193 0 0 0 0 5 3 20 0 15 0 62166993 11173986304 70032 33554432000 4194304 4196468 140729753229664 140168203854848 140169360672469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19153] ppid=19024 vsize=10912096 memory=280142463608772 CPUtime=0.08 cores=0,2,4,6
/proc/19027/task/19153/stat : 19153 (java) S 19024 19027 12709 0 -1 1077944384 3 13193 0 0 0 0 5 3 20 0 15 0 62166996 11173986304 70032 33554432000 4194304 4196468 140729753229664 140167896455376 140169360680859 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19154] ppid=19024 vsize=10912096 memory=18 CPUtime=0.88 cores=0,2,4,6
/proc/19027/task/19154/stat : 19154 (java) R 19024 19027 12709 0 -1 4202560 4717 13193 0 0 79 1 5 3 20 0 15 0 62166996 11173986304 70032 33554432000 4194304 4196468 140729753229664 140168886263464 140169340516962 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19155] ppid=19024 vsize=10912096 memory=205652 CPUtime=0.98 cores=0,2,4,6
/proc/19027/task/19155/stat : 19155 (java) S 19024 19027 12709 0 -1 1077944384 3652 13193 0 0 89 1 5 3 20 0 15 0 62166996 11173986304 70032 33554432000 4194304 4196468 140729753229664 140168885230192 140169360673410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19156] ppid=19024 vsize=10912096 memory=0 CPUtime=0.99 cores=0,2,4,6
/proc/19027/task/19156/stat : 19156 (java) S 19024 19027 12709 0 -1 1077944384 4678 13193 0 0 90 1 5 3 20 0 15 0 62166996 11173986304 70032 33554432000 4194304 4196468 140729753229664 140168884177648 140169360673410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19157] ppid=19024 vsize=10912096 memory=90808 CPUtime=0.08 cores=0,2,4,6
/proc/19027/task/19157/stat : 19157 (java) S 19024 19027 12709 0 -1 1077944384 3 13193 0 0 0 0 5 3 20 0 15 0 62166996 11173986304 70032 33554432000 4194304 4196468 140729753229664 140167862897760 140169360672469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19162] ppid=19024 vsize=10912096 memory=3472410579211156229 CPUtime=0.08 cores=0,2,4,6
/proc/19027/task/19162/stat : 19162 (java) S 19024 19027 12709 0 -1 1077944384 11 13193 0 0 0 0 5 3 20 0 15 0 62166997 11173986304 70032 33554432000 4194304 4196468 140729753229664 140168883124528 140169360673410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
Current children cumulated CPU time: 5.82 s
Current children cumulated vsize: 10912096 KiB
Current children cumulated memory: 279864 KiB
[startup+5.52289 s]
# the end of solver process 19027 was just reported to runsolver
# cumulated CPU time of all completed processes: user=10.9634 s, system=0.255053 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.2009 s]
/proc/loadavg: 0.53 0.69 0.99 7/218 19164
/proc/meminfo: memFree=16427084/32770624 swapFree=67108860/67108860
[pid=19027] ppid=19024 vsize=10912096 memory=286660 CPUtime=6.05 cores=0,2,4,6
/proc/19027/stat : 19027 (java) S 19024 19027 12709 0 -1 1077944320 59615 13193 0 0 582 15 5 3 20 0 15 0 62166981 11173986304 71665 33554432000 4194304 4196468 140729753229664 140729753212208 140169360662263 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
/proc/19027/statm: 2728024 71665 3498 1 0 2689677 0
[pid=19027/tid=19137] ppid=19024 vsize=10912096 memory=0 CPUtime=3.07 cores=0,2,4,6
/proc/19027/task/19137/stat : 19137 (java) R 19024 19027 12709 0 -1 4202560 41063 13193 0 0 291 8 5 3 20 0 15 0 62166991 11173986304 71665 33554432000 4194304 4196468 140729753229664 140169332492400 140168960221927 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19139] ppid=19024 vsize=10912096 memory=3683998604062831409 CPUtime=0.1 cores=0,2,4,6
/proc/19027/task/19139/stat : 19139 (java) S 19024 19027 12709 0 -1 1077944384 286 13193 0 0 2 0 5 3 20 0 15 0 62166991 11173986304 71665 33554432000 4194304 4196468 140729753229664 140169364904720 140169360672469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19140] ppid=19024 vsize=10912096 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/19027/task/19140/stat : 19140 (java) S 19024 19027 12709 0 -1 1077944384 40 13193 0 0 2 0 5 3 20 0 15 0 62166991 11173986304 71665 33554432000 4194304 4196468 140729753229664 140169279724432 140169360672469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19141] ppid=19024 vsize=10912096 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/19027/task/19141/stat : 19141 (java) S 19024 19027 12709 0 -1 1077944384 159 13193 0 0 2 0 5 3 20 0 15 0 62166991 11173986304 71665 33554432000 4194304 4196468 140729753229664 140169278671888 140169360672469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19142] ppid=19024 vsize=10912096 memory=280142463183104 CPUtime=0.1 cores=0,2,4,6
/proc/19027/task/19142/stat : 19142 (java) S 19024 19027 12709 0 -1 1077944384 71 13193 0 0 2 0 5 3 20 0 15 0 62166991 11173986304 71665 33554432000 4194304 4196468 140729753229664 140168932285584 140169360672469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19147] ppid=19024 vsize=10912096 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/19027/task/19147/stat : 19147 (java) S 19024 19027 12709 0 -1 1077944384 2114 13193 0 0 3 0 5 3 20 0 15 0 62166993 11173986304 71665 33554432000 4194304 4196468 140729753229664 140168887334896 140169360673410 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19149] ppid=19024 vsize=10912096 memory=280142463603808 CPUtime=0.08 cores=0,2,4,6
/proc/19027/task/19149/stat : 19149 (java) S 19024 19027 12709 0 -1 1077944384 14 13193 0 0 0 0 5 3 20 0 15 0 62166993 11173986304 71665 33554432000 4194304 4196468 140729753229664 140168673616864 140169360672469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19150] ppid=19024 vsize=10912096 memory=8098994238108557652 CPUtime=0.08 cores=0,2,4,6
/proc/19027/task/19150/stat : 19150 (java) S 19024 19027 12709 0 -1 1077944384 1 13193 0 0 0 0 5 3 20 0 15 0 62166993 11173986304 71665 33554432000 4194304 4196468 140729753229664 140168203854848 140169360672469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19153] ppid=19024 vsize=10912096 memory=7669741664262972769 CPUtime=0.08 cores=0,2,4,6
/proc/19027/task/19153/stat : 19153 (java) S 19024 19027 12709 0 -1 1077944384 3 13193 0 0 0 0 5 3 20 0 15 0 62166996 11173986304 71665 33554432000 4194304 4196468 140729753229664 140167896455376 140169360680859 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19154] ppid=19024 vsize=10912096 memory=7669741664262972769 CPUtime=0.97 cores=0,2,4,6
/proc/19027/task/19154/stat : 19154 (java) R 19024 19027 12709 0 -1 4202560 5245 13193 0 0 88 1 5 3 20 0 15 0 62166996 11173986304 71665 33554432000 4194304 4196468 140729753229664 140168886263464 140169340355367 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19155] ppid=19024 vsize=10912096 memory=6442510735656184685 CPUtime=1 cores=0,2,4,6
/proc/19027/task/19155/stat : 19155 (java) S 19024 19027 12709 0 -1 1077944384 3670 13193 0 0 91 1 5 3 20 0 15 0 62166996 11173986304 71665 33554432000 4194304 4196468 140729753229664 140168885230192 140169360673410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19156] ppid=19024 vsize=10912096 memory=7519155837505662315 CPUtime=1.03 cores=0,2,4,6
/proc/19027/task/19156/stat : 19156 (java) S 19024 19027 12709 0 -1 1077944384 4742 13193 0 0 94 1 5 3 20 0 15 0 62166996 11173986304 71665 33554432000 4194304 4196468 140729753229664 140168884177648 140169360673410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19157] ppid=19024 vsize=10912096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19027/task/19157/stat : 19157 (java) S 19024 19027 12709 0 -1 1077944384 3 13193 0 0 0 0 5 3 20 0 15 0 62166996 11173986304 71665 33554432000 4194304 4196468 140729753229664 140167862897760 140169360672469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19162] ppid=19024 vsize=10912096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19027/task/19162/stat : 19162 (java) S 19024 19027 12709 0 -1 1077944384 11 13193 0 0 0 0 5 3 20 0 15 0 62166997 11173986304 71665 33554432000 4194304 4196468 140729753229664 140168883124528 140169360673410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
Current children cumulated CPU time: 6.05 s
Current children cumulated vsize: 10912096 KiB
Current children cumulated memory: 286660 KiB
[startup+4.80076 s]
/proc/loadavg: 0.53 0.69 0.99 7/218 19164
/proc/meminfo: memFree=16222720/32770624 swapFree=67108860/67108860
[pid=19027] ppid=19024 vsize=10914144 memory=363272 CPUtime=10.73 cores=0,2,4,6
/proc/19027/stat : 19027 (java) S 19024 19027 12709 0 -1 1077944320 64529 13193 0 0 1047 18 5 3 20 0 15 0 62166981 11176083456 90818 33554432000 4194304 4196468 140729753229664 140729753212208 140169360662263 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
/proc/19027/statm: 2728536 90818 3509 1 0 2690189 0
[pid=19027/tid=19137] ppid=19024 vsize=10914144 memory=0 CPUtime=4.66 cores=0,2,4,6
/proc/19027/task/19137/stat : 19137 (java) R 19024 19027 12709 0 -1 4202560 41219 13193 0 0 449 9 5 3 20 0 15 0 62166991 11176083456 90818 33554432000 4194304 4196468 140729753229664 140169332493952 140168969971662 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19139] ppid=19024 vsize=10914144 memory=140071231659152 CPUtime=0.11 cores=0,2,4,6
/proc/19027/task/19139/stat : 19139 (java) S 19024 19027 12709 0 -1 1077944384 291 13193 0 0 3 0 5 3 20 0 15 0 62166991 11176083456 90818 33554432000 4194304 4196468 140729753229664 140169364904720 140169360672469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19140] ppid=19024 vsize=10914144 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/19027/task/19140/stat : 19140 (java) S 19024 19027 12709 0 -1 1077944384 54 13193 0 0 3 0 5 3 20 0 15 0 62166991 11176083456 90818 33554432000 4194304 4196468 140729753229664 140169279724432 140169360672469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19141] ppid=19024 vsize=10914144 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/19027/task/19141/stat : 19141 (java) S 19024 19027 12709 0 -1 1077944384 161 13193 0 0 3 0 5 3 20 0 15 0 62166991 11176083456 90818 33554432000 4194304 4196468 140729753229664 140169278671888 140169360672469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19142] ppid=19024 vsize=10914144 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/19027/task/19142/stat : 19142 (java) S 19024 19027 12709 0 -1 1077944384 72 13193 0 0 2 0 5 3 20 0 15 0 62166991 11176083456 90818 33554432000 4194304 4196468 140729753229664 140168932285584 140169360672469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19147] ppid=19024 vsize=10914144 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/19027/task/19147/stat : 19147 (java) S 19024 19027 12709 0 -1 1077944384 2115 13193 0 0 3 0 5 3 20 0 15 0 62166993 11176083456 90818 33554432000 4194304 4196468 140729753229664 140168887334896 140169360673410 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19149] ppid=19024 vsize=10914144 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19027/task/19149/stat : 19149 (java) S 19024 19027 12709 0 -1 1077944384 14 13193 0 0 0 0 5 3 20 0 15 0 62166993 11176083456 90818 33554432000 4194304 4196468 140729753229664 140168673616864 140169360672469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19150] ppid=19024 vsize=10914144 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19027/task/19150/stat : 19150 (java) S 19024 19027 12709 0 -1 1077944384 1 13193 0 0 0 0 5 3 20 0 15 0 62166993 11176083456 90818 33554432000 4194304 4196468 140729753229664 140168203854848 140169360672469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19153] ppid=19024 vsize=10914144 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19027/task/19153/stat : 19153 (java) S 19024 19027 12709 0 -1 1077944384 3 13193 0 0 0 0 5 3 20 0 15 0 62166996 11176083456 90818 33554432000 4194304 4196468 140729753229664 140167896455376 140169360680859 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19154] ppid=19024 vsize=10914144 memory=13 CPUtime=2.36 cores=0,2,4,6
/proc/19027/task/19154/stat : 19154 (java) S 19024 19027 12709 0 -1 1077944384 8272 13193 0 0 227 1 5 3 20 0 15 0 62166996 11176083456 90818 33554432000 4194304 4196468 140729753229664 140168886282736 140169360673410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19155] ppid=19024 vsize=10914144 memory=10 CPUtime=2.32 cores=0,2,4,6
/proc/19027/task/19155/stat : 19155 (java) R 19024 19027 12709 0 -1 4202560 4715 13193 0 0 223 1 5 3 20 0 15 0 62166996 11176083456 90818 33554432000 4194304 4196468 140729753229664 140168885216944 140169345585369 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19156] ppid=19024 vsize=10914144 memory=19 CPUtime=1.39 cores=0,2,4,6
/proc/19027/task/19156/stat : 19156 (java) S 19024 19027 12709 0 -1 1077944384 5404 13193 0 0 129 2 5 3 20 0 15 0 62166996 11176083456 90818 33554432000 4194304 4196468 140729753229664 140168884177648 140169360673410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19157] ppid=19024 vsize=10914144 memory=360460 CPUtime=0.08 cores=0,2,4,6
/proc/19027/task/19157/stat : 19157 (java) S 19024 19027 12709 0 -1 1077944384 3 13193 0 0 0 0 5 3 20 0 15 0 62166996 11176083456 90818 33554432000 4194304 4196468 140729753229664 140167862897760 140169360672469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
[pid=19027/tid=19162] ppid=19024 vsize=10914144 memory=56 CPUtime=0.08 cores=0,2,4,6
/proc/19027/task/19162/stat : 19162 (java) S 19024 19027 12709 0 -1 1077944384 12 13193 0 0 0 0 5 3 20 0 15 0 62166997 11176083456 90818 33554432000 4194304 4196468 140729753229664 140168883124528 140169360673410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27713536 140729753237676 140729753240924 140729753240924 140729753243599 0
Current children cumulated CPU time: 10.73 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 363272 KiB
[startup+5.20074 s]*
/proc/loadavg: 0.89 0.76 1.01 2/205 19165
/proc/meminfo: memFree=16499404/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+5.40018 s]
/proc/loadavg: 0.89 0.76 1.01 2/205 19165
/proc/meminfo: memFree=16499404/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+5.50023 s]
/proc/loadavg: 0.89 0.76 1.01 2/205 19165
/proc/meminfo: memFree=16499404/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 5.52295
CPU time (s): 11.2184
CPU user time (s): 10.9634
CPU system time (s): 0.255053
CPU usage (%): 203.124
Max. virtual memory (cumulated for all children) (KiB): 10916784
Max. memory (cumulated for all children) (KiB): 371516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.9634
system time used= 0.255053
maximum resident set size= 373868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77867
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= 6134
involuntary context switches= 60
# summary of solver processes directly reported to runsolver:
# pid: 19027
# total CPU time (s): 11.2184
# total CPU user time (s): 10.9634
# total CPU system time (s): 0.255053
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.061833 second user time and 0.08942 second system time
The end