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 (11255 MiB free)
memory of node 1: 16384 MiB (14174 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4258228-1502636905/watcher-4258228-1502636905 -o /tmp/evaluation-result-4258228-1502636905/solver-4258228-1502636905 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node107-1502635870-2901 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4258228-1502636905.xml
running on 4 cores: 1,3,5,7
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=3252, runsolver pid=3249
[startup+0.100095 s]*
/proc/loadavg: 4.68 2.65 2.12 7/216 3267
/proc/meminfo: memFree=25977532/32770624 swapFree=67108860/67108860
[pid=3252] ppid=3249 vsize=10555400 memory=29556 CPUtime=0.12 cores=1,3,5,7
/proc/3252/stat : 3252 (java) S 3249 3252 31794 0 -1 1077944320 6929 0 0 0 11 1 0 0 20 0 15 0 96778594 10808729600 7389 33554432000 4194304 4196468 140727463241968 140727463224512 140203537121015 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
/proc/3252/statm: 2638850 7389 2819 1 0 2627263 0
[pid=3252/tid=3254] ppid=3249 vsize=10555400 memory=8326441112148417179 CPUtime=0.09 cores=1,3,5,7
/proc/3252/task/3254/stat : 3254 (java) R 3249 3252 31794 0 -1 4202560 4731 0 0 0 8 1 0 0 20 0 15 0 96778595 10808729600 7389 33554432000 4194304 4196468 140727463241968 140203541342528 140203537144605 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3255] ppid=3249 vsize=10555400 memory=-7025452035940392864 CPUtime=0 cores=1,3,5,7
/proc/3252/task/3255/stat : 3255 (java) S 3249 3252 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96778595 10808729600 7389 33554432000 4194304 4196468 140727463241968 140203504679568 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3256] ppid=3249 vsize=10555400 memory=140069564515968 CPUtime=0 cores=1,3,5,7
/proc/3252/task/3256/stat : 3256 (java) S 3249 3252 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96778595 10808729600 7389 33554432000 4194304 4196468 140727463241968 140203142867472 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3257] ppid=3249 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3252/task/3257/stat : 3257 (java) S 3249 3252 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96778595 10808729600 7389 33554432000 4194304 4196468 140727463241968 140203141814672 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3258] ppid=3249 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3252/task/3258/stat : 3258 (java) S 3249 3252 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96778595 10808729600 7389 33554432000 4194304 4196468 140727463241968 140203140761872 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3259] ppid=3249 vsize=10555400 memory=140069564515968 CPUtime=0 cores=1,3,5,7
/proc/3252/task/3259/stat : 3259 (java) S 3249 3252 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96778597 10808729600 7389 33554432000 4194304 4196468 140727463241968 140202573015920 140203537132162 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3260] ppid=3249 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3252/task/3260/stat : 3260 (java) S 3249 3252 31794 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96778597 10808729600 7389 33554432000 4194304 4196468 140727463241968 140202571961888 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3261] ppid=3249 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3252/task/3261/stat : 3261 (java) S 3249 3252 31794 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96778597 10808729600 7389 33554432000 4194304 4196468 140727463241968 140202570909040 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3262] ppid=3249 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3252/task/3262/stat : 3262 (java) S 3249 3252 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96778600 10808729600 7389 33554432000 4194304 4196468 140727463241968 140202569857360 140203537139611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3263] ppid=3249 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3252/task/3263/stat : 3263 (java) S 3249 3252 31794 0 -1 1077944384 435 0 0 0 0 0 0 0 20 0 15 0 96778600 10808729600 7389 33554432000 4194304 4196468 140727463241968 140202568804720 140203537132162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3264] ppid=3249 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3252/task/3264/stat : 3264 (java) S 3249 3252 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96778600 10808729600 7389 33554432000 4194304 4196468 140727463241968 140202567751920 140203537132162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3265] ppid=3249 vsize=10555400 memory=140069564515968 CPUtime=0.01 cores=1,3,5,7
/proc/3252/task/3265/stat : 3265 (java) R 3249 3252 31794 0 -1 4202560 402 0 0 0 1 0 0 0 20 0 15 0 96778600 10808729600 7389 33554432000 4194304 4196468 140727463241968 140202566699120 140203529358142 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3266] ppid=3249 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3252/task/3266/stat : 3266 (java) S 3249 3252 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96778600 10808729600 7389 33554432000 4194304 4196468 140727463241968 140202565646560 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3267] ppid=3249 vsize=10555400 memory=140069564515968 CPUtime=0 cores=1,3,5,7
/proc/3252/task/3267/stat : 3267 (java) S 3249 3252 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96778600 10808729600 7389 33554432000 4194304 4196468 140727463241968 140202093833392 140203537132162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 29556 KiB
[startup+0.210545 s]*
/proc/loadavg: 4.68 2.65 2.12 4/216 3267
/proc/meminfo: memFree=25976604/32770624 swapFree=67108860/67108860
[pid=3252] ppid=3249 vsize=10555400 memory=38192 CPUtime=0.29 cores=1,3,5,7
/proc/3252/stat : 3252 (java) S 3249 3252 31794 0 -1 1077944320 8286 0 0 0 27 2 0 0 20 0 15 0 96778594 10808729600 9548 33554432000 4194304 4196468 140727463241968 140727463224512 140203537121015 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
/proc/3252/statm: 2638850 9548 2897 1 0 2627263 0
[pid=3252/tid=3254] ppid=3249 vsize=10555400 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/3252/task/3254/stat : 3254 (java) R 3249 3252 31794 0 -1 4202560 5395 0 0 0 18 1 0 0 20 0 15 0 96778595 10808729600 9548 33554432000 4194304 4196468 140727463241968 140203541355744 140203537132950 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3255] ppid=3249 vsize=10555400 memory=331 CPUtime=0 cores=1,3,5,7
/proc/3252/task/3255/stat : 3255 (java) S 3249 3252 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96778595 10808729600 9548 33554432000 4194304 4196468 140727463241968 140203504679568 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3256] ppid=3249 vsize=10555400 memory=140069564526308 CPUtime=0 cores=1,3,5,7
/proc/3252/task/3256/stat : 3256 (java) S 3249 3252 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96778595 10808729600 9548 33554432000 4194304 4196468 140727463241968 140203142867472 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3257] ppid=3249 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3252/task/3257/stat : 3257 (java) S 3249 3252 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96778595 10808729600 9548 33554432000 4194304 4196468 140727463241968 140203141814672 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3258] ppid=3249 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3252/task/3258/stat : 3258 (java) S 3249 3252 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96778595 10808729600 9548 33554432000 4194304 4196468 140727463241968 140203140761872 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3259] ppid=3249 vsize=10555400 memory=140069564515968 CPUtime=0 cores=1,3,5,7
/proc/3252/task/3259/stat : 3259 (java) S 3249 3252 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96778597 10808729600 9548 33554432000 4194304 4196468 140727463241968 140202573015920 140203537132162 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3260] ppid=3249 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3252/task/3260/stat : 3260 (java) S 3249 3252 31794 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96778597 10808729600 9548 33554432000 4194304 4196468 140727463241968 140202571961888 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3261] ppid=3249 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3252/task/3261/stat : 3261 (java) S 3249 3252 31794 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96778597 10808729600 9548 33554432000 4194304 4196468 140727463241968 140202570909040 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3262] ppid=3249 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3252/task/3262/stat : 3262 (java) S 3249 3252 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96778600 10808729600 9548 33554432000 4194304 4196468 140727463241968 140202569857360 140203537139611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3263] ppid=3249 vsize=10555400 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/3252/task/3263/stat : 3263 (java) S 3249 3252 31794 0 -1 1077944384 525 0 0 0 1 0 0 0 20 0 15 0 96778600 10808729600 9548 33554432000 4194304 4196468 140727463241968 140202568804720 140203537132162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3264] ppid=3249 vsize=10555400 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/3252/task/3264/stat : 3264 (java) R 3249 3252 31794 0 -1 1077944384 113 0 0 0 1 0 0 0 20 0 15 0 96778600 10808729600 9548 33554432000 4194304 4196468 140727463241968 140202567751920 140203537132162 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3265] ppid=3249 vsize=10555400 memory=140069564515968 CPUtime=0.05 cores=1,3,5,7
/proc/3252/task/3265/stat : 3265 (java) R 3249 3252 31794 0 -1 4202560 886 0 0 0 5 0 0 0 20 0 15 0 96778600 10808729600 9548 33554432000 4194304 4196468 140727463241968 140202566699120 140203530217851 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3266] ppid=3249 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3252/task/3266/stat : 3266 (java) S 3249 3252 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96778600 10808729600 9548 33554432000 4194304 4196468 140727463241968 140202565646560 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3267] ppid=3249 vsize=10555400 memory=140069564515968 CPUtime=0 cores=1,3,5,7
/proc/3252/task/3267/stat : 3267 (java) S 3249 3252 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96778600 10808729600 9548 33554432000 4194304 4196468 140727463241968 140202093833392 140203537132162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 38192 KiB
[startup+0.310286 s]*
/proc/loadavg: 4.68 2.65 2.12 6/216 3267
/proc/meminfo: memFree=25969160/32770624 swapFree=67108860/67108860
[pid=3252] ppid=3249 vsize=10555476 memory=45132 CPUtime=0.5 cores=1,3,5,7
/proc/3252/stat : 3252 (java) S 3249 3252 31794 0 -1 1077944320 8962 0 0 0 47 3 0 0 20 0 15 0 96778594 10808807424 11283 33554432000 4194304 4196468 140727463241968 140727463224512 140203537121015 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
/proc/3252/statm: 2638869 11283 3027 1 0 2627263 0
[pid=3252/tid=3254] ppid=3249 vsize=10555476 memory=53476 CPUtime=0.3 cores=1,3,5,7
/proc/3252/task/3254/stat : 3254 (java) R 3249 3252 31794 0 -1 4202560 5762 0 0 0 28 2 0 0 20 0 15 0 96778595 10808807424 11283 33554432000 4194304 4196468 140727463241968 140203541357664 140203521164645 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3255] ppid=3249 vsize=10555476 memory=35 CPUtime=0 cores=1,3,5,7
/proc/3252/task/3255/stat : 3255 (java) S 3249 3252 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96778595 10808807424 11283 33554432000 4194304 4196468 140727463241968 140203504679568 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3256] ppid=3249 vsize=10555476 memory=140069564573984 CPUtime=0 cores=1,3,5,7
/proc/3252/task/3256/stat : 3256 (java) S 3249 3252 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96778595 10808807424 11283 33554432000 4194304 4196468 140727463241968 140203142867472 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3257] ppid=3249 vsize=10555476 memory=60388 CPUtime=0 cores=1,3,5,7
/proc/3252/task/3257/stat : 3257 (java) S 3249 3252 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96778595 10808807424 11283 33554432000 4194304 4196468 140727463241968 140203141814672 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3258] ppid=3249 vsize=10555476 memory=35 CPUtime=0 cores=1,3,5,7
/proc/3252/task/3258/stat : 3258 (java) S 3249 3252 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96778595 10808807424 11283 33554432000 4194304 4196468 140727463241968 140203140761872 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3259] ppid=3249 vsize=10555476 memory=140069564580896 CPUtime=0 cores=1,3,5,7
/proc/3252/task/3259/stat : 3259 (java) S 3249 3252 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96778597 10808807424 11283 33554432000 4194304 4196468 140727463241968 140202573015920 140203537132162 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3260] ppid=3249 vsize=10555476 memory=35 CPUtime=0 cores=1,3,5,7
/proc/3252/task/3260/stat : 3260 (java) S 3249 3252 31794 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96778597 10808807424 11283 33554432000 4194304 4196468 140727463241968 140202571961888 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3261] ppid=3249 vsize=10555476 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/3252/task/3261/stat : 3261 (java) S 3249 3252 31794 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96778597 10808807424 11283 33554432000 4194304 4196468 140727463241968 140202570909040 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3262] ppid=3249 vsize=10555476 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/3252/task/3262/stat : 3262 (java) S 3249 3252 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96778600 10808807424 11283 33554432000 4194304 4196468 140727463241968 140202569857360 140203537139611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3263] ppid=3249 vsize=10555476 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/3252/task/3263/stat : 3263 (java) S 3249 3252 31794 0 -1 1077944384 568 0 0 0 3 0 0 0 20 0 15 0 96778600 10808807424 11283 33554432000 4194304 4196468 140727463241968 140202568804720 140203537132162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3264] ppid=3249 vsize=10555476 memory=140069419732495 CPUtime=0.03 cores=1,3,5,7
/proc/3252/task/3264/stat : 3264 (java) S 3249 3252 31794 0 -1 1077944384 200 0 0 0 3 0 0 0 20 0 15 0 96778600 10808807424 11283 33554432000 4194304 4196468 140727463241968 140202567751920 140203537132162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3265] ppid=3249 vsize=10555476 memory=140069564519142 CPUtime=0.12 cores=1,3,5,7
/proc/3252/task/3265/stat : 3265 (java) R 3249 3252 31794 0 -1 4202560 1068 0 0 0 12 0 0 0 20 0 15 0 96778600 10808807424 11283 33554432000 4194304 4196468 140727463241968 140202566695488 140203521651429 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3266] ppid=3249 vsize=10555476 memory=140069419737039 CPUtime=0 cores=1,3,5,7
/proc/3252/task/3266/stat : 3266 (java) S 3249 3252 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96778600 10808807424 11283 33554432000 4194304 4196468 140727463241968 140202565646560 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3267] ppid=3249 vsize=10555476 memory=280138984269760 CPUtime=0 cores=1,3,5,7
/proc/3252/task/3267/stat : 3267 (java) S 3249 3252 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96778600 10808807424 11283 33554432000 4194304 4196468 140727463241968 140202093833392 140203537132162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 45132 KiB
[startup+0.700786 s]
/proc/loadavg: 4.68 2.65 2.12 5/216 3267
/proc/meminfo: memFree=25814756/32770624 swapFree=67108860/67108860
[pid=3252] ppid=3249 vsize=10555476 memory=252536 CPUtime=1.58 cores=1,3,5,7
/proc/3252/stat : 3252 (java) S 3249 3252 31794 0 -1 1077944320 10600 0 0 0 142 16 0 0 20 0 15 0 96778594 10808807424 63134 33554432000 4194304 4196468 140727463241968 140727463224512 140203537121015 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
/proc/3252/statm: 2638869 63134 3104 1 0 2627263 0
[pid=3252/tid=3254] ppid=3249 vsize=10555476 memory=2372 CPUtime=0.59 cores=1,3,5,7
/proc/3252/task/3254/stat : 3254 (java) R 3249 3252 31794 0 -1 4202560 6044 0 0 0 55 4 0 0 20 0 15 0 96778595 10808807424 63134 33554432000 4194304 4196468 140727463241968 140203541354336 140203176071515 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3255] ppid=3249 vsize=10555476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3252/task/3255/stat : 3255 (java) S 3249 3252 31794 0 -1 1077944384 101 0 0 0 5 2 0 0 20 0 15 0 96778595 10808807424 63134 33554432000 4194304 4196468 140727463241968 140203504679568 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3256] ppid=3249 vsize=10555476 memory=4612 CPUtime=0.07 cores=1,3,5,7
/proc/3252/task/3256/stat : 3256 (java) S 3249 3252 31794 0 -1 1077944384 93 0 0 0 5 2 0 0 20 0 15 0 96778595 10808807424 63134 33554432000 4194304 4196468 140727463241968 140203142867472 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3257] ppid=3249 vsize=10555476 memory=15872 CPUtime=0.07 cores=1,3,5,7
/proc/3252/task/3257/stat : 3257 (java) S 3249 3252 31794 0 -1 1077944384 127 0 0 0 5 2 0 0 20 0 15 0 96778595 10808807424 63134 33554432000 4194304 4196468 140727463241968 140203141814672 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3258] ppid=3249 vsize=10555476 memory=18448 CPUtime=0.07 cores=1,3,5,7
/proc/3252/task/3258/stat : 3258 (java) S 3249 3252 31794 0 -1 1077944384 135 0 0 0 5 2 0 0 20 0 15 0 96778595 10808807424 63134 33554432000 4194304 4196468 140727463241968 140203140761872 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3259] ppid=3249 vsize=10555476 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/3252/task/3259/stat : 3259 (java) S 3249 3252 31794 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 96778597 10808807424 63134 33554432000 4194304 4196468 140727463241968 140202573015920 140203537132162 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3260] ppid=3249 vsize=10555476 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/3252/task/3260/stat : 3260 (java) S 3249 3252 31794 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96778597 10808807424 63134 33554432000 4194304 4196468 140727463241968 140202571961952 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3261] ppid=3249 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3252/task/3261/stat : 3261 (java) S 3249 3252 31794 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 96778597 10808807424 63134 33554432000 4194304 4196468 140727463241968 140202570909040 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3262] ppid=3249 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3252/task/3262/stat : 3262 (java) S 3249 3252 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96778600 10808807424 63134 33554432000 4194304 4196468 140727463241968 140202569857360 140203537139611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3263] ppid=3249 vsize=10555476 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/3252/task/3263/stat : 3263 (java) S 3249 3252 31794 0 -1 1077944384 869 0 0 0 21 0 0 0 20 0 15 0 96778600 10808807424 63134 33554432000 4194304 4196468 140727463241968 140202568804720 140203537132162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3264] ppid=3249 vsize=10555476 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/3252/task/3264/stat : 3264 (java) S 3249 3252 31794 0 -1 1077944384 573 0 0 0 24 0 0 0 20 0 15 0 96778600 10808807424 63134 33554432000 4194304 4196468 140727463241968 140202567751920 140203537132162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3265] ppid=3249 vsize=10555476 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/3252/task/3265/stat : 3265 (java) S 3249 3252 31794 0 -1 1077944384 1213 0 0 0 19 0 0 0 20 0 15 0 96778600 10808807424 63134 33554432000 4194304 4196468 140727463241968 140202566699120 140203537132162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3266] ppid=3249 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3252/task/3266/stat : 3266 (java) S 3249 3252 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96778600 10808807424 63134 33554432000 4194304 4196468 140727463241968 140202565646560 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3267] ppid=3249 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3252/task/3267/stat : 3267 (java) S 3249 3252 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96778600 10808807424 63134 33554432000 4194304 4196468 140727463241968 140202093833392 140203537132162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 252536 KiB
[startup+1.50075 s]
/proc/loadavg: 4.68 2.65 2.12 8/216 3267
/proc/meminfo: memFree=25610584/32770624 swapFree=67108860/67108860
[pid=3252] ppid=3249 vsize=10555476 memory=518028 CPUtime=3.08 cores=1,3,5,7
/proc/3252/stat : 3252 (java) S 3249 3252 31794 0 -1 1077944320 11110 0 0 0 271 37 0 0 20 0 15 0 96778594 10808807424 129507 33554432000 4194304 4196468 140727463241968 140727463224512 140203537121015 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
/proc/3252/statm: 2638869 129507 3110 1 0 2627263 0
[pid=3252/tid=3254] ppid=3249 vsize=10555476 memory=3467828003859805244 CPUtime=1.19 cores=1,3,5,7
/proc/3252/task/3254/stat : 3254 (java) R 3249 3252 31794 0 -1 4202560 6106 0 0 0 113 6 0 0 20 0 15 0 96778595 10808807424 129507 33554432000 4194304 4196468 140727463241968 140203541354640 140203176085295 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3255] ppid=3249 vsize=10555476 memory=291448 CPUtime=0.25 cores=1,3,5,7
/proc/3252/task/3255/stat : 3255 (java) S 3249 3252 31794 0 -1 1077944384 172 0 0 0 19 6 0 0 20 0 15 0 96778595 10808807424 129507 33554432000 4194304 4196468 140727463241968 140203504679568 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3256] ppid=3249 vsize=10555476 memory=2241 CPUtime=0.27 cores=1,3,5,7
/proc/3252/task/3256/stat : 3256 (java) S 3249 3252 31794 0 -1 1077944384 163 0 0 0 20 7 0 0 20 0 15 0 96778595 10808807424 129507 33554432000 4194304 4196468 140727463241968 140203142867472 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3257] ppid=3249 vsize=10555476 memory=4612 CPUtime=0.27 cores=1,3,5,7
/proc/3252/task/3257/stat : 3257 (java) S 3249 3252 31794 0 -1 1077944384 199 0 0 0 20 7 0 0 20 0 15 0 96778595 10808807424 129507 33554432000 4194304 4196468 140727463241968 140203141814672 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3258] ppid=3249 vsize=10555476 memory=15872 CPUtime=0.27 cores=1,3,5,7
/proc/3252/task/3258/stat : 3258 (java) S 3249 3252 31794 0 -1 1077944384 206 0 0 0 20 7 0 0 20 0 15 0 96778595 10808807424 129507 33554432000 4194304 4196468 140727463241968 140203140761872 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3259] ppid=3249 vsize=10555476 memory=18448 CPUtime=0 cores=1,3,5,7
/proc/3252/task/3259/stat : 3259 (java) S 3249 3252 31794 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 15 0 96778597 10808807424 129507 33554432000 4194304 4196468 140727463241968 140202573015920 140203537132162 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
################
# More data... #
################
[startup+83.7379 s]
# the end of solver process 3252 was just reported to runsolver
# cumulated CPU time of all completed processes: user=252.56 s, system=6.6206 s
Solver just ended.
Dumping a history of the last processes samples
[startup+82.4006 s]
/proc/loadavg: 4.22 3.09 2.32 6/215 3269
/proc/meminfo: memFree=15178960/32770624 swapFree=67108860/67108860
[pid=3252] ppid=3249 vsize=10555476 memory=8308692 CPUtime=255.02 cores=1,3,5,7
/proc/3252/stat : 3252 (java) S 3249 3252 31794 0 -1 1077944320 82043 0 0 0 24845 657 0 0 20 0 15 0 96778594 10808807424 2077173 33554432000 4194304 4196468 140727463241968 140727463224512 140203537121015 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
/proc/3252/statm: 2638869 2077173 3132 1 0 2627263 0
[pid=3252/tid=3254] ppid=3249 vsize=10555476 memory=27684 CPUtime=14.4 cores=1,3,5,7
/proc/3252/task/3254/stat : 3254 (java) S 3249 3252 31794 0 -1 1077944384 15017 0 0 0 1428 12 0 0 20 0 15 0 96778595 10808807424 2077173 33554432000 4194304 4196468 140727463241968 140203541357696 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3255] ppid=3249 vsize=10555476 memory=8112282956445269571 CPUtime=57.52 cores=1,3,5,7
/proc/3252/task/3255/stat : 3255 (java) R 3249 3252 31794 0 -1 4202560 7313 0 0 0 5586 166 0 0 20 0 15 0 96778595 10808807424 2077173 33554432000 4194304 4196468 140727463241968 140203504679376 140203529749223 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3256] ppid=3249 vsize=10555476 memory=288230604624101685 CPUtime=57.64 cores=1,3,5,7
/proc/3252/task/3256/stat : 3256 (java) R 3249 3252 31794 0 -1 4202560 9660 0 0 0 5614 150 0 0 20 0 15 0 96778595 10808807424 2077173 33554432000 4194304 4196468 140727463241968 140203142867672 140203521820943 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3257] ppid=3249 vsize=10555476 memory=14698478437665088 CPUtime=57.36 cores=1,3,5,7
/proc/3252/task/3257/stat : 3257 (java) R 3249 3252 31794 0 -1 4202560 7204 0 0 0 5573 163 0 0 20 0 15 0 96778595 10808807424 2077173 33554432000 4194304 4196468 140727463241968 140203141814480 140203529749223 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3258] ppid=3249 vsize=10555476 memory=15712 CPUtime=57.28 cores=1,3,5,7
/proc/3252/task/3258/stat : 3258 (java) R 3249 3252 31794 0 -1 4202560 6946 0 0 0 5567 161 0 0 20 0 15 0 96778595 10808807424 2077173 33554432000 4194304 4196468 140727463241968 140203140761992 140203529749223 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3259] ppid=3249 vsize=10555476 memory=8112282956445269571 CPUtime=9.74 cores=1,3,5,7
/proc/3252/task/3259/stat : 3259 (java) S 3249 3252 31794 0 -1 1077944384 27298 0 0 0 973 1 0 0 20 0 15 0 96778597 10808807424 2077173 33554432000 4194304 4196468 140727463241968 140202573014464 140203537131221 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3260] ppid=3249 vsize=10555476 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/3252/task/3260/stat : 3260 (java) S 3249 3252 31794 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96778597 10808807424 2077173 33554432000 4194304 4196468 140727463241968 140202571961952 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3261] ppid=3249 vsize=10555476 memory=27684 CPUtime=0 cores=1,3,5,7
/proc/3252/task/3261/stat : 3261 (java) S 3249 3252 31794 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 96778597 10808807424 2077173 33554432000 4194304 4196468 140727463241968 140202570909056 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3262] ppid=3249 vsize=10555476 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/3252/task/3262/stat : 3262 (java) S 3249 3252 31794 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 96778600 10808807424 2077173 33554432000 4194304 4196468 140727463241968 140202569857008 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3263] ppid=3249 vsize=10555476 memory=2428 CPUtime=0.36 cores=1,3,5,7
/proc/3252/task/3263/stat : 3263 (java) S 3249 3252 31794 0 -1 1077944384 2771 0 0 0 36 0 0 0 20 0 15 0 96778600 10808807424 2077173 33554432000 4194304 4196468 140727463241968 140202568804768 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3264] ppid=3249 vsize=10555476 memory=8112282956445269571 CPUtime=0.37 cores=1,3,5,7
/proc/3252/task/3264/stat : 3264 (java) S 3249 3252 31794 0 -1 1077944384 1950 0 0 0 37 0 0 0 20 0 15 0 96778600 10808807424 2077173 33554432000 4194304 4196468 140727463241968 140202567751680 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3265] ppid=3249 vsize=10555476 memory=15712 CPUtime=0.24 cores=1,3,5,7
/proc/3252/task/3265/stat : 3265 (java) S 3249 3252 31794 0 -1 1077944384 2191 0 0 0 24 0 0 0 20 0 15 0 96778600 10808807424 2077173 33554432000 4194304 4196468 140727463241968 140202566699168 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3266] ppid=3249 vsize=10555476 memory=4044 CPUtime=0 cores=1,3,5,7
/proc/3252/task/3266/stat : 3266 (java) S 3249 3252 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96778600 10808807424 2077173 33554432000 4194304 4196468 140727463241968 140202565646560 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3267] ppid=3249 vsize=10555476 memory=1792 CPUtime=0.04 cores=1,3,5,7
/proc/3252/task/3267/stat : 3267 (java) S 3249 3252 31794 0 -1 1077944384 329 0 0 0 2 2 0 0 20 0 15 0 96778600 10808807424 2077173 33554432000 4194304 4196468 140727463241968 140202093833392 140203537132162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
Current children cumulated CPU time: 255.02 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8308692 KiB
[startup+83.2007 s]
/proc/loadavg: 4.29 3.12 2.34 6/215 3269
/proc/meminfo: memFree=15178960/32770624 swapFree=67108860/67108860
[pid=3252] ppid=3249 vsize=10555476 memory=8308692 CPUtime=258.12 cores=1,3,5,7
/proc/3252/stat : 3252 (java) S 3249 3252 31794 0 -1 1077944320 82043 0 0 0 25154 658 0 0 20 0 15 0 96778594 10808807424 2077173 33554432000 4194304 4196468 140727463241968 140727463224512 140203537121015 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
/proc/3252/statm: 2638869 2077173 3132 1 0 2627263 0
[pid=3252/tid=3254] ppid=3249 vsize=10555476 memory=8308692 CPUtime=14.4 cores=1,3,5,7
/proc/3252/task/3254/stat : 3254 (java) S 3249 3252 31794 0 -1 1077944384 15017 0 0 0 1428 12 0 0 20 0 15 0 96778595 10808807424 2077173 33554432000 4194304 4196468 140727463241968 140203541357696 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3255] ppid=3249 vsize=10555476 memory=288230604624101685 CPUtime=58.28 cores=1,3,5,7
/proc/3252/task/3255/stat : 3255 (java) R 3249 3252 31794 0 -1 4202560 7313 0 0 0 5662 166 0 0 20 0 15 0 96778595 10808807424 2077173 33554432000 4194304 4196468 140727463241968 140203504679376 140203529749223 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3256] ppid=3249 vsize=10555476 memory=14698478437665088 CPUtime=58.44 cores=1,3,5,7
/proc/3252/task/3256/stat : 3256 (java) R 3249 3252 31794 0 -1 4202560 9660 0 0 0 5694 150 0 0 20 0 15 0 96778595 10808807424 2077173 33554432000 4194304 4196468 140727463241968 140203142867672 140203522117396 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3257] ppid=3249 vsize=10555476 memory=27684 CPUtime=58.12 cores=1,3,5,7
/proc/3252/task/3257/stat : 3257 (java) R 3249 3252 31794 0 -1 4202560 7204 0 0 0 5649 163 0 0 20 0 15 0 96778595 10808807424 2077173 33554432000 4194304 4196468 140727463241968 140203141814480 140203529749223 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3258] ppid=3249 vsize=10555476 memory=1292 CPUtime=58.03 cores=1,3,5,7
/proc/3252/task/3258/stat : 3258 (java) R 3249 3252 31794 0 -1 4202560 6946 0 0 0 5642 161 0 0 20 0 15 0 96778595 10808807424 2077173 33554432000 4194304 4196468 140727463241968 140203140761992 140203529749223 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3259] ppid=3249 vsize=10555476 memory=2428 CPUtime=9.74 cores=1,3,5,7
/proc/3252/task/3259/stat : 3259 (java) S 3249 3252 31794 0 -1 1077944384 27298 0 0 0 973 1 0 0 20 0 15 0 96778597 10808807424 2077173 33554432000 4194304 4196468 140727463241968 140202573014464 140203537131221 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3260] ppid=3249 vsize=10555476 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/3252/task/3260/stat : 3260 (java) S 3249 3252 31794 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96778597 10808807424 2077173 33554432000 4194304 4196468 140727463241968 140202571961952 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3261] ppid=3249 vsize=10555476 memory=956 CPUtime=0 cores=1,3,5,7
/proc/3252/task/3261/stat : 3261 (java) S 3249 3252 31794 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 96778597 10808807424 2077173 33554432000 4194304 4196468 140727463241968 140202570909056 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3262] ppid=3249 vsize=10555476 memory=2340 CPUtime=0 cores=1,3,5,7
/proc/3252/task/3262/stat : 3262 (java) S 3249 3252 31794 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 96778600 10808807424 2077173 33554432000 4194304 4196468 140727463241968 140202569857008 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3263] ppid=3249 vsize=10555476 memory=8308692 CPUtime=0.36 cores=1,3,5,7
/proc/3252/task/3263/stat : 3263 (java) S 3249 3252 31794 0 -1 1077944384 2771 0 0 0 36 0 0 0 20 0 15 0 96778600 10808807424 2077173 33554432000 4194304 4196468 140727463241968 140202568804768 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3264] ppid=3249 vsize=10555476 memory=8112282956445269571 CPUtime=0.37 cores=1,3,5,7
/proc/3252/task/3264/stat : 3264 (java) S 3249 3252 31794 0 -1 1077944384 1950 0 0 0 37 0 0 0 20 0 15 0 96778600 10808807424 2077173 33554432000 4194304 4196468 140727463241968 140202567751680 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3265] ppid=3249 vsize=10555476 memory=8167272 CPUtime=0.24 cores=1,3,5,7
/proc/3252/task/3265/stat : 3265 (java) S 3249 3252 31794 0 -1 1077944384 2191 0 0 0 24 0 0 0 20 0 15 0 96778600 10808807424 2077173 33554432000 4194304 4196468 140727463241968 140202566699168 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3266] ppid=3249 vsize=10555476 memory=8167272 CPUtime=0 cores=1,3,5,7
/proc/3252/task/3266/stat : 3266 (java) S 3249 3252 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96778600 10808807424 2077173 33554432000 4194304 4196468 140727463241968 140202565646560 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3267] ppid=3249 vsize=10555476 memory=8167272 CPUtime=0.04 cores=1,3,5,7
/proc/3252/task/3267/stat : 3267 (java) S 3249 3252 31794 0 -1 1077944384 329 0 0 0 2 2 0 0 20 0 15 0 96778600 10808807424 2077173 33554432000 4194304 4196468 140727463241968 140202093833392 140203537132162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
Current children cumulated CPU time: 258.12 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8308692 KiB
[startup+83.6008 s]
/proc/loadavg: 4.29 3.12 2.34 6/215 3269
/proc/meminfo: memFree=15178960/32770624 swapFree=67108860/67108860
[pid=3252] ppid=3249 vsize=10555476 memory=8308696 CPUtime=259.03 cores=1,3,5,7
/proc/3252/stat : 3252 (java) S 3249 3252 31794 0 -1 1077944320 82171 0 0 0 25245 658 0 0 20 0 15 0 96778594 10808807424 2077174 33554432000 4194304 4196468 140727463241968 140727463224512 140203537121015 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
/proc/3252/statm: 2638869 2077174 3132 1 0 2627263 0
[pid=3252/tid=3254] ppid=3249 vsize=10555476 memory=1572 CPUtime=14.4 cores=1,3,5,7
/proc/3252/task/3254/stat : 3254 (java) S 3249 3252 31794 0 -1 1077944384 15017 0 0 0 1428 12 0 0 20 0 15 0 96778595 10808807424 2077174 33554432000 4194304 4196468 140727463241968 140203541357696 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3255] ppid=3249 vsize=10555476 memory=932 CPUtime=58.46 cores=1,3,5,7
/proc/3252/task/3255/stat : 3255 (java) S 3249 3252 31794 0 -1 1077944384 7313 0 0 0 5680 166 0 0 20 0 15 0 96778595 10808807424 2077174 33554432000 4194304 4196468 140727463241968 140203504679568 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3256] ppid=3249 vsize=10555476 memory=8112282956445269571 CPUtime=58.62 cores=1,3,5,7
/proc/3252/task/3256/stat : 3256 (java) S 3249 3252 31794 0 -1 1077944384 9660 0 0 0 5712 150 0 0 20 0 15 0 96778595 10808807424 2077174 33554432000 4194304 4196468 140727463241968 140203142867472 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3257] ppid=3249 vsize=10555476 memory=2340 CPUtime=58.3 cores=1,3,5,7
/proc/3252/task/3257/stat : 3257 (java) S 3249 3252 31794 0 -1 1077944384 7204 0 0 0 5667 163 0 0 20 0 15 0 96778595 10808807424 2077174 33554432000 4194304 4196468 140727463241968 140203141814672 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3258] ppid=3249 vsize=10555476 memory=1236 CPUtime=58.2 cores=1,3,5,7
/proc/3252/task/3258/stat : 3258 (java) S 3249 3252 31794 0 -1 1077944384 6946 0 0 0 5659 161 0 0 20 0 15 0 96778595 10808807424 2077174 33554432000 4194304 4196468 140727463241968 140203140761872 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3259] ppid=3249 vsize=10555476 memory=2240 CPUtime=9.96 cores=1,3,5,7
/proc/3252/task/3259/stat : 3259 (java) R 3249 3252 31794 0 -1 4202560 27426 0 0 0 995 1 0 0 20 0 15 0 96778597 10808807424 2077174 33554432000 4194304 4196468 140727463241968 140202573014464 140203522117425 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3260] ppid=3249 vsize=10555476 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/3252/task/3260/stat : 3260 (java) S 3249 3252 31794 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96778597 10808807424 2077174 33554432000 4194304 4196468 140727463241968 140202571961952 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3261] ppid=3249 vsize=10555476 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/3252/task/3261/stat : 3261 (java) S 3249 3252 31794 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 96778597 10808807424 2077174 33554432000 4194304 4196468 140727463241968 140202570909056 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3262] ppid=3249 vsize=10555476 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/3252/task/3262/stat : 3262 (java) S 3249 3252 31794 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 96778600 10808807424 2077174 33554432000 4194304 4196468 140727463241968 140202569857008 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3263] ppid=3249 vsize=10555476 memory=0 CPUtime=0.36 cores=1,3,5,7
/proc/3252/task/3263/stat : 3263 (java) S 3249 3252 31794 0 -1 1077944384 2771 0 0 0 36 0 0 0 20 0 15 0 96778600 10808807424 2077174 33554432000 4194304 4196468 140727463241968 140202568804768 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3264] ppid=3249 vsize=10555476 memory=0 CPUtime=0.37 cores=1,3,5,7
/proc/3252/task/3264/stat : 3264 (java) S 3249 3252 31794 0 -1 1077944384 1950 0 0 0 37 0 0 0 20 0 15 0 96778600 10808807424 2077174 33554432000 4194304 4196468 140727463241968 140202567751680 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3265] ppid=3249 vsize=10555476 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/3252/task/3265/stat : 3265 (java) S 3249 3252 31794 0 -1 1077944384 2191 0 0 0 24 0 0 0 20 0 15 0 96778600 10808807424 2077174 33554432000 4194304 4196468 140727463241968 140202566699168 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3266] ppid=3249 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3252/task/3266/stat : 3266 (java) S 3249 3252 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96778600 10808807424 2077174 33554432000 4194304 4196468 140727463241968 140202565646560 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3267] ppid=3249 vsize=10555476 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/3252/task/3267/stat : 3267 (java) S 3249 3252 31794 0 -1 1077944384 329 0 0 0 2 2 0 0 20 0 15 0 96778600 10808807424 2077174 33554432000 4194304 4196468 140727463241968 140202093833392 140203537132162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
Current children cumulated CPU time: 259.03 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8308696 KiB
[startup+83.7008 s]
/proc/loadavg: 4.29 3.12 2.34 6/215 3269
/proc/meminfo: memFree=15178960/32770624 swapFree=67108860/67108860
[pid=3252] ppid=3249 vsize=10555476 memory=8308696 CPUtime=259.13 cores=1,3,5,7
/proc/3252/stat : 3252 (java) S 3249 3252 31794 0 -1 1077944320 82171 0 0 0 25255 658 0 0 20 0 15 0 96778594 10808807424 2077174 33554432000 4194304 4196468 140727463241968 140727463224512 140203537121015 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
/proc/3252/statm: 2638869 2077174 3132 1 0 2627263 0
[pid=3252/tid=3254] ppid=3249 vsize=10555476 memory=8308692 CPUtime=14.4 cores=1,3,5,7
/proc/3252/task/3254/stat : 3254 (java) S 3249 3252 31794 0 -1 1077944384 15017 0 0 0 1428 12 0 0 20 0 15 0 96778595 10808807424 2077174 33554432000 4194304 4196468 140727463241968 140203541357696 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3255] ppid=3249 vsize=10555476 memory=8308676 CPUtime=58.46 cores=1,3,5,7
/proc/3252/task/3255/stat : 3255 (java) S 3249 3252 31794 0 -1 1077944384 7313 0 0 0 5680 166 0 0 20 0 15 0 96778595 10808807424 2077174 33554432000 4194304 4196468 140727463241968 140203504679568 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3256] ppid=3249 vsize=10555476 memory=8306616 CPUtime=58.62 cores=1,3,5,7
/proc/3252/task/3256/stat : 3256 (java) S 3249 3252 31794 0 -1 1077944384 9660 0 0 0 5712 150 0 0 20 0 15 0 96778595 10808807424 2077174 33554432000 4194304 4196468 140727463241968 140203142867472 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3257] ppid=3249 vsize=10555476 memory=8154984 CPUtime=58.3 cores=1,3,5,7
/proc/3252/task/3257/stat : 3257 (java) S 3249 3252 31794 0 -1 1077944384 7204 0 0 0 5667 163 0 0 20 0 15 0 96778595 10808807424 2077174 33554432000 4194304 4196468 140727463241968 140203141814672 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3258] ppid=3249 vsize=10555476 memory=8306616 CPUtime=58.2 cores=1,3,5,7
/proc/3252/task/3258/stat : 3258 (java) S 3249 3252 31794 0 -1 1077944384 6946 0 0 0 5659 161 0 0 20 0 15 0 96778595 10808807424 2077174 33554432000 4194304 4196468 140727463241968 140203140761872 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3259] ppid=3249 vsize=10555476 memory=8308696 CPUtime=10.06 cores=1,3,5,7
/proc/3252/task/3259/stat : 3259 (java) R 3249 3252 31794 0 -1 4202560 27426 0 0 0 1005 1 0 0 20 0 15 0 96778597 10808807424 2077174 33554432000 4194304 4196468 140727463241968 140202573014464 140203522117419 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3260] ppid=3249 vsize=10555476 memory=8308692 CPUtime=0 cores=1,3,5,7
/proc/3252/task/3260/stat : 3260 (java) S 3249 3252 31794 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96778597 10808807424 2077174 33554432000 4194304 4196468 140727463241968 140202571961952 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3261] ppid=3249 vsize=10555476 memory=5779029165683784803 CPUtime=0 cores=1,3,5,7
/proc/3252/task/3261/stat : 3261 (java) S 3249 3252 31794 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 96778597 10808807424 2077174 33554432000 4194304 4196468 140727463241968 140202570909056 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3262] ppid=3249 vsize=10555476 memory=27684 CPUtime=0 cores=1,3,5,7
/proc/3252/task/3262/stat : 3262 (java) S 3249 3252 31794 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 96778600 10808807424 2077174 33554432000 4194304 4196468 140727463241968 140202569857008 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3263] ppid=3249 vsize=10555476 memory=1292 CPUtime=0.36 cores=1,3,5,7
/proc/3252/task/3263/stat : 3263 (java) S 3249 3252 31794 0 -1 1077944384 2771 0 0 0 36 0 0 0 20 0 15 0 96778600 10808807424 2077174 33554432000 4194304 4196468 140727463241968 140202568804768 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3264] ppid=3249 vsize=10555476 memory=8308692 CPUtime=0.37 cores=1,3,5,7
/proc/3252/task/3264/stat : 3264 (java) S 3249 3252 31794 0 -1 1077944384 1950 0 0 0 37 0 0 0 20 0 15 0 96778600 10808807424 2077174 33554432000 4194304 4196468 140727463241968 140202567751680 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3265] ppid=3249 vsize=10555476 memory=8308676 CPUtime=0.24 cores=1,3,5,7
/proc/3252/task/3265/stat : 3265 (java) S 3249 3252 31794 0 -1 1077944384 2191 0 0 0 24 0 0 0 20 0 15 0 96778600 10808807424 2077174 33554432000 4194304 4196468 140727463241968 140202566699168 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3266] ppid=3249 vsize=10555476 memory=280138840117152 CPUtime=0 cores=1,3,5,7
/proc/3252/task/3266/stat : 3266 (java) S 3249 3252 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96778600 10808807424 2077174 33554432000 4194304 4196468 140727463241968 140202565646560 140203537131221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
[pid=3252/tid=3267] ppid=3249 vsize=10555476 memory=16142433257706 CPUtime=0.04 cores=1,3,5,7
/proc/3252/task/3267/stat : 3267 (java) S 3249 3252 31794 0 -1 1077944384 329 0 0 0 2 2 0 0 20 0 15 0 96778600 10808807424 2077174 33554432000 4194304 4196468 140727463241968 140202093833392 140203537132162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24223744 140727463244939 140727463245092 140727463245092 140727463247823 0
Current children cumulated CPU time: 259.13 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8308696 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 83.738
CPU time (s): 259.181
CPU user time (s): 252.56
CPU system time (s): 6.6206
CPU usage (%): 309.514
Max. virtual memory (cumulated for all children) (KiB): 10555476
Max. memory (cumulated for all children) (KiB): 8308696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 252.56
system time used= 6.6206
maximum resident set size= 8308996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82175
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= 5568
involuntary context switches= 4864
# summary of solver processes directly reported to runsolver:
# pid: 3252
# total CPU time (s): 259.181
# total CPU user time (s): 252.56
# total CPU system time (s): 6.6206
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.479426 second user time and 0.9 second system time
The end