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-4244407-1500686018/watcher-4244407-1500686018 -o /tmp/evaluation-result-4244407-1500686018/solver-4244407-1500686018 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node128-1500683681-7986 --watchdog 2560 bin/concrete HOME/instance-4244407-1500686018.xml
pid=8458
running on 8 cores: 1,3,5,7,9,11,13,15
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: 1.66 1.62 1.65 3/262 8461
/proc/meminfo: memFree=29799264/32770624 swapFree=5800/238308
[pid=8461] ppid=8458 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8461/stat : 8461 (bash) S 8458 8461 7954 0 -1 4202496 686 1532 0 0 0 0 0 0 20 0 1 0 3869263 9736192 351 33554432000 4194304 5098028 140737399641920 140737399639560 140256099924992 0 0 4100 65536 18446744071580971376 0 0 17 11 0 0 0 0 0 7196144 7232144 37392384 140737399645454 140737399645539 140737399645539 140737399648238 0
/proc/8461/statm: 2377 351 278 221 0 86 0
[startup+0.100104 s]
/proc/loadavg: 1.66 1.62 1.65 3/262 8461
/proc/meminfo: memFree=29799264/32770624 swapFree=5800/238308
[pid=8461] ppid=8458 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/8461/stat : 8461 (bash) S 8458 8461 7954 0 -1 4202496 885 6413 0 0 0 0 0 1 20 0 1 0 3869263 9871360 378 33554432000 4194304 5098028 140737399641920 140737399635928 140256099924992 0 0 4100 65536 18446744071580971376 0 0 17 11 0 0 0 0 0 7196144 7232144 37392384 140737399645454 140737399645539 140737399645539 140737399648238 0
/proc/8461/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.200428 s]
/proc/loadavg: 1.66 1.62 1.65 3/262 8461
/proc/meminfo: memFree=29799264/32770624 swapFree=5800/238308
[pid=8461] ppid=8458 vsize=10435860 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/8461/stat : 8461 (java) S 8458 8461 7954 0 -1 1077944320 5094 12287 0 0 6 1 9 3 20 0 13 0 3869263 10686320640 5415 33554432000 4194304 4196468 140727821241056 140727821223600 140328781332215 0 0 0 16800971 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
/proc/8461/statm: 2608965 5415 2139 1 0 2597403 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10435860
[startup+0.300383 s]
/proc/loadavg: 1.66 1.62 1.65 3/262 8461
/proc/meminfo: memFree=29799264/32770624 swapFree=5800/238308
[pid=8461] ppid=8458 vsize=10902292 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/8461/stat : 8461 (java) S 8458 8461 7954 0 -1 1077944320 6933 12287 0 0 23 2 9 3 20 0 20 0 3869263 11163947008 8200 33554432000 4194304 4196468 140727821241056 140727821223600 140328781332215 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
/proc/8461/statm: 2725573 8200 2961 1 0 2713890 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 10902292
[startup+0.700237 s]
/proc/loadavg: 1.66 1.62 1.65 3/262 8461
/proc/meminfo: memFree=29799264/32770624 swapFree=5800/238308
[pid=8461] ppid=8458 vsize=10902720 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/8461/stat : 8461 (java) S 8458 8461 7954 0 -1 1077944320 12058 12287 0 0 73 5 9 3 20 0 20 0 3869263 11164385280 14982 33554432000 4194304 4196468 140727821241056 140727821223600 140328781332215 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
/proc/8461/statm: 2725680 14982 3178 1 0 2713890 0
Current children cumulated CPU time (s) 0.9
Current children cumulated vsize (KiB) 10902720
[startup+1.5007 s]
/proc/loadavg: 1.69 1.62 1.65 4/282 8534
/proc/meminfo: memFree=29702476/32770624 swapFree=5800/238308
[pid=8461] ppid=8458 vsize=10913344 CPUtime=2.19 cores=1,3,5,7,9,11,13,15
/proc/8461/stat : 8461 (java) S 8458 8461 7954 0 -1 1077944320 26336 12287 0 0 193 14 9 3 20 0 20 0 3869263 11175264256 42504 33554432000 4194304 4196468 140727821241056 140727821223600 140328781332215 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
/proc/8461/statm: 2728336 42504 3406 1 0 2716450 0
[pid=8461/tid=8516] ppid=8458 vsize=10913344 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8516/stat : 8516 (java) S 8458 8461 7954 0 -1 1077944384 19479 12287 0 0 125 6 9 3 20 0 20 0 3869276 11175264256 42504 33554432000 4194304 4196468 140727821241056 140328785554752 140328781342421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8517] ppid=8458 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8517/stat : 8517 (java) R 8458 8461 7954 0 -1 4202560 66 12287 0 0 0 0 9 3 20 0 20 0 3869277 11175264256 42504 33554432000 4194304 4196468 140727821241056 140328733952728 140328774431915 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8518] ppid=8458 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8518/stat : 8518 (java) R 8458 8461 7954 0 -1 4202560 15 12287 0 0 0 0 9 3 20 0 20 0 3869277 11175264256 42504 33554432000 4194304 4196468 140727821241056 140328732900184 140328774435852 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8519] ppid=8458 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8519/stat : 8519 (java) R 8458 8461 7954 0 -1 4202560 9 12287 0 0 0 0 9 3 20 0 20 0 3869277 11175264256 42504 33554432000 4194304 4196468 140727821241056 140328731847128 140328774436858 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8520] ppid=8458 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8520/stat : 8520 (java) R 8458 8461 7954 0 -1 4202560 29 12287 0 0 0 0 9 3 20 0 20 0 3869277 11175264256 42504 33554432000 4194304 4196468 140727821241056 140328730794384 140328774428688 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8521] ppid=8458 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8521/stat : 8521 (java) R 8458 8461 7954 0 -1 4202560 134 12287 0 0 0 0 9 3 20 0 20 0 3869277 11175264256 42504 33554432000 4194304 4196468 140727821241056 140328729742552 140328774428688 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8522] ppid=8458 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8522/stat : 8522 (java) R 8458 8461 7954 0 -1 4202560 28 12287 0 0 0 0 9 3 20 0 20 0 3869277 11175264256 42504 33554432000 4194304 4196468 140727821241056 140328382946648 140328766032931 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8523] ppid=8458 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8523/stat : 8523 (java) R 8458 8461 7954 0 -1 4202560 22 12287 0 0 0 0 9 3 20 0 20 0 3869277 11175264256 42504 33554432000 4194304 4196468 140727821241056 140328381893592 140328766033120 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8524] ppid=8458 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8524/stat : 8524 (java) R 8458 8461 7954 0 -1 4202560 28 12287 0 0 0 0 9 3 20 0 20 0 3869277 11175264256 42504 33554432000 4194304 4196468 140727821241056 140328380841048 140328774435852 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8525] ppid=8458 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8525/stat : 8525 (java) S 8458 8461 7954 0 -1 1077944384 1345 12287 0 0 1 0 9 3 20 0 20 0 3869279 11175264256 43016 33554432000 4194304 4196468 140727821241056 140328255337248 140328781342421 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8526] ppid=8458 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8526/stat : 8526 (java) S 8458 8461 7954 0 -1 1077944384 33 12287 0 0 0 0 9 3 20 0 20 0 3869280 11175264256 43016 33554432000 4194304 4196468 140727821241056 140328254284960 140328781342421 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8527] ppid=8458 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8527/stat : 8527 (java) S 8458 8461 7954 0 -1 1077944384 21 12287 0 0 0 0 9 3 20 0 20 0 3869280 11175264256 43016 33554432000 4194304 4196468 140727821241056 140328253231856 140328781342421 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8528] ppid=8458 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8528/stat : 8528 (java) S 8458 8461 7954 0 -1 1077944384 1 12287 0 0 0 0 9 3 20 0 20 0 3869284 11175264256 43016 33554432000 4194304 4196468 140727821241056 140328252180432 140328781350811 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8529] ppid=8458 vsize=10913344 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8529/stat : 8529 (java) S 8458 8461 7954 0 -1 1077944384 591 12287 0 0 9 0 9 3 20 0 20 0 3869284 11175264256 43016 33554432000 4194304 4196468 140727821241056 140328251128560 140328781343362 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8530] ppid=8458 vsize=10913344 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8530/stat : 8530 (java) S 8458 8461 7954 0 -1 1077944384 749 12287 0 0 12 0 9 3 20 0 20 0 3869284 11175264256 43016 33554432000 4194304 4196468 140727821241056 140328250076016 140328781343362 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8531] ppid=8458 vsize=10913344 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8531/stat : 8531 (java) S 8458 8461 7954 0 -1 1077944384 584 12287 0 0 15 0 9 3 20 0 20 0 3869284 11175264256 43016 33554432000 4194304 4196468 140727821241056 140328249022960 140328781343362 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8532] ppid=8458 vsize=10913344 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8532/stat : 8532 (java) S 8458 8461 7954 0 -1 1077944384 1062 12287 0 0 25 0 9 3 20 0 20 0 3869284 11175264256 43016 33554432000 4194304 4196468 140727821241056 140328247966288 140328781342421 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8533] ppid=8458 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8533/stat : 8533 (java) S 8458 8461 7954 0 -1 1077944384 3 12287 0 0 0 0 9 3 20 0 20 0 3869285 11175264256 43528 33554432000 4194304 4196468 140727821241056 140328246917600 140328781342421 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8534] ppid=8458 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8534/stat : 8534 (java) S 8458 8461 7954 0 -1 1077944384 5 12287 0 0 0 0 9 3 20 0 20 0 3869285 11175264256 43528 33554432000 4194304 4196468 140727821241056 140328245865136 140328781343362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 10913344
[startup+3.10078 s]
/proc/loadavg: 1.69 1.62 1.65 7/282 8534
/proc/meminfo: memFree=29624468/32770624 swapFree=5800/238256
[pid=8461] ppid=8458 vsize=10925820 CPUtime=6.61 cores=1,3,5,7,9,11,13,15
/proc/8461/stat : 8461 (java) S 8458 8461 7954 0 -1 1077944320 42303 12287 0 0 627 22 9 3 20 0 20 0 3869263 11188039680 56599 33554432000 4194304 4196468 140727821241056 140727821223600 140328781332215 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
/proc/8461/statm: 2731455 56599 3481 1 0 2719010 0
[pid=8461/tid=8516] ppid=8458 vsize=10925820 CPUtime=3.02 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8516/stat : 8516 (java) R 8458 8461 7954 0 -1 4202560 26114 12287 0 0 280 10 9 3 20 0 20 0 3869276 11188039680 56599 33554432000 4194304 4196468 140727821241056 140328785563336 140328418931047 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8517] ppid=8458 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8517/stat : 8517 (java) S 8458 8461 7954 0 -1 1077944384 69 12287 0 0 0 0 9 3 20 0 20 0 3869277 11188039680 56599 33554432000 4194304 4196468 140727821241056 140328733952528 140328781342421 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8518] ppid=8458 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8518/stat : 8518 (java) S 8458 8461 7954 0 -1 1077944384 15 12287 0 0 0 0 9 3 20 0 20 0 3869277 11188039680 56599 33554432000 4194304 4196468 140727821241056 140328732899984 140328781342421 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8519] ppid=8458 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8519/stat : 8519 (java) S 8458 8461 7954 0 -1 1077944384 9 12287 0 0 0 0 9 3 20 0 20 0 3869277 11188039680 56599 33554432000 4194304 4196468 140727821241056 140328731846928 140328781342421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8520] ppid=8458 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8520/stat : 8520 (java) S 8458 8461 7954 0 -1 1077944384 29 12287 0 0 1 0 9 3 20 0 20 0 3869277 11188039680 56599 33554432000 4194304 4196468 140727821241056 140328730794384 140328781342421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8521] ppid=8458 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8521/stat : 8521 (java) S 8458 8461 7954 0 -1 1077944384 134 12287 0 0 1 0 9 3 20 0 20 0 3869277 11188039680 56599 33554432000 4194304 4196468 140727821241056 140328729742352 140328781342421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8522] ppid=8458 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8522/stat : 8522 (java) S 8458 8461 7954 0 -1 1077944384 28 12287 0 0 0 0 9 3 20 0 20 0 3869277 11188039680 56599 33554432000 4194304 4196468 140727821241056 140328382946448 140328781342421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8523] ppid=8458 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8523/stat : 8523 (java) S 8458 8461 7954 0 -1 1077944384 22 12287 0 0 0 0 9 3 20 0 20 0 3869277 11188039680 56599 33554432000 4194304 4196468 140727821241056 140328381893392 140328781342421 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8524] ppid=8458 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8524/stat : 8524 (java) S 8458 8461 7954 0 -1 1077944384 28 12287 0 0 0 0 9 3 20 0 20 0 3869277 11188039680 56599 33554432000 4194304 4196468 140727821241056 140328380840848 140328781342421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8525] ppid=8458 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8525/stat : 8525 (java) S 8458 8461 7954 0 -1 1077944384 1535 12287 0 0 1 0 9 3 20 0 20 0 3869279 11188039680 56599 33554432000 4194304 4196468 140727821241056 140328255338736 140328781343362 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8526] ppid=8458 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8526/stat : 8526 (java) S 8458 8461 7954 0 -1 1077944384 55 12287 0 0 0 0 9 3 20 0 20 0 3869280 11188039680 56599 33554432000 4194304 4196468 140727821241056 140328254285024 140328781342421 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8527] ppid=8458 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8527/stat : 8527 (java) S 8458 8461 7954 0 -1 1077944384 45 12287 0 0 0 0 9 3 20 0 20 0 3869280 11188039680 56599 33554432000 4194304 4196468 140727821241056 140328253231856 140328781342421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8528] ppid=8458 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8528/stat : 8528 (java) S 8458 8461 7954 0 -1 1077944384 1 12287 0 0 0 0 9 3 20 0 20 0 3869284 11188039680 56599 33554432000 4194304 4196468 140727821241056 140328252180432 140328781350811 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8529] ppid=8458 vsize=10925820 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8529/stat : 8529 (java) R 8458 8461 7954 0 -1 4202560 1458 12287 0 0 52 1 9 3 20 0 20 0 3869284 11188039680 56599 33554432000 4194304 4196468 140727821241056 140328251127696 140328766455816 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8530] ppid=8458 vsize=10925820 CPUtime=1.15 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8530/stat : 8530 (java) R 8458 8461 7954 0 -1 4202560 4262 12287 0 0 102 1 9 3 20 0 20 0 3869284 11188039680 56599 33554432000 4194304 4196468 140727821241056 140328250062560 140328758927246 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8531] ppid=8458 vsize=10925820 CPUtime=0.81 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8531/stat : 8531 (java) R 8458 8461 7954 0 -1 4202560 1450 12287 0 0 68 1 9 3 20 0 20 0 3869284 11188039680 56599 33554432000 4194304 4196468 140727821241056 140328249012752 140328760503456 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8532] ppid=8458 vsize=10925820 CPUtime=1.26 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8532/stat : 8532 (java) R 8458 8461 7954 0 -1 4202560 4908 12287 0 0 112 2 9 3 20 0 20 0 3869284 11188039680 56599 33554432000 4194304 4196468 140727821241056 140328247966064 140328765572413 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8533] ppid=8458 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8533/stat : 8533 (java) S 8458 8461 7954 0 -1 1077944384 3 12287 0 0 0 0 9 3 20 0 20 0 3869285 11188039680 56599 33554432000 4194304 4196468 140727821241056 140328246917600 140328781342421 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8534] ppid=8458 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8534/stat : 8534 (java) S 8458 8461 7954 0 -1 1077944384 6 12287 0 0 0 0 9 3 20 0 20 0 3869285 11188039680 56599 33554432000 4194304 4196468 140727821241056 140328245865136 140328781343362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
Current children cumulated CPU time (s) 6.61
Current children cumulated vsize (KiB) 10925820
[startup+6.30085 s]
/proc/loadavg: 2.20 1.73 1.69 6/282 8534
/proc/meminfo: memFree=29444996/32770624 swapFree=5800/238256
[pid=8461] ppid=8458 vsize=10997500 CPUtime=17.6 cores=1,3,5,7,9,11,13,15
/proc/8461/stat : 8461 (java) S 8458 8461 7954 0 -1 1077944320 71805 12287 0 0 1694 54 9 3 20 0 20 0 3869263 11261440000 103450 33554432000 4194304 4196468 140727821241056 140727821223600 140328781332215 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
/proc/8461/statm: 2749375 103450 3510 1 0 2736930 0
[pid=8461/tid=8516] ppid=8458 vsize=10997500 CPUtime=6.08 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8516/stat : 8516 (java) R 8458 8461 7954 0 -1 4202560 38111 12287 0 0 583 13 9 3 20 0 20 0 3869276 11261440000 103450 33554432000 4194304 4196468 140727821241056 140328785565800 140328413214908 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8517] ppid=8458 vsize=10997500 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8517/stat : 8517 (java) S 8458 8461 7954 0 -1 1077944384 124 12287 0 0 7 4 9 3 20 0 20 0 3869277 11261440000 103450 33554432000 4194304 4196468 140727821241056 140328733952528 140328781342421 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8518] ppid=8458 vsize=10997500 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8518/stat : 8518 (java) S 8458 8461 7954 0 -1 1077944384 48 12287 0 0 7 3 9 3 20 0 20 0 3869277 11261440000 103450 33554432000 4194304 4196468 140727821241056 140328732899984 140328781342421 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8519] ppid=8458 vsize=10997500 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8519/stat : 8519 (java) S 8458 8461 7954 0 -1 1077944384 43 12287 0 0 7 3 9 3 20 0 20 0 3869277 11261440000 103450 33554432000 4194304 4196468 140727821241056 140328731846928 140328781342421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8520] ppid=8458 vsize=10997500 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8520/stat : 8520 (java) S 8458 8461 7954 0 -1 1077944384 108 12287 0 0 7 3 9 3 20 0 20 0 3869277 11261440000 103450 33554432000 4194304 4196468 140727821241056 140328730794384 140328781342421 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8521] ppid=8458 vsize=10997500 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8521/stat : 8521 (java) S 8458 8461 7954 0 -1 1077944384 169 12287 0 0 7 3 9 3 20 0 20 0 3869277 11261440000 103450 33554432000 4194304 4196468 140727821241056 140328729742352 140328781342421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8522] ppid=8458 vsize=10997500 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8522/stat : 8522 (java) S 8458 8461 7954 0 -1 1077944384 58 12287 0 0 7 3 9 3 20 0 20 0 3869277 11261440000 103450 33554432000 4194304 4196468 140727821241056 140328382946448 140328781342421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8523] ppid=8458 vsize=10997500 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8523/stat : 8523 (java) S 8458 8461 7954 0 -1 1077944384 51 12287 0 0 6 2 9 3 20 0 20 0 3869277 11261440000 103450 33554432000 4194304 4196468 140727821241056 140328381893392 140328781342421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8524] ppid=8458 vsize=10997500 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8524/stat : 8524 (java) S 8458 8461 7954 0 -1 1077944384 68 12287 0 0 7 3 9 3 20 0 20 0 3869277 11261440000 103450 33554432000 4194304 4196468 140727821241056 140328380840848 140328781342421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8525] ppid=8458 vsize=10997500 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8525/stat : 8525 (java) S 8458 8461 7954 0 -1 1077944384 2334 12287 0 0 5 0 9 3 20 0 20 0 3869279 11261440000 103450 33554432000 4194304 4196468 140727821241056 140328255338736 140328781343362 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8526] ppid=8458 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8526/stat : 8526 (java) S 8458 8461 7954 0 -1 1077944384 55 12287 0 0 0 0 9 3 20 0 20 0 3869280 11261440000 103450 33554432000 4194304 4196468 140727821241056 140328254285024 140328781342421 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8527] ppid=8458 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8527/stat : 8527 (java) S 8458 8461 7954 0 -1 1077944384 45 12287 0 0 0 0 9 3 20 0 20 0 3869280 11261440000 103450 33554432000 4194304 4196468 140727821241056 140328253231872 140328781342421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8528] ppid=8458 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8528/stat : 8528 (java) S 8458 8461 7954 0 -1 1077944384 1 12287 0 0 0 0 9 3 20 0 20 0 3869284 11261440000 103450 33554432000 4194304 4196468 140727821241056 140328252180432 140328781350811 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8529] ppid=8458 vsize=10997500 CPUtime=2.58 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8529/stat : 8529 (java) R 8458 8461 7954 0 -1 4202560 3253 12287 0 0 244 2 9 3 20 0 20 0 3869284 11261440000 103450 33554432000 4194304 4196468 140727821241056 140328251115104 140328764704858 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8530] ppid=8458 vsize=10997500 CPUtime=3.41 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8530/stat : 8530 (java) R 8458 8461 7954 0 -1 4202560 14405 12287 0 0 326 3 9 3 20 0 20 0 3869284 11261440000 103450 33554432000 4194304 4196468 140727821241056 140328250076016 140328760549460 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8531] ppid=8458 vsize=10997500 CPUtime=2.77 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8531/stat : 8531 (java) R 8458 8461 7954 0 -1 4202560 3643 12287 0 0 264 1 9 3 20 0 20 0 3869284 11261440000 103450 33554432000 4194304 4196468 140727821241056 140328249002464 140328764828763 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8532] ppid=8458 vsize=10997500 CPUtime=2.22 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8532/stat : 8532 (java) R 8458 8461 7954 0 -1 4202560 6995 12287 0 0 207 3 9 3 20 0 20 0 3869284 11261440000 103450 33554432000 4194304 4196468 140727821241056 140328247970336 140328781346064 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8533] ppid=8458 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
[pid=8461/tid=8528] ppid=8458 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8528/stat : 8528 (java) S 8458 8461 7954 0 -1 1077944384 1 12287 0 0 0 0 9 3 20 0 20 0 3869284 11261440000 386094 33554432000 4194304 4196468 140727821241056 140328252180432 140328781350811 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8529] ppid=8458 vsize=10997500 CPUtime=3.4 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8529/stat : 8529 (java) S 8458 8461 7954 0 -1 1077944384 7994 12287 0 0 326 2 9 3 20 0 20 0 3869284 11261440000 386094 33554432000 4194304 4196468 140727821241056 140328251128560 140328781343362 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8530] ppid=8458 vsize=10997500 CPUtime=4.2 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8530/stat : 8530 (java) S 8458 8461 7954 0 -1 1077944384 18050 12287 0 0 404 4 9 3 20 0 20 0 3869284 11261440000 386094 33554432000 4194304 4196468 140727821241056 140328250076016 140328781343362 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8531] ppid=8458 vsize=10997500 CPUtime=3.84 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8531/stat : 8531 (java) S 8458 8461 7954 0 -1 1077944384 7300 12287 0 0 370 2 9 3 20 0 20 0 3869284 11261440000 386094 33554432000 4194304 4196468 140727821241056 140328249022960 140328781343362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8532] ppid=8458 vsize=10997500 CPUtime=2.44 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8532/stat : 8532 (java) S 8458 8461 7954 0 -1 1077944384 19109 12287 0 0 227 5 9 3 20 0 20 0 3869284 11261440000 386094 33554432000 4194304 4196468 140727821241056 140328247970416 140328781343362 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8533] ppid=8458 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8533/stat : 8533 (java) S 8458 8461 7954 0 -1 1077944384 3 12287 0 0 0 0 9 3 20 0 20 0 3869285 11261440000 386094 33554432000 4194304 4196468 140727821241056 140328246917600 140328781342421 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8534] ppid=8458 vsize=10997500 CPUtime=1.41 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8534/stat : 8534 (java) S 8458 8461 7954 0 -1 1077944384 3331 12287 0 0 60 69 9 3 20 0 20 0 3869285 11261440000 386094 33554432000 4194304 4196468 140727821241056 140328245865136 140328781343362 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
Current children cumulated CPU time (s) 2400.02
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 8461 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2322.81 s]
/proc/loadavg: 1.72 1.61 1.60 3/281 8777
/proc/meminfo: memFree=27511676/32770624 swapFree=5800/267952
[pid=8461] ppid=8458 vsize=11130628 CPUtime=2400.47 cores=1,3,5,7,9,11,13,15
/proc/8461/stat : 8461 (java) S 8458 8461 7954 0 -1 1077944320 313816 12287 0 0 239565 470 9 3 20 0 22 0 3869263 11397763072 388360 33554432000 4194304 4196468 140727821241056 140727821223600 140328781332215 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
/proc/8461/statm: 2782657 388360 3519 1 0 2770212 0
[pid=8461/tid=8516] ppid=8458 vsize=11130628 CPUtime=2302.13 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8516/stat : 8516 (java) S 8458 8461 7954 0 -1 1077944384 113527 12287 0 0 230152 49 9 3 20 0 22 0 3869276 11397763072 388360 33554432000 4194304 4196468 140727821241056 140328785569888 140328781342421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8517] ppid=8458 vsize=11130628 CPUtime=9.73 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8517/stat : 8517 (java) R 8458 8461 7954 0 -1 4202560 14964 12287 0 0 918 43 9 3 20 0 22 0 3869277 11397763072 388360 33554432000 4194304 4196468 140727821241056 140328733952648 140328773960423 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8518] ppid=8458 vsize=11130628 CPUtime=9.71 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8518/stat : 8518 (java) R 8458 8461 7954 0 -1 4202560 15487 12287 0 0 917 42 9 3 20 0 22 0 3869277 11397763072 388360 33554432000 4194304 4196468 140727821241056 140328732900104 140328764715250 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8519] ppid=8458 vsize=11130628 CPUtime=9.57 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8519/stat : 8519 (java) R 8458 8461 7954 0 -1 4202560 13503 12287 0 0 902 43 9 3 20 0 22 0 3869277 11397763072 388360 33554432000 4194304 4196468 140727821241056 140328731846736 140328773960423 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8520] ppid=8458 vsize=11130628 CPUtime=9.68 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8520/stat : 8520 (java) R 8458 8461 7954 0 -1 4202560 15813 12287 0 0 911 45 9 3 20 0 22 0 3869277 11397763072 388360 33554432000 4194304 4196468 140727821241056 140328730794192 140328773960423 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8521] ppid=8458 vsize=11130628 CPUtime=9.8 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8521/stat : 8521 (java) R 8458 8461 7954 0 -1 4202560 12515 12287 0 0 926 42 9 3 20 0 22 0 3869277 11397763072 388360 33554432000 4194304 4196468 140727821241056 140328729742472 140328773960423 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8522] ppid=8458 vsize=11130628 CPUtime=9.57 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8522/stat : 8522 (java) R 8458 8461 7954 0 -1 4202560 11716 12287 0 0 905 40 9 3 20 0 22 0 3869277 11397763072 388360 33554432000 4194304 4196468 140727821241056 140328382946568 140328773960423 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8523] ppid=8458 vsize=11130628 CPUtime=9.75 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8523/stat : 8523 (java) R 8458 8461 7954 0 -1 4202560 13026 12287 0 0 921 42 9 3 20 0 22 0 3869277 11397763072 388360 33554432000 4194304 4196468 140727821241056 140328381893200 140328773960423 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8524] ppid=8458 vsize=11130628 CPUtime=9.63 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8524/stat : 8524 (java) R 8458 8461 7954 0 -1 4202560 11724 12287 0 0 910 41 9 3 20 0 22 0 3869277 11397763072 388360 33554432000 4194304 4196468 140727821241056 140328380841048 140328766032955 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8525] ppid=8458 vsize=11130628 CPUtime=7.13 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8525/stat : 8525 (java) S 8458 8461 7954 0 -1 1077944384 32884 12287 0 0 663 38 9 3 20 0 22 0 3869279 11397763072 388360 33554432000 4194304 4196468 140727821241056 140328255337360 140328781342421 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8526] ppid=8458 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8526/stat : 8526 (java) S 8458 8461 7954 0 -1 1077944384 55 12287 0 0 0 0 9 3 20 0 22 0 3869280 11397763072 388360 33554432000 4194304 4196468 140727821241056 140328254285088 140328781342421 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8527] ppid=8458 vsize=11130628 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8527/stat : 8527 (java) S 8458 8461 7954 0 -1 1077944384 45 12287 0 0 1 0 9 3 20 0 22 0 3869280 11397763072 388360 33554432000 4194304 4196468 140727821241056 140328253231872 140328781342421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8528] ppid=8458 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8528/stat : 8528 (java) S 8458 8461 7954 0 -1 1077944384 248 12287 0 0 0 0 9 3 20 0 22 0 3869284 11397763072 388360 33554432000 4194304 4196468 140727821241056 140328252180432 140328781350811 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8529] ppid=8458 vsize=11130628 CPUtime=3.4 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8529/stat : 8529 (java) S 8458 8461 7954 0 -1 1077944384 7994 12287 0 0 326 2 9 3 20 0 22 0 3869284 11397763072 388360 33554432000 4194304 4196468 140727821241056 140328251128560 140328781343362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8530] ppid=8458 vsize=11130628 CPUtime=4.2 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8530/stat : 8530 (java) S 8458 8461 7954 0 -1 1077944384 18090 12287 0 0 404 4 9 3 20 0 22 0 3869284 11397763072 388360 33554432000 4194304 4196468 140727821241056 140328250066336 140328781342421 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8531] ppid=8458 vsize=11130628 CPUtime=3.84 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8531/stat : 8531 (java) S 8458 8461 7954 0 -1 1077944384 7300 12287 0 0 370 2 9 3 20 0 22 0 3869284 11397763072 388360 33554432000 4194304 4196468 140727821241056 140328249022960 140328781343362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8532] ppid=8458 vsize=11130628 CPUtime=2.44 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8532/stat : 8532 (java) S 8458 8461 7954 0 -1 1077944384 19109 12287 0 0 227 5 9 3 20 0 22 0 3869284 11397763072 388360 33554432000 4194304 4196468 140727821241056 140328247970416 140328781343362 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8533] ppid=8458 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8533/stat : 8533 (java) S 8458 8461 7954 0 -1 1077944384 3 12287 0 0 0 0 9 3 20 0 22 0 3869285 11397763072 388360 33554432000 4194304 4196468 140727821241056 140328246917600 140328781342421 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8534] ppid=8458 vsize=11130628 CPUtime=1.41 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8534/stat : 8534 (java) S 8458 8461 7954 0 -1 1077944384 3331 12287 0 0 60 69 9 3 20 0 22 0 3869285 11397763072 388360 33554432000 4194304 4196468 140727821241056 140328245865136 140328781343362 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
Current children cumulated CPU time (s) 2400.47
Current children cumulated vsize (KiB) 11130628
[startup+2323 s]
/proc/loadavg: 1.72 1.61 1.60 3/281 8777
/proc/meminfo: memFree=27511676/32770624 swapFree=5800/267952
[pid=8461] ppid=8458 vsize=11130628 CPUtime=2401.85 cores=1,3,5,7,9,11,13,15
/proc/8461/stat : 8461 (java) S 8458 8461 7954 0 -1 1077944320 314156 12287 0 0 239702 471 9 3 20 0 22 0 3869263 11397763072 388527 33554432000 4194304 4196468 140727821241056 140727821223600 140328781332215 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
/proc/8461/statm: 2782657 388527 3519 1 0 2770212 0
[pid=8461/tid=8516] ppid=8458 vsize=11130628 CPUtime=2302.13 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8516/stat : 8516 (java) S 8458 8461 7954 0 -1 1077944384 113527 12287 0 0 230152 49 9 3 20 0 22 0 3869276 11397763072 388527 33554432000 4194304 4196468 140727821241056 140328785569888 140328781342421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8517] ppid=8458 vsize=11130628 CPUtime=9.9 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8517/stat : 8517 (java) R 8458 8461 7954 0 -1 4202560 14970 12287 0 0 935 43 9 3 20 0 22 0 3869277 11397763072 388527 33554432000 4194304 4196468 140727821241056 140328733952528 140328766282820 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8518] ppid=8458 vsize=11130628 CPUtime=9.88 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8518/stat : 8518 (java) R 8458 8461 7954 0 -1 4202560 15495 12287 0 0 934 42 9 3 20 0 22 0 3869277 11397763072 388527 33554432000 4194304 4196468 140727821241056 140328732900184 140328762929235 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8519] ppid=8458 vsize=11130628 CPUtime=9.74 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8519/stat : 8519 (java) R 8458 8461 7954 0 -1 4202560 13518 12287 0 0 919 43 9 3 20 0 22 0 3869277 11397763072 388527 33554432000 4194304 4196468 140727821241056 140328731846928 140328766317511 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8520] ppid=8458 vsize=11130628 CPUtime=9.84 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8520/stat : 8520 (java) R 8458 8461 7954 0 -1 4202560 15814 12287 0 0 927 45 9 3 20 0 22 0 3869277 11397763072 388527 33554432000 4194304 4196468 140727821241056 140328730794384 140328766175676 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8521] ppid=8458 vsize=11130628 CPUtime=9.97 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8521/stat : 8521 (java) R 8458 8461 7954 0 -1 4202560 12519 12287 0 0 943 42 9 3 20 0 22 0 3869277 11397763072 388527 33554432000 4194304 4196468 140727821241056 140328729742352 140328762929226 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8522] ppid=8458 vsize=11130628 CPUtime=9.74 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8522/stat : 8522 (java) R 8458 8461 7954 0 -1 4202560 11717 12287 0 0 922 40 9 3 20 0 22 0 3869277 11397763072 388527 33554432000 4194304 4196468 140727821241056 140328382946448 140328766282820 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8523] ppid=8458 vsize=11130628 CPUtime=9.92 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8523/stat : 8523 (java) R 8458 8461 7954 0 -1 4202560 13026 12287 0 0 938 42 9 3 20 0 22 0 3869277 11397763072 388527 33554432000 4194304 4196468 140727821241056 140328381893392 140328762928723 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8524] ppid=8458 vsize=11130628 CPUtime=9.81 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8524/stat : 8524 (java) R 8458 8461 7954 0 -1 4202560 11725 12287 0 0 928 41 9 3 20 0 22 0 3869277 11397763072 388527 33554432000 4194304 4196468 140727821241056 140328380840848 140328766282820 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8525] ppid=8458 vsize=11130628 CPUtime=7.15 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8525/stat : 8525 (java) S 8458 8461 7954 0 -1 1077944384 33182 12287 0 0 665 38 9 3 20 0 22 0 3869279 11397763072 388527 33554432000 4194304 4196468 140727821241056 140328255337136 140328781342421 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8526] ppid=8458 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8526/stat : 8526 (java) S 8458 8461 7954 0 -1 1077944384 56 12287 0 0 0 0 9 3 20 0 22 0 3869280 11397763072 388527 33554432000 4194304 4196468 140727821241056 140328254284592 140328781342421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8527] ppid=8458 vsize=11130628 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8527/stat : 8527 (java) S 8458 8461 7954 0 -1 1077944384 45 12287 0 0 1 0 9 3 20 0 22 0 3869280 11397763072 388527 33554432000 4194304 4196468 140727821241056 140328253231872 140328781342421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8528] ppid=8458 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8528/stat : 8528 (java) S 8458 8461 7954 0 -1 1077944384 248 12287 0 0 0 0 9 3 20 0 22 0 3869284 11397763072 388527 33554432000 4194304 4196468 140727821241056 140328252180432 140328781350811 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8529] ppid=8458 vsize=11130628 CPUtime=3.4 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8529/stat : 8529 (java) S 8458 8461 7954 0 -1 1077944384 7994 12287 0 0 326 2 9 3 20 0 22 0 3869284 11397763072 388527 33554432000 4194304 4196468 140727821241056 140328251128560 140328781343362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8530] ppid=8458 vsize=11130628 CPUtime=4.2 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8530/stat : 8530 (java) S 8458 8461 7954 0 -1 1077944384 18095 12287 0 0 404 4 9 3 20 0 22 0 3869284 11397763072 388527 33554432000 4194304 4196468 140727821241056 140328250066336 140328781342421 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8531] ppid=8458 vsize=11130628 CPUtime=3.84 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8531/stat : 8531 (java) S 8458 8461 7954 0 -1 1077944384 7300 12287 0 0 370 2 9 3 20 0 22 0 3869284 11397763072 388527 33554432000 4194304 4196468 140727821241056 140328249022960 140328781343362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8532] ppid=8458 vsize=11130628 CPUtime=2.44 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8532/stat : 8532 (java) S 8458 8461 7954 0 -1 1077944384 19109 12287 0 0 227 5 9 3 20 0 22 0 3869284 11397763072 388527 33554432000 4194304 4196468 140727821241056 140328247970416 140328781343362 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8533] ppid=8458 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8533/stat : 8533 (java) S 8458 8461 7954 0 -1 1077944384 3 12287 0 0 0 0 9 3 20 0 22 0 3869285 11397763072 388527 33554432000 4194304 4196468 140727821241056 140328246917600 140328781342421 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8534] ppid=8458 vsize=11130628 CPUtime=1.41 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8534/stat : 8534 (java) S 8458 8461 7954 0 -1 1077944384 3331 12287 0 0 60 69 9 3 20 0 22 0 3869285 11397763072 388527 33554432000 4194304 4196468 140727821241056 140328245865136 140328781343362 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
Current children cumulated CPU time (s) 2401.85
Current children cumulated vsize (KiB) 11130628
[startup+2323.1 s]
/proc/loadavg: 1.72 1.61 1.60 3/281 8777
/proc/meminfo: memFree=27511676/32770624 swapFree=5800/267952
[pid=8461] ppid=8458 vsize=11130628 CPUtime=2402.37 cores=1,3,5,7,9,11,13,15
/proc/8461/stat : 8461 (java) S 8458 8461 7954 0 -1 1077944320 314175 12287 0 0 239754 471 9 3 20 0 22 0 3869263 11397763072 388527 33554432000 4194304 4196468 140727821241056 140727821223600 140328781332215 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
/proc/8461/statm: 2782657 388527 3519 1 0 2770212 0
[pid=8461/tid=8516] ppid=8458 vsize=11130628 CPUtime=2302.13 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8516/stat : 8516 (java) S 8458 8461 7954 0 -1 1077944384 113527 12287 0 0 230152 49 9 3 20 0 22 0 3869276 11397763072 388527 33554432000 4194304 4196468 140727821241056 140328785569888 140328781342421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8517] ppid=8458 vsize=11130628 CPUtime=9.96 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8517/stat : 8517 (java) R 8458 8461 7954 0 -1 4202560 14971 12287 0 0 941 43 9 3 20 0 22 0 3869277 11397763072 388527 33554432000 4194304 4196468 140727821241056 140328733952528 140328766282820 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8518] ppid=8458 vsize=11130628 CPUtime=9.94 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8518/stat : 8518 (java) R 8458 8461 7954 0 -1 4202560 15497 12287 0 0 940 42 9 3 20 0 22 0 3869277 11397763072 388527 33554432000 4194304 4196468 140727821241056 140328732899984 140328762929226 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8519] ppid=8458 vsize=11130628 CPUtime=9.8 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8519/stat : 8519 (java) R 8458 8461 7954 0 -1 4202560 13519 12287 0 0 925 43 9 3 20 0 22 0 3869277 11397763072 388527 33554432000 4194304 4196468 140727821241056 140328731846928 140328762929226 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8520] ppid=8458 vsize=11130628 CPUtime=9.89 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8520/stat : 8520 (java) R 8458 8461 7954 0 -1 4202560 15820 12287 0 0 932 45 9 3 20 0 22 0 3869277 11397763072 388527 33554432000 4194304 4196468 140727821241056 140328730794384 140328766029854 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8521] ppid=8458 vsize=11130628 CPUtime=10.03 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8521/stat : 8521 (java) R 8458 8461 7954 0 -1 1077944384 12519 12287 0 0 949 42 9 3 20 0 22 0 3869277 11397763072 388527 33554432000 4194304 4196468 140727821241056 140328729742352 140328781342421 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8522] ppid=8458 vsize=11130628 CPUtime=9.8 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8522/stat : 8522 (java) R 8458 8461 7954 0 -1 4202560 11722 12287 0 0 928 40 9 3 20 0 22 0 3869277 11397763072 388527 33554432000 4194304 4196468 140727821241056 140328382946448 140328762928730 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8523] ppid=8458 vsize=11130628 CPUtime=9.98 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8523/stat : 8523 (java) R 8458 8461 7954 0 -1 4202560 13026 12287 0 0 944 42 9 3 20 0 22 0 3869277 11397763072 388527 33554432000 4194304 4196468 140727821241056 140328381893392 140328762928691 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8524] ppid=8458 vsize=11130628 CPUtime=9.87 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8524/stat : 8524 (java) R 8458 8461 7954 0 -1 4202560 11727 12287 0 0 934 41 9 3 20 0 22 0 3869277 11397763072 388527 33554432000 4194304 4196468 140727821241056 140328380840848 140328767397041 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8525] ppid=8458 vsize=11130628 CPUtime=7.18 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8525/stat : 8525 (java) S 8458 8461 7954 0 -1 1077944384 33182 12287 0 0 668 38 9 3 20 0 22 0 3869279 11397763072 388527 33554432000 4194304 4196468 140727821241056 140328255337136 140328781342421 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8526] ppid=8458 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8526/stat : 8526 (java) S 8458 8461 7954 0 -1 1077944384 56 12287 0 0 0 0 9 3 20 0 22 0 3869280 11397763072 388527 33554432000 4194304 4196468 140727821241056 140328254284992 140328781342421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8527] ppid=8458 vsize=11130628 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8527/stat : 8527 (java) S 8458 8461 7954 0 -1 1077944384 45 12287 0 0 1 0 9 3 20 0 22 0 3869280 11397763072 388527 33554432000 4194304 4196468 140727821241056 140328253231872 140328781342421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8528] ppid=8458 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8528/stat : 8528 (java) S 8458 8461 7954 0 -1 1077944384 248 12287 0 0 0 0 9 3 20 0 22 0 3869284 11397763072 388527 33554432000 4194304 4196468 140727821241056 140328252180432 140328781350811 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8529] ppid=8458 vsize=11130628 CPUtime=3.4 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8529/stat : 8529 (java) S 8458 8461 7954 0 -1 1077944384 7994 12287 0 0 326 2 9 3 20 0 22 0 3869284 11397763072 388527 33554432000 4194304 4196468 140727821241056 140328251128560 140328781343362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8530] ppid=8458 vsize=11130628 CPUtime=4.2 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8530/stat : 8530 (java) S 8458 8461 7954 0 -1 1077944384 18097 12287 0 0 404 4 9 3 20 0 22 0 3869284 11397763072 388527 33554432000 4194304 4196468 140727821241056 140328250067776 140328781342421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8531] ppid=8458 vsize=11130628 CPUtime=3.84 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8531/stat : 8531 (java) S 8458 8461 7954 0 -1 1077944384 7300 12287 0 0 370 2 9 3 20 0 22 0 3869284 11397763072 388527 33554432000 4194304 4196468 140727821241056 140328249022960 140328781343362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8532] ppid=8458 vsize=11130628 CPUtime=2.44 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8532/stat : 8532 (java) S 8458 8461 7954 0 -1 1077944384 19109 12287 0 0 227 5 9 3 20 0 22 0 3869284 11397763072 388527 33554432000 4194304 4196468 140727821241056 140328247970416 140328781343362 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8533] ppid=8458 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8533/stat : 8533 (java) S 8458 8461 7954 0 -1 1077944384 3 12287 0 0 0 0 9 3 20 0 22 0 3869285 11397763072 388527 33554432000 4194304 4196468 140727821241056 140328246917600 140328781342421 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
[pid=8461/tid=8534] ppid=8458 vsize=11130628 CPUtime=1.41 cores=1,3,5,7,9,11,13,15
/proc/8461/task/8534/stat : 8534 (java) S 8458 8461 7954 0 -1 1077944384 3331 12287 0 0 60 69 9 3 20 0 22 0 3869285 11397763072 388527 33554432000 4194304 4196468 140727821241056 140328245865136 140328781343362 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39428096 140727821249217 140727821251991 140727821251991 140727821254607 0
Current children cumulated CPU time (s) 2402.37
Current children cumulated vsize (KiB) 11130628
Child status: 143
Real time (s): 2323.17
CPU time (s): 2402.66
CPU user time (s): 2397.9
CPU system time (s): 4.76858
CPU usage (%): 103.422
Max. virtual memory (cumulated for all children) (KiB): 11130628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.9
system time used= 4.76858
maximum resident set size= 1725196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 326691
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 287336
involuntary context switches= 179100
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.0193 second user time and 21.2713 second system time
The end