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-4247870-1500738818/watcher-4247870-1500738818 -o /tmp/evaluation-result-4247870-1500738818/solver-4247870-1500738818 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500718419-12025 --watchdog 2560 bin/concrete HOME/instance-4247870-1500738818.xml
pid=17553
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.53 1.62 1.66 3/262 17556
/proc/meminfo: memFree=30700824/32770624 swapFree=6384/340188
[pid=17556] ppid=17553 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17556/stat : 17556 (bash) S 17553 17556 11993 0 -1 4202496 686 1532 0 0 0 0 0 0 20 0 1 0 9149449 9736192 350 33554432000 4194304 5098028 140735557784336 140735557781976 140009329404928 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 8466432 140735557788942 140735557789027 140735557789027 140735557791726 0
/proc/17556/statm: 2377 350 277 221 0 86 0
[startup+0.100068 s]
/proc/loadavg: 1.53 1.62 1.66 3/262 17556
/proc/meminfo: memFree=30700824/32770624 swapFree=6384/340188
[pid=17556] ppid=17553 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/17556/stat : 17556 (bash) S 17553 17556 11993 0 -1 4202496 884 6418 0 0 0 0 0 1 20 0 1 0 9149449 9871360 378 33554432000 4194304 5098028 140735557784336 140735557778344 140009329404928 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 8466432 140735557788942 140735557789027 140735557789027 140735557791726 0
/proc/17556/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.200409 s]
/proc/loadavg: 1.53 1.62 1.66 3/262 17556
/proc/meminfo: memFree=30700824/32770624 swapFree=6384/340188
[pid=17556] ppid=17553 vsize=10435860 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/17556/stat : 17556 (java) S 17553 17556 11993 0 -1 1077944320 4654 12687 0 0 4 2 9 3 20 0 13 0 9149449 10686320640 5014 33554432000 4194304 4196468 140734707319200 140734707301744 140005758996215 0 0 0 16784584 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
/proc/17556/statm: 2608965 5014 2126 1 0 2597403 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 10435860
[startup+0.300326 s]
/proc/loadavg: 1.53 1.62 1.66 3/262 17556
/proc/meminfo: memFree=30700824/32770624 swapFree=6384/340188
[pid=17556] ppid=17553 vsize=10902292 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/17556/stat : 17556 (java) S 17553 17556 11993 0 -1 1077944320 6672 12687 0 0 21 2 9 3 20 0 20 0 9149449 11163947008 8439 33554432000 4194304 4196468 140734707319200 140734707301744 140005758996215 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
/proc/17556/statm: 2725573 8439 2960 1 0 2713890 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 10902292
[startup+0.700258 s]
/proc/loadavg: 1.53 1.62 1.66 3/262 17556
/proc/meminfo: memFree=30700824/32770624 swapFree=6384/340188
[pid=17556] ppid=17553 vsize=10902720 CPUtime=0.87 cores=1,3,5,7,9,11,13,15
/proc/17556/stat : 17556 (java) S 17553 17556 11993 0 -1 1077944320 12108 12687 0 0 70 5 9 3 20 0 20 0 9149449 11164385280 14943 33554432000 4194304 4196468 140734707319200 140734707301744 140005758996215 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
/proc/17556/statm: 2725680 14943 3132 1 0 2713890 0
Current children cumulated CPU time (s) 0.87
Current children cumulated vsize (KiB) 10902720
[startup+1.50449 s]
/proc/loadavg: 1.53 1.62 1.66 4/282 17629
/proc/meminfo: memFree=30602256/32770624 swapFree=6384/340188
[pid=17556] ppid=17553 vsize=10913344 CPUtime=2.15 cores=1,3,5,7,9,11,13,15
/proc/17556/stat : 17556 (java) S 17553 17556 11993 0 -1 1077944320 25874 12687 0 0 193 10 9 3 20 0 20 0 9149449 11175264256 36963 33554432000 4194304 4196468 140734707319200 140734707301744 140005758996215 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
/proc/17556/statm: 2728336 36963 3380 1 0 2716450 0
[pid=17556/tid=17611] ppid=17553 vsize=10913344 CPUtime=1.45 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17611/stat : 17611 (java) S 17553 17556 11993 0 -1 1077944384 19600 12687 0 0 127 6 9 3 20 0 20 0 9149463 11175264256 36963 33554432000 4194304 4196468 140734707319200 140005763215792 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17612] ppid=17553 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17612/stat : 17612 (java) S 17553 17556 11993 0 -1 1077944384 121 12687 0 0 0 0 9 3 20 0 20 0 9149464 11175264256 36963 33554432000 4194304 4196468 140734707319200 140005685070480 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17613] ppid=17553 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17613/stat : 17613 (java) S 17553 17556 11993 0 -1 1077944384 4 12687 0 0 0 0 9 3 20 0 20 0 9149464 11175264256 36963 33554432000 4194304 4196468 140734707319200 140005684017680 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17614] ppid=17553 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17614/stat : 17614 (java) S 17553 17556 11993 0 -1 1077944384 6 12687 0 0 0 0 9 3 20 0 20 0 9149464 11175264256 36963 33554432000 4194304 4196468 140734707319200 140005682964880 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17615] ppid=17553 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17615/stat : 17615 (java) S 17553 17556 11993 0 -1 1077944384 25 12687 0 0 0 0 9 3 20 0 20 0 9149464 11175264256 36963 33554432000 4194304 4196468 140734707319200 140005681912080 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17616] ppid=17553 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17616/stat : 17616 (java) S 17553 17556 11993 0 -1 1077944384 22 12687 0 0 0 0 9 3 20 0 20 0 9149464 11175264256 36963 33554432000 4194304 4196468 140734707319200 140005680860304 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17617] ppid=17553 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17617/stat : 17617 (java) S 17553 17556 11993 0 -1 1077944384 8 12687 0 0 0 0 9 3 20 0 20 0 9149464 11175264256 36963 33554432000 4194304 4196468 140734707319200 140005679807504 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17618] ppid=17553 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17618/stat : 17618 (java) S 17553 17556 11993 0 -1 1077944384 29 12687 0 0 0 0 9 3 20 0 20 0 9149464 11175264256 36963 33554432000 4194304 4196468 140734707319200 140005678754704 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17619] ppid=17553 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17619/stat : 17619 (java) S 17553 17556 11993 0 -1 1077944384 26 12687 0 0 0 0 9 3 20 0 20 0 9149464 11175264256 36963 33554432000 4194304 4196468 140734707319200 140005677701904 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17620] ppid=17553 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17620/stat : 17620 (java) R 17553 17556 11993 0 -1 4202560 44 12687 0 0 0 0 9 3 20 0 20 0 9149466 11175264256 36963 33554432000 4194304 4196468 140734707319200 140005233173376 140005740643786 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17621] ppid=17553 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17621/stat : 17621 (java) S 17553 17556 11993 0 -1 1077944384 33 12687 0 0 0 0 9 3 20 0 20 0 9149467 11175264256 36963 33554432000 4194304 4196468 140734707319200 140005232120864 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17622] ppid=17553 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17622/stat : 17622 (java) S 17553 17556 11993 0 -1 1077944384 21 12687 0 0 0 0 9 3 20 0 20 0 9149468 11175264256 36963 33554432000 4194304 4196468 140734707319200 140005231068016 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17623] ppid=17553 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17623/stat : 17623 (java) S 17553 17556 11993 0 -1 1077944384 1 12687 0 0 0 0 9 3 20 0 20 0 9149472 11175264256 36963 33554432000 4194304 4196468 140734707319200 140005230016336 140005759014811 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17624] ppid=17553 vsize=10913344 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17624/stat : 17624 (java) S 17553 17556 11993 0 -1 1077944384 1719 12687 0 0 13 0 9 3 20 0 20 0 9149472 11175264256 36963 33554432000 4194304 4196468 140734707319200 140005228964720 140005759007362 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17625] ppid=17553 vsize=10913344 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17625/stat : 17625 (java) S 17553 17556 11993 0 -1 1077944384 382 12687 0 0 11 0 9 3 20 0 20 0 9149472 11175264256 36963 33554432000 4194304 4196468 140734707319200 140005227911920 140005759007362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17626] ppid=17553 vsize=10913344 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17626/stat : 17626 (java) S 17553 17556 11993 0 -1 1077944384 590 12687 0 0 13 0 9 3 20 0 20 0 9149472 11175264256 36963 33554432000 4194304 4196468 140734707319200 140005226859120 140005759007362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17627] ppid=17553 vsize=10913344 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17627/stat : 17627 (java) S 17553 17556 11993 0 -1 1077944384 1103 12687 0 0 25 0 9 3 20 0 20 0 9149472 11175264256 36963 33554432000 4194304 4196468 140734707319200 140005225803696 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17628] ppid=17553 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17628/stat : 17628 (java) S 17553 17556 11993 0 -1 1077944384 3 12687 0 0 0 0 9 3 20 0 20 0 9149472 11175264256 36963 33554432000 4194304 4196468 140734707319200 140005224753760 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17629] ppid=17553 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17629/stat : 17629 (java) S 17553 17556 11993 0 -1 1077944384 6 12687 0 0 0 0 9 3 20 0 20 0 9149472 11175264256 36963 33554432000 4194304 4196468 140734707319200 140005223701040 140005759007362 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
Current children cumulated CPU time (s) 2.15
Current children cumulated vsize (KiB) 10913344
[startup+3.10116 s]
/proc/loadavg: 1.53 1.62 1.66 4/282 17629
/proc/meminfo: memFree=30526284/32770624 swapFree=6384/340520
[pid=17556] ppid=17553 vsize=10923772 CPUtime=6.85 cores=1,3,5,7,9,11,13,15
/proc/17556/stat : 17556 (java) S 17553 17556 11993 0 -1 1077944320 38866 12687 0 0 654 19 9 3 20 0 20 0 9149449 11185942528 60810 33554432000 4194304 4196468 140734707319200 140734707301744 140005758996215 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
/proc/17556/statm: 2730943 60810 3476 1 0 2718498 0
[pid=17556/tid=17611] ppid=17553 vsize=10923772 CPUtime=3.01 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17611/stat : 17611 (java) R 17553 17556 11993 0 -1 4202560 26045 12687 0 0 281 8 9 3 20 0 20 0 9149463 11185942528 60810 33554432000 4194304 4196468 140734707319200 140005763224200 140005354648142 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17612] ppid=17553 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17612/stat : 17612 (java) S 17553 17556 11993 0 -1 1077944384 127 12687 0 0 0 0 9 3 20 0 20 0 9149464 11185942528 60810 33554432000 4194304 4196468 140734707319200 140005685070480 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17613] ppid=17553 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17613/stat : 17613 (java) S 17553 17556 11993 0 -1 1077944384 10 12687 0 0 0 0 9 3 20 0 20 0 9149464 11185942528 60810 33554432000 4194304 4196468 140734707319200 140005684017680 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17614] ppid=17553 vsize=10923772 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17614/stat : 17614 (java) S 17553 17556 11993 0 -1 1077944384 19 12687 0 0 1 0 9 3 20 0 20 0 9149464 11185942528 60810 33554432000 4194304 4196468 140734707319200 140005682964880 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17615] ppid=17553 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17615/stat : 17615 (java) S 17553 17556 11993 0 -1 1077944384 44 12687 0 0 0 0 9 3 20 0 20 0 9149464 11185942528 60810 33554432000 4194304 4196468 140734707319200 140005681912080 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17616] ppid=17553 vsize=10923772 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17616/stat : 17616 (java) S 17553 17556 11993 0 -1 1077944384 32 12687 0 0 1 0 9 3 20 0 20 0 9149464 11185942528 60810 33554432000 4194304 4196468 140734707319200 140005680860304 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17617] ppid=17553 vsize=10923772 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17617/stat : 17617 (java) S 17553 17556 11993 0 -1 1077944384 12 12687 0 0 1 0 9 3 20 0 20 0 9149464 11185942528 60810 33554432000 4194304 4196468 140734707319200 140005679807504 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17618] ppid=17553 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17618/stat : 17618 (java) S 17553 17556 11993 0 -1 1077944384 32 12687 0 0 0 0 9 3 20 0 20 0 9149464 11185942528 60810 33554432000 4194304 4196468 140734707319200 140005678754704 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17619] ppid=17553 vsize=10923772 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17619/stat : 17619 (java) S 17553 17556 11993 0 -1 1077944384 34 12687 0 0 1 0 9 3 20 0 20 0 9149464 11185942528 60810 33554432000 4194304 4196468 140734707319200 140005677701904 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17620] ppid=17553 vsize=10923772 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17620/stat : 17620 (java) S 17553 17556 11993 0 -1 1077944384 701 12687 0 0 1 0 9 3 20 0 20 0 9149466 11185942528 60810 33554432000 4194304 4196468 140734707319200 140005233174896 140005759007362 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17621] ppid=17553 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17621/stat : 17621 (java) S 17553 17556 11993 0 -1 1077944384 56 12687 0 0 0 0 9 3 20 0 20 0 9149467 11185942528 60810 33554432000 4194304 4196468 140734707319200 140005232120928 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17622] ppid=17553 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17622/stat : 17622 (java) S 17553 17556 11993 0 -1 1077944384 44 12687 0 0 0 0 9 3 20 0 20 0 9149468 11185942528 60810 33554432000 4194304 4196468 140734707319200 140005231068032 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17623] ppid=17553 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17623/stat : 17623 (java) S 17553 17556 11993 0 -1 1077944384 1 12687 0 0 0 0 9 3 20 0 20 0 9149472 11185942528 60810 33554432000 4194304 4196468 140734707319200 140005230016336 140005759014811 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17624] ppid=17553 vsize=10923772 CPUtime=0.96 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17624/stat : 17624 (java) R 17553 17556 11993 0 -1 4202560 2706 12687 0 0 83 1 9 3 20 0 20 0 9149472 11185942528 60810 33554432000 4194304 4196468 140734707319200 140005228951264 140005736594080 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17625] ppid=17553 vsize=10923772 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17625/stat : 17625 (java) R 17553 17556 11993 0 -1 4202560 1395 12687 0 0 76 1 9 3 20 0 20 0 9149472 11185942528 60810 33554432000 4194304 4196468 140734707319200 140005227892000 140005743385072 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17626] ppid=17553 vsize=10923772 CPUtime=1.09 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17626/stat : 17626 (java) R 17553 17556 11993 0 -1 4202560 1734 12687 0 0 96 1 9 3 20 0 20 0 9149472 11185942528 60810 33554432000 4194304 4196468 140734707319200 140005226845664 140005742496421 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17627] ppid=17553 vsize=10923772 CPUtime=1.19 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17627/stat : 17627 (java) S 17553 17556 11993 0 -1 1077944384 3731 12687 0 0 106 1 9 3 20 0 20 0 9149472 11185942528 60810 33554432000 4194304 4196468 140734707319200 140005225806320 140005759007362 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17628] ppid=17553 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17628/stat : 17628 (java) S 17553 17556 11993 0 -1 1077944384 3 12687 0 0 0 0 9 3 20 0 20 0 9149472 11185942528 60810 33554432000 4194304 4196468 140734707319200 140005224753760 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17629] ppid=17553 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17629/stat : 17629 (java) S 17553 17556 11993 0 -1 1077944384 7 12687 0 0 0 0 9 3 20 0 20 0 9149472 11185942528 60810 33554432000 4194304 4196468 140734707319200 140005223701040 140005759007362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
Current children cumulated CPU time (s) 6.85
Current children cumulated vsize (KiB) 10923772
[startup+6.30122 s]
/proc/loadavg: 1.65 1.65 1.67 6/282 17629
/proc/meminfo: memFree=30386100/32770624 swapFree=6384/340524
[pid=17556] ppid=17553 vsize=10927868 CPUtime=17.25 cores=1,3,5,7,9,11,13,15
/proc/17556/stat : 17556 (java) S 17553 17556 11993 0 -1 1077944320 57740 12687 0 0 1670 43 9 3 20 0 20 0 9149449 11190136832 93724 33554432000 4194304 4196468 140734707319200 140734707301744 140005758996215 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
/proc/17556/statm: 2731967 93724 3507 1 0 2719522 0
[pid=17556/tid=17611] ppid=17553 vsize=10927868 CPUtime=6.12 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17611/stat : 17611 (java) R 17553 17556 11993 0 -1 4202560 35893 12687 0 0 591 9 9 3 20 0 20 0 9149463 11190136832 93724 33554432000 4194304 4196468 140734707319200 140005763230472 140005354649627 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17612] ppid=17553 vsize=10927868 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17612/stat : 17612 (java) S 17553 17556 11993 0 -1 1077944384 198 12687 0 0 4 3 9 3 20 0 20 0 9149464 11190136832 93724 33554432000 4194304 4196468 140734707319200 140005685070480 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17613] ppid=17553 vsize=10927868 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17613/stat : 17613 (java) S 17553 17556 11993 0 -1 1077944384 441 12687 0 0 3 3 9 3 20 0 20 0 9149464 11190136832 93724 33554432000 4194304 4196468 140734707319200 140005684017680 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17614] ppid=17553 vsize=10927868 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17614/stat : 17614 (java) S 17553 17556 11993 0 -1 1077944384 51 12687 0 0 3 3 9 3 20 0 20 0 9149464 11190136832 93724 33554432000 4194304 4196468 140734707319200 140005682964880 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17615] ppid=17553 vsize=10927868 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17615/stat : 17615 (java) S 17553 17556 11993 0 -1 1077944384 93 12687 0 0 3 3 9 3 20 0 20 0 9149464 11190136832 93724 33554432000 4194304 4196468 140734707319200 140005681912080 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17616] ppid=17553 vsize=10927868 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17616/stat : 17616 (java) S 17553 17556 11993 0 -1 1077944384 115 12687 0 0 4 3 9 3 20 0 20 0 9149464 11190136832 93724 33554432000 4194304 4196468 140734707319200 140005680860304 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17617] ppid=17553 vsize=10927868 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17617/stat : 17617 (java) S 17553 17556 11993 0 -1 1077944384 70 12687 0 0 4 3 9 3 20 0 20 0 9149464 11190136832 93724 33554432000 4194304 4196468 140734707319200 140005679807504 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17618] ppid=17553 vsize=10927868 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17618/stat : 17618 (java) S 17553 17556 11993 0 -1 1077944384 69 12687 0 0 3 2 9 3 20 0 20 0 9149464 11190136832 93724 33554432000 4194304 4196468 140734707319200 140005678754704 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17619] ppid=17553 vsize=10927868 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17619/stat : 17619 (java) S 17553 17556 11993 0 -1 1077944384 122 12687 0 0 4 3 9 3 20 0 20 0 9149464 11190136832 93724 33554432000 4194304 4196468 140734707319200 140005677701904 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17620] ppid=17553 vsize=10927868 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17620/stat : 17620 (java) S 17553 17556 11993 0 -1 1077944384 786 12687 0 0 3 0 9 3 20 0 20 0 9149466 11190136832 93724 33554432000 4194304 4196468 140734707319200 140005233174896 140005759007362 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17621] ppid=17553 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17621/stat : 17621 (java) S 17553 17556 11993 0 -1 1077944384 56 12687 0 0 0 0 9 3 20 0 20 0 9149467 11190136832 93724 33554432000 4194304 4196468 140734707319200 140005232120928 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17622] ppid=17553 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17622/stat : 17622 (java) S 17553 17556 11993 0 -1 1077944384 44 12687 0 0 0 0 9 3 20 0 20 0 9149468 11190136832 93724 33554432000 4194304 4196468 140734707319200 140005231068032 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17623] ppid=17553 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17623/stat : 17623 (java) S 17553 17556 11993 0 -1 1077944384 1 12687 0 0 0 0 9 3 20 0 20 0 9149472 11190136832 93724 33554432000 4194304 4196468 140734707319200 140005230016336 140005759014811 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17624] ppid=17553 vsize=10927868 CPUtime=2.89 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17624/stat : 17624 (java) R 17553 17556 11993 0 -1 4202560 4430 12687 0 0 275 2 9 3 20 0 20 0 9149472 11190136832 93724 33554432000 4194304 4196468 140734707319200 140005228945824 140005742407008 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17625] ppid=17553 vsize=10927868 CPUtime=3 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17625/stat : 17625 (java) R 17553 17556 11993 0 -1 4202560 3639 12687 0 0 287 1 9 3 20 0 20 0 9149472 11190136832 93724 33554432000 4194304 4196468 140734707319200 140005227890848 140005742492992 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17626] ppid=17553 vsize=10927868 CPUtime=3.08 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17626/stat : 17626 (java) R 17553 17556 11993 0 -1 4202560 4088 12687 0 0 295 1 9 3 20 0 20 0 9149472 11190136832 93724 33554432000 4194304 4196468 140734707319200 140005226851608 140734707399199 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17627] ppid=17553 vsize=10927868 CPUtime=1.96 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17627/stat : 17627 (java) R 17553 17556 11993 0 -1 4202560 5497 12687 0 0 183 1 9 3 20 0 20 0 9149472 11190136832 93724 33554432000 4194304 4196468 140734707319200 140005225806240 140005759008150 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17628] ppid=17553 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
/proc/17556/task/17627/stat : 17627 (java) S 17553 17556 11993 0 -1 1077944384 16240 12687 0 0 262 4 9 3 20 0 20 0 9149472 11261440000 190702 33554432000 4194304 4196468 140734707319200 140005225806320 140005759007362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17628] ppid=17553 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17628/stat : 17628 (java) S 17553 17556 11993 0 -1 1077944384 3 12687 0 0 0 0 9 3 20 0 20 0 9149472 11261440000 190702 33554432000 4194304 4196468 140734707319200 140005224753760 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17629] ppid=17553 vsize=10997500 CPUtime=0.76 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17629/stat : 17629 (java) S 17553 17556 11993 0 -1 1077944384 2225 12687 0 0 33 31 9 3 20 0 20 0 9149472 11261440000 190702 33554432000 4194304 4196468 140734707319200 140005223701040 140005759007362 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
Current children cumulated CPU time (s) 2349.69
Current children cumulated vsize (KiB) 10997500
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2372.5 s]
/proc/loadavg: 1.77 1.72 1.64 3/281 17861
/proc/meminfo: memFree=28230060/32770624 swapFree=6384/342260
[pid=17556] ppid=17553 vsize=10997500 CPUtime=2400.04 cores=1,3,5,7,9,11,13,15
/proc/17556/stat : 17556 (java) S 17553 17556 11993 0 -1 1077944320 206230 12687 0 0 239835 157 9 3 20 0 20 0 9149449 11261440000 190704 33554432000 4194304 4196468 140734707319200 140734707301744 140005758996215 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
/proc/17556/statm: 2749375 190704 3517 1 0 2736930 0
[pid=17556/tid=17611] ppid=17553 vsize=10997500 CPUtime=2369.55 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17611/stat : 17611 (java) R 17553 17556 11993 0 -1 4202560 67169 12687 0 0 236922 21 9 3 20 0 20 0 9149463 11261440000 190704 33554432000 4194304 4196468 140734707319200 140005763230672 140005367552050 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17612] ppid=17553 vsize=10997500 CPUtime=1.19 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17612/stat : 17612 (java) S 17553 17556 11993 0 -1 1077944384 7641 12687 0 0 96 11 9 3 20 0 20 0 9149464 11261440000 190704 33554432000 4194304 4196468 140734707319200 140005685070480 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17613] ppid=17553 vsize=10997500 CPUtime=1.18 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17613/stat : 17613 (java) S 17553 17556 11993 0 -1 1077944384 5078 12687 0 0 94 12 9 3 20 0 20 0 9149464 11261440000 190704 33554432000 4194304 4196468 140734707319200 140005684017680 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17614] ppid=17553 vsize=10997500 CPUtime=1.18 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17614/stat : 17614 (java) S 17553 17556 11993 0 -1 1077944384 7440 12687 0 0 94 12 9 3 20 0 20 0 9149464 11261440000 190704 33554432000 4194304 4196468 140734707319200 140005682964880 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17615] ppid=17553 vsize=10997500 CPUtime=1.17 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17615/stat : 17615 (java) S 17553 17556 11993 0 -1 1077944384 2757 12687 0 0 95 10 9 3 20 0 20 0 9149464 11261440000 190704 33554432000 4194304 4196468 140734707319200 140005681912080 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17616] ppid=17553 vsize=10997500 CPUtime=1.2 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17616/stat : 17616 (java) S 17553 17556 11993 0 -1 1077944384 5732 12687 0 0 96 12 9 3 20 0 20 0 9149464 11261440000 190704 33554432000 4194304 4196468 140734707319200 140005680860304 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17617] ppid=17553 vsize=10997500 CPUtime=1.21 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17617/stat : 17617 (java) S 17553 17556 11993 0 -1 1077944384 6114 12687 0 0 99 10 9 3 20 0 20 0 9149464 11261440000 190704 33554432000 4194304 4196468 140734707319200 140005679807504 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17618] ppid=17553 vsize=10997500 CPUtime=1.17 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17618/stat : 17618 (java) S 17553 17556 11993 0 -1 1077944384 7742 12687 0 0 96 9 9 3 20 0 20 0 9149464 11261440000 190704 33554432000 4194304 4196468 140734707319200 140005678754704 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17619] ppid=17553 vsize=10997500 CPUtime=1.18 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17619/stat : 17619 (java) S 17553 17556 11993 0 -1 1077944384 4526 12687 0 0 95 11 9 3 20 0 20 0 9149464 11261440000 190704 33554432000 4194304 4196468 140734707319200 140005677701904 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17620] ppid=17553 vsize=10997500 CPUtime=1.01 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17620/stat : 17620 (java) S 17553 17556 11993 0 -1 1077944384 15489 12687 0 0 81 8 9 3 20 0 20 0 9149466 11261440000 190704 33554432000 4194304 4196468 140734707319200 140005233174896 140005759007362 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17621] ppid=17553 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17621/stat : 17621 (java) S 17553 17556 11993 0 -1 1077944384 62 12687 0 0 0 0 9 3 20 0 20 0 9149467 11261440000 190704 33554432000 4194304 4196468 140734707319200 140005232120928 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17622] ppid=17553 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17622/stat : 17622 (java) S 17553 17556 11993 0 -1 1077944384 51 12687 0 0 0 0 9 3 20 0 20 0 9149468 11261440000 190704 33554432000 4194304 4196468 140734707319200 140005231068032 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17623] ppid=17553 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17623/stat : 17623 (java) S 17553 17556 11993 0 -1 1077944384 1 12687 0 0 0 0 9 3 20 0 20 0 9149472 11261440000 190704 33554432000 4194304 4196468 140734707319200 140005230016336 140005759014811 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17624] ppid=17553 vsize=10997500 CPUtime=5.54 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17624/stat : 17624 (java) S 17553 17556 11993 0 -1 1077944384 17080 12687 0 0 539 3 9 3 20 0 20 0 9149472 11261440000 190704 33554432000 4194304 4196468 140734707319200 140005228964720 140005759007362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17625] ppid=17553 vsize=10997500 CPUtime=6.6 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17625/stat : 17625 (java) S 17553 17556 11993 0 -1 1077944384 23988 12687 0 0 644 4 9 3 20 0 20 0 9149472 11261440000 190704 33554432000 4194304 4196468 140734707319200 140005227911920 140005759007362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17626] ppid=17553 vsize=10997500 CPUtime=5.81 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17626/stat : 17626 (java) S 17553 17556 11993 0 -1 1077944384 14728 12687 0 0 566 3 9 3 20 0 20 0 9149472 11261440000 190704 33554432000 4194304 4196468 140734707319200 140005226859120 140005759007362 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17627] ppid=17553 vsize=10997500 CPUtime=2.78 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17627/stat : 17627 (java) S 17553 17556 11993 0 -1 1077944384 16242 12687 0 0 262 4 9 3 20 0 20 0 9149472 11261440000 190704 33554432000 4194304 4196468 140734707319200 140005225806320 140005759007362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17628] ppid=17553 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17628/stat : 17628 (java) S 17553 17556 11993 0 -1 1077944384 3 12687 0 0 0 0 9 3 20 0 20 0 9149472 11261440000 190704 33554432000 4194304 4196468 140734707319200 140005224753760 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17629] ppid=17553 vsize=10997500 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17629/stat : 17629 (java) S 17553 17556 11993 0 -1 1077944384 2254 12687 0 0 33 32 9 3 20 0 20 0 9149472 11261440000 190704 33554432000 4194304 4196468 140734707319200 140005223701040 140005759007362 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
Current children cumulated CPU time (s) 2400.04
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 17556 sig 9
??? kill -17556 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2372.61 s]
/proc/loadavg: 1.77 1.72 1.64 3/281 17861
/proc/meminfo: memFree=28230060/32770624 swapFree=6384/342260
[pid=17556] ppid=17553 vsize=11130628 CPUtime=2400.61 cores=1,3,5,7,9,11,13,15
/proc/17556/stat : 17556 (java) S 17553 17556 11993 0 -1 1077944320 212691 12687 0 0 239891 158 9 3 20 0 22 0 9149449 11397763072 191384 33554432000 4194304 4196468 140734707319200 140734707301744 140005758996215 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
/proc/17556/statm: 2782657 191384 3517 1 0 2770212 0
[pid=17556/tid=17611] ppid=17553 vsize=11130628 CPUtime=2369.56 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17611/stat : 17611 (java) S 17553 17556 11993 0 -1 1077944384 67505 12687 0 0 236923 21 9 3 20 0 22 0 9149463 11397763072 191384 33554432000 4194304 4196468 140734707319200 140005763233936 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17612] ppid=17553 vsize=11130628 CPUtime=1.26 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17612/stat : 17612 (java) R 17553 17556 11993 0 -1 4202560 7644 12687 0 0 103 11 9 3 20 0 22 0 9149464 11397763072 191384 33554432000 4194304 4196468 140734707319200 140005685070600 140005751624423 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17613] ppid=17553 vsize=11130628 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17613/stat : 17613 (java) R 17553 17556 11993 0 -1 4202560 5089 12687 0 0 101 12 9 3 20 0 22 0 9149464 11397763072 191384 33554432000 4194304 4196468 140734707319200 140005684017800 140005751624423 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17614] ppid=17553 vsize=11130628 CPUtime=1.24 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17614/stat : 17614 (java) R 17553 17556 11993 0 -1 4202560 7448 12687 0 0 100 12 9 3 20 0 22 0 9149464 11397763072 191384 33554432000 4194304 4196468 140734707319200 140005682965000 140005742379248 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17615] ppid=17553 vsize=11130628 CPUtime=1.24 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17615/stat : 17615 (java) R 17553 17556 11993 0 -1 4202560 2770 12687 0 0 101 11 9 3 20 0 22 0 9149464 11397763072 191384 33554432000 4194304 4196468 140734707319200 140005681912200 140005751624423 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17616] ppid=17553 vsize=11130628 CPUtime=1.27 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17616/stat : 17616 (java) R 17553 17556 11993 0 -1 4202560 5742 12687 0 0 103 12 9 3 20 0 22 0 9149464 11397763072 191384 33554432000 4194304 4196468 140734707319200 140005680860424 140005751624423 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17617] ppid=17553 vsize=11130628 CPUtime=1.27 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17617/stat : 17617 (java) R 17553 17556 11993 0 -1 4202560 6145 12687 0 0 105 10 9 3 20 0 22 0 9149464 11397763072 191384 33554432000 4194304 4196468 140734707319200 140005679807624 140005751624423 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17618] ppid=17553 vsize=11130628 CPUtime=1.24 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17618/stat : 17618 (java) R 17553 17556 11993 0 -1 4202560 7752 12687 0 0 103 9 9 3 20 0 22 0 9149464 11397763072 191384 33554432000 4194304 4196468 140734707319200 140005678754904 140005743696915 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17619] ppid=17553 vsize=11130628 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17619/stat : 17619 (java) R 17553 17556 11993 0 -1 4202560 4538 12687 0 0 102 11 9 3 20 0 22 0 9149464 11397763072 191384 33554432000 4194304 4196468 140734707319200 140005677702024 140005751624423 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17620] ppid=17553 vsize=11130628 CPUtime=1.04 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17620/stat : 17620 (java) S 17553 17556 11993 0 -1 1077944384 21332 12687 0 0 84 8 9 3 20 0 22 0 9149466 11397763072 191384 33554432000 4194304 4196468 140734707319200 140005233173520 140005759006421 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17621] ppid=17553 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17621/stat : 17621 (java) S 17553 17556 11993 0 -1 1077944384 62 12687 0 0 0 0 9 3 20 0 22 0 9149467 11397763072 191384 33554432000 4194304 4196468 140734707319200 140005232120928 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17622] ppid=17553 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17622/stat : 17622 (java) S 17553 17556 11993 0 -1 1077944384 51 12687 0 0 0 0 9 3 20 0 22 0 9149468 11397763072 191384 33554432000 4194304 4196468 140734707319200 140005231068032 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17623] ppid=17553 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17623/stat : 17623 (java) S 17553 17556 11993 0 -1 1077944384 77 12687 0 0 0 0 9 3 20 0 22 0 9149472 11397763072 191384 33554432000 4194304 4196468 140734707319200 140005230016336 140005759014811 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17624] ppid=17553 vsize=11130628 CPUtime=5.54 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17624/stat : 17624 (java) S 17553 17556 11993 0 -1 1077944384 17080 12687 0 0 539 3 9 3 20 0 22 0 9149472 11397763072 191384 33554432000 4194304 4196468 140734707319200 140005228964720 140005759007362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17625] ppid=17553 vsize=11130628 CPUtime=6.6 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17625/stat : 17625 (java) S 17553 17556 11993 0 -1 1077944384 23988 12687 0 0 644 4 9 3 20 0 22 0 9149472 11397763072 191384 33554432000 4194304 4196468 140734707319200 140005227911920 140005759007362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17626] ppid=17553 vsize=11130628 CPUtime=5.81 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17626/stat : 17626 (java) S 17553 17556 11993 0 -1 1077944384 14728 12687 0 0 566 3 9 3 20 0 22 0 9149472 11397763072 191384 33554432000 4194304 4196468 140734707319200 140005226859120 140005759007362 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17627] ppid=17553 vsize=11130628 CPUtime=2.78 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17627/stat : 17627 (java) S 17553 17556 11993 0 -1 1077944384 16242 12687 0 0 262 4 9 3 20 0 22 0 9149472 11397763072 191384 33554432000 4194304 4196468 140734707319200 140005225806320 140005759007362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17628] ppid=17553 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17628/stat : 17628 (java) S 17553 17556 11993 0 -1 1077944384 3 12687 0 0 0 0 9 3 20 0 22 0 9149472 11397763072 191384 33554432000 4194304 4196468 140734707319200 140005224753760 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17629] ppid=17553 vsize=11130628 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17629/stat : 17629 (java) S 17553 17556 11993 0 -1 1077944384 2254 12687 0 0 33 32 9 3 20 0 22 0 9149472 11397763072 191384 33554432000 4194304 4196468 140734707319200 140005223701040 140005759007362 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
Current children cumulated CPU time (s) 2400.61
Current children cumulated vsize (KiB) 11130628
[startup+2372.7 s]
/proc/loadavg: 1.77 1.72 1.64 10/283 17863
/proc/meminfo: memFree=28227996/32770624 swapFree=6384/342260
[pid=17556] ppid=17553 vsize=11130628 CPUtime=2401.27 cores=1,3,5,7,9,11,13,15
/proc/17556/stat : 17556 (java) S 17553 17556 11993 0 -1 1077944320 212863 12687 0 0 239957 158 9 3 20 0 22 0 9149449 11397763072 191384 33554432000 4194304 4196468 140734707319200 140734707301744 140005758996215 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
/proc/17556/statm: 2782657 191384 3517 1 0 2770212 0
[pid=17556/tid=17611] ppid=17553 vsize=11130628 CPUtime=2369.56 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17611/stat : 17611 (java) S 17553 17556 11993 0 -1 1077944384 67506 12687 0 0 236923 21 9 3 20 0 22 0 9149463 11397763072 191384 33554432000 4194304 4196468 140734707319200 140005763233936 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17612] ppid=17553 vsize=11130628 CPUtime=1.34 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17612/stat : 17612 (java) S 17553 17556 11993 0 -1 1077944384 7644 12687 0 0 111 11 9 3 20 0 22 0 9149464 11397763072 191384 33554432000 4194304 4196468 140734707319200 140005685070480 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17613] ppid=17553 vsize=11130628 CPUtime=1.33 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17613/stat : 17613 (java) S 17553 17556 11993 0 -1 1077944384 5089 12687 0 0 109 12 9 3 20 0 22 0 9149464 11397763072 191384 33554432000 4194304 4196468 140734707319200 140005684017680 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17614] ppid=17553 vsize=11130628 CPUtime=1.32 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17614/stat : 17614 (java) S 17553 17556 11993 0 -1 1077944384 7448 12687 0 0 108 12 9 3 20 0 22 0 9149464 11397763072 191384 33554432000 4194304 4196468 140734707319200 140005682964880 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17615] ppid=17553 vsize=11130628 CPUtime=1.32 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17615/stat : 17615 (java) S 17553 17556 11993 0 -1 1077944384 2770 12687 0 0 109 11 9 3 20 0 22 0 9149464 11397763072 191384 33554432000 4194304 4196468 140734707319200 140005681912080 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17616] ppid=17553 vsize=11130628 CPUtime=1.35 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17616/stat : 17616 (java) S 17553 17556 11993 0 -1 1077944384 5743 12687 0 0 111 12 9 3 20 0 22 0 9149464 11397763072 191384 33554432000 4194304 4196468 140734707319200 140005680860304 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17617] ppid=17553 vsize=11130628 CPUtime=1.35 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17617/stat : 17617 (java) S 17553 17556 11993 0 -1 1077944384 6145 12687 0 0 113 10 9 3 20 0 22 0 9149464 11397763072 191384 33554432000 4194304 4196468 140734707319200 140005679807504 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17618] ppid=17553 vsize=11130628 CPUtime=1.32 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17618/stat : 17618 (java) S 17553 17556 11993 0 -1 1077944384 7757 12687 0 0 111 9 9 3 20 0 22 0 9149464 11397763072 191384 33554432000 4194304 4196468 140734707319200 140005678754704 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17619] ppid=17553 vsize=11130628 CPUtime=1.33 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17619/stat : 17619 (java) S 17553 17556 11993 0 -1 1077944384 4538 12687 0 0 110 11 9 3 20 0 22 0 9149464 11397763072 191384 33554432000 4194304 4196468 140734707319200 140005677701904 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17620] ppid=17553 vsize=11130628 CPUtime=1.06 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17620/stat : 17620 (java) R 17553 17556 11993 0 -1 4202560 21495 12687 0 0 86 8 9 3 20 0 22 0 9149466 11397763072 191384 33554432000 4194304 4196468 140734707319200 140005233173296 140005743363888 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17621] ppid=17553 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17621/stat : 17621 (java) S 17553 17556 11993 0 -1 1077944384 63 12687 0 0 0 0 9 3 20 0 22 0 9149467 11397763072 191384 33554432000 4194304 4196468 140734707319200 140005232120832 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17622] ppid=17553 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17622/stat : 17622 (java) S 17553 17556 11993 0 -1 1077944384 51 12687 0 0 0 0 9 3 20 0 22 0 9149468 11397763072 191384 33554432000 4194304 4196468 140734707319200 140005231068032 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17623] ppid=17553 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17623/stat : 17623 (java) S 17553 17556 11993 0 -1 1077944384 77 12687 0 0 0 0 9 3 20 0 22 0 9149472 11397763072 191384 33554432000 4194304 4196468 140734707319200 140005230016336 140005759014811 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17624] ppid=17553 vsize=11130628 CPUtime=5.54 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17624/stat : 17624 (java) S 17553 17556 11993 0 -1 1077944384 17080 12687 0 0 539 3 9 3 20 0 22 0 9149472 11397763072 191384 33554432000 4194304 4196468 140734707319200 140005228964720 140005759007362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17625] ppid=17553 vsize=11130628 CPUtime=6.6 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17625/stat : 17625 (java) S 17553 17556 11993 0 -1 1077944384 23988 12687 0 0 644 4 9 3 20 0 22 0 9149472 11397763072 191384 33554432000 4194304 4196468 140734707319200 140005227911920 140005759007362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17626] ppid=17553 vsize=11130628 CPUtime=5.81 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17626/stat : 17626 (java) S 17553 17556 11993 0 -1 1077944384 14728 12687 0 0 566 3 9 3 20 0 22 0 9149472 11397763072 191384 33554432000 4194304 4196468 140734707319200 140005226859120 140005759007362 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17627] ppid=17553 vsize=11130628 CPUtime=2.78 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17627/stat : 17627 (java) S 17553 17556 11993 0 -1 1077944384 16242 12687 0 0 262 4 9 3 20 0 22 0 9149472 11397763072 191384 33554432000 4194304 4196468 140734707319200 140005225806320 140005759007362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17628] ppid=17553 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17628/stat : 17628 (java) S 17553 17556 11993 0 -1 1077944384 3 12687 0 0 0 0 9 3 20 0 22 0 9149472 11397763072 191384 33554432000 4194304 4196468 140734707319200 140005224753760 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17629] ppid=17553 vsize=11130628 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17629/stat : 17629 (java) S 17553 17556 11993 0 -1 1077944384 2254 12687 0 0 33 32 9 3 20 0 22 0 9149472 11397763072 191384 33554432000 4194304 4196468 140734707319200 140005223701040 140005759007362 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17862] ppid=17553 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17862/stat : 17862 (java) S 17553 17556 11993 0 -1 1077944384 83 12687 0 0 0 0 9 3 20 0 22 0 9386700 11397763072 191384 33554432000 4194304 4196468 140734707319200 140004990902384 140005759006421 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
[pid=17556/tid=17863] ppid=17553 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17556/task/17863/stat : 17863 (java) S 17553 17556 11993 0 -1 1077944384 25 12687 0 0 0 0 9 3 20 0 22 0 9386700 11397763072 191384 33554432000 4194304 4196468 140734707319200 140004989850608 140005759007362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13418496 140734707321537 140734707324311 140734707324311 140734707326927 0
Current children cumulated CPU time (s) 2401.27
Current children cumulated vsize (KiB) 11130628
Child status: 143
Real time (s): 2372.81
CPU time (s): 2401.58
CPU user time (s): 2399.95
CPU system time (s): 1.63054
CPU usage (%): 101.213
Max. virtual memory (cumulated for all children) (KiB): 11130628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.95
system time used= 1.63054
maximum resident set size= 877504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 225705
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 87976
involuntary context switches= 126687
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.7265 second user time and 18.3285 second system time
The end