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-4249190-1500759252/watcher-4249190-1500759252 -o /tmp/evaluation-result-4249190-1500759252/solver-4249190-1500759252 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node144-1500752272-21524 --watchdog 2560 bin/concrete HOME/instance-4249190-1500759252.xml
pid=24550
running on 8 cores: 4-7,12-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.18 1.37 1.43 3/262 24553
/proc/meminfo: memFree=30795628/32770624 swapFree=5816/242352
[pid=24553] ppid=24550 vsize=9508 CPUtime=0 cores=4-7,12-15
/proc/24553/stat : 24553 (bash) S 24550 24553 21492 0 -1 4202496 686 1530 0 0 0 0 0 0 20 0 1 0 11190490 9736192 351 33554432000 4194304 5098028 140734947936304 140734947933944 140035065641984 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 14135296 140734947943694 140734947943779 140734947943779 140734947946478 0
/proc/24553/statm: 2377 351 278 221 0 86 0
[startup+0.100157 s]
/proc/loadavg: 1.18 1.37 1.43 3/262 24553
/proc/meminfo: memFree=30795628/32770624 swapFree=5816/242352
[pid=24553] ppid=24550 vsize=9640 CPUtime=0.01 cores=4-7,12-15
/proc/24553/stat : 24553 (bash) S 24550 24553 21492 0 -1 4202496 885 6408 0 0 0 0 0 1 20 0 1 0 11190490 9871360 378 33554432000 4194304 5098028 140734947936304 140734947930312 140035065641984 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 14135296 140734947943694 140734947943779 140734947943779 140734947946478 0
/proc/24553/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.200358 s]
/proc/loadavg: 1.18 1.37 1.43 3/262 24553
/proc/meminfo: memFree=30795628/32770624 swapFree=5816/242352
[pid=24553] ppid=24550 vsize=10435860 CPUtime=0.18 cores=4-7,12-15
/proc/24553/stat : 24553 (java) S 24550 24553 21492 0 -1 1077944320 4997 12585 0 0 5 2 8 3 20 0 13 0 11190490 10686320640 5365 33554432000 4194304 4196468 140733982615216 140733982597760 139842011115255 0 0 0 16800971 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
/proc/24553/statm: 2608965 5365 2171 1 0 2597403 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 10435860
[startup+0.746759 s]
/proc/loadavg: 1.18 1.37 1.43 3/262 24553
/proc/meminfo: memFree=30795628/32770624 swapFree=5816/242352
[pid=24553] ppid=24550 vsize=10902720 CPUtime=1.06 cores=4-7,12-15
/proc/24553/stat : 24553 (java) S 24550 24553 21492 0 -1 1077944320 13355 12585 0 0 90 5 8 3 20 0 20 0 11190490 11164385280 16614 33554432000 4194304 4196468 140733982615216 140733982597760 139842011115255 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
/proc/24553/statm: 2725680 16614 3230 1 0 2713890 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 10902720
[startup+0.80031 s]
/proc/loadavg: 1.18 1.37 1.43 3/262 24553
/proc/meminfo: memFree=30795628/32770624 swapFree=5816/242352
[pid=24553] ppid=24550 vsize=10903104 CPUtime=1.16 cores=4-7,12-15
/proc/24553/stat : 24553 (java) S 24550 24553 21492 0 -1 1077944320 17450 12585 0 0 99 6 8 3 20 0 20 0 11190490 11164778496 21353 33554432000 4194304 4196468 140733982615216 140733982597760 139842011115255 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
/proc/24553/statm: 2725776 21353 3336 1 0 2713890 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 10903104
[startup+1.50027 s]
/proc/loadavg: 1.18 1.37 1.43 4/282 24626
/proc/meminfo: memFree=30631716/32770624 swapFree=5816/242488
[pid=24553] ppid=24550 vsize=10913344 CPUtime=2.3 cores=4-7,12-15
/proc/24553/stat : 24553 (java) S 24550 24553 21492 0 -1 1077944320 26419 12585 0 0 205 14 8 3 20 0 20 0 11190490 11175264256 44214 33554432000 4194304 4196468 140733982615216 140733982597760 139842011115255 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
/proc/24553/statm: 2728336 44214 3408 1 0 2716450 0
[pid=24553/tid=24608] ppid=24550 vsize=10913344 CPUtime=1.44 cores=4-7,12-15
/proc/24553/task/24608/stat : 24608 (java) R 24550 24553 21492 0 -1 4202560 19100 12585 0 0 127 6 8 3 20 0 20 0 11190502 11175264256 44214 33554432000 4194304 4196468 140733982615216 139842015344024 139841601937310 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24609] ppid=24550 vsize=10913344 CPUtime=0.11 cores=4-7,12-15
/proc/24553/task/24609/stat : 24609 (java) S 24550 24553 21492 0 -1 1077944384 118 12585 0 0 0 0 8 3 20 0 20 0 11190503 11175264256 44214 33554432000 4194304 4196468 140733982615216 139841937189904 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24610] ppid=24550 vsize=10913344 CPUtime=0.11 cores=4-7,12-15
/proc/24553/task/24610/stat : 24610 (java) S 24550 24553 21492 0 -1 1077944384 10 12585 0 0 0 0 8 3 20 0 20 0 11190503 11175264256 44214 33554432000 4194304 4196468 140733982615216 139841936137360 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24611] ppid=24550 vsize=10913344 CPUtime=0.11 cores=4-7,12-15
/proc/24553/task/24611/stat : 24611 (java) S 24550 24553 21492 0 -1 1077944384 13 12585 0 0 0 0 8 3 20 0 20 0 11190503 11175264256 44214 33554432000 4194304 4196468 140733982615216 139841935084304 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24612] ppid=24550 vsize=10913344 CPUtime=0.11 cores=4-7,12-15
/proc/24553/task/24612/stat : 24612 (java) S 24550 24553 21492 0 -1 1077944384 32 12585 0 0 0 0 8 3 20 0 20 0 11190503 11175264256 44214 33554432000 4194304 4196468 140733982615216 139841934031760 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24613] ppid=24550 vsize=10913344 CPUtime=0.11 cores=4-7,12-15
/proc/24553/task/24613/stat : 24613 (java) S 24550 24553 21492 0 -1 1077944384 28 12585 0 0 0 0 8 3 20 0 20 0 11190503 11175264256 44214 33554432000 4194304 4196468 140733982615216 139841932978704 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24614] ppid=24550 vsize=10913344 CPUtime=0.12 cores=4-7,12-15
/proc/24553/task/24614/stat : 24614 (java) S 24550 24553 21492 0 -1 1077944384 41 12585 0 0 1 0 8 3 20 0 20 0 11190503 11175264256 44214 33554432000 4194304 4196468 140733982615216 139841931926160 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24615] ppid=24550 vsize=10913344 CPUtime=0.11 cores=4-7,12-15
/proc/24553/task/24615/stat : 24615 (java) S 24550 24553 21492 0 -1 1077944384 35 12585 0 0 0 0 8 3 20 0 20 0 11190503 11175264256 44214 33554432000 4194304 4196468 140733982615216 139841930873104 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24616] ppid=24550 vsize=10913344 CPUtime=0.11 cores=4-7,12-15
/proc/24553/task/24616/stat : 24616 (java) S 24550 24553 21492 0 -1 1077944384 11 12585 0 0 0 0 8 3 20 0 20 0 11190503 11175264256 44214 33554432000 4194304 4196468 140733982615216 139841929820560 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24617] ppid=24550 vsize=10913344 CPUtime=0.12 cores=4-7,12-15
/proc/24553/task/24617/stat : 24617 (java) S 24550 24553 21492 0 -1 1077944384 1189 12585 0 0 1 0 8 3 20 0 20 0 11190506 11175264256 44214 33554432000 4194304 4196468 140733982615216 139840759708400 139842011126402 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24618] ppid=24550 vsize=10913344 CPUtime=0.11 cores=4-7,12-15
/proc/24553/task/24618/stat : 24618 (java) S 24550 24553 21492 0 -1 1077944384 56 12585 0 0 0 0 8 3 20 0 20 0 11190506 11175264256 44214 33554432000 4194304 4196468 140733982615216 139840758654688 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24619] ppid=24550 vsize=10913344 CPUtime=0.11 cores=4-7,12-15
/proc/24553/task/24619/stat : 24619 (java) S 24550 24553 21492 0 -1 1077944384 43 12585 0 0 0 0 8 3 20 0 20 0 11190507 11175264256 44214 33554432000 4194304 4196468 140733982615216 139840757601536 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24620] ppid=24550 vsize=10913344 CPUtime=0.11 cores=4-7,12-15
/proc/24553/task/24620/stat : 24620 (java) S 24550 24553 21492 0 -1 1077944384 1 12585 0 0 0 0 8 3 20 0 20 0 11190511 11175264256 44214 33554432000 4194304 4196468 140733982615216 139840756550096 139842011133851 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24621] ppid=24550 vsize=10913344 CPUtime=0.25 cores=4-7,12-15
/proc/24553/task/24621/stat : 24621 (java) S 24550 24553 21492 0 -1 1077944384 1094 12585 0 0 14 0 8 3 20 0 20 0 11190511 11175264256 44214 33554432000 4194304 4196468 140733982615216 139840755497200 139842011126402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24622] ppid=24550 vsize=10913344 CPUtime=0.25 cores=4-7,12-15
/proc/24553/task/24622/stat : 24622 (java) S 24550 24553 21492 0 -1 1077944384 524 12585 0 0 14 0 8 3 20 0 20 0 11190511 11175264256 44214 33554432000 4194304 4196468 140733982615216 139840754444656 139842011126402 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24623] ppid=24550 vsize=10913344 CPUtime=0.23 cores=4-7,12-15
/proc/24553/task/24623/stat : 24623 (java) S 24550 24553 21492 0 -1 1077944384 585 12585 0 0 12 0 8 3 20 0 20 0 11190511 11175264256 44214 33554432000 4194304 4196468 140733982615216 139840753391600 139842011126402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24624] ppid=24550 vsize=10913344 CPUtime=0.37 cores=4-7,12-15
/proc/24553/task/24624/stat : 24624 (java) S 24550 24553 21492 0 -1 1077944384 1401 12585 0 0 26 0 8 3 20 0 20 0 11190511 11175264256 44214 33554432000 4194304 4196468 140733982615216 139840752339056 139842011126402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24625] ppid=24550 vsize=10913344 CPUtime=0.11 cores=4-7,12-15
/proc/24553/task/24625/stat : 24625 (java) S 24550 24553 21492 0 -1 1077944384 3 12585 0 0 0 0 8 3 20 0 20 0 11190511 11175264256 44214 33554432000 4194304 4196468 140733982615216 139840751287264 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24626] ppid=24550 vsize=10913344 CPUtime=0.11 cores=4-7,12-15
/proc/24553/task/24626/stat : 24626 (java) S 24550 24553 21492 0 -1 1077944384 3 12585 0 0 0 0 8 3 20 0 20 0 11190511 11175264256 44214 33554432000 4194304 4196468 140733982615216 139840750234800 139842011126402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
Current children cumulated CPU time (s) 2.3
Current children cumulated vsize (KiB) 10913344
[startup+3.10079 s]
/proc/loadavg: 1.16 1.36 1.43 3/282 24626
/proc/meminfo: memFree=30602524/32770624 swapFree=5816/242488
[pid=24553] ppid=24550 vsize=10927868 CPUtime=6.27 cores=4-7,12-15
/proc/24553/stat : 24553 (java) S 24550 24553 21492 0 -1 1077944320 45206 12585 0 0 595 21 8 3 20 0 20 0 11190490 11190136832 57236 33554432000 4194304 4196468 140733982615216 140733982597760 139842011115255 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
/proc/24553/statm: 2731967 57236 3474 1 0 2719522 0
[pid=24553/tid=24608] ppid=24550 vsize=10927868 CPUtime=3.02 cores=4-7,12-15
/proc/24553/task/24608/stat : 24608 (java) R 24550 24553 21492 0 -1 4202560 30544 12585 0 0 283 8 8 3 20 0 20 0 11190502 11190136832 57236 33554432000 4194304 4196468 140733982615216 139842015339216 139842011127190 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24609] ppid=24550 vsize=10927868 CPUtime=0.11 cores=4-7,12-15
/proc/24553/task/24609/stat : 24609 (java) S 24550 24553 21492 0 -1 1077944384 118 12585 0 0 0 0 8 3 20 0 20 0 11190503 11190136832 57236 33554432000 4194304 4196468 140733982615216 139841937189904 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24610] ppid=24550 vsize=10927868 CPUtime=0.11 cores=4-7,12-15
/proc/24553/task/24610/stat : 24610 (java) S 24550 24553 21492 0 -1 1077944384 10 12585 0 0 0 0 8 3 20 0 20 0 11190503 11190136832 57236 33554432000 4194304 4196468 140733982615216 139841936137360 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24611] ppid=24550 vsize=10927868 CPUtime=0.11 cores=4-7,12-15
/proc/24553/task/24611/stat : 24611 (java) S 24550 24553 21492 0 -1 1077944384 13 12585 0 0 0 0 8 3 20 0 20 0 11190503 11190136832 57236 33554432000 4194304 4196468 140733982615216 139841935084304 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24612] ppid=24550 vsize=10927868 CPUtime=0.11 cores=4-7,12-15
/proc/24553/task/24612/stat : 24612 (java) S 24550 24553 21492 0 -1 1077944384 32 12585 0 0 0 0 8 3 20 0 20 0 11190503 11190136832 57236 33554432000 4194304 4196468 140733982615216 139841934031760 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24613] ppid=24550 vsize=10927868 CPUtime=0.11 cores=4-7,12-15
/proc/24553/task/24613/stat : 24613 (java) S 24550 24553 21492 0 -1 1077944384 28 12585 0 0 0 0 8 3 20 0 20 0 11190503 11190136832 57236 33554432000 4194304 4196468 140733982615216 139841932978704 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24614] ppid=24550 vsize=10927868 CPUtime=0.12 cores=4-7,12-15
/proc/24553/task/24614/stat : 24614 (java) S 24550 24553 21492 0 -1 1077944384 41 12585 0 0 1 0 8 3 20 0 20 0 11190503 11190136832 57236 33554432000 4194304 4196468 140733982615216 139841931926160 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24615] ppid=24550 vsize=10927868 CPUtime=0.11 cores=4-7,12-15
/proc/24553/task/24615/stat : 24615 (java) S 24550 24553 21492 0 -1 1077944384 35 12585 0 0 0 0 8 3 20 0 20 0 11190503 11190136832 57236 33554432000 4194304 4196468 140733982615216 139841930873104 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24616] ppid=24550 vsize=10927868 CPUtime=0.11 cores=4-7,12-15
/proc/24553/task/24616/stat : 24616 (java) S 24550 24553 21492 0 -1 1077944384 11 12585 0 0 0 0 8 3 20 0 20 0 11190503 11190136832 57236 33554432000 4194304 4196468 140733982615216 139841929820560 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24617] ppid=24550 vsize=10927868 CPUtime=0.12 cores=4-7,12-15
/proc/24553/task/24617/stat : 24617 (java) S 24550 24553 21492 0 -1 1077944384 1277 12585 0 0 1 0 8 3 20 0 20 0 11190506 11190136832 57236 33554432000 4194304 4196468 140733982615216 139840759708400 139842011126402 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24618] ppid=24550 vsize=10927868 CPUtime=0.11 cores=4-7,12-15
/proc/24553/task/24618/stat : 24618 (java) S 24550 24553 21492 0 -1 1077944384 56 12585 0 0 0 0 8 3 20 0 20 0 11190506 11190136832 57236 33554432000 4194304 4196468 140733982615216 139840758654688 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24619] ppid=24550 vsize=10927868 CPUtime=0.11 cores=4-7,12-15
/proc/24553/task/24619/stat : 24619 (java) S 24550 24553 21492 0 -1 1077944384 43 12585 0 0 0 0 8 3 20 0 20 0 11190507 11190136832 57236 33554432000 4194304 4196468 140733982615216 139840757601536 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24620] ppid=24550 vsize=10927868 CPUtime=0.11 cores=4-7,12-15
/proc/24553/task/24620/stat : 24620 (java) S 24550 24553 21492 0 -1 1077944384 1 12585 0 0 0 0 8 3 20 0 20 0 11190511 11190136832 57236 33554432000 4194304 4196468 140733982615216 139840756550096 139842011133851 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24621] ppid=24550 vsize=10927868 CPUtime=1.07 cores=4-7,12-15
/proc/24553/task/24621/stat : 24621 (java) S 24550 24553 21492 0 -1 1077944384 4476 12585 0 0 95 1 8 3 20 0 20 0 11190511 11190136832 57236 33554432000 4194304 4196468 140733982615216 139840755497200 139842011126402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24622] ppid=24550 vsize=10927868 CPUtime=0.64 cores=4-7,12-15
/proc/24553/task/24622/stat : 24622 (java) R 24550 24553 21492 0 -1 4202560 1132 12585 0 0 52 1 8 3 20 0 20 0 11190511 11190136832 57236 33554432000 4194304 4196468 140733982615216 139840754430096 139842004211716 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24623] ppid=24550 vsize=10927868 CPUtime=0.67 cores=4-7,12-15
/proc/24553/task/24623/stat : 24623 (java) R 24550 24553 21492 0 -1 4202560 1464 12585 0 0 55 1 8 3 20 0 20 0 11190511 11190136832 57236 33554432000 4194304 4196468 140733982615216 139840753375680 139841992660451 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24624] ppid=24550 vsize=10927868 CPUtime=1.12 cores=4-7,12-15
/proc/24553/task/24624/stat : 24624 (java) R 24550 24553 21492 0 -1 4202560 3786 12585 0 0 99 2 8 3 20 0 20 0 11190511 11190136832 57236 33554432000 4194304 4196468 140733982615216 139840752339056 139841990398060 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24625] ppid=24550 vsize=10927868 CPUtime=0.11 cores=4-7,12-15
/proc/24553/task/24625/stat : 24625 (java) S 24550 24553 21492 0 -1 1077944384 3 12585 0 0 0 0 8 3 20 0 20 0 11190511 11190136832 57236 33554432000 4194304 4196468 140733982615216 139840751287264 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24626] ppid=24550 vsize=10927868 CPUtime=0.11 cores=4-7,12-15
/proc/24553/task/24626/stat : 24626 (java) S 24550 24553 21492 0 -1 1077944384 4 12585 0 0 0 0 8 3 20 0 20 0 11190511 11190136832 57236 33554432000 4194304 4196468 140733982615216 139840750234800 139842011126402 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 10927868
[startup+6.30105 s]
/proc/loadavg: 1.16 1.36 1.43 4/282 24626
/proc/meminfo: memFree=30332196/32770624 swapFree=5816/242480
[pid=24553] ppid=24550 vsize=10997500 CPUtime=19.16 cores=4-7,12-15
/proc/24553/stat : 24553 (java) S 24550 24553 21492 0 -1 1077944320 79973 12585 0 0 1837 68 8 3 20 0 20 0 11190490 11261440000 145629 33554432000 4194304 4196468 140733982615216 140733982597760 139842011115255 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
/proc/24553/statm: 2749375 145629 3508 1 0 2736930 0
[pid=24553/tid=24608] ppid=24550 vsize=10997500 CPUtime=5.58 cores=4-7,12-15
/proc/24553/task/24608/stat : 24608 (java) R 24550 24553 21492 0 -1 4202560 45301 12585 0 0 534 13 8 3 20 0 20 0 11190502 11261440000 145629 33554432000 4194304 4196468 140733982615216 139842015351536 139841616721632 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24609] ppid=24550 vsize=10997500 CPUtime=0.61 cores=4-7,12-15
/proc/24553/task/24609/stat : 24609 (java) S 24550 24553 21492 0 -1 1077944384 380 12585 0 0 44 6 8 3 20 0 20 0 11190503 11261440000 145629 33554432000 4194304 4196468 140733982615216 139841937189904 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24610] ppid=24550 vsize=10997500 CPUtime=0.59 cores=4-7,12-15
/proc/24553/task/24610/stat : 24610 (java) S 24550 24553 21492 0 -1 1077944384 1133 12585 0 0 43 5 8 3 20 0 20 0 11190503 11261440000 145629 33554432000 4194304 4196468 140733982615216 139841936137360 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24611] ppid=24550 vsize=10997500 CPUtime=0.61 cores=4-7,12-15
/proc/24553/task/24611/stat : 24611 (java) S 24550 24553 21492 0 -1 1077944384 284 12585 0 0 44 6 8 3 20 0 20 0 11190503 11261440000 145629 33554432000 4194304 4196468 140733982615216 139841935084304 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24612] ppid=24550 vsize=10997500 CPUtime=0.61 cores=4-7,12-15
/proc/24553/task/24612/stat : 24612 (java) S 24550 24553 21492 0 -1 1077944384 394 12585 0 0 45 5 8 3 20 0 20 0 11190503 11261440000 145629 33554432000 4194304 4196468 140733982615216 139841934031760 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24613] ppid=24550 vsize=10997500 CPUtime=0.56 cores=4-7,12-15
/proc/24553/task/24613/stat : 24613 (java) S 24550 24553 21492 0 -1 1077944384 151 12585 0 0 41 4 8 3 20 0 20 0 11190503 11261440000 145629 33554432000 4194304 4196468 140733982615216 139841932978704 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24614] ppid=24550 vsize=10997500 CPUtime=0.59 cores=4-7,12-15
/proc/24553/task/24614/stat : 24614 (java) S 24550 24553 21492 0 -1 1077944384 237 12585 0 0 42 6 8 3 20 0 20 0 11190503 11261440000 145629 33554432000 4194304 4196468 140733982615216 139841931926160 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24615] ppid=24550 vsize=10997500 CPUtime=0.57 cores=4-7,12-15
/proc/24553/task/24615/stat : 24615 (java) S 24550 24553 21492 0 -1 1077944384 203 12585 0 0 42 4 8 3 20 0 20 0 11190503 11261440000 145629 33554432000 4194304 4196468 140733982615216 139841930873104 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24616] ppid=24550 vsize=10997500 CPUtime=0.56 cores=4-7,12-15
/proc/24553/task/24616/stat : 24616 (java) S 24550 24553 21492 0 -1 1077944384 164 12585 0 0 41 4 8 3 20 0 20 0 11190503 11261440000 145629 33554432000 4194304 4196468 140733982615216 139841929820560 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24617] ppid=24550 vsize=10997500 CPUtime=0.24 cores=4-7,12-15
/proc/24553/task/24617/stat : 24617 (java) S 24550 24553 21492 0 -1 1077944384 2780 12585 0 0 13 0 8 3 20 0 20 0 11190506 11261440000 145629 33554432000 4194304 4196468 140733982615216 139840759708400 139842011126402 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24618] ppid=24550 vsize=10997500 CPUtime=0.11 cores=4-7,12-15
/proc/24553/task/24618/stat : 24618 (java) S 24550 24553 21492 0 -1 1077944384 61 12585 0 0 0 0 8 3 20 0 20 0 11190506 11261440000 145629 33554432000 4194304 4196468 140733982615216 139840758654752 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24619] ppid=24550 vsize=10997500 CPUtime=0.11 cores=4-7,12-15
/proc/24553/task/24619/stat : 24619 (java) S 24550 24553 21492 0 -1 1077944384 57 12585 0 0 0 0 8 3 20 0 20 0 11190507 11261440000 145629 33554432000 4194304 4196468 140733982615216 139840757601536 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24620] ppid=24550 vsize=10997500 CPUtime=0.11 cores=4-7,12-15
/proc/24553/task/24620/stat : 24620 (java) S 24550 24553 21492 0 -1 1077944384 1 12585 0 0 0 0 8 3 20 0 20 0 11190511 11261440000 145629 33554432000 4194304 4196468 140733982615216 139840756550096 139842011133851 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24621] ppid=24550 vsize=10997500 CPUtime=2.88 cores=4-7,12-15
/proc/24553/task/24621/stat : 24621 (java) R 24550 24553 21492 0 -1 4202560 7435 12585 0 0 275 2 8 3 20 0 20 0 11190511 11261440000 145629 33554432000 4194304 4196468 140733982615216 139840755477024 139841994526146 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24622] ppid=24550 vsize=10997500 CPUtime=2.34 cores=4-7,12-15
/proc/24553/task/24622/stat : 24622 (java) R 24550 24553 21492 0 -1 4202560 5400 12585 0 0 221 2 8 3 20 0 20 0 11190511 11261440000 145629 33554432000 4194304 4196468 140733982615216 139840754425176 139842003356236 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24623] ppid=24550 vsize=10997500 CPUtime=2.82 cores=4-7,12-15
/proc/24553/task/24623/stat : 24623 (java) R 24550 24553 21492 0 -1 4202560 7694 12585 0 0 269 2 8 3 20 0 20 0 11190511 11261440000 145629 33554432000 4194304 4196468 140733982615216 139840753381280 139842003404704 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24624] ppid=24550 vsize=10997500 CPUtime=1.86 cores=4-7,12-15
/proc/24553/task/24624/stat : 24624 (java) S 24550 24553 21492 0 -1 1077944384 6182 12585 0 0 173 2 8 3 20 0 20 0 11190511 11261440000 145629 33554432000 4194304 4196468 140733982615216 139840752339056 139842011126402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24625] ppid=24550 vsize=10997500 CPUtime=0.11 cores=4-7,12-15
################
# More data... #
################
[pid=24553/tid=24622] ppid=24550 vsize=10997500 CPUtime=4.66 cores=4-7,12-15
/proc/24553/task/24622/stat : 24622 (java) S 24550 24553 21492 0 -1 1077944384 14668 12585 0 0 451 4 8 3 20 0 20 0 11190511 11261440000 707877 33554432000 4194304 4196468 140733982615216 139840754444656 139842011126402 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24623] ppid=24550 vsize=10997500 CPUtime=4.94 cores=4-7,12-15
/proc/24553/task/24623/stat : 24623 (java) S 24550 24553 21492 0 -1 1077944384 16538 12585 0 0 478 5 8 3 20 0 20 0 11190511 11261440000 707877 33554432000 4194304 4196468 140733982615216 139840753391600 139842011126402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24624] ppid=24550 vsize=10997500 CPUtime=2.88 cores=4-7,12-15
/proc/24553/task/24624/stat : 24624 (java) S 24550 24553 21492 0 -1 1077944384 15149 12585 0 0 272 5 8 3 20 0 20 0 11190511 11261440000 707877 33554432000 4194304 4196468 140733982615216 139840752339056 139842011126402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24625] ppid=24550 vsize=10997500 CPUtime=0.11 cores=4-7,12-15
/proc/24553/task/24625/stat : 24625 (java) S 24550 24553 21492 0 -1 1077944384 3 12585 0 0 0 0 8 3 20 0 20 0 11190511 11261440000 707877 33554432000 4194304 4196468 140733982615216 139840751287264 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24626] ppid=24550 vsize=10997500 CPUtime=1.22 cores=4-7,12-15
/proc/24553/task/24626/stat : 24626 (java) S 24550 24553 21492 0 -1 1077944384 1122 12585 0 0 50 61 8 3 20 0 20 0 11190511 11261440000 707877 33554432000 4194304 4196468 140733982615216 139840750234800 139842011126402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
Current children cumulated CPU time (s) 2319.6
Current children cumulated vsize (KiB) 10997500
[startup+2322.3 s]
/proc/loadavg: 1.71 1.80 1.78 3/282 24896
/proc/meminfo: memFree=25738876/32770624 swapFree=5816/244212
[pid=24553] ppid=24550 vsize=10997500 CPUtime=2380.55 cores=4-7,12-15
/proc/24553/stat : 24553 (java) S 24550 24553 21492 0 -1 1077944320 385841 12585 0 0 237127 917 8 3 20 0 20 0 11190490 11261440000 697929 33554432000 4194304 4196468 140733982615216 140733982597760 139842011115255 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
/proc/24553/statm: 2749375 697929 3516 1 0 2736930 0
[pid=24553/tid=24608] ppid=24550 vsize=10997500 CPUtime=2313.48 cores=4-7,12-15
/proc/24553/task/24608/stat : 24608 (java) R 24550 24553 21492 0 -1 4202560 176622 12585 0 0 231254 83 8 3 20 0 20 0 11190502 11261440000 697929 33554432000 4194304 4196468 140733982615216 139842015348608 139841616721769 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24609] ppid=24550 vsize=10997500 CPUtime=6.08 cores=4-7,12-15
/proc/24553/task/24609/stat : 24609 (java) S 24550 24553 21492 0 -1 1077944384 16396 12585 0 0 503 94 8 3 20 0 20 0 11190503 11261440000 697929 33554432000 4194304 4196468 140733982615216 139841937189904 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24610] ppid=24550 vsize=10997500 CPUtime=6.02 cores=4-7,12-15
/proc/24553/task/24610/stat : 24610 (java) S 24550 24553 21492 0 -1 1077944384 15762 12585 0 0 497 94 8 3 20 0 20 0 11190503 11261440000 697929 33554432000 4194304 4196468 140733982615216 139841936137360 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24611] ppid=24550 vsize=10997500 CPUtime=6.13 cores=4-7,12-15
/proc/24553/task/24611/stat : 24611 (java) S 24550 24553 21492 0 -1 1077944384 13598 12585 0 0 506 96 8 3 20 0 20 0 11190503 11261440000 697929 33554432000 4194304 4196468 140733982615216 139841935084304 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24612] ppid=24550 vsize=10997500 CPUtime=6.01 cores=4-7,12-15
/proc/24553/task/24612/stat : 24612 (java) S 24550 24553 21492 0 -1 1077944384 16118 12585 0 0 496 94 8 3 20 0 20 0 11190503 11261440000 697929 33554432000 4194304 4196468 140733982615216 139841934031760 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24613] ppid=24550 vsize=10997500 CPUtime=6.05 cores=4-7,12-15
/proc/24553/task/24613/stat : 24613 (java) S 24550 24553 21492 0 -1 1077944384 14024 12585 0 0 499 95 8 3 20 0 20 0 11190503 11261440000 697929 33554432000 4194304 4196468 140733982615216 139841932978704 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24614] ppid=24550 vsize=10997500 CPUtime=6.04 cores=4-7,12-15
/proc/24553/task/24614/stat : 24614 (java) S 24550 24553 21492 0 -1 1077944384 12675 12585 0 0 498 95 8 3 20 0 20 0 11190503 11261440000 697929 33554432000 4194304 4196468 140733982615216 139841931926160 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24615] ppid=24550 vsize=10997500 CPUtime=6.01 cores=4-7,12-15
/proc/24553/task/24615/stat : 24615 (java) S 24550 24553 21492 0 -1 1077944384 12531 12585 0 0 501 89 8 3 20 0 20 0 11190503 11261440000 697929 33554432000 4194304 4196468 140733982615216 139841930873104 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24616] ppid=24550 vsize=10997500 CPUtime=6.1 cores=4-7,12-15
/proc/24553/task/24616/stat : 24616 (java) S 24550 24553 21492 0 -1 1077944384 11017 12585 0 0 507 92 8 3 20 0 20 0 11190503 11261440000 697929 33554432000 4194304 4196468 140733982615216 139841929820560 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24617] ppid=24550 vsize=10997500 CPUtime=1.26 cores=4-7,12-15
/proc/24553/task/24617/stat : 24617 (java) S 24550 24553 21492 0 -1 1077944384 29955 12585 0 0 96 19 8 3 20 0 20 0 11190506 11261440000 697929 33554432000 4194304 4196468 140733982615216 139840759708400 139842011126402 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24618] ppid=24550 vsize=10997500 CPUtime=0.11 cores=4-7,12-15
/proc/24553/task/24618/stat : 24618 (java) S 24550 24553 21492 0 -1 1077944384 63 12585 0 0 0 0 8 3 20 0 20 0 11190506 11261440000 697929 33554432000 4194304 4196468 140733982615216 139840758654752 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24619] ppid=24550 vsize=10997500 CPUtime=0.11 cores=4-7,12-15
/proc/24553/task/24619/stat : 24619 (java) S 24550 24553 21492 0 -1 1077944384 57 12585 0 0 0 0 8 3 20 0 20 0 11190507 11261440000 697929 33554432000 4194304 4196468 140733982615216 139840757601536 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24620] ppid=24550 vsize=10997500 CPUtime=0.11 cores=4-7,12-15
/proc/24553/task/24620/stat : 24620 (java) S 24550 24553 21492 0 -1 1077944384 1 12585 0 0 0 0 8 3 20 0 20 0 11190511 11261440000 697929 33554432000 4194304 4196468 140733982615216 139840756550096 139842011133851 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24621] ppid=24550 vsize=10997500 CPUtime=5.01 cores=4-7,12-15
/proc/24553/task/24621/stat : 24621 (java) S 24550 24553 21492 0 -1 1077944384 17367 12585 0 0 486 4 8 3 20 0 20 0 11190511 11261440000 697929 33554432000 4194304 4196468 140733982615216 139840755497200 139842011126402 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24622] ppid=24550 vsize=10997500 CPUtime=4.66 cores=4-7,12-15
/proc/24553/task/24622/stat : 24622 (java) S 24550 24553 21492 0 -1 1077944384 14672 12585 0 0 451 4 8 3 20 0 20 0 11190511 11261440000 697929 33554432000 4194304 4196468 140733982615216 139840754444656 139842011126402 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24623] ppid=24550 vsize=10997500 CPUtime=4.94 cores=4-7,12-15
/proc/24553/task/24623/stat : 24623 (java) S 24550 24553 21492 0 -1 1077944384 16542 12585 0 0 478 5 8 3 20 0 20 0 11190511 11261440000 697929 33554432000 4194304 4196468 140733982615216 139840753391600 139842011126402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24624] ppid=24550 vsize=10997500 CPUtime=2.88 cores=4-7,12-15
/proc/24553/task/24624/stat : 24624 (java) S 24550 24553 21492 0 -1 1077944384 15153 12585 0 0 272 5 8 3 20 0 20 0 11190511 11261440000 697929 33554432000 4194304 4196468 140733982615216 139840752339056 139842011126402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24625] ppid=24550 vsize=10997500 CPUtime=0.11 cores=4-7,12-15
/proc/24553/task/24625/stat : 24625 (java) S 24550 24553 21492 0 -1 1077944384 3 12585 0 0 0 0 8 3 20 0 20 0 11190511 11261440000 697929 33554432000 4194304 4196468 140733982615216 139840751287264 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24626] ppid=24550 vsize=10997500 CPUtime=1.26 cores=4-7,12-15
/proc/24553/task/24626/stat : 24626 (java) S 24550 24553 21492 0 -1 1077944384 1153 12585 0 0 52 63 8 3 20 0 20 0 11190511 11261440000 697929 33554432000 4194304 4196468 140733982615216 139840750234800 139842011126402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
Current children cumulated CPU time (s) 2380.55
Current children cumulated vsize (KiB) 10997500
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2341.5 s]
/proc/loadavg: 1.66 1.78 1.77 3/282 24896
/proc/meminfo: memFree=25747316/32770624 swapFree=5816/244208
[pid=24553] ppid=24550 vsize=10997500 CPUtime=2400.03 cores=4-7,12-15
/proc/24553/stat : 24553 (java) S 24550 24553 21492 0 -1 1077944320 387075 12585 0 0 239073 919 8 3 20 0 20 0 11190490 11261440000 695636 33554432000 4194304 4196468 140733982615216 140733982597760 139842011115255 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
/proc/24553/statm: 2749375 695636 3516 1 0 2736930 0
[pid=24553/tid=24608] ppid=24550 vsize=10997500 CPUtime=2332.6 cores=4-7,12-15
/proc/24553/task/24608/stat : 24608 (java) R 24550 24553 21492 0 -1 4202560 177384 12585 0 0 233166 83 8 3 20 0 20 0 11190502 11261440000 695636 33554432000 4194304 4196468 140733982615216 139842015349136 139841618436124 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24609] ppid=24550 vsize=10997500 CPUtime=6.12 cores=4-7,12-15
/proc/24553/task/24609/stat : 24609 (java) S 24550 24553 21492 0 -1 1077944384 16450 12585 0 0 507 94 8 3 20 0 20 0 11190503 11261440000 695636 33554432000 4194304 4196468 140733982615216 139841937189904 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24610] ppid=24550 vsize=10997500 CPUtime=6.05 cores=4-7,12-15
/proc/24553/task/24610/stat : 24610 (java) S 24550 24553 21492 0 -1 1077944384 15806 12585 0 0 500 94 8 3 20 0 20 0 11190503 11261440000 695636 33554432000 4194304 4196468 140733982615216 139841936137360 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24611] ppid=24550 vsize=10997500 CPUtime=6.17 cores=4-7,12-15
/proc/24553/task/24611/stat : 24611 (java) S 24550 24553 21492 0 -1 1077944384 13642 12585 0 0 510 96 8 3 20 0 20 0 11190503 11261440000 695636 33554432000 4194304 4196468 140733982615216 139841935084304 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24612] ppid=24550 vsize=10997500 CPUtime=6.05 cores=4-7,12-15
/proc/24553/task/24612/stat : 24612 (java) S 24550 24553 21492 0 -1 1077944384 16171 12585 0 0 499 95 8 3 20 0 20 0 11190503 11261440000 695636 33554432000 4194304 4196468 140733982615216 139841934031760 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24613] ppid=24550 vsize=10997500 CPUtime=6.09 cores=4-7,12-15
/proc/24553/task/24613/stat : 24613 (java) S 24550 24553 21492 0 -1 1077944384 14083 12585 0 0 503 95 8 3 20 0 20 0 11190503 11261440000 695636 33554432000 4194304 4196468 140733982615216 139841932978704 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24614] ppid=24550 vsize=10997500 CPUtime=6.09 cores=4-7,12-15
/proc/24553/task/24614/stat : 24614 (java) S 24550 24553 21492 0 -1 1077944384 12744 12585 0 0 503 95 8 3 20 0 20 0 11190503 11261440000 695636 33554432000 4194304 4196468 140733982615216 139841931926160 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24615] ppid=24550 vsize=10997500 CPUtime=6.06 cores=4-7,12-15
/proc/24553/task/24615/stat : 24615 (java) S 24550 24553 21492 0 -1 1077944384 12671 12585 0 0 505 90 8 3 20 0 20 0 11190503 11261440000 695636 33554432000 4194304 4196468 140733982615216 139841930873104 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24616] ppid=24550 vsize=10997500 CPUtime=6.14 cores=4-7,12-15
/proc/24553/task/24616/stat : 24616 (java) S 24550 24553 21492 0 -1 1077944384 11026 12585 0 0 511 92 8 3 20 0 20 0 11190503 11261440000 695636 33554432000 4194304 4196468 140733982615216 139841929820560 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24617] ppid=24550 vsize=10997500 CPUtime=1.27 cores=4-7,12-15
/proc/24553/task/24617/stat : 24617 (java) S 24550 24553 21492 0 -1 1077944384 29955 12585 0 0 97 19 8 3 20 0 20 0 11190506 11261440000 695636 33554432000 4194304 4196468 140733982615216 139840759708400 139842011126402 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24618] ppid=24550 vsize=10997500 CPUtime=0.11 cores=4-7,12-15
/proc/24553/task/24618/stat : 24618 (java) S 24550 24553 21492 0 -1 1077944384 63 12585 0 0 0 0 8 3 20 0 20 0 11190506 11261440000 695636 33554432000 4194304 4196468 140733982615216 139840758654752 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24619] ppid=24550 vsize=10997500 CPUtime=0.11 cores=4-7,12-15
/proc/24553/task/24619/stat : 24619 (java) S 24550 24553 21492 0 -1 1077944384 57 12585 0 0 0 0 8 3 20 0 20 0 11190507 11261440000 695636 33554432000 4194304 4196468 140733982615216 139840757601536 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24620] ppid=24550 vsize=10997500 CPUtime=0.11 cores=4-7,12-15
/proc/24553/task/24620/stat : 24620 (java) S 24550 24553 21492 0 -1 1077944384 1 12585 0 0 0 0 8 3 20 0 20 0 11190511 11261440000 695636 33554432000 4194304 4196468 140733982615216 139840756550096 139842011133851 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24621] ppid=24550 vsize=10997500 CPUtime=5.01 cores=4-7,12-15
/proc/24553/task/24621/stat : 24621 (java) S 24550 24553 21492 0 -1 1077944384 17367 12585 0 0 486 4 8 3 20 0 20 0 11190511 11261440000 695636 33554432000 4194304 4196468 140733982615216 139840755497200 139842011126402 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24622] ppid=24550 vsize=10997500 CPUtime=4.66 cores=4-7,12-15
/proc/24553/task/24622/stat : 24622 (java) S 24550 24553 21492 0 -1 1077944384 14672 12585 0 0 451 4 8 3 20 0 20 0 11190511 11261440000 695636 33554432000 4194304 4196468 140733982615216 139840754444656 139842011126402 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24623] ppid=24550 vsize=10997500 CPUtime=4.94 cores=4-7,12-15
/proc/24553/task/24623/stat : 24623 (java) S 24550 24553 21492 0 -1 1077944384 16542 12585 0 0 478 5 8 3 20 0 20 0 11190511 11261440000 695636 33554432000 4194304 4196468 140733982615216 139840753391600 139842011126402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24624] ppid=24550 vsize=10997500 CPUtime=2.88 cores=4-7,12-15
/proc/24553/task/24624/stat : 24624 (java) S 24550 24553 21492 0 -1 1077944384 15153 12585 0 0 272 5 8 3 20 0 20 0 11190511 11261440000 695636 33554432000 4194304 4196468 140733982615216 139840752339056 139842011126402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24625] ppid=24550 vsize=10997500 CPUtime=0.11 cores=4-7,12-15
/proc/24553/task/24625/stat : 24625 (java) S 24550 24553 21492 0 -1 1077944384 3 12585 0 0 0 0 8 3 20 0 20 0 11190511 11261440000 695636 33554432000 4194304 4196468 140733982615216 139840751287264 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24626] ppid=24550 vsize=10997500 CPUtime=1.26 cores=4-7,12-15
/proc/24553/task/24626/stat : 24626 (java) S 24550 24553 21492 0 -1 1077944384 1153 12585 0 0 52 63 8 3 20 0 20 0 11190511 11261440000 695636 33554432000 4194304 4196468 140733982615216 139840750234800 139842011126402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
Current children cumulated CPU time (s) 2400.03
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 24553 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2341.5 s]
/proc/loadavg: 1.66 1.78 1.77 3/282 24896
/proc/meminfo: memFree=25747316/32770624 swapFree=5816/244208
[pid=24553] ppid=24550 vsize=10997500 CPUtime=2400.03 cores=4-7,12-15
/proc/24553/stat : 24553 (java) S 24550 24553 21492 0 -1 1077944320 387075 12585 0 0 239073 919 8 3 20 0 20 0 11190490 11261440000 695636 33554432000 4194304 4196468 140733982615216 140733982597760 139842011115255 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
/proc/24553/statm: 2749375 695636 3516 1 0 2736930 0
[pid=24553/tid=24608] ppid=24550 vsize=10997500 CPUtime=2332.6 cores=4-7,12-15
/proc/24553/task/24608/stat : 24608 (java) R 24550 24553 21492 0 -1 4202560 177384 12585 0 0 233166 83 8 3 20 0 20 0 11190502 11261440000 695636 33554432000 4194304 4196468 140733982615216 139842015349136 139841618436124 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24609] ppid=24550 vsize=10997500 CPUtime=6.12 cores=4-7,12-15
/proc/24553/task/24609/stat : 24609 (java) S 24550 24553 21492 0 -1 1077944384 16450 12585 0 0 507 94 8 3 20 0 20 0 11190503 11261440000 695636 33554432000 4194304 4196468 140733982615216 139841937189904 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24610] ppid=24550 vsize=10997500 CPUtime=6.05 cores=4-7,12-15
/proc/24553/task/24610/stat : 24610 (java) S 24550 24553 21492 0 -1 1077944384 15806 12585 0 0 500 94 8 3 20 0 20 0 11190503 11261440000 695636 33554432000 4194304 4196468 140733982615216 139841936137360 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24611] ppid=24550 vsize=10997500 CPUtime=6.17 cores=4-7,12-15
/proc/24553/task/24611/stat : 24611 (java) S 24550 24553 21492 0 -1 1077944384 13642 12585 0 0 510 96 8 3 20 0 20 0 11190503 11261440000 695636 33554432000 4194304 4196468 140733982615216 139841935084304 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24612] ppid=24550 vsize=10997500 CPUtime=6.05 cores=4-7,12-15
/proc/24553/task/24612/stat : 24612 (java) S 24550 24553 21492 0 -1 1077944384 16171 12585 0 0 499 95 8 3 20 0 20 0 11190503 11261440000 695636 33554432000 4194304 4196468 140733982615216 139841934031760 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24613] ppid=24550 vsize=10997500 CPUtime=6.09 cores=4-7,12-15
/proc/24553/task/24613/stat : 24613 (java) S 24550 24553 21492 0 -1 1077944384 14083 12585 0 0 503 95 8 3 20 0 20 0 11190503 11261440000 695636 33554432000 4194304 4196468 140733982615216 139841932978704 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24614] ppid=24550 vsize=10997500 CPUtime=6.09 cores=4-7,12-15
/proc/24553/task/24614/stat : 24614 (java) S 24550 24553 21492 0 -1 1077944384 12744 12585 0 0 503 95 8 3 20 0 20 0 11190503 11261440000 695636 33554432000 4194304 4196468 140733982615216 139841931926160 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24615] ppid=24550 vsize=10997500 CPUtime=6.06 cores=4-7,12-15
/proc/24553/task/24615/stat : 24615 (java) S 24550 24553 21492 0 -1 1077944384 12671 12585 0 0 505 90 8 3 20 0 20 0 11190503 11261440000 695636 33554432000 4194304 4196468 140733982615216 139841930873104 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24616] ppid=24550 vsize=10997500 CPUtime=6.14 cores=4-7,12-15
/proc/24553/task/24616/stat : 24616 (java) S 24550 24553 21492 0 -1 1077944384 11026 12585 0 0 511 92 8 3 20 0 20 0 11190503 11261440000 695636 33554432000 4194304 4196468 140733982615216 139841929820560 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24617] ppid=24550 vsize=10997500 CPUtime=1.27 cores=4-7,12-15
/proc/24553/task/24617/stat : 24617 (java) S 24550 24553 21492 0 -1 1077944384 29955 12585 0 0 97 19 8 3 20 0 20 0 11190506 11261440000 695636 33554432000 4194304 4196468 140733982615216 139840759708400 139842011126402 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24618] ppid=24550 vsize=10997500 CPUtime=0.11 cores=4-7,12-15
/proc/24553/task/24618/stat : 24618 (java) S 24550 24553 21492 0 -1 1077944384 63 12585 0 0 0 0 8 3 20 0 20 0 11190506 11261440000 695636 33554432000 4194304 4196468 140733982615216 139840758654752 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24619] ppid=24550 vsize=10997500 CPUtime=0.11 cores=4-7,12-15
/proc/24553/task/24619/stat : 24619 (java) S 24550 24553 21492 0 -1 1077944384 57 12585 0 0 0 0 8 3 20 0 20 0 11190507 11261440000 695636 33554432000 4194304 4196468 140733982615216 139840757601536 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24620] ppid=24550 vsize=10997500 CPUtime=0.11 cores=4-7,12-15
/proc/24553/task/24620/stat : 24620 (java) S 24550 24553 21492 0 -1 1077944384 1 12585 0 0 0 0 8 3 20 0 20 0 11190511 11261440000 695636 33554432000 4194304 4196468 140733982615216 139840756550096 139842011133851 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24621] ppid=24550 vsize=10997500 CPUtime=5.01 cores=4-7,12-15
/proc/24553/task/24621/stat : 24621 (java) S 24550 24553 21492 0 -1 1077944384 17367 12585 0 0 486 4 8 3 20 0 20 0 11190511 11261440000 695636 33554432000 4194304 4196468 140733982615216 139840755497200 139842011126402 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24622] ppid=24550 vsize=10997500 CPUtime=4.66 cores=4-7,12-15
/proc/24553/task/24622/stat : 24622 (java) S 24550 24553 21492 0 -1 1077944384 14672 12585 0 0 451 4 8 3 20 0 20 0 11190511 11261440000 695636 33554432000 4194304 4196468 140733982615216 139840754444656 139842011126402 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24623] ppid=24550 vsize=10997500 CPUtime=4.94 cores=4-7,12-15
/proc/24553/task/24623/stat : 24623 (java) S 24550 24553 21492 0 -1 1077944384 16542 12585 0 0 478 5 8 3 20 0 20 0 11190511 11261440000 695636 33554432000 4194304 4196468 140733982615216 139840753391600 139842011126402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24624] ppid=24550 vsize=10997500 CPUtime=2.88 cores=4-7,12-15
/proc/24553/task/24624/stat : 24624 (java) S 24550 24553 21492 0 -1 1077944384 15153 12585 0 0 272 5 8 3 20 0 20 0 11190511 11261440000 695636 33554432000 4194304 4196468 140733982615216 139840752339056 139842011126402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24625] ppid=24550 vsize=10997500 CPUtime=0.11 cores=4-7,12-15
/proc/24553/task/24625/stat : 24625 (java) S 24550 24553 21492 0 -1 1077944384 3 12585 0 0 0 0 8 3 20 0 20 0 11190511 11261440000 695636 33554432000 4194304 4196468 140733982615216 139840751287264 139842011125461 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
[pid=24553/tid=24626] ppid=24550 vsize=10997500 CPUtime=1.26 cores=4-7,12-15
/proc/24553/task/24626/stat : 24626 (java) S 24550 24553 21492 0 -1 1077944384 1153 12585 0 0 52 63 8 3 20 0 20 0 11190511 11261440000 695636 33554432000 4194304 4196468 140733982615216 139840750234800 139842011126402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31404032 140733982620353 140733982623127 140733982623127 140733982625743 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 10997500
Child status: 143
Real time (s): 2341.54
CPU time (s): 2400.1
CPU user time (s): 2390.84
CPU system time (s): 9.25583
CPU usage (%): 102.501
Max. virtual memory (cumulated for all children) (KiB): 10999616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2390.84
system time used= 9.25583
maximum resident set size= 3228400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 401029
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 94987
involuntary context switches= 128671
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.426 second user time and 20.0353 second system time
The end