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 (13963 MiB free)
memory of node 1: 16384 MiB (11187 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4258256-1502639078/watcher-4258256-1502639078 -o /tmp/evaluation-result-4258256-1502639078/solver-4258256-1502639078 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node148-1502637430-15760 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4258256-1502639078.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=17197, runsolver pid=17194
[startup+0.100193 s]*
/proc/loadavg: 4.61 4.56 3.92 4/216 17212
/proc/meminfo: memFree=25735984/32770624 swapFree=67108860/67108860
[pid=17197] ppid=17194 vsize=10555400 memory=30312 CPUtime=0.12 cores=0,2,4,6
/proc/17197/stat : 17197 (java) S 17194 17197 6338 0 -1 1077944320 6636 0 0 0 11 1 0 0 20 0 15 0 96988905 10808729600 7578 33554432000 4194304 4196468 140730442026368 140730442008912 139655168913143 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
/proc/17197/statm: 2638850 7578 2842 1 0 2627263 0
[pid=17197/tid=17199] ppid=17194 vsize=10555400 memory=-7254954386087372155 CPUtime=0.09 cores=0,2,4,6
/proc/17197/task/17199/stat : 17199 (java) R 17194 17197 6338 0 -1 4202560 4482 0 0 0 8 1 0 0 20 0 15 0 96988906 10808729600 7578 33554432000 4194304 4196468 140730442026368 139655173138208 139655152993660 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17200] ppid=17194 vsize=10555400 memory=5793855462961801657 CPUtime=0 cores=0,2,4,6
/proc/17197/task/17200/stat : 17200 (java) S 17194 17197 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96988906 10808729600 7578 33554432000 4194304 4196468 140730442026368 139655094987280 139655168923349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17201] ppid=17194 vsize=10555400 memory=140211951908480 CPUtime=0 cores=0,2,4,6
/proc/17197/task/17201/stat : 17201 (java) S 17194 17197 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96988906 10808729600 7578 33554432000 4194304 4196468 140730442026368 139655093934736 139655168923349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17202] ppid=17194 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17197/task/17202/stat : 17202 (java) S 17194 17197 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96988906 10808729600 7578 33554432000 4194304 4196468 140730442026368 139655092881680 139655168923349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17203] ppid=17194 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17197/task/17203/stat : 17203 (java) S 17194 17197 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96988906 10808729600 7578 33554432000 4194304 4196468 140730442026368 139655091829136 139655168923349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17204] ppid=17194 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17197/task/17204/stat : 17204 (java) S 17194 17197 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96988908 10808729600 7578 33554432000 4194304 4196468 140730442026368 139654204582640 139655168924290 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17205] ppid=17194 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17197/task/17205/stat : 17205 (java) S 17194 17197 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96988908 10808729600 7578 33554432000 4194304 4196468 140730442026368 139654203528864 139655168923349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17206] ppid=17194 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17197/task/17206/stat : 17206 (java) S 17194 17197 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96988908 10808729600 7578 33554432000 4194304 4196468 140730442026368 139654202475760 139655168923349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17207] ppid=17194 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17197/task/17207/stat : 17207 (java) S 17194 17197 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96988911 10808729600 7578 33554432000 4194304 4196468 140730442026368 139654201424336 139655168931739 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17208] ppid=17194 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17197/task/17208/stat : 17208 (java) S 17194 17197 6338 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 15 0 96988911 10808729600 7578 33554432000 4194304 4196468 140730442026368 139654200371440 139655168924290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17209] ppid=17194 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17197/task/17209/stat : 17209 (java) S 17194 17197 6338 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 96988911 10808729600 7578 33554432000 4194304 4196468 140730442026368 139654199318896 139655168924290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17210] ppid=17194 vsize=10555400 memory=140211951908480 CPUtime=0.02 cores=0,2,4,6
/proc/17197/task/17210/stat : 17210 (java) S 17194 17197 6338 0 -1 1077944384 361 0 0 0 2 0 0 0 20 0 15 0 96988911 10808729600 7578 33554432000 4194304 4196468 140730442026368 139654198265840 139655168924290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17211] ppid=17194 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17197/task/17211/stat : 17211 (java) S 17194 17197 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96988911 10808729600 7578 33554432000 4194304 4196468 140730442026368 139654197213536 139655168923349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17212] ppid=17194 vsize=10555400 memory=140211951908480 CPUtime=0 cores=0,2,4,6
/proc/17197/task/17212/stat : 17212 (java) S 17194 17197 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96988911 10808729600 7578 33554432000 4194304 4196468 140730442026368 139654196161584 139655168924290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 30312 KiB
[startup+0.211244 s]*
/proc/loadavg: 4.61 4.56 3.92 2/216 17212
/proc/meminfo: memFree=25727524/32770624 swapFree=67108860/67108860
[pid=17197] ppid=17194 vsize=10555400 memory=39596 CPUtime=0.31 cores=0,2,4,6
/proc/17197/stat : 17197 (java) S 17194 17197 6338 0 -1 1077944320 8204 0 0 0 29 2 0 0 20 0 15 0 96988905 10808729600 9899 33554432000 4194304 4196468 140730442026368 140730442008912 139655168913143 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
/proc/17197/statm: 2638850 9899 2958 1 0 2627263 0
[pid=17197/tid=17199] ppid=17194 vsize=10555400 memory=6735269665583770266 CPUtime=0.19 cores=0,2,4,6
/proc/17197/task/17199/stat : 17199 (java) R 17194 17197 6338 0 -1 4202560 5273 0 0 0 18 1 0 0 20 0 15 0 96988906 10808729600 9899 33554432000 4194304 4196468 140730442026368 139655173145344 139655152993630 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17200] ppid=17194 vsize=10555400 memory=4211973938156699018 CPUtime=0 cores=0,2,4,6
/proc/17197/task/17200/stat : 17200 (java) S 17194 17197 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96988906 10808729600 9899 33554432000 4194304 4196468 140730442026368 139655094987280 139655168923349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17201] ppid=17194 vsize=10555400 memory=140211951908480 CPUtime=0 cores=0,2,4,6
/proc/17197/task/17201/stat : 17201 (java) S 17194 17197 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96988906 10808729600 9899 33554432000 4194304 4196468 140730442026368 139655093934736 139655168923349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17202] ppid=17194 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17197/task/17202/stat : 17202 (java) S 17194 17197 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96988906 10808729600 9899 33554432000 4194304 4196468 140730442026368 139655092881680 139655168923349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17203] ppid=17194 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17197/task/17203/stat : 17203 (java) S 17194 17197 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96988906 10808729600 9899 33554432000 4194304 4196468 140730442026368 139655091829136 139655168923349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17204] ppid=17194 vsize=10555400 memory=140211951908480 CPUtime=0 cores=0,2,4,6
/proc/17197/task/17204/stat : 17204 (java) S 17194 17197 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96988908 10808729600 9899 33554432000 4194304 4196468 140730442026368 139654204582640 139655168924290 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17205] ppid=17194 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17197/task/17205/stat : 17205 (java) S 17194 17197 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96988908 10808729600 9899 33554432000 4194304 4196468 140730442026368 139654203528864 139655168923349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17206] ppid=17194 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17197/task/17206/stat : 17206 (java) S 17194 17197 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96988908 10808729600 9899 33554432000 4194304 4196468 140730442026368 139654202475760 139655168923349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17207] ppid=17194 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17197/task/17207/stat : 17207 (java) S 17194 17197 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96988911 10808729600 9899 33554432000 4194304 4196468 140730442026368 139654201424336 139655168931739 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17208] ppid=17194 vsize=10555400 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/17197/task/17208/stat : 17208 (java) S 17194 17197 6338 0 -1 1077944384 414 0 0 0 2 0 0 0 20 0 15 0 96988911 10808729600 9899 33554432000 4194304 4196468 140730442026368 139654200371440 139655168924290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17209] ppid=17194 vsize=10555400 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/17197/task/17209/stat : 17209 (java) S 17194 17197 6338 0 -1 1077944384 319 0 0 0 1 0 0 0 20 0 15 0 96988911 10808729600 9899 33554432000 4194304 4196468 140730442026368 139654199318896 139655168924290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17210] ppid=17194 vsize=10555400 memory=140211951908480 CPUtime=0.06 cores=0,2,4,6
/proc/17197/task/17210/stat : 17210 (java) S 17194 17197 6338 0 -1 1077944384 839 0 0 0 6 0 0 0 20 0 15 0 96988911 10808729600 9899 33554432000 4194304 4196468 140730442026368 139654198265840 139655168924290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17211] ppid=17194 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17197/task/17211/stat : 17211 (java) S 17194 17197 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96988911 10808729600 9899 33554432000 4194304 4196468 140730442026368 139654197213536 139655168923349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17212] ppid=17194 vsize=10555400 memory=140211951908480 CPUtime=0 cores=0,2,4,6
/proc/17197/task/17212/stat : 17212 (java) S 17194 17197 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96988911 10808729600 9899 33554432000 4194304 4196468 140730442026368 139654196161584 139655168924290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 39596 KiB
[startup+0.310418 s]*
/proc/loadavg: 4.61 4.56 3.92 4/216 17212
/proc/meminfo: memFree=25720948/32770624 swapFree=67108860/67108860
[pid=17197] ppid=17194 vsize=10555476 memory=46496 CPUtime=0.51 cores=0,2,4,6
/proc/17197/stat : 17197 (java) S 17194 17197 6338 0 -1 1077944320 8884 0 0 0 49 2 0 0 20 0 15 0 96988905 10808807424 11624 33554432000 4194304 4196468 140730442026368 140730442008912 139655168913143 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
/proc/17197/statm: 2638869 11624 3032 1 0 2627263 0
[pid=17197/tid=17199] ppid=17194 vsize=10555476 memory=4871374705135476842 CPUtime=0.3 cores=0,2,4,6
/proc/17197/task/17199/stat : 17199 (java) R 17194 17197 6338 0 -1 4202560 5720 0 0 0 28 2 0 0 20 0 15 0 96988906 10808807424 11624 33554432000 4194304 4196468 140730442026368 139655173146448 139655168925078 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17200] ppid=17194 vsize=10555476 memory=4211973938156699018 CPUtime=0 cores=0,2,4,6
/proc/17197/task/17200/stat : 17200 (java) S 17194 17197 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96988906 10808807424 11624 33554432000 4194304 4196468 140730442026368 139655094987280 139655168923349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17201] ppid=17194 vsize=10555476 memory=140211951910837 CPUtime=0 cores=0,2,4,6
/proc/17197/task/17201/stat : 17201 (java) S 17194 17197 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96988906 10808807424 11624 33554432000 4194304 4196468 140730442026368 139655093934736 139655168923349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17202] ppid=17194 vsize=10555476 memory=140211824739026 CPUtime=0 cores=0,2,4,6
/proc/17197/task/17202/stat : 17202 (java) S 17194 17197 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96988906 10808807424 11624 33554432000 4194304 4196468 140730442026368 139655092881680 139655168923349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17203] ppid=17194 vsize=10555476 memory=140211824741839 CPUtime=0 cores=0,2,4,6
/proc/17197/task/17203/stat : 17203 (java) S 17194 17197 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96988906 10808807424 11624 33554432000 4194304 4196468 140730442026368 139655091829136 139655168923349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17204] ppid=17194 vsize=10555476 memory=140211951914845 CPUtime=0 cores=0,2,4,6
/proc/17197/task/17204/stat : 17204 (java) S 17194 17197 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96988908 10808807424 11624 33554432000 4194304 4196468 140730442026368 139654204582640 139655168924290 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17205] ppid=17194 vsize=10555476 memory=140211824751023 CPUtime=0 cores=0,2,4,6
/proc/17197/task/17205/stat : 17205 (java) S 17194 17197 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96988908 10808807424 11624 33554432000 4194304 4196468 140730442026368 139654203528864 139655168923349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17206] ppid=17194 vsize=10555476 memory=280423649492880 CPUtime=0 cores=0,2,4,6
/proc/17197/task/17206/stat : 17206 (java) S 17194 17197 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96988908 10808807424 11624 33554432000 4194304 4196468 140730442026368 139654202475760 139655168923349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17207] ppid=17194 vsize=10555476 memory=280423649490576 CPUtime=0 cores=0,2,4,6
/proc/17197/task/17207/stat : 17207 (java) S 17194 17197 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96988911 10808807424 11624 33554432000 4194304 4196468 140730442026368 139654201424336 139655168931739 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17208] ppid=17194 vsize=10555476 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/17197/task/17208/stat : 17208 (java) S 17194 17197 6338 0 -1 1077944384 499 0 0 0 4 0 0 0 20 0 15 0 96988911 10808807424 11624 33554432000 4194304 4196468 140730442026368 139654200371440 139655168924290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17209] ppid=17194 vsize=10555476 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/17197/task/17209/stat : 17209 (java) S 17194 17197 6338 0 -1 1077944384 377 0 0 0 4 0 0 0 20 0 15 0 96988911 10808807424 11624 33554432000 4194304 4196468 140730442026368 139654199318896 139655168924290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17210] ppid=17194 vsize=10555476 memory=140211951908480 CPUtime=0.12 cores=0,2,4,6
/proc/17197/task/17210/stat : 17210 (java) R 17194 17197 6338 0 -1 4202560 920 0 0 0 12 0 0 0 20 0 15 0 96988911 10808807424 11624 33554432000 4194304 4196468 140730442026368 139654198265840 139655147716463 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17211] ppid=17194 vsize=10555476 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/17197/task/17211/stat : 17211 (java) S 17194 17197 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96988911 10808807424 11624 33554432000 4194304 4196468 140730442026368 139654197213536 139655168923349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17212] ppid=17194 vsize=10555476 memory=140211951908480 CPUtime=0 cores=0,2,4,6
/proc/17197/task/17212/stat : 17212 (java) S 17194 17197 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96988911 10808807424 11624 33554432000 4194304 4196468 140730442026368 139654196161584 139655168924290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 46496 KiB
[startup+0.700993 s]
/proc/loadavg: 4.61 4.56 3.92 7/216 17212
/proc/meminfo: memFree=25576356/32770624 swapFree=67108860/67108860
[pid=17197] ppid=17194 vsize=10555476 memory=386800 CPUtime=1.54 cores=0,2,4,6
/proc/17197/stat : 17197 (java) S 17194 17197 6338 0 -1 1077944320 10313 0 0 0 140 14 0 0 20 0 15 0 96988905 10808807424 96700 33554432000 4194304 4196468 140730442026368 140730442008912 139655168913143 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
/proc/17197/statm: 2638869 96700 3095 1 0 2627263 0
[pid=17197/tid=17199] ppid=17194 vsize=10555476 memory=1952 CPUtime=0.56 cores=0,2,4,6
/proc/17197/task/17199/stat : 17199 (java) S 17194 17197 6338 0 -1 1077944384 5922 0 0 0 52 4 0 0 20 0 15 0 96988906 10808807424 96700 33554432000 4194304 4196468 140730442026368 139655173150176 139655168923349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17200] ppid=17194 vsize=10555476 memory=5796 CPUtime=0.08 cores=0,2,4,6
/proc/17197/task/17200/stat : 17200 (java) R 17194 17197 6338 0 -1 4202560 143 0 0 0 6 2 0 0 20 0 15 0 96988906 10808807424 96700 33554432000 4194304 4196468 140730442026368 139655094987280 139655153941320 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17201] ppid=17194 vsize=10555476 memory=4616 CPUtime=0.08 cores=0,2,4,6
/proc/17197/task/17201/stat : 17201 (java) R 17194 17197 6338 0 -1 4202560 148 0 0 0 7 1 0 0 20 0 15 0 96988906 10808807424 96700 33554432000 4194304 4196468 140730442026368 139655093934936 139655153941008 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17202] ppid=17194 vsize=10555476 memory=7523356985603351872 CPUtime=0.09 cores=0,2,4,6
/proc/17197/task/17202/stat : 17202 (java) R 17194 17197 6338 0 -1 4202560 70 0 0 0 7 2 0 0 20 0 15 0 96988906 10808807424 96700 33554432000 4194304 4196468 140730442026368 139655092881680 139655153940562 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17203] ppid=17194 vsize=10555476 memory=7881696724453321575 CPUtime=0.08 cores=0,2,4,6
/proc/17197/task/17203/stat : 17203 (java) R 17194 17197 6338 0 -1 4202560 140 0 0 0 6 2 0 0 20 0 15 0 96988906 10808807424 96700 33554432000 4194304 4196468 140730442026368 139655091829336 139655153940562 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17204] ppid=17194 vsize=10555476 memory=7440066780423278672 CPUtime=0 cores=0,2,4,6
/proc/17197/task/17204/stat : 17204 (java) S 17194 17197 6338 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 96988908 10808807424 96700 33554432000 4194304 4196468 140730442026368 139654204581152 139655168923349 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17205] ppid=17194 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17197/task/17205/stat : 17205 (java) S 17194 17197 6338 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 96988908 10808807424 96700 33554432000 4194304 4196468 140730442026368 139654203528864 139655168923349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17206] ppid=17194 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17197/task/17206/stat : 17206 (java) S 17194 17197 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96988908 10808807424 96700 33554432000 4194304 4196468 140730442026368 139654202475760 139655168923349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17207] ppid=17194 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17197/task/17207/stat : 17207 (java) S 17194 17197 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96988911 10808807424 96700 33554432000 4194304 4196468 140730442026368 139654201424336 139655168931739 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17208] ppid=17194 vsize=10555476 memory=72 CPUtime=0.15 cores=0,2,4,6
/proc/17197/task/17208/stat : 17208 (java) S 17194 17197 6338 0 -1 1077944384 670 0 0 0 15 0 0 0 20 0 15 0 96988911 10808807424 96700 33554432000 4194304 4196468 140730442026368 139654200371440 139655168924290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17209] ppid=17194 vsize=10555476 memory=3 CPUtime=0.18 cores=0,2,4,6
/proc/17197/task/17209/stat : 17209 (java) S 17194 17197 6338 0 -1 1077944384 633 0 0 0 18 0 0 0 20 0 15 0 96988911 10808807424 96700 33554432000 4194304 4196468 140730442026368 139654199318896 139655168924290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17210] ppid=17194 vsize=10555476 memory=6074 CPUtime=0.23 cores=0,2,4,6
/proc/17197/task/17210/stat : 17210 (java) S 17194 17197 6338 0 -1 1077944384 1142 0 0 0 23 0 0 0 20 0 15 0 96988911 10808807424 96700 33554432000 4194304 4196468 140730442026368 139654198265840 139655168924290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17211] ppid=17194 vsize=10555476 memory=280423649676784 CPUtime=0 cores=0,2,4,6
/proc/17197/task/17211/stat : 17211 (java) S 17194 17197 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96988911 10808807424 96700 33554432000 4194304 4196468 140730442026368 139654197213536 139655168923349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17212] ppid=17194 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17197/task/17212/stat : 17212 (java) S 17194 17197 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96988911 10808807424 96700 33554432000 4194304 4196468 140730442026368 139654196161584 139655168924290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
Current children cumulated CPU time: 1.54 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 386800 KiB
[startup+1.50086 s]
/proc/loadavg: 4.61 4.56 3.92 3/216 17212
/proc/meminfo: memFree=25073632/32770624 swapFree=67108860/67108860
[pid=17197] ppid=17194 vsize=10555476 memory=1299464 CPUtime=3 cores=0,2,4,6
/proc/17197/stat : 17197 (java) S 17194 17197 6338 0 -1 1077944320 12868 0 0 0 253 47 0 0 20 0 15 0 96988905 10808807424 324866 33554432000 4194304 4196468 140730442026368 140730442008912 139655168913143 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
/proc/17197/statm: 2638869 324866 3099 1 0 2627263 0
[pid=17197/tid=17199] ppid=17194 vsize=10555476 memory=0 CPUtime=1.14 cores=0,2,4,6
/proc/17197/task/17199/stat : 17199 (java) R 17194 17197 6338 0 -1 4202560 6777 0 0 0 100 14 0 0 20 0 15 0 96988906 10808807424 324866 33554432000 4194304 4196468 140730442026368 139655173150176 139655154981268 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17200] ppid=17194 vsize=10555476 memory=-6292470442678706528 CPUtime=0.3 cores=0,2,4,6
/proc/17197/task/17200/stat : 17200 (java) S 17194 17197 6338 0 -1 1077944384 350 0 0 0 22 8 0 0 20 0 15 0 96988906 10808807424 324866 33554432000 4194304 4196468 140730442026368 139655094987280 139655168923349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17201] ppid=17194 vsize=10555476 memory=-5935602824819121961 CPUtime=0.3 cores=0,2,4,6
/proc/17197/task/17201/stat : 17201 (java) S 17194 17197 6338 0 -1 1077944384 270 0 0 0 23 7 0 0 20 0 15 0 96988906 10808807424 324866 33554432000 4194304 4196468 140730442026368 139655093934736 139655168923349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17202] ppid=17194 vsize=10555476 memory=-1161699032755887712 CPUtime=0.3 cores=0,2,4,6
/proc/17197/task/17202/stat : 17202 (java) S 17194 17197 6338 0 -1 1077944384 263 0 0 0 23 7 0 0 20 0 15 0 96988906 10808807424 324866 33554432000 4194304 4196468 140730442026368 139655092881680 139655168923349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17203] ppid=17194 vsize=10555476 memory=-6305719382032737664 CPUtime=0.3 cores=0,2,4,6
/proc/17197/task/17203/stat : 17203 (java) S 17194 17197 6338 0 -1 1077944384 359 0 0 0 22 8 0 0 20 0 15 0 96988906 10808807424 324866 33554432000 4194304 4196468 140730442026368 139655091829136 139655168923349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17204] ppid=17194 vsize=10555476 memory=-6305712784828228736 CPUtime=0 cores=0,2,4,6
/proc/17197/task/17204/stat : 17204 (java) S 17194 17197 6338 0 -1 1077944384 1013 0 0 0 0 0 0 0 20 0 15 0 96988908 10808807424 324866 33554432000 4194304 4196468 140730442026368 139654204582640 139655168924290 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
################
# More data... #
################
[startup+83.9937 s]
# the end of solver process 17197 was just reported to runsolver
# cumulated CPU time of all completed processes: user=254.684 s, system=5.61433 s
Solver just ended.
Dumping a history of the last processes samples
[startup+83.2007 s]
/proc/loadavg: 6.14 5.01 4.12 6/216 17288
/proc/meminfo: memFree=19618388/32770624 swapFree=67108860/67108860
[pid=17197] ppid=17194 vsize=10555476 memory=8301936 CPUtime=257.43 cores=0,2,4,6
/proc/17197/stat : 17197 (java) S 17194 17197 6338 0 -1 1077944320 1323384 0 0 0 25192 551 0 0 20 0 15 0 96988905 10808807424 2075484 33554432000 4194304 4196468 140730442026368 140730442008912 139655168913143 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
/proc/17197/statm: 2638869 2075484 3134 1 0 2627263 0
[pid=17197/tid=17199] ppid=17194 vsize=10555476 memory=76036423289322 CPUtime=13.35 cores=0,2,4,6
/proc/17197/task/17199/stat : 17199 (java) S 17194 17197 6338 0 -1 1077944384 20646 0 0 0 1307 28 0 0 20 0 15 0 96988906 10808807424 2075484 33554432000 4194304 4196468 140730442026368 139655173149936 139655168923349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17200] ppid=17194 vsize=10555476 memory=76036423289066 CPUtime=58.04 cores=0,2,4,6
/proc/17197/task/17200/stat : 17200 (java) R 17194 17197 6338 0 -1 4202560 298889 0 0 0 5672 132 0 0 20 0 15 0 96988906 10808807424 2075484 33554432000 4194304 4196468 140730442026368 139655094987480 139655153610918 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17201] ppid=17194 vsize=10555476 memory=8301928 CPUtime=58.4 cores=0,2,4,6
/proc/17197/task/17201/stat : 17201 (java) R 17194 17197 6338 0 -1 4202560 337444 0 0 0 5713 127 0 0 20 0 15 0 96988906 10808807424 2075484 33554432000 4194304 4196468 140730442026368 139655093934936 139655153864291 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17202] ppid=17194 vsize=10555476 memory=840 CPUtime=57.81 cores=0,2,4,6
/proc/17197/task/17202/stat : 17202 (java) R 17194 17197 6338 0 -1 4202560 283365 0 0 0 5661 120 0 0 20 0 15 0 96988906 10808807424 2075484 33554432000 4194304 4196468 140730442026368 139655092881264 139655161541351 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17203] ppid=17194 vsize=10555476 memory=1692 CPUtime=57.88 cores=0,2,4,6
/proc/17197/task/17203/stat : 17203 (java) R 17194 17197 6338 0 -1 4202560 350846 0 0 0 5651 137 0 0 20 0 15 0 96988906 10808807424 2075484 33554432000 4194304 4196468 140730442026368 139655091829032 139655161541351 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17204] ppid=17194 vsize=10555476 memory=6791534058613427641 CPUtime=10.76 cores=0,2,4,6
/proc/17197/task/17204/stat : 17204 (java) S 17194 17197 6338 0 -1 1077944384 23978 0 0 0 1074 2 0 0 20 0 15 0 96988908 10808807424 2075484 33554432000 4194304 4196468 140730442026368 139654204580960 139655168923349 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17205] ppid=17194 vsize=10555476 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/17197/task/17205/stat : 17205 (java) S 17194 17197 6338 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 96988908 10808807424 2075484 33554432000 4194304 4196468 140730442026368 139654203528928 139655168923349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17206] ppid=17194 vsize=10555476 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/17197/task/17206/stat : 17206 (java) S 17194 17197 6338 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 96988908 10808807424 2075484 33554432000 4194304 4196468 140730442026368 139654202475776 139655168923349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17207] ppid=17194 vsize=10555476 memory=12064 CPUtime=0 cores=0,2,4,6
/proc/17197/task/17207/stat : 17207 (java) S 17194 17197 6338 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 96988911 10808807424 2075484 33554432000 4194304 4196468 140730442026368 139654201423984 139655168923349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17208] ppid=17194 vsize=10555476 memory=6791534058613427641 CPUtime=0.39 cores=0,2,4,6
/proc/17197/task/17208/stat : 17208 (java) S 17194 17197 6338 0 -1 1077944384 1814 0 0 0 39 0 0 0 20 0 15 0 96988911 10808807424 2075484 33554432000 4194304 4196468 140730442026368 139654200371440 139655168924290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17209] ppid=17194 vsize=10555476 memory=8301848 CPUtime=0.38 cores=0,2,4,6
/proc/17197/task/17209/stat : 17209 (java) S 17194 17197 6338 0 -1 1077944384 1780 0 0 0 38 0 0 0 20 0 15 0 96988911 10808807424 2075484 33554432000 4194304 4196468 140730442026368 139654199318896 139655168924290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17210] ppid=17194 vsize=10555476 memory=8301844 CPUtime=0.28 cores=0,2,4,6
/proc/17197/task/17210/stat : 17210 (java) S 17194 17197 6338 0 -1 1077944384 2723 0 0 0 28 0 0 0 20 0 15 0 96988911 10808807424 2075484 33554432000 4194304 4196468 140730442026368 139654198265840 139655168924290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17211] ppid=17194 vsize=10555476 memory=8105786059494140491 CPUtime=0 cores=0,2,4,6
/proc/17197/task/17211/stat : 17211 (java) S 17194 17197 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96988911 10808807424 2075484 33554432000 4194304 4196468 140730442026368 139654197213536 139655168923349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17212] ppid=17194 vsize=10555476 memory=6791534058613427641 CPUtime=0.03 cores=0,2,4,6
/proc/17197/task/17212/stat : 17212 (java) S 17194 17197 6338 0 -1 1077944384 461 0 0 0 1 2 0 0 20 0 15 0 96988911 10808807424 2075484 33554432000 4194304 4196468 140730442026368 139654196161584 139655168924290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
Current children cumulated CPU time: 257.43 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8301936 KiB
[startup+83.6007 s]
/proc/loadavg: 6.14 5.01 4.12 6/216 17288
/proc/meminfo: memFree=19618388/32770624 swapFree=67108860/67108860
[pid=17197] ppid=17194 vsize=10555476 memory=8301936 CPUtime=259.01 cores=0,2,4,6
/proc/17197/stat : 17197 (java) S 17194 17197 6338 0 -1 1077944320 1325373 0 0 0 25349 552 0 0 20 0 15 0 96988905 10808807424 2075484 33554432000 4194304 4196468 140730442026368 140730442008912 139655168913143 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
/proc/17197/statm: 2638869 2075484 3134 1 0 2627263 0
[pid=17197/tid=17199] ppid=17194 vsize=10555476 memory=636 CPUtime=13.35 cores=0,2,4,6
/proc/17197/task/17199/stat : 17199 (java) S 17194 17197 6338 0 -1 1077944384 20646 0 0 0 1307 28 0 0 20 0 15 0 96988906 10808807424 2075484 33554432000 4194304 4196468 140730442026368 139655173149936 139655168923349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17200] ppid=17194 vsize=10555476 memory=1236 CPUtime=58.44 cores=0,2,4,6
/proc/17197/task/17200/stat : 17200 (java) R 17194 17197 6338 0 -1 4202560 298892 0 0 0 5712 132 0 0 20 0 15 0 96988906 10808807424 2075484 33554432000 4194304 4196468 140730442026368 139655094987480 139655150510154 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17201] ppid=17194 vsize=10555476 memory=960 CPUtime=58.8 cores=0,2,4,6
/proc/17197/task/17201/stat : 17201 (java) R 17194 17197 6338 0 -1 4202560 339432 0 0 0 5753 127 0 0 20 0 15 0 96988906 10808807424 2075484 33554432000 4194304 4196468 140730442026368 139655093934936 139655153864267 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17202] ppid=17194 vsize=10555476 memory=2240 CPUtime=58.2 cores=0,2,4,6
/proc/17197/task/17202/stat : 17202 (java) R 17194 17197 6338 0 -1 4202560 283365 0 0 0 5700 120 0 0 20 0 15 0 96988906 10808807424 2075484 33554432000 4194304 4196468 140730442026368 139655092881264 139655161541351 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17203] ppid=17194 vsize=10555476 memory=2340 CPUtime=58.26 cores=0,2,4,6
/proc/17197/task/17203/stat : 17203 (java) R 17194 17197 6338 0 -1 4202560 350846 0 0 0 5689 137 0 0 20 0 15 0 96988906 10808807424 2075484 33554432000 4194304 4196468 140730442026368 139655091829032 139655161541351 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17204] ppid=17194 vsize=10555476 memory=6791534058613427641 CPUtime=10.76 cores=0,2,4,6
/proc/17197/task/17204/stat : 17204 (java) S 17194 17197 6338 0 -1 1077944384 23978 0 0 0 1074 2 0 0 20 0 15 0 96988908 10808807424 2075484 33554432000 4194304 4196468 140730442026368 139654204580960 139655168923349 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17205] ppid=17194 vsize=10555476 memory=8301844 CPUtime=0 cores=0,2,4,6
/proc/17197/task/17205/stat : 17205 (java) S 17194 17197 6338 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 96988908 10808807424 2075484 33554432000 4194304 4196468 140730442026368 139654203528928 139655168923349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17206] ppid=17194 vsize=10555476 memory=16432 CPUtime=0 cores=0,2,4,6
/proc/17197/task/17206/stat : 17206 (java) S 17194 17197 6338 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 96988908 10808807424 2075484 33554432000 4194304 4196468 140730442026368 139654202475776 139655168923349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17207] ppid=17194 vsize=10555476 memory=8301816 CPUtime=0 cores=0,2,4,6
/proc/17197/task/17207/stat : 17207 (java) S 17194 17197 6338 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 96988911 10808807424 2075484 33554432000 4194304 4196468 140730442026368 139654201423984 139655168923349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17208] ppid=17194 vsize=10555476 memory=4044 CPUtime=0.39 cores=0,2,4,6
/proc/17197/task/17208/stat : 17208 (java) S 17194 17197 6338 0 -1 1077944384 1814 0 0 0 39 0 0 0 20 0 15 0 96988911 10808807424 2075484 33554432000 4194304 4196468 140730442026368 139654200371440 139655168924290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17209] ppid=17194 vsize=10555476 memory=8301928 CPUtime=0.38 cores=0,2,4,6
/proc/17197/task/17209/stat : 17209 (java) S 17194 17197 6338 0 -1 1077944384 1780 0 0 0 38 0 0 0 20 0 15 0 96988911 10808807424 2075484 33554432000 4194304 4196468 140730442026368 139654199318896 139655168924290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17210] ppid=17194 vsize=10555476 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/17197/task/17210/stat : 17210 (java) S 17194 17197 6338 0 -1 1077944384 2723 0 0 0 28 0 0 0 20 0 15 0 96988911 10808807424 2075484 33554432000 4194304 4196468 140730442026368 139654198265840 139655168924290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17211] ppid=17194 vsize=10555476 memory=8301928 CPUtime=0 cores=0,2,4,6
/proc/17197/task/17211/stat : 17211 (java) S 17194 17197 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96988911 10808807424 2075484 33554432000 4194304 4196468 140730442026368 139654197213536 139655168923349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17212] ppid=17194 vsize=10555476 memory=1728 CPUtime=0.03 cores=0,2,4,6
/proc/17197/task/17212/stat : 17212 (java) S 17194 17197 6338 0 -1 1077944384 461 0 0 0 1 2 0 0 20 0 15 0 96988911 10808807424 2075484 33554432000 4194304 4196468 140730442026368 139654196161584 139655168924290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
Current children cumulated CPU time: 259.01 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8301936 KiB
[startup+83.8007 s]
/proc/loadavg: 6.14 5.01 4.12 6/216 17288
/proc/meminfo: memFree=19618388/32770624 swapFree=67108860/67108860
[pid=17197] ppid=17194 vsize=10555476 memory=8301936 CPUtime=259.79 cores=0,2,4,6
/proc/17197/stat : 17197 (java) S 17194 17197 6338 0 -1 1077944320 1325404 0 0 0 25427 552 0 0 20 0 15 0 96988905 10808807424 2075484 33554432000 4194304 4196468 140730442026368 140730442008912 139655168913143 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
/proc/17197/statm: 2638869 2075484 3134 1 0 2627263 0
[pid=17197/tid=17199] ppid=17194 vsize=10555476 memory=1004 CPUtime=13.35 cores=0,2,4,6
/proc/17197/task/17199/stat : 17199 (java) S 17194 17197 6338 0 -1 1077944384 20646 0 0 0 1307 28 0 0 20 0 15 0 96988906 10808807424 2075484 33554432000 4194304 4196468 140730442026368 139655173149936 139655168923349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17200] ppid=17194 vsize=10555476 memory=1228 CPUtime=58.64 cores=0,2,4,6
/proc/17197/task/17200/stat : 17200 (java) R 17194 17197 6338 0 -1 4202560 298892 0 0 0 5732 132 0 0 20 0 15 0 96988906 10808807424 2075484 33554432000 4194304 4196468 140730442026368 139655094987480 139655153864279 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17201] ppid=17194 vsize=10555476 memory=6791534058613427641 CPUtime=59 cores=0,2,4,6
/proc/17197/task/17201/stat : 17201 (java) R 17194 17197 6338 0 -1 4202560 339461 0 0 0 5773 127 0 0 20 0 15 0 96988906 10808807424 2075484 33554432000 4194304 4196468 140730442026368 139655093934936 139655153610918 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17202] ppid=17194 vsize=10555476 memory=5780 CPUtime=58.39 cores=0,2,4,6
/proc/17197/task/17202/stat : 17202 (java) R 17194 17197 6338 0 -1 4202560 283365 0 0 0 5719 120 0 0 20 0 15 0 96988906 10808807424 2075484 33554432000 4194304 4196468 140730442026368 139655092881264 139655161541351 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17203] ppid=17194 vsize=10555476 memory=5723 CPUtime=58.45 cores=0,2,4,6
/proc/17197/task/17203/stat : 17203 (java) R 17194 17197 6338 0 -1 4202560 350846 0 0 0 5708 137 0 0 20 0 15 0 96988906 10808807424 2075484 33554432000 4194304 4196468 140730442026368 139655091829032 139655161541351 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17204] ppid=17194 vsize=10555476 memory=5732 CPUtime=10.76 cores=0,2,4,6
/proc/17197/task/17204/stat : 17204 (java) S 17194 17197 6338 0 -1 1077944384 23978 0 0 0 1074 2 0 0 20 0 15 0 96988908 10808807424 2075484 33554432000 4194304 4196468 140730442026368 139654204580960 139655168923349 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17205] ppid=17194 vsize=10555476 memory=1076 CPUtime=0 cores=0,2,4,6
/proc/17197/task/17205/stat : 17205 (java) S 17194 17197 6338 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 96988908 10808807424 2075484 33554432000 4194304 4196468 140730442026368 139654203528928 139655168923349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17206] ppid=17194 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17197/task/17206/stat : 17206 (java) S 17194 17197 6338 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 96988908 10808807424 2075484 33554432000 4194304 4196468 140730442026368 139654202475776 139655168923349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17207] ppid=17194 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17197/task/17207/stat : 17207 (java) S 17194 17197 6338 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 96988911 10808807424 2075484 33554432000 4194304 4196468 140730442026368 139654201423984 139655168923349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17208] ppid=17194 vsize=10555476 memory=0 CPUtime=0.39 cores=0,2,4,6
/proc/17197/task/17208/stat : 17208 (java) S 17194 17197 6338 0 -1 1077944384 1814 0 0 0 39 0 0 0 20 0 15 0 96988911 10808807424 2075484 33554432000 4194304 4196468 140730442026368 139654200371440 139655168924290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17209] ppid=17194 vsize=10555476 memory=39 CPUtime=0.38 cores=0,2,4,6
/proc/17197/task/17209/stat : 17209 (java) S 17194 17197 6338 0 -1 1077944384 1780 0 0 0 38 0 0 0 20 0 15 0 96988911 10808807424 2075484 33554432000 4194304 4196468 140730442026368 139654199318896 139655168924290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17210] ppid=17194 vsize=10555476 memory=38 CPUtime=0.28 cores=0,2,4,6
/proc/17197/task/17210/stat : 17210 (java) S 17194 17197 6338 0 -1 1077944384 2723 0 0 0 28 0 0 0 20 0 15 0 96988911 10808807424 2075484 33554432000 4194304 4196468 140730442026368 139654198265840 139655168924290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17211] ppid=17194 vsize=10555476 memory=28 CPUtime=0 cores=0,2,4,6
/proc/17197/task/17211/stat : 17211 (java) S 17194 17197 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96988911 10808807424 2075484 33554432000 4194304 4196468 140730442026368 139654197213536 139655168923349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17212] ppid=17194 vsize=10555476 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/17197/task/17212/stat : 17212 (java) S 17194 17197 6338 0 -1 1077944384 461 0 0 0 1 2 0 0 20 0 15 0 96988911 10808807424 2075484 33554432000 4194304 4196468 140730442026368 139654196161584 139655168924290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
Current children cumulated CPU time: 259.79 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8301936 KiB
[startup+83.9008 s]
/proc/loadavg: 6.14 5.01 4.12 6/216 17288
/proc/meminfo: memFree=19618388/32770624 swapFree=67108860/67108860
[pid=17197] ppid=17194 vsize=10555476 memory=8301936 CPUtime=260.18 cores=0,2,4,6
/proc/17197/stat : 17197 (java) S 17194 17197 6338 0 -1 1077944320 1325404 0 0 0 25466 552 0 0 20 0 15 0 96988905 10808807424 2075484 33554432000 4194304 4196468 140730442026368 140730442008912 139655168913143 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
/proc/17197/statm: 2638869 2075484 3134 1 0 2627263 0
[pid=17197/tid=17199] ppid=17194 vsize=10555476 memory=8301936 CPUtime=13.35 cores=0,2,4,6
/proc/17197/task/17199/stat : 17199 (java) S 17194 17197 6338 0 -1 1077944384 20646 0 0 0 1307 28 0 0 20 0 15 0 96988906 10808807424 2075484 33554432000 4194304 4196468 140730442026368 139655173149936 139655168923349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17200] ppid=17194 vsize=10555476 memory=8301936 CPUtime=58.74 cores=0,2,4,6
/proc/17197/task/17200/stat : 17200 (java) R 17194 17197 6338 0 -1 4202560 298892 0 0 0 5742 132 0 0 20 0 15 0 96988906 10808807424 2075484 33554432000 4194304 4196468 140730442026368 139655094987480 139655153367072 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17201] ppid=17194 vsize=10555476 memory=8301936 CPUtime=59.1 cores=0,2,4,6
/proc/17197/task/17201/stat : 17201 (java) R 17194 17197 6338 0 -1 4202560 339461 0 0 0 5783 127 0 0 20 0 15 0 96988906 10808807424 2075484 33554432000 4194304 4196468 140730442026368 139655093934936 139655153864270 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17202] ppid=17194 vsize=10555476 memory=1440 CPUtime=58.49 cores=0,2,4,6
/proc/17197/task/17202/stat : 17202 (java) R 17194 17197 6338 0 -1 4202560 283365 0 0 0 5729 120 0 0 20 0 15 0 96988906 10808807424 2075484 33554432000 4194304 4196468 140730442026368 139655092881264 139655161541351 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17203] ppid=17194 vsize=10555476 memory=8301928 CPUtime=58.56 cores=0,2,4,6
/proc/17197/task/17203/stat : 17203 (java) R 17194 17197 6338 0 -1 4202560 350846 0 0 0 5718 138 0 0 20 0 15 0 96988906 10808807424 2075484 33554432000 4194304 4196468 140730442026368 139655091829032 139655161541351 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17204] ppid=17194 vsize=10555476 memory=7162531440177276259 CPUtime=10.76 cores=0,2,4,6
/proc/17197/task/17204/stat : 17204 (java) S 17194 17197 6338 0 -1 1077944384 23978 0 0 0 1074 2 0 0 20 0 15 0 96988908 10808807424 2075484 33554432000 4194304 4196468 140730442026368 139654204580960 139655168923349 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17205] ppid=17194 vsize=10555476 memory=8301936 CPUtime=0 cores=0,2,4,6
/proc/17197/task/17205/stat : 17205 (java) S 17194 17197 6338 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 96988908 10808807424 2075484 33554432000 4194304 4196468 140730442026368 139654203528928 139655168923349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17206] ppid=17194 vsize=10555476 memory=1236 CPUtime=0 cores=0,2,4,6
/proc/17197/task/17206/stat : 17206 (java) S 17194 17197 6338 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 96988908 10808807424 2075484 33554432000 4194304 4196468 140730442026368 139654202475776 139655168923349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17207] ppid=17194 vsize=10555476 memory=4096 CPUtime=0 cores=0,2,4,6
/proc/17197/task/17207/stat : 17207 (java) S 17194 17197 6338 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 96988911 10808807424 2075484 33554432000 4194304 4196468 140730442026368 139654201423984 139655168923349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17208] ppid=17194 vsize=10555476 memory=28516 CPUtime=0.39 cores=0,2,4,6
/proc/17197/task/17208/stat : 17208 (java) S 17194 17197 6338 0 -1 1077944384 1814 0 0 0 39 0 0 0 20 0 15 0 96988911 10808807424 2075484 33554432000 4194304 4196468 140730442026368 139654200371440 139655168924290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17209] ppid=17194 vsize=10555476 memory=2428 CPUtime=0.38 cores=0,2,4,6
/proc/17197/task/17209/stat : 17209 (java) S 17194 17197 6338 0 -1 1077944384 1780 0 0 0 38 0 0 0 20 0 15 0 96988911 10808807424 2075484 33554432000 4194304 4196468 140730442026368 139654199318896 139655168924290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17210] ppid=17194 vsize=10555476 memory=916 CPUtime=0.28 cores=0,2,4,6
/proc/17197/task/17210/stat : 17210 (java) S 17194 17197 6338 0 -1 1077944384 2723 0 0 0 28 0 0 0 20 0 15 0 96988911 10808807424 2075484 33554432000 4194304 4196468 140730442026368 139654198265840 139655168924290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17211] ppid=17194 vsize=10555476 memory=3832 CPUtime=0 cores=0,2,4,6
/proc/17197/task/17211/stat : 17211 (java) S 17194 17197 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96988911 10808807424 2075484 33554432000 4194304 4196468 140730442026368 139654197213536 139655168923349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
[pid=17197/tid=17212] ppid=17194 vsize=10555476 memory=8301928 CPUtime=0.03 cores=0,2,4,6
/proc/17197/task/17212/stat : 17212 (java) S 17194 17197 6338 0 -1 1077944384 461 0 0 0 1 2 0 0 20 0 15 0 96988911 10808807424 2075484 33554432000 4194304 4196468 140730442026368 139654196161584 139655168924290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7323648 140730442032267 140730442032420 140730442032420 140730442035151 0
Current children cumulated CPU time: 260.18 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8301936 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 83.9938
CPU time (s): 260.298
CPU user time (s): 254.684
CPU system time (s): 5.61433
CPU usage (%): 309.902
Max. virtual memory (cumulated for all children) (KiB): 10555476
Max. memory (cumulated for all children) (KiB): 8301936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 254.684
system time used= 5.61433
maximum resident set size= 8302112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1325408
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9679
involuntary context switches= 5350
# summary of solver processes directly reported to runsolver:
# pid: 17197
# total CPU time (s): 260.298
# total CPU user time (s): 254.684
# total CPU system time (s): 5.61433
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.510717 second user time and 0.867123 second system time
The end