runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4249585-1500773460/watcher-4249585-1500773460 -o /tmp/evaluation-result-4249585-1500773460/solver-4249585-1500773460 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500750445-27391 --watchdog 2560 bin/concrete HOME/instance-4249585-1500773460.xml
pid=32190
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.00 1.80 1.77 4/263 32193
/proc/meminfo: memFree=29092200/32770624 swapFree=5872/242108
[pid=32193] ppid=32190 vsize=9508 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32193/stat : 32193 (bash) S 32190 32193 27360 0 -1 4202496 655 0 0 0 0 0 0 0 20 0 1 0 12615782 9736192 350 33554432000 4194304 5098028 140736584532064 140736584529704 139692305284096 0 0 4100 65536 18446744071580971376 0 0 17 8 0 0 0 0 0 7196144 7232144 15273984 140736584537358 140736584537443 140736584537443 140736584540142 0
/proc/32193/statm: 2377 350 277 221 0 86 0
[startup+0.10018 s]
/proc/loadavg: 2.00 1.80 1.77 4/263 32193
/proc/meminfo: memFree=29092200/32770624 swapFree=5872/242108
[pid=32193] ppid=32190 vsize=9640 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/32193/stat : 32193 (bash) S 32190 32193 27360 0 -1 4202496 880 6426 0 0 0 0 0 1 20 0 1 0 12615782 9871360 378 33554432000 4194304 5098028 140736584532064 140736584526072 139692305284096 0 0 4100 65536 18446744071580971376 0 0 17 8 0 0 0 0 0 7196144 7232144 15273984 140736584537358 140736584537443 140736584537443 140736584540142 0
/proc/32193/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.200376 s]
/proc/loadavg: 2.00 1.80 1.77 4/263 32193
/proc/meminfo: memFree=29092200/32770624 swapFree=5872/242108
[pid=32193] ppid=32190 vsize=9640 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/32193/stat : 32193 (bash) R 32190 32193 27360 0 -1 4202496 953 12465 0 0 0 0 8 4 20 0 1 0 12615782 9871360 381 33554432000 4194304 5098028 140736584532064 140736584527896 139692305284279 0 0 4100 65536 0 0 0 17 4 0 0 0 0 0 7196144 7232144 15273984 140736584537358 140736584537443 140736584537443 140736584540142 0
/proc/32193/statm: 2410 381 299 221 0 119 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 9640
[startup+0.300308 s]
/proc/loadavg: 2.00 1.80 1.77 4/263 32193
/proc/meminfo: memFree=29092200/32770624 swapFree=5872/242108
[pid=32193] ppid=32190 vsize=10435860 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/32193/stat : 32193 (java) S 32190 32193 27360 0 -1 1077944320 4867 12465 0 0 3 1 8 4 20 0 13 0 12615782 10686320640 4222 33554432000 4194304 4196468 140723435150528 140723435133072 139810543804151 0 0 0 16784584 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
/proc/32193/statm: 2608965 4222 2099 1 0 2597403 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 10435860
[startup+0.700249 s]
/proc/loadavg: 2.00 1.80 1.77 4/263 32193
/proc/meminfo: memFree=29092200/32770624 swapFree=5872/242108
[pid=32193] ppid=32190 vsize=10902720 CPUtime=0.54 cores=0,2,4,6,8,10,12,14
/proc/32193/stat : 32193 (java) S 32190 32193 27360 0 -1 1077944320 10861 12465 0 0 39 3 8 4 20 0 20 0 12615782 11164385280 11807 33554432000 4194304 4196468 140723435150528 140723435133072 139810543804151 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
/proc/32193/statm: 2725680 11807 3098 1 0 2713890 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 10902720
[startup+1.50085 s]
/proc/loadavg: 2.00 1.80 1.77 6/283 32266
/proc/meminfo: memFree=29045548/32770624 swapFree=5872/242104
[pid=32193] ppid=32190 vsize=10909248 CPUtime=1.58 cores=0,2,4,6,8,10,12,14
/proc/32193/stat : 32193 (java) S 32190 32193 27360 0 -1 1077944320 19701 12465 0 0 140 6 8 4 20 0 20 0 12615782 11171069952 27072 33554432000 4194304 4196468 140723435150528 140723435133072 139810543804151 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
/proc/32193/statm: 2727312 27072 3358 1 0 2715426 0
[pid=32193/tid=32248] ppid=32190 vsize=10909248 CPUtime=1.03 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32248/stat : 32248 (java) R 32190 32193 27360 0 -1 4202560 14315 12465 0 0 87 4 8 4 20 0 20 0 12615803 11171069952 27072 33554432000 4194304 4196468 140723435150528 139810548013976 139810525367726 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32249] ppid=32190 vsize=10909248 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32249/stat : 32249 (java) S 32190 32193 27360 0 -1 1077944384 2 12465 0 0 0 0 8 4 20 0 20 0 12615808 11171069952 27072 33554432000 4194304 4196468 140723435150528 139810515647504 139810543814357 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32250] ppid=32190 vsize=10909248 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32250/stat : 32250 (java) S 32190 32193 27360 0 -1 1077944384 3 12465 0 0 0 0 8 4 20 0 20 0 12615808 11171069952 27072 33554432000 4194304 4196468 140723435150528 139810149076112 139810543814357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32251] ppid=32190 vsize=10909248 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32251/stat : 32251 (java) S 32190 32193 27360 0 -1 1077944384 1 12465 0 0 0 0 8 4 20 0 20 0 12615808 11171069952 27072 33554432000 4194304 4196468 140723435150528 139810148023056 139810543814357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32252] ppid=32190 vsize=10909248 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32252/stat : 32252 (java) S 32190 32193 27360 0 -1 1077944384 2 12465 0 0 0 0 8 4 20 0 20 0 12615808 11171069952 27072 33554432000 4194304 4196468 140723435150528 139810146970512 139810543814357 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32253] ppid=32190 vsize=10909248 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32253/stat : 32253 (java) S 32190 32193 27360 0 -1 1077944384 2 12465 0 0 0 0 8 4 20 0 20 0 12615808 11171069952 27072 33554432000 4194304 4196468 140723435150528 139810145917456 139810543814357 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32254] ppid=32190 vsize=10909248 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32254/stat : 32254 (java) S 32190 32193 27360 0 -1 1077944384 2 12465 0 0 0 0 8 4 20 0 20 0 12615808 11171069952 27072 33554432000 4194304 4196468 140723435150528 139810144864912 139810543814357 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32255] ppid=32190 vsize=10909248 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32255/stat : 32255 (java) S 32190 32193 27360 0 -1 1077944384 1 12465 0 0 0 0 8 4 20 0 20 0 12615808 11171069952 27072 33554432000 4194304 4196468 140723435150528 139810143811856 139810543814357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32256] ppid=32190 vsize=10909248 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32256/stat : 32256 (java) S 32190 32193 27360 0 -1 1077944384 1 12465 0 0 0 0 8 4 20 0 20 0 12615808 11171069952 27072 33554432000 4194304 4196468 140723435150528 139810142759312 139810543814357 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32257] ppid=32190 vsize=10909248 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32257/stat : 32257 (java) S 32190 32193 27360 0 -1 1077944384 5 12465 0 0 0 0 8 4 20 0 20 0 12615810 11171069952 27072 33554432000 4194304 4196468 140723435150528 139809884097264 139810543815298 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32258] ppid=32190 vsize=10909248 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32258/stat : 32258 (java) S 32190 32193 27360 0 -1 1077944384 33 12465 0 0 0 0 8 4 20 0 20 0 12615811 11171069952 27072 33554432000 4194304 4196468 140723435150528 139809883043488 139810543814357 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32259] ppid=32190 vsize=10909248 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32259/stat : 32259 (java) S 32190 32193 27360 0 -1 1077944384 21 12465 0 0 0 0 8 4 20 0 20 0 12615811 11171069952 27072 33554432000 4194304 4196468 140723435150528 139809881990384 139810543814357 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32260] ppid=32190 vsize=10909248 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32260/stat : 32260 (java) S 32190 32193 27360 0 -1 1077944384 1 12465 0 0 0 0 8 4 20 0 20 0 12615817 11171069952 27072 33554432000 4194304 4196468 140723435150528 139809880938960 139810543822747 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32261] ppid=32190 vsize=10909248 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32261/stat : 32261 (java) S 32190 32193 27360 0 -1 1077944384 763 12465 0 0 9 0 8 4 20 0 20 0 12615817 11171069952 27072 33554432000 4194304 4196468 140723435150528 139809879886064 139810543815298 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32262] ppid=32190 vsize=10909248 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32262/stat : 32262 (java) S 32190 32193 27360 0 -1 1077944384 435 12465 0 0 9 0 8 4 20 0 20 0 12615817 11171069952 27072 33554432000 4194304 4196468 140723435150528 139809878833520 139810543815298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32263] ppid=32190 vsize=10909248 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32263/stat : 32263 (java) S 32190 32193 27360 0 -1 1077944384 1129 12465 0 0 12 0 8 4 20 0 20 0 12615817 11171069952 27072 33554432000 4194304 4196468 140723435150528 139809877780464 139810543815298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32264] ppid=32190 vsize=10909248 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32264/stat : 32264 (java) S 32190 32193 27360 0 -1 1077944384 850 12465 0 0 20 0 8 4 20 0 20 0 12615817 11171069952 27072 33554432000 4194304 4196468 140723435150528 139809876727920 139810543815298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32265] ppid=32190 vsize=10909248 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32265/stat : 32265 (java) S 32190 32193 27360 0 -1 1077944384 3 12465 0 0 0 0 8 4 20 0 20 0 12615817 11171069952 27072 33554432000 4194304 4196468 140723435150528 139809875676128 139810543814357 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32266] ppid=32190 vsize=10909248 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32266/stat : 32266 (java) S 32190 32193 27360 0 -1 1077944384 1 12465 0 0 0 0 8 4 20 0 20 0 12615819 11171069952 27072 33554432000 4194304 4196468 140723435150528 139809874623664 139810543815298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 10909248
[startup+3.10116 s]
/proc/loadavg: 2.00 1.80 1.77 4/283 32266
/proc/meminfo: memFree=28941420/32770624 swapFree=5872/242104
[pid=32193] ppid=32190 vsize=10921724 CPUtime=5.37 cores=0,2,4,6,8,10,12,14
/proc/32193/stat : 32193 (java) S 32190 32193 27360 0 -1 1077944320 42065 12465 0 0 507 18 8 4 20 0 20 0 12615782 11183845376 55615 33554432000 4194304 4196468 140723435150528 140723435133072 139810543804151 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
/proc/32193/statm: 2730431 55615 3472 1 0 2717986 0
[pid=32193/tid=32248] ppid=32190 vsize=10921724 CPUtime=2.6 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32248/stat : 32248 (java) R 32190 32193 27360 0 -1 4202560 26085 12465 0 0 239 9 8 4 20 0 20 0 12615803 11183845376 55615 33554432000 4194304 4196468 140723435150528 139810548035400 139810527884638 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32249] ppid=32190 vsize=10921724 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32249/stat : 32249 (java) S 32190 32193 27360 0 -1 1077944384 119 12465 0 0 1 0 8 4 20 0 20 0 12615808 11183845376 55615 33554432000 4194304 4196468 140723435150528 139810515647504 139810543814357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32250] ppid=32190 vsize=10921724 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32250/stat : 32250 (java) S 32190 32193 27360 0 -1 1077944384 33 12465 0 0 1 0 8 4 20 0 20 0 12615808 11183845376 55615 33554432000 4194304 4196468 140723435150528 139810149076112 139810543814357 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32251] ppid=32190 vsize=10921724 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32251/stat : 32251 (java) S 32190 32193 27360 0 -1 1077944384 63 12465 0 0 0 0 8 4 20 0 20 0 12615808 11183845376 55615 33554432000 4194304 4196468 140723435150528 139810148023056 139810543814357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32252] ppid=32190 vsize=10921724 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32252/stat : 32252 (java) S 32190 32193 27360 0 -1 1077944384 37 12465 0 0 1 0 8 4 20 0 20 0 12615808 11183845376 55615 33554432000 4194304 4196468 140723435150528 139810146970512 139810543814357 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32253] ppid=32190 vsize=10921724 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32253/stat : 32253 (java) S 32190 32193 27360 0 -1 1077944384 51 12465 0 0 1 0 8 4 20 0 20 0 12615808 11183845376 55615 33554432000 4194304 4196468 140723435150528 139810145917456 139810543814357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32254] ppid=32190 vsize=10921724 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32254/stat : 32254 (java) S 32190 32193 27360 0 -1 1077944384 21 12465 0 0 1 0 8 4 20 0 20 0 12615808 11183845376 55615 33554432000 4194304 4196468 140723435150528 139810144864912 139810543814357 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32255] ppid=32190 vsize=10921724 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32255/stat : 32255 (java) S 32190 32193 27360 0 -1 1077944384 10 12465 0 0 0 0 8 4 20 0 20 0 12615808 11183845376 55615 33554432000 4194304 4196468 140723435150528 139810143811856 139810543814357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32256] ppid=32190 vsize=10921724 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32256/stat : 32256 (java) S 32190 32193 27360 0 -1 1077944384 29 12465 0 0 1 0 8 4 20 0 20 0 12615808 11183845376 55615 33554432000 4194304 4196468 140723435150528 139810142759312 139810543814357 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32257] ppid=32190 vsize=10921724 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32257/stat : 32257 (java) S 32190 32193 27360 0 -1 1077944384 1567 12465 0 0 1 0 8 4 20 0 20 0 12615810 11183845376 55615 33554432000 4194304 4196468 140723435150528 139809884097264 139810543815298 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32258] ppid=32190 vsize=10921724 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32258/stat : 32258 (java) S 32190 32193 27360 0 -1 1077944384 55 12465 0 0 0 0 8 4 20 0 20 0 12615811 11183845376 55615 33554432000 4194304 4196468 140723435150528 139809883043552 139810543814357 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32259] ppid=32190 vsize=10921724 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32259/stat : 32259 (java) S 32190 32193 27360 0 -1 1077944384 44 12465 0 0 0 0 8 4 20 0 20 0 12615811 11183845376 55615 33554432000 4194304 4196468 140723435150528 139809881990384 139810543814357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32260] ppid=32190 vsize=10921724 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32260/stat : 32260 (java) S 32190 32193 27360 0 -1 1077944384 1 12465 0 0 0 0 8 4 20 0 20 0 12615817 11183845376 55615 33554432000 4194304 4196468 140723435150528 139809880938960 139810543822747 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32261] ppid=32190 vsize=10921724 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32261/stat : 32261 (java) R 32190 32193 27360 0 -1 4202560 2568 12465 0 0 56 1 8 4 20 0 20 0 12615817 11183845376 55615 33554432000 4194304 4196468 140723435150528 139809879885200 139810527188985 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32262] ppid=32190 vsize=10921724 CPUtime=0.81 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32262/stat : 32262 (java) R 32190 32193 27360 0 -1 4202560 3804 12465 0 0 68 1 8 4 20 0 20 0 12615817 11183845376 55615 33554432000 4194304 4196468 140723435150528 139809878819544 139810528732539 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32263] ppid=32190 vsize=10921724 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32263/stat : 32263 (java) R 32190 32193 27360 0 -1 4202560 3022 12465 0 0 51 1 8 4 20 0 20 0 12615817 11183845376 55615 33554432000 4194304 4196468 140723435150528 139809877766488 139810527359407 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32264] ppid=32190 vsize=10921724 CPUtime=0.93 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32264/stat : 32264 (java) R 32190 32193 27360 0 -1 4202560 2413 12465 0 0 80 1 8 4 20 0 20 0 12615817 11183845376 55615 33554432000 4194304 4196468 140723435150528 139809876727920 139810543825498 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32265] ppid=32190 vsize=10921724 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32265/stat : 32265 (java) S 32190 32193 27360 0 -1 1077944384 3 12465 0 0 0 0 8 4 20 0 20 0 12615817 11183845376 55615 33554432000 4194304 4196468 140723435150528 139809875676128 139810543814357 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32266] ppid=32190 vsize=10921724 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32266/stat : 32266 (java) S 32190 32193 27360 0 -1 1077944384 11 12465 0 0 0 0 8 4 20 0 20 0 12615819 11183845376 55615 33554432000 4194304 4196468 140723435150528 139809874623664 139810543815298 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
Current children cumulated CPU time (s) 5.37
Current children cumulated vsize (KiB) 10921724
[startup+6.30112 s]
/proc/loadavg: 2.16 1.83 1.78 7/283 32266
/proc/meminfo: memFree=28585328/32770624 swapFree=5872/242100
[pid=32193] ppid=32190 vsize=10927868 CPUtime=15.07 cores=0,2,4,6,8,10,12,14
/proc/32193/stat : 32193 (java) S 32190 32193 27360 0 -1 1077944320 53815 12465 0 0 1411 84 8 4 20 0 20 0 12615782 11190136832 148289 33554432000 4194304 4196468 140723435150528 140723435133072 139810543804151 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
/proc/32193/statm: 2731967 148289 3499 1 0 2719522 0
[pid=32193/tid=32248] ppid=32190 vsize=10927868 CPUtime=5.61 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32248/stat : 32248 (java) R 32190 32193 27360 0 -1 4202560 32257 12465 0 0 536 13 8 4 20 0 20 0 12615803 11190136832 148289 33554432000 4194304 4196468 140723435150528 139810548035288 139810182967555 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32249] ppid=32190 vsize=10927868 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32249/stat : 32249 (java) S 32190 32193 27360 0 -1 1077944384 182 12465 0 0 8 7 8 4 20 0 20 0 12615808 11190136832 148289 33554432000 4194304 4196468 140723435150528 139810515647504 139810543814357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32250] ppid=32190 vsize=10927868 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32250/stat : 32250 (java) S 32190 32193 27360 0 -1 1077944384 102 12465 0 0 8 7 8 4 20 0 20 0 12615808 11190136832 148289 33554432000 4194304 4196468 140723435150528 139810149076112 139810543814357 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32251] ppid=32190 vsize=10927868 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32251/stat : 32251 (java) S 32190 32193 27360 0 -1 1077944384 135 12465 0 0 8 8 8 4 20 0 20 0 12615808 11190136832 148289 33554432000 4194304 4196468 140723435150528 139810148023056 139810543814357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32252] ppid=32190 vsize=10927868 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32252/stat : 32252 (java) S 32190 32193 27360 0 -1 1077944384 121 12465 0 0 7 6 8 4 20 0 20 0 12615808 11190136832 148289 33554432000 4194304 4196468 140723435150528 139810146970512 139810543814357 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32253] ppid=32190 vsize=10927868 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32253/stat : 32253 (java) S 32190 32193 27360 0 -1 1077944384 138 12465 0 0 7 7 8 4 20 0 20 0 12615808 11190136832 148289 33554432000 4194304 4196468 140723435150528 139810145917456 139810543814357 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32254] ppid=32190 vsize=10927868 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32254/stat : 32254 (java) S 32190 32193 27360 0 -1 1077944384 85 12465 0 0 7 8 8 4 20 0 20 0 12615808 11190136832 148289 33554432000 4194304 4196468 140723435150528 139810144864912 139810543814357 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32255] ppid=32190 vsize=10927868 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32255/stat : 32255 (java) S 32190 32193 27360 0 -1 1077944384 79 12465 0 0 6 7 8 4 20 0 20 0 12615808 11190136832 148289 33554432000 4194304 4196468 140723435150528 139810143811856 139810543814357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32256] ppid=32190 vsize=10927868 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32256/stat : 32256 (java) S 32190 32193 27360 0 -1 1077944384 118 12465 0 0 9 7 8 4 20 0 20 0 12615808 11190136832 148289 33554432000 4194304 4196468 140723435150528 139810142759312 139810543814357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32257] ppid=32190 vsize=10927868 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32257/stat : 32257 (java) S 32190 32193 27360 0 -1 1077944384 1836 12465 0 0 3 0 8 4 20 0 20 0 12615810 11190136832 148289 33554432000 4194304 4196468 140723435150528 139809884097264 139810543815298 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32258] ppid=32190 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32258/stat : 32258 (java) S 32190 32193 27360 0 -1 1077944384 57 12465 0 0 0 0 8 4 20 0 20 0 12615811 11190136832 148289 33554432000 4194304 4196468 140723435150528 139809883043552 139810543814357 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32259] ppid=32190 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32259/stat : 32259 (java) S 32190 32193 27360 0 -1 1077944384 45 12465 0 0 0 0 8 4 20 0 20 0 12615811 11190136832 148289 33554432000 4194304 4196468 140723435150528 139809881990400 139810543814357 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32260] ppid=32190 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32260/stat : 32260 (java) S 32190 32193 27360 0 -1 1077944384 1 12465 0 0 0 0 8 4 20 0 20 0 12615817 11190136832 148289 33554432000 4194304 4196468 140723435150528 139809880938960 139810543822747 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32261] ppid=32190 vsize=10927868 CPUtime=2.35 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32261/stat : 32261 (java) R 32190 32193 27360 0 -1 4202560 4525 12465 0 0 221 2 8 4 20 0 20 0 12615817 11190136832 148289 33554432000 4194304 4196468 140723435150528 139809879872608 139810523159308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32262] ppid=32190 vsize=10927868 CPUtime=2.53 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32262/stat : 32262 (java) R 32190 32193 27360 0 -1 4202560 5105 12465 0 0 240 1 8 4 20 0 20 0 12615817 11190136832 148289 33554432000 4194304 4196468 140723435150528 139809878814328 139810527300939 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32263] ppid=32190 vsize=10927868 CPUtime=2.33 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32263/stat : 32263 (java) R 32190 32193 27360 0 -1 4202560 3821 12465 0 0 219 2 8 4 20 0 20 0 12615817 11190136832 148289 33554432000 4194304 4196468 140723435150528 139809877766488 139810525348369 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32264] ppid=32190 vsize=10927868 CPUtime=1.36 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32264/stat : 32264 (java) S 32190 32193 27360 0 -1 1077944384 3060 12465 0 0 123 1 8 4 20 0 20 0 12615817 11190136832 148289 33554432000 4194304 4196468 140723435150528 139809876727920 139810543815298 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32265] ppid=32190 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
################
# More data... #
################
/proc/32193/task/32262/stat : 32262 (java) S 32190 32193 27360 0 -1 1077944384 19059 12465 0 0 610 4 8 4 20 0 20 0 12615817 11261440000 882382 33554432000 4194304 4196468 140723435150528 139809878833520 139810543815298 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32263] ppid=32190 vsize=10997500 CPUtime=5.72 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32263/stat : 32263 (java) S 32190 32193 27360 0 -1 1077944384 19057 12465 0 0 556 4 8 4 20 0 20 0 12615817 11261440000 882382 33554432000 4194304 4196468 140723435150528 139809877780464 139810543815298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32264] ppid=32190 vsize=10997500 CPUtime=2.22 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32264/stat : 32264 (java) S 32190 32193 27360 0 -1 1077944384 19123 12465 0 0 205 5 8 4 20 0 20 0 12615817 11261440000 882382 33554432000 4194304 4196468 140723435150528 139809876727920 139810543815298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32265] ppid=32190 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32265/stat : 32265 (java) S 32190 32193 27360 0 -1 1077944384 3 12465 0 0 0 0 8 4 20 0 20 0 12615817 11261440000 882382 33554432000 4194304 4196468 140723435150528 139809875676128 139810543814357 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32266] ppid=32190 vsize=10997500 CPUtime=1.54 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32266/stat : 32266 (java) S 32190 32193 27360 0 -1 1077944384 2280 12465 0 0 72 70 8 4 20 0 20 0 12615819 11261440000 882382 33554432000 4194304 4196468 140723435150528 139809874623664 139810543815298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 36 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 10997500
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 32193 sig 9
??? kill -32193 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2280.8 s]
/proc/loadavg: 1.83 1.78 1.75 3/281 32535
/proc/meminfo: memFree=24520776/32770624 swapFree=5872/243280
[pid=32193] ppid=32190 vsize=11130628 CPUtime=2401.35 cores=0,2,4,6,8,10,12,14
/proc/32193/stat : 32193 (java) S 32190 32193 27360 0 -1 1077944320 474728 12465 0 0 239272 851 8 4 20 0 22 0 12615782 11397763072 883571 33554432000 4194304 4196468 140723435150528 140723435133072 139810543804151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
/proc/32193/statm: 2782657 883571 3514 1 0 2770212 0
[pid=32193/tid=32248] ppid=32190 vsize=11130628 CPUtime=2261.37 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32248/stat : 32248 (java) S 32190 32193 27360 0 -1 1077944384 208589 12465 0 0 226055 70 8 4 20 0 22 0 12615803 11397763072 883571 33554432000 4194304 4196468 140723435150528 139810548041792 139810543814357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32249] ppid=32190 vsize=11130628 CPUtime=14.88 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32249/stat : 32249 (java) R 32190 32193 27360 0 -1 4202560 16312 12465 0 0 1389 87 8 4 20 0 22 0 12615808 11397763072 883571 33554432000 4194304 4196468 140723435150528 139810515647704 139810528504832 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32250] ppid=32190 vsize=11130628 CPUtime=14.94 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32250/stat : 32250 (java) R 32190 32193 27360 0 -1 4202560 18135 12465 0 0 1392 90 8 4 20 0 22 0 12615808 11397763072 883571 33554432000 4194304 4196468 140723435150528 139810149076312 139810528504755 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32251] ppid=32190 vsize=11130628 CPUtime=14.72 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32251/stat : 32251 (java) R 32190 32193 27360 0 -1 4202560 12444 12465 0 0 1375 85 8 4 20 0 22 0 12615808 11397763072 883571 33554432000 4194304 4196468 140723435150528 139810148023256 139810528793796 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32252] ppid=32190 vsize=11130628 CPUtime=14.84 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32252/stat : 32252 (java) R 32190 32193 27360 0 -1 4202560 12818 12465 0 0 1385 87 8 4 20 0 22 0 12615808 11397763072 883571 33554432000 4194304 4196468 140723435150528 139810146970712 139810528503968 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32253] ppid=32190 vsize=11130628 CPUtime=14.91 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32253/stat : 32253 (java) R 32190 32193 27360 0 -1 4202560 13596 12465 0 0 1395 84 8 4 20 0 22 0 12615808 11397763072 883571 33554432000 4194304 4196468 140723435150528 139810145917344 139810528793655 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32254] ppid=32190 vsize=11130628 CPUtime=14.92 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32254/stat : 32254 (java) R 32190 32193 27360 0 -1 4202560 17625 12465 0 0 1390 90 8 4 20 0 22 0 12615808 11397763072 883571 33554432000 4194304 4196468 140723435150528 139810144865112 139810528800591 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32255] ppid=32190 vsize=11130628 CPUtime=14.79 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32255/stat : 32255 (java) R 32190 32193 27360 0 -1 4202560 16730 12465 0 0 1380 87 8 4 20 0 22 0 12615808 11397763072 883571 33554432000 4194304 4196468 140723435150528 139810143812056 139810528504832 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32256] ppid=32190 vsize=11130628 CPUtime=14.81 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32256/stat : 32256 (java) R 32190 32193 27360 0 -1 4202560 23167 12465 0 0 1382 87 8 4 20 0 22 0 12615808 11397763072 883571 33554432000 4194304 4196468 140723435150528 139810142759512 139810528504835 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32257] ppid=32190 vsize=11130628 CPUtime=1.48 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32257/stat : 32257 (java) S 32190 32193 27360 0 -1 1077944384 57387 12465 0 0 119 17 8 4 20 0 22 0 12615810 11397763072 883571 33554432000 4194304 4196468 140723435150528 139809884095888 139810543814357 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32258] ppid=32190 vsize=11130628 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32258/stat : 32258 (java) S 32190 32193 27360 0 -1 1077944384 63 12465 0 0 0 0 8 4 20 0 22 0 12615811 11397763072 883571 33554432000 4194304 4196468 140723435150528 139809883043552 139810543814357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32259] ppid=32190 vsize=11130628 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32259/stat : 32259 (java) S 32190 32193 27360 0 -1 1077944384 51 12465 0 0 0 0 8 4 20 0 22 0 12615811 11397763072 883571 33554432000 4194304 4196468 140723435150528 139809881990400 139810543814357 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32260] ppid=32190 vsize=11130628 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32260/stat : 32260 (java) S 32190 32193 27360 0 -1 1077944384 286 12465 0 0 0 0 8 4 20 0 22 0 12615817 11397763072 883571 33554432000 4194304 4196468 140723435150528 139809880938960 139810543822747 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32261] ppid=32190 vsize=11130628 CPUtime=5.46 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32261/stat : 32261 (java) S 32190 32193 27360 0 -1 1077944384 15504 12465 0 0 530 4 8 4 20 0 22 0 12615817 11397763072 883571 33554432000 4194304 4196468 140723435150528 139809879886064 139810543815298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32262] ppid=32190 vsize=11130628 CPUtime=6.26 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32262/stat : 32262 (java) S 32190 32193 27360 0 -1 1077944384 19059 12465 0 0 610 4 8 4 20 0 22 0 12615817 11397763072 883571 33554432000 4194304 4196468 140723435150528 139809878833520 139810543815298 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32263] ppid=32190 vsize=11130628 CPUtime=5.72 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32263/stat : 32263 (java) S 32190 32193 27360 0 -1 1077944384 19057 12465 0 0 556 4 8 4 20 0 22 0 12615817 11397763072 883571 33554432000 4194304 4196468 140723435150528 139809877780464 139810543815298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32264] ppid=32190 vsize=11130628 CPUtime=2.22 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32264/stat : 32264 (java) S 32190 32193 27360 0 -1 1077944384 19123 12465 0 0 205 5 8 4 20 0 22 0 12615817 11397763072 883571 33554432000 4194304 4196468 140723435150528 139809876727920 139810543815298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32265] ppid=32190 vsize=11130628 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32265/stat : 32265 (java) S 32190 32193 27360 0 -1 1077944384 3 12465 0 0 0 0 8 4 20 0 22 0 12615817 11397763072 883571 33554432000 4194304 4196468 140723435150528 139809875676128 139810543814357 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32266] ppid=32190 vsize=11130628 CPUtime=1.54 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32266/stat : 32266 (java) S 32190 32193 27360 0 -1 1077944384 2280 12465 0 0 72 70 8 4 20 0 22 0 12615819 11397763072 883571 33554432000 4194304 4196468 140723435150528 139809874623664 139810543815298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 36 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
Current children cumulated CPU time (s) 2401.35
Current children cumulated vsize (KiB) 11130628
[startup+2281.2 s]
/proc/loadavg: 1.83 1.78 1.75 3/281 32535
/proc/meminfo: memFree=24520776/32770624 swapFree=5872/243280
[pid=32193] ppid=32190 vsize=11130628 CPUtime=2404.22 cores=0,2,4,6,8,10,12,14
/proc/32193/stat : 32193 (java) S 32190 32193 27360 0 -1 1077944320 474777 12465 0 0 239558 852 8 4 20 0 22 0 12615782 11397763072 883605 33554432000 4194304 4196468 140723435150528 140723435133072 139810543804151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
/proc/32193/statm: 2782657 883605 3521 1 0 2770212 0
[pid=32193/tid=32248] ppid=32190 vsize=11130628 CPUtime=2261.37 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32248/stat : 32248 (java) S 32190 32193 27360 0 -1 1077944384 208589 12465 0 0 226055 70 8 4 20 0 22 0 12615803 11397763072 883605 33554432000 4194304 4196468 140723435150528 139810548041792 139810543814357 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32249] ppid=32190 vsize=11130628 CPUtime=15.24 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32249/stat : 32249 (java) R 32190 32193 27360 0 -1 4202560 16316 12465 0 0 1425 87 8 4 20 0 22 0 12615808 11397763072 883605 33554432000 4194304 4196468 140723435150528 139810515647704 139810525400673 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32250] ppid=32190 vsize=11130628 CPUtime=15.28 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32250/stat : 32250 (java) R 32190 32193 27360 0 -1 4202560 18137 12465 0 0 1426 90 8 4 20 0 22 0 12615808 11397763072 883605 33554432000 4194304 4196468 140723435150528 139810149076000 139810525400609 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32251] ppid=32190 vsize=11130628 CPUtime=15.07 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32251/stat : 32251 (java) R 32190 32193 27360 0 -1 4202560 12451 12465 0 0 1410 85 8 4 20 0 22 0 12615808 11397763072 883605 33554432000 4194304 4196468 140723435150528 139810148023256 139810525400605 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32252] ppid=32190 vsize=11130628 CPUtime=15.19 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32252/stat : 32252 (java) R 32190 32193 27360 0 -1 4202560 12819 12465 0 0 1420 87 8 4 20 0 22 0 12615808 11397763072 883605 33554432000 4194304 4196468 140723435150528 139810146970712 139810528501926 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32253] ppid=32190 vsize=11130628 CPUtime=15.27 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32253/stat : 32253 (java) R 32190 32193 27360 0 -1 4202560 13601 12465 0 0 1431 84 8 4 20 0 22 0 12615808 11397763072 883605 33554432000 4194304 4196468 140723435150528 139810145917656 139810528501926 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32254] ppid=32190 vsize=11130628 CPUtime=15.27 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32254/stat : 32254 (java) R 32190 32193 27360 0 -1 4202560 17634 12465 0 0 1425 90 8 4 20 0 22 0 12615808 11397763072 883605 33554432000 4194304 4196468 140723435150528 139810144865112 139810525401162 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32255] ppid=32190 vsize=11130628 CPUtime=15.15 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32255/stat : 32255 (java) R 32190 32193 27360 0 -1 4202560 16731 12465 0 0 1416 87 8 4 20 0 22 0 12615808 11397763072 883605 33554432000 4194304 4196468 140723435150528 139810143812056 139810528754756 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32256] ppid=32190 vsize=11130628 CPUtime=15.17 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32256/stat : 32256 (java) R 32190 32193 27360 0 -1 4202560 23167 12465 0 0 1418 87 8 4 20 0 22 0 12615808 11397763072 883605 33554432000 4194304 4196468 140723435150528 139810142759512 139810525357392 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32257] ppid=32190 vsize=11130628 CPUtime=1.52 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32257/stat : 32257 (java) S 32190 32193 27360 0 -1 1077944384 57399 12465 0 0 123 17 8 4 20 0 22 0 12615810 11397763072 883605 33554432000 4194304 4196468 140723435150528 139809884095664 139810543814357 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32258] ppid=32190 vsize=11130628 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32258/stat : 32258 (java) S 32190 32193 27360 0 -1 1077944384 68 12465 0 0 0 0 8 4 20 0 22 0 12615811 11397763072 883605 33554432000 4194304 4196468 140723435150528 139809883042944 139810543814357 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32259] ppid=32190 vsize=11130628 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32259/stat : 32259 (java) S 32190 32193 27360 0 -1 1077944384 53 12465 0 0 0 0 8 4 20 0 22 0 12615811 11397763072 883605 33554432000 4194304 4196468 140723435150528 139809881990000 139810543814357 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32260] ppid=32190 vsize=11130628 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32260/stat : 32260 (java) S 32190 32193 27360 0 -1 1077944384 286 12465 0 0 0 0 8 4 20 0 22 0 12615817 11397763072 883605 33554432000 4194304 4196468 140723435150528 139809880938960 139810543822747 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32261] ppid=32190 vsize=11130628 CPUtime=5.46 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32261/stat : 32261 (java) S 32190 32193 27360 0 -1 1077944384 15504 12465 0 0 530 4 8 4 20 0 22 0 12615817 11397763072 883605 33554432000 4194304 4196468 140723435150528 139809879886064 139810543815298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32262] ppid=32190 vsize=11130628 CPUtime=6.26 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32262/stat : 32262 (java) S 32190 32193 27360 0 -1 1077944384 19059 12465 0 0 610 4 8 4 20 0 22 0 12615817 11397763072 883605 33554432000 4194304 4196468 140723435150528 139809878833520 139810543815298 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32263] ppid=32190 vsize=11130628 CPUtime=5.72 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32263/stat : 32263 (java) S 32190 32193 27360 0 -1 1077944384 19057 12465 0 0 556 4 8 4 20 0 22 0 12615817 11397763072 883605 33554432000 4194304 4196468 140723435150528 139809877780464 139810543815298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32264] ppid=32190 vsize=11130628 CPUtime=2.22 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32264/stat : 32264 (java) S 32190 32193 27360 0 -1 1077944384 19123 12465 0 0 205 5 8 4 20 0 22 0 12615817 11397763072 883605 33554432000 4194304 4196468 140723435150528 139809876727920 139810543815298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32265] ppid=32190 vsize=11130628 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32265/stat : 32265 (java) S 32190 32193 27360 0 -1 1077944384 3 12465 0 0 0 0 8 4 20 0 22 0 12615817 11397763072 883605 33554432000 4194304 4196468 140723435150528 139809875676128 139810543814357 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32266] ppid=32190 vsize=11130628 CPUtime=1.54 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32266/stat : 32266 (java) S 32190 32193 27360 0 -1 1077944384 2280 12465 0 0 72 70 8 4 20 0 22 0 12615819 11397763072 883605 33554432000 4194304 4196468 140723435150528 139809874623664 139810543815298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 36 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
Current children cumulated CPU time (s) 2404.22
Current children cumulated vsize (KiB) 11130628
[startup+2281.4 s]
/proc/loadavg: 1.83 1.78 1.75 10/283 32537
/proc/meminfo: memFree=24516152/32770624 swapFree=5872/243280
[pid=32193] ppid=32190 vsize=11130628 CPUtime=2405.62 cores=0,2,4,6,8,10,12,14
/proc/32193/stat : 32193 (java) S 32190 32193 27360 0 -1 1077944320 474782 12465 0 0 239698 852 8 4 20 0 22 0 12615782 11397763072 883605 33554432000 4194304 4196468 140723435150528 140723435133072 139810543804151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
/proc/32193/statm: 2782657 883605 3521 1 0 2770212 0
[pid=32193/tid=32248] ppid=32190 vsize=11130628 CPUtime=2261.37 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32248/stat : 32248 (java) S 32190 32193 27360 0 -1 1077944384 208589 12465 0 0 226055 70 8 4 20 0 22 0 12615803 11397763072 883605 33554432000 4194304 4196468 140723435150528 139810548041792 139810543814357 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32249] ppid=32190 vsize=11130628 CPUtime=15.42 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32249/stat : 32249 (java) R 32190 32193 27360 0 -1 4202560 16316 12465 0 0 1443 87 8 4 20 0 22 0 12615808 11397763072 883605 33554432000 4194304 4196468 140723435150528 139810515647624 139810536432359 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32250] ppid=32190 vsize=11130628 CPUtime=15.46 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32250/stat : 32250 (java) R 32190 32193 27360 0 -1 4202560 18137 12465 0 0 1444 90 8 4 20 0 22 0 12615808 11397763072 883605 33554432000 4194304 4196468 140723435150528 139810149076232 139810536432359 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32251] ppid=32190 vsize=11130628 CPUtime=15.25 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32251/stat : 32251 (java) R 32190 32193 27360 0 -1 4202560 12451 12465 0 0 1428 85 8 4 20 0 22 0 12615808 11397763072 883605 33554432000 4194304 4196468 140723435150528 139810148023256 139810528504766 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32252] ppid=32190 vsize=11130628 CPUtime=15.36 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32252/stat : 32252 (java) R 32190 32193 27360 0 -1 4202560 12819 12465 0 0 1437 87 8 4 20 0 22 0 12615808 11397763072 883605 33554432000 4194304 4196468 140723435150528 139810146970632 139810536432359 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32253] ppid=32190 vsize=11130628 CPUtime=15.43 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32253/stat : 32253 (java) R 32190 32193 27360 0 -1 4202560 13601 12465 0 0 1447 84 8 4 20 0 22 0 12615808 11397763072 883605 33554432000 4194304 4196468 140723435150528 139810145917656 139810528800644 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32254] ppid=32190 vsize=11130628 CPUtime=15.44 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32254/stat : 32254 (java) R 32190 32193 27360 0 -1 4202560 17634 12465 0 0 1442 90 8 4 20 0 22 0 12615808 11397763072 883605 33554432000 4194304 4196468 140723435150528 139810144865032 139810536432359 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32255] ppid=32190 vsize=11130628 CPUtime=15.32 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32255/stat : 32255 (java) R 32190 32193 27360 0 -1 4202560 16731 12465 0 0 1433 87 8 4 20 0 22 0 12615808 11397763072 883605 33554432000 4194304 4196468 140723435150528 139810143811976 139810536432359 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32256] ppid=32190 vsize=11130628 CPUtime=15.34 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32256/stat : 32256 (java) R 32190 32193 27360 0 -1 4202560 23170 12465 0 0 1435 87 8 4 20 0 22 0 12615808 11397763072 883605 33554432000 4194304 4196468 140723435150528 139810142759432 139810529562968 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32257] ppid=32190 vsize=11130628 CPUtime=1.55 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32257/stat : 32257 (java) S 32190 32193 27360 0 -1 1077944384 57399 12465 0 0 126 17 8 4 20 0 22 0 12615810 11397763072 883605 33554432000 4194304 4196468 140723435150528 139809884095888 139810543814357 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32258] ppid=32190 vsize=11130628 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32258/stat : 32258 (java) S 32190 32193 27360 0 -1 1077944384 68 12465 0 0 0 0 8 4 20 0 22 0 12615811 11397763072 883605 33554432000 4194304 4196468 140723435150528 139809883043088 139810543815298 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32259] ppid=32190 vsize=11130628 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32259/stat : 32259 (java) S 32190 32193 27360 0 -1 1077944384 54 12465 0 0 0 0 8 4 20 0 22 0 12615811 11397763072 883605 33554432000 4194304 4196468 140723435150528 139809881990400 139810543814357 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32260] ppid=32190 vsize=11130628 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32260/stat : 32260 (java) S 32190 32193 27360 0 -1 1077944384 286 12465 0 0 0 0 8 4 20 0 22 0 12615817 11397763072 883605 33554432000 4194304 4196468 140723435150528 139809880938960 139810543822747 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32261] ppid=32190 vsize=11130628 CPUtime=5.46 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32261/stat : 32261 (java) S 32190 32193 27360 0 -1 1077944384 15504 12465 0 0 530 4 8 4 20 0 22 0 12615817 11397763072 883605 33554432000 4194304 4196468 140723435150528 139809879886064 139810543815298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32262] ppid=32190 vsize=11130628 CPUtime=6.26 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32262/stat : 32262 (java) S 32190 32193 27360 0 -1 1077944384 19060 12465 0 0 610 4 8 4 20 0 22 0 12615817 11397763072 883605 33554432000 4194304 4196468 140723435150528 139809878833280 139810543814357 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32263] ppid=32190 vsize=11130628 CPUtime=5.72 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32263/stat : 32263 (java) S 32190 32193 27360 0 -1 1077944384 19057 12465 0 0 556 4 8 4 20 0 22 0 12615817 11397763072 883605 33554432000 4194304 4196468 140723435150528 139809877780464 139810543815298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32264] ppid=32190 vsize=11130628 CPUtime=2.22 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32264/stat : 32264 (java) S 32190 32193 27360 0 -1 1077944384 19123 12465 0 0 205 5 8 4 20 0 22 0 12615817 11397763072 883605 33554432000 4194304 4196468 140723435150528 139809876727920 139810543815298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32265] ppid=32190 vsize=11130628 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32265/stat : 32265 (java) S 32190 32193 27360 0 -1 1077944384 3 12465 0 0 0 0 8 4 20 0 22 0 12615817 11397763072 883605 33554432000 4194304 4196468 140723435150528 139809875676128 139810543814357 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32266] ppid=32190 vsize=11130628 CPUtime=1.54 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32266/stat : 32266 (java) S 32190 32193 27360 0 -1 1077944384 2280 12465 0 0 72 70 8 4 20 0 22 0 12615819 11397763072 883605 33554432000 4194304 4196468 140723435150528 139809874623664 139810543815298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 36 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32536] ppid=32190 vsize=11130628 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32536/stat : 32536 (java) S 32190 32193 27360 0 -1 1077944384 338 12465 0 0 0 0 8 4 20 0 22 0 12843842 11397763072 883605 33554432000 4194304 4196468 140723435150528 139809319281136 139810543814357 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
[pid=32193/tid=32537] ppid=32190 vsize=11130628 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/32193/task/32537/stat : 32537 (java) S 32190 32193 27360 0 -1 1077944384 30 12465 0 0 0 0 8 4 20 0 22 0 12843842 11397763072 883605 33554432000 4194304 4196468 140723435150528 139809318229312 139810543814357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35336192 140723435154113 140723435156887 140723435156887 140723435159503 0
Current children cumulated CPU time (s) 2405.62
Current children cumulated vsize (KiB) 11130628
Child status: 143
Real time (s): 2281.47
CPU time (s): 2405.78
CPU user time (s): 2397.18
CPU system time (s): 8.60025
CPU usage (%): 105.449
Max. virtual memory (cumulated for all children) (KiB): 11130628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.18
system time used= 8.60026
maximum resident set size= 3534792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 487526
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 98158
involuntary context switches= 132050
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.7625 second user time and 18.7417 second system time
The end