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-4245267-1500701988/watcher-4245267-1500701988 -o /tmp/evaluation-result-4245267-1500701988/solver-4245267-1500701988 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500697238-13814 --watchdog 2560 bin/concrete HOME/instance-4245267-1500701988.xml
pid=15515
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.56 1.33 1.50 3/261 15518
/proc/meminfo: memFree=30904716/32770624 swapFree=5784/138116
[pid=15518] ppid=15515 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15518/stat : 15518 (bash) S 15515 15518 15196 0 -1 4202496 685 1533 0 0 0 0 0 0 20 0 1 0 5463923 9736192 350 33554432000 4194304 5098028 140722231288000 140722231285640 139852068699136 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 35819520 140722231293198 140722231293283 140722231293283 140722231295982 0
/proc/15518/statm: 2377 350 277 221 0 86 0
[startup+0.10013 s]
/proc/loadavg: 1.56 1.33 1.50 3/261 15518
/proc/meminfo: memFree=30904716/32770624 swapFree=5784/138116
[pid=15518] ppid=15515 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/15518/stat : 15518 (bash) S 15515 15518 15196 0 -1 4202496 879 6424 0 0 0 0 0 1 20 0 1 0 5463923 9871360 378 33554432000 4194304 5098028 140722231288000 140722231282008 139852068699136 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 35819520 140722231293198 140722231293283 140722231293283 140722231295982 0
/proc/15518/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.200346 s]
/proc/loadavg: 1.56 1.33 1.50 3/261 15518
/proc/meminfo: memFree=30904716/32770624 swapFree=5784/138116
[pid=15518] ppid=15515 vsize=10435860 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/15518/stat : 15518 (java) S 15515 15518 15196 0 -1 1077944320 4823 12607 0 0 6 2 8 3 20 0 13 0 5463923 10686320640 5179 33554432000 4194304 4196468 140726447961776 140726447944320 140415143329527 0 0 0 16800971 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
/proc/15518/statm: 2608965 5179 2171 1 0 2597403 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10435860
[startup+0.300348 s]
/proc/loadavg: 1.56 1.33 1.50 3/261 15518
/proc/meminfo: memFree=30904716/32770624 swapFree=5784/138116
[pid=15518] ppid=15515 vsize=10902292 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/15518/stat : 15518 (java) S 15515 15518 15196 0 -1 1077944320 9216 12607 0 0 22 3 8 3 20 0 20 0 5463923 11163947008 10389 33554432000 4194304 4196468 140726447961776 140726447944320 140415143329527 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
/proc/15518/statm: 2725573 10389 2982 1 0 2713890 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 10902292
[startup+0.700159 s]
/proc/loadavg: 1.56 1.33 1.50 3/261 15518
/proc/meminfo: memFree=30904716/32770624 swapFree=5784/138116
[pid=15518] ppid=15515 vsize=10902720 CPUtime=0.96 cores=1,3,5,7,9,11,13,15
/proc/15518/stat : 15518 (java) S 15515 15518 15196 0 -1 1077944320 12842 12607 0 0 79 6 8 3 20 0 20 0 5463923 11164385280 16099 33554432000 4194304 4196468 140726447961776 140726447944320 140415143329527 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
/proc/15518/statm: 2725680 16099 3218 1 0 2713890 0
Current children cumulated CPU time (s) 0.96
Current children cumulated vsize (KiB) 10902720
[startup+1.50122 s]
/proc/loadavg: 1.56 1.33 1.50 3/281 15591
/proc/meminfo: memFree=30800016/32770624 swapFree=5784/138200
[pid=15518] ppid=15515 vsize=10913344 CPUtime=2.27 cores=1,3,5,7,9,11,13,15
/proc/15518/stat : 15518 (java) S 15515 15518 15196 0 -1 1077944320 27505 12607 0 0 201 15 8 3 20 0 20 0 5463923 11175264256 44061 33554432000 4194304 4196468 140726447961776 140726447944320 140415143329527 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
/proc/15518/statm: 2728336 44061 3411 1 0 2716450 0
[pid=15518/tid=15573] ppid=15515 vsize=10913344 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15573/stat : 15573 (java) R 15515 15518 15196 0 -1 4202560 19191 12607 0 0 125 6 8 3 20 0 20 0 5463935 11175264256 44061 33554432000 4194304 4196468 140726447961776 140415147556736 140415143341462 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15574] ppid=15515 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15574/stat : 15574 (java) S 15515 15518 15196 0 -1 1077944384 21 12607 0 0 0 0 8 3 20 0 20 0 5463936 11175264256 44061 33554432000 4194304 4196468 140726447961776 140415099881872 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15575] ppid=15515 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15575/stat : 15575 (java) S 15515 15518 15196 0 -1 1077944384 51 12607 0 0 1 0 8 3 20 0 20 0 5463936 11175264256 44061 33554432000 4194304 4196468 140726447961776 140415098829072 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15576] ppid=15515 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15576/stat : 15576 (java) S 15515 15518 15196 0 -1 1077944384 21 12607 0 0 0 0 8 3 20 0 20 0 5463936 11175264256 44061 33554432000 4194304 4196468 140726447961776 140414748121744 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15577] ppid=15515 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15577/stat : 15577 (java) S 15515 15518 15196 0 -1 1077944384 135 12607 0 0 0 0 8 3 20 0 20 0 5463936 11175264256 44061 33554432000 4194304 4196468 140726447961776 140414747068944 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15578] ppid=15515 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15578/stat : 15578 (java) S 15515 15518 15196 0 -1 1077944384 25 12607 0 0 0 0 8 3 20 0 20 0 5463936 11175264256 44061 33554432000 4194304 4196468 140726447961776 140414746016656 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15579] ppid=15515 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15579/stat : 15579 (java) S 15515 15518 15196 0 -1 1077944384 17 12607 0 0 1 0 8 3 20 0 20 0 5463936 11175264256 44061 33554432000 4194304 4196468 140726447961776 140414744963856 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15580] ppid=15515 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15580/stat : 15580 (java) S 15515 15518 15196 0 -1 1077944384 24 12607 0 0 0 0 8 3 20 0 20 0 5463936 11175264256 44061 33554432000 4194304 4196468 140726447961776 140414743911568 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15581] ppid=15515 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15581/stat : 15581 (java) S 15515 15518 15196 0 -1 1077944384 19 12607 0 0 0 0 8 3 20 0 20 0 5463936 11175264256 44061 33554432000 4194304 4196468 140726447961776 140414742858768 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15582] ppid=15515 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15582/stat : 15582 (java) S 15515 15518 15196 0 -1 1077944384 1569 12607 0 0 1 0 8 3 20 0 20 0 5463938 11175264256 44061 33554432000 4194304 4196468 140726447961776 140414617995376 140415143340674 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15583] ppid=15515 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15583/stat : 15583 (java) S 15515 15518 15196 0 -1 1077944384 55 12607 0 0 0 0 8 3 20 0 20 0 5463939 11175264256 44061 33554432000 4194304 4196468 140726447961776 140414616941408 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15584] ppid=15515 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15584/stat : 15584 (java) S 15515 15518 15196 0 -1 1077944384 44 12607 0 0 0 0 8 3 20 0 20 0 5463939 11175264256 44061 33554432000 4194304 4196468 140726447961776 140414615889024 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15585] ppid=15515 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15585/stat : 15585 (java) S 15515 15518 15196 0 -1 1077944384 1 12607 0 0 0 0 8 3 20 0 20 0 5463943 11175264256 44061 33554432000 4194304 4196468 140726447961776 140414614837328 140415143348123 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15586] ppid=15515 vsize=10913344 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15586/stat : 15586 (java) S 15515 15518 15196 0 -1 1077944384 956 12607 0 0 12 0 8 3 20 0 20 0 5463943 11175264256 44061 33554432000 4194304 4196468 140726447961776 140414613785200 140415143340674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15587] ppid=15515 vsize=10913344 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15587/stat : 15587 (java) S 15515 15518 15196 0 -1 1077944384 731 12607 0 0 12 0 8 3 20 0 20 0 5463943 11175264256 44061 33554432000 4194304 4196468 140726447961776 140414612732400 140415143340674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15588] ppid=15515 vsize=10913344 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15588/stat : 15588 (java) S 15515 15518 15196 0 -1 1077944384 1098 12607 0 0 13 0 8 3 20 0 20 0 5463943 11175264256 44061 33554432000 4194304 4196468 140726447961776 140414611680112 140415143340674 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15589] ppid=15515 vsize=10913344 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15589/stat : 15589 (java) S 15515 15518 15196 0 -1 1077944384 1415 12607 0 0 27 0 8 3 20 0 20 0 5463943 11175264256 44061 33554432000 4194304 4196468 140726447961776 140414610627312 140415143340674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15590] ppid=15515 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15590/stat : 15590 (java) S 15515 15518 15196 0 -1 1077944384 3 12607 0 0 0 0 8 3 20 0 20 0 5463944 11175264256 44061 33554432000 4194304 4196468 140726447961776 140414609574240 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15591] ppid=15515 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15591/stat : 15591 (java) S 15515 15518 15196 0 -1 1077944384 3 12607 0 0 0 0 8 3 20 0 20 0 5463944 11175264256 44061 33554432000 4194304 4196468 140726447961776 140414608521520 140415143340674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
Current children cumulated CPU time (s) 2.27
Current children cumulated vsize (KiB) 10913344
[startup+3.1012 s]
/proc/loadavg: 1.60 1.35 1.50 3/281 15591
/proc/meminfo: memFree=30730580/32770624 swapFree=5784/138200
[pid=15518] ppid=15515 vsize=10925820 CPUtime=6.76 cores=1,3,5,7,9,11,13,15
/proc/15518/stat : 15518 (java) S 15515 15518 15196 0 -1 1077944320 44232 12607 0 0 645 20 8 3 20 0 20 0 5463923 11188039680 57359 33554432000 4194304 4196468 140726447961776 140726447944320 140415143329527 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
/proc/15518/statm: 2731455 57359 3475 1 0 2719010 0
[pid=15518/tid=15573] ppid=15515 vsize=10925820 CPUtime=3.01 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15573/stat : 15573 (java) R 15515 15518 15196 0 -1 4202560 25213 12607 0 0 282 8 8 3 20 0 20 0 5463935 11188039680 57359 33554432000 4194304 4196468 140726447961776 140415147563040 140414782016765 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15574] ppid=15515 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15574/stat : 15574 (java) S 15515 15518 15196 0 -1 1077944384 21 12607 0 0 0 0 8 3 20 0 20 0 5463936 11188039680 57871 33554432000 4194304 4196468 140726447961776 140415099881872 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15575] ppid=15515 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15575/stat : 15575 (java) S 15515 15518 15196 0 -1 1077944384 51 12607 0 0 1 0 8 3 20 0 20 0 5463936 11188039680 57871 33554432000 4194304 4196468 140726447961776 140415098829072 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15576] ppid=15515 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15576/stat : 15576 (java) S 15515 15518 15196 0 -1 1077944384 21 12607 0 0 0 0 8 3 20 0 20 0 5463936 11188039680 57871 33554432000 4194304 4196468 140726447961776 140414748121744 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15577] ppid=15515 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15577/stat : 15577 (java) S 15515 15518 15196 0 -1 1077944384 135 12607 0 0 0 0 8 3 20 0 20 0 5463936 11188039680 57871 33554432000 4194304 4196468 140726447961776 140414747068944 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15578] ppid=15515 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15578/stat : 15578 (java) S 15515 15518 15196 0 -1 1077944384 25 12607 0 0 0 0 8 3 20 0 20 0 5463936 11188039680 57871 33554432000 4194304 4196468 140726447961776 140414746016656 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15579] ppid=15515 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15579/stat : 15579 (java) S 15515 15518 15196 0 -1 1077944384 17 12607 0 0 1 0 8 3 20 0 20 0 5463936 11188039680 57871 33554432000 4194304 4196468 140726447961776 140414744963856 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15580] ppid=15515 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15580/stat : 15580 (java) S 15515 15518 15196 0 -1 1077944384 24 12607 0 0 0 0 8 3 20 0 20 0 5463936 11188039680 57871 33554432000 4194304 4196468 140726447961776 140414743911568 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15581] ppid=15515 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15581/stat : 15581 (java) S 15515 15518 15196 0 -1 1077944384 19 12607 0 0 0 0 8 3 20 0 20 0 5463936 11188039680 57871 33554432000 4194304 4196468 140726447961776 140414742858768 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15582] ppid=15515 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15582/stat : 15582 (java) S 15515 15518 15196 0 -1 1077944384 1930 12607 0 0 1 0 8 3 20 0 20 0 5463938 11188039680 57871 33554432000 4194304 4196468 140726447961776 140414617995376 140415143340674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15583] ppid=15515 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15583/stat : 15583 (java) S 15515 15518 15196 0 -1 1077944384 55 12607 0 0 0 0 8 3 20 0 20 0 5463939 11188039680 57871 33554432000 4194304 4196468 140726447961776 140414616941408 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15584] ppid=15515 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15584/stat : 15584 (java) S 15515 15518 15196 0 -1 1077944384 44 12607 0 0 0 0 8 3 20 0 20 0 5463939 11188039680 57871 33554432000 4194304 4196468 140726447961776 140414615889024 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15585] ppid=15515 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15585/stat : 15585 (java) S 15515 15518 15196 0 -1 1077944384 1 12607 0 0 0 0 8 3 20 0 20 0 5463943 11188039680 57871 33554432000 4194304 4196468 140726447961776 140414614837328 140415143348123 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15586] ppid=15515 vsize=10925820 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15586/stat : 15586 (java) R 15515 15518 15196 0 -1 4202560 3027 12607 0 0 78 1 8 3 20 0 20 0 5463943 11188039680 57871 33554432000 4194304 4196468 140726447961776 140414613771080 140415124873745 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15587] ppid=15515 vsize=10925820 CPUtime=0.92 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15587/stat : 15587 (java) R 15515 15518 15196 0 -1 4202560 2175 12607 0 0 80 1 8 3 20 0 20 0 5463943 11188039680 57871 33554432000 4194304 4196468 140726447961776 140414612732384 140415126541780 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15588] ppid=15515 vsize=10925820 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15588/stat : 15588 (java) R 15515 15518 15196 0 -1 4202560 2133 12607 0 0 73 1 8 3 20 0 20 0 5463943 11188039680 57871 33554432000 4194304 4196468 140726447961776 140414611661344 140415126705728 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15589] ppid=15515 vsize=10925820 CPUtime=1.31 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15589/stat : 15589 (java) S 15515 15518 15196 0 -1 1077944384 7205 12607 0 0 119 1 8 3 20 0 20 0 5463943 11188039680 57871 33554432000 4194304 4196468 140726447961776 140414610627312 140415143340674 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15590] ppid=15515 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15590/stat : 15590 (java) S 15515 15518 15196 0 -1 1077944384 3 12607 0 0 0 0 8 3 20 0 20 0 5463944 11188039680 57871 33554432000 4194304 4196468 140726447961776 140414609574240 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15591] ppid=15515 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15591/stat : 15591 (java) S 15515 15518 15196 0 -1 1077944384 5 12607 0 0 0 0 8 3 20 0 20 0 5463944 11188039680 57871 33554432000 4194304 4196468 140726447961776 140414608521520 140415143340674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
Current children cumulated CPU time (s) 6.76
Current children cumulated vsize (KiB) 10925820
[startup+6.30118 s]
/proc/loadavg: 1.60 1.35 1.50 6/281 15591
/proc/meminfo: memFree=30492512/32770624 swapFree=5784/138208
[pid=15518] ppid=15515 vsize=10995452 CPUtime=15.29 cores=1,3,5,7,9,11,13,15
/proc/15518/stat : 15518 (java) S 15515 15518 15196 0 -1 1077944320 61771 12607 0 0 1480 38 8 3 20 0 20 0 5463923 11259342848 125592 33554432000 4194304 4196468 140726447961776 140726447944320 140415143329527 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
/proc/15518/statm: 2748863 125592 3504 1 0 2736418 0
[pid=15518/tid=15573] ppid=15515 vsize=10995452 CPUtime=6.11 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15573/stat : 15573 (java) R 15515 15518 15196 0 -1 4202560 36555 12607 0 0 587 13 8 3 20 0 20 0 5463935 11259342848 125592 33554432000 4194304 4196468 140726447961776 140415147561144 140414794995932 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15574] ppid=15515 vsize=10995452 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15574/stat : 15574 (java) S 15515 15518 15196 0 -1 1077944384 121 12607 0 0 4 2 8 3 20 0 20 0 5463936 11259342848 125592 33554432000 4194304 4196468 140726447961776 140415099881872 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15575] ppid=15515 vsize=10995452 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15575/stat : 15575 (java) S 15515 15518 15196 0 -1 1077944384 77 12607 0 0 5 1 8 3 20 0 20 0 5463936 11259342848 125592 33554432000 4194304 4196468 140726447961776 140415098829072 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15576] ppid=15515 vsize=10995452 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15576/stat : 15576 (java) S 15515 15518 15196 0 -1 1077944384 39 12607 0 0 4 1 8 3 20 0 20 0 5463936 11259342848 125592 33554432000 4194304 4196468 140726447961776 140414748121744 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15577] ppid=15515 vsize=10995452 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15577/stat : 15577 (java) S 15515 15518 15196 0 -1 1077944384 156 12607 0 0 4 1 8 3 20 0 20 0 5463936 11259342848 125592 33554432000 4194304 4196468 140726447961776 140414747068944 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15578] ppid=15515 vsize=10995452 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15578/stat : 15578 (java) S 15515 15518 15196 0 -1 1077944384 44 12607 0 0 5 2 8 3 20 0 20 0 5463936 11259342848 125592 33554432000 4194304 4196468 140726447961776 140414746016656 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15579] ppid=15515 vsize=10995452 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15579/stat : 15579 (java) S 15515 15518 15196 0 -1 1077944384 42 12607 0 0 5 1 8 3 20 0 20 0 5463936 11259342848 125592 33554432000 4194304 4196468 140726447961776 140414744963856 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15580] ppid=15515 vsize=10995452 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15580/stat : 15580 (java) S 15515 15518 15196 0 -1 1077944384 68 12607 0 0 5 1 8 3 20 0 20 0 5463936 11259342848 125592 33554432000 4194304 4196468 140726447961776 140414743911568 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15581] ppid=15515 vsize=10995452 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15581/stat : 15581 (java) S 15515 15518 15196 0 -1 1077944384 44 12607 0 0 4 1 8 3 20 0 20 0 5463936 11259342848 125592 33554432000 4194304 4196468 140726447961776 140414742858768 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15582] ppid=15515 vsize=10995452 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15582/stat : 15582 (java) S 15515 15518 15196 0 -1 1077944384 2630 12607 0 0 5 1 8 3 20 0 20 0 5463938 11259342848 125592 33554432000 4194304 4196468 140726447961776 140414617995376 140415143340674 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15583] ppid=15515 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15583/stat : 15583 (java) S 15515 15518 15196 0 -1 1077944384 56 12607 0 0 0 0 8 3 20 0 20 0 5463939 11259342848 125592 33554432000 4194304 4196468 140726447961776 140414616941408 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15584] ppid=15515 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15584/stat : 15584 (java) S 15515 15518 15196 0 -1 1077944384 44 12607 0 0 0 0 8 3 20 0 20 0 5463939 11259342848 125592 33554432000 4194304 4196468 140726447961776 140414615889024 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15585] ppid=15515 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15585/stat : 15585 (java) S 15515 15518 15196 0 -1 1077944384 1 12607 0 0 0 0 8 3 20 0 20 0 5463943 11259342848 125592 33554432000 4194304 4196468 140726447961776 140414614837328 140415143348123 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15586] ppid=15515 vsize=10995452 CPUtime=2.29 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15586/stat : 15586 (java) S 15515 15518 15196 0 -1 1077944384 3578 12607 0 0 217 1 8 3 20 0 20 0 5463943 11259342848 125592 33554432000 4194304 4196468 140726447961776 140414613785200 140415143340674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15587] ppid=15515 vsize=10995452 CPUtime=2.51 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15587/stat : 15587 (java) S 15515 15518 15196 0 -1 1077944384 5071 12607 0 0 238 2 8 3 20 0 20 0 5463943 11259342848 125592 33554432000 4194304 4196468 140726447961776 140414612732400 140415143340674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15588] ppid=15515 vsize=10995452 CPUtime=2.15 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15588/stat : 15588 (java) S 15515 15518 15196 0 -1 1077944384 2951 12607 0 0 203 1 8 3 20 0 20 0 5463943 11259342848 125592 33554432000 4194304 4196468 140726447961776 140414611680112 140415143340674 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15589] ppid=15515 vsize=10995452 CPUtime=2 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15589/stat : 15589 (java) S 15515 15518 15196 0 -1 1077944384 8154 12607 0 0 186 3 8 3 20 0 20 0 5463943 11259342848 125592 33554432000 4194304 4196468 140726447961776 140414610627312 140415143340674 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15590] ppid=15515 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
[pid=15518/tid=15587] ppid=15515 vsize=10995452 CPUtime=3.32 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15587/stat : 15587 (java) S 15515 15518 15196 0 -1 1077944384 14860 12607 0 0 318 3 8 3 20 0 20 0 5463943 11259342848 815656 33554432000 4194304 4196468 140726447961776 140414612732400 140415143340674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15588] ppid=15515 vsize=10995452 CPUtime=2.66 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15588/stat : 15588 (java) S 15515 15518 15196 0 -1 1077944384 9097 12607 0 0 253 2 8 3 20 0 20 0 5463943 11259342848 815656 33554432000 4194304 4196468 140726447961776 140414611680112 140415143340674 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15589] ppid=15515 vsize=10995452 CPUtime=2.13 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15589/stat : 15589 (java) S 15515 15518 15196 0 -1 1077944384 17334 12607 0 0 198 4 8 3 20 0 20 0 5463943 11259342848 815656 33554432000 4194304 4196468 140726447961776 140414610627312 140415143340674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15590] ppid=15515 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15590/stat : 15590 (java) S 15515 15518 15196 0 -1 1077944384 3 12607 0 0 0 0 8 3 20 0 20 0 5463944 11259342848 815656 33554432000 4194304 4196468 140726447961776 140414609574240 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15591] ppid=15515 vsize=10995452 CPUtime=1.27 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15591/stat : 15591 (java) S 15515 15518 15196 0 -1 1077944384 1326 12607 0 0 57 59 8 3 20 0 20 0 5463944 11259342848 815656 33554432000 4194304 4196468 140726447961776 140414608521520 140415143340674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
Current children cumulated CPU time (s) 2338.12
Current children cumulated vsize (KiB) 10995452
[startup+2322.3 s]
/proc/loadavg: 1.81 1.75 1.61 3/281 15961
/proc/meminfo: memFree=27489672/32770624 swapFree=5784/144912
[pid=15518] ppid=15515 vsize=10995452 CPUtime=2398.37 cores=1,3,5,7,9,11,13,15
/proc/15518/stat : 15518 (java) S 15515 15518 15196 0 -1 1077944320 356525 12607 0 0 239133 693 8 3 20 0 20 0 5463923 11259342848 815912 33554432000 4194304 4196468 140726447961776 140726447944320 140415143329527 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
/proc/15518/statm: 2748863 815912 3512 1 0 2736418 0
[pid=15518/tid=15573] ppid=15515 vsize=10995452 CPUtime=2302.82 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15573/stat : 15573 (java) R 15515 15518 15196 0 -1 4202560 198609 12607 0 0 230178 93 8 3 20 0 20 0 5463935 11259342848 815912 33554432000 4194304 4196468 140726447961776 140415147563392 140414794861772 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15574] ppid=15515 vsize=10995452 CPUtime=9.74 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15574/stat : 15574 (java) S 15515 15518 15196 0 -1 1077944384 8197 12607 0 0 902 61 8 3 20 0 20 0 5463936 11259342848 815912 33554432000 4194304 4196468 140726447961776 140415099881872 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15575] ppid=15515 vsize=10995452 CPUtime=9.82 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15575/stat : 15575 (java) S 15515 15518 15196 0 -1 1077944384 11491 12607 0 0 904 67 8 3 20 0 20 0 5463936 11259342848 815912 33554432000 4194304 4196468 140726447961776 140415098829072 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15576] ppid=15515 vsize=10995452 CPUtime=9.87 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15576/stat : 15576 (java) S 15515 15518 15196 0 -1 1077944384 8801 12607 0 0 913 63 8 3 20 0 20 0 5463936 11259342848 815912 33554432000 4194304 4196468 140726447961776 140414748121744 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15577] ppid=15515 vsize=10995452 CPUtime=9.9 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15577/stat : 15577 (java) S 15515 15518 15196 0 -1 1077944384 10631 12607 0 0 915 64 8 3 20 0 20 0 5463936 11259342848 815912 33554432000 4194304 4196468 140726447961776 140414747068944 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15578] ppid=15515 vsize=10995452 CPUtime=9.79 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15578/stat : 15578 (java) S 15515 15518 15196 0 -1 1077944384 8086 12607 0 0 903 65 8 3 20 0 20 0 5463936 11259342848 815912 33554432000 4194304 4196468 140726447961776 140414746016656 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15579] ppid=15515 vsize=10995452 CPUtime=9.82 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15579/stat : 15579 (java) S 15515 15518 15196 0 -1 1077944384 8763 12607 0 0 906 65 8 3 20 0 20 0 5463936 11259342848 815912 33554432000 4194304 4196468 140726447961776 140414744963856 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15580] ppid=15515 vsize=10995452 CPUtime=9.88 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15580/stat : 15580 (java) S 15515 15518 15196 0 -1 1077944384 11390 12607 0 0 914 63 8 3 20 0 20 0 5463936 11259342848 815912 33554432000 4194304 4196468 140726447961776 140414743911568 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15581] ppid=15515 vsize=10995452 CPUtime=9.81 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15581/stat : 15581 (java) S 15515 15518 15196 0 -1 1077944384 11087 12607 0 0 910 60 8 3 20 0 20 0 5463936 11259342848 815912 33554432000 4194304 4196468 140726447961776 140414742858768 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15582] ppid=15515 vsize=10995452 CPUtime=5.96 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15582/stat : 15582 (java) S 15515 15518 15196 0 -1 1077944384 21022 12607 0 0 516 69 8 3 20 0 20 0 5463938 11259342848 815912 33554432000 4194304 4196468 140726447961776 140414617995376 140415143340674 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15583] ppid=15515 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15583/stat : 15583 (java) S 15515 15518 15196 0 -1 1077944384 56 12607 0 0 0 0 8 3 20 0 20 0 5463939 11259342848 815912 33554432000 4194304 4196468 140726447961776 140414616941408 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15584] ppid=15515 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15584/stat : 15584 (java) S 15515 15518 15196 0 -1 1077944384 44 12607 0 0 0 0 8 3 20 0 20 0 5463939 11259342848 815912 33554432000 4194304 4196468 140726447961776 140414615889024 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15585] ppid=15515 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15585/stat : 15585 (java) S 15515 15518 15196 0 -1 1077944384 1 12607 0 0 0 0 8 3 20 0 20 0 5463943 11259342848 815912 33554432000 4194304 4196468 140726447961776 140414614837328 140415143348123 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15586] ppid=15515 vsize=10995452 CPUtime=2.89 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15586/stat : 15586 (java) S 15515 15518 15196 0 -1 1077944384 13573 12607 0 0 276 2 8 3 20 0 20 0 5463943 11259342848 815912 33554432000 4194304 4196468 140726447961776 140414613785200 140415143340674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15587] ppid=15515 vsize=10995452 CPUtime=3.32 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15587/stat : 15587 (java) S 15515 15518 15196 0 -1 1077944384 14862 12607 0 0 318 3 8 3 20 0 20 0 5463943 11259342848 815912 33554432000 4194304 4196468 140726447961776 140414612732400 140415143340674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15588] ppid=15515 vsize=10995452 CPUtime=2.66 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15588/stat : 15588 (java) S 15515 15518 15196 0 -1 1077944384 9099 12607 0 0 253 2 8 3 20 0 20 0 5463943 11259342848 815912 33554432000 4194304 4196468 140726447961776 140414611680112 140415143340674 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15589] ppid=15515 vsize=10995452 CPUtime=2.13 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15589/stat : 15589 (java) S 15515 15518 15196 0 -1 1077944384 17336 12607 0 0 198 4 8 3 20 0 20 0 5463943 11259342848 815912 33554432000 4194304 4196468 140726447961776 140414610627312 140415143340674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15590] ppid=15515 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15590/stat : 15590 (java) S 15515 15518 15196 0 -1 1077944384 3 12607 0 0 0 0 8 3 20 0 20 0 5463944 11259342848 815912 33554432000 4194304 4196468 140726447961776 140414609574240 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15591] ppid=15515 vsize=10995452 CPUtime=1.3 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15591/stat : 15591 (java) S 15515 15518 15196 0 -1 1077944384 1345 12607 0 0 58 61 8 3 20 0 20 0 5463944 11259342848 815912 33554432000 4194304 4196468 140726447961776 140414608521520 140415143340674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
Current children cumulated CPU time (s) 2398.37
Current children cumulated vsize (KiB) 10995452
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2324 s]
/proc/loadavg: 1.82 1.75 1.61 3/281 15961
/proc/meminfo: memFree=27489672/32770624 swapFree=5784/144912
[pid=15518] ppid=15515 vsize=10995452 CPUtime=2400.07 cores=1,3,5,7,9,11,13,15
/proc/15518/stat : 15518 (java) S 15515 15518 15196 0 -1 1077944320 356530 12607 0 0 239303 693 8 3 20 0 20 0 5463923 11259342848 815912 33554432000 4194304 4196468 140726447961776 140726447944320 140415143329527 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
/proc/15518/statm: 2748863 815912 3512 1 0 2736418 0
[pid=15518/tid=15573] ppid=15515 vsize=10995452 CPUtime=2304.52 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15573/stat : 15573 (java) R 15515 15518 15196 0 -1 4202560 198610 12607 0 0 230348 93 8 3 20 0 20 0 5463935 11259342848 815912 33554432000 4194304 4196468 140726447961776 140415147563632 140414796314013 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15574] ppid=15515 vsize=10995452 CPUtime=9.74 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15574/stat : 15574 (java) S 15515 15518 15196 0 -1 1077944384 8197 12607 0 0 902 61 8 3 20 0 20 0 5463936 11259342848 815912 33554432000 4194304 4196468 140726447961776 140415099881872 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15575] ppid=15515 vsize=10995452 CPUtime=9.82 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15575/stat : 15575 (java) S 15515 15518 15196 0 -1 1077944384 11491 12607 0 0 904 67 8 3 20 0 20 0 5463936 11259342848 815912 33554432000 4194304 4196468 140726447961776 140415098829072 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15576] ppid=15515 vsize=10995452 CPUtime=9.87 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15576/stat : 15576 (java) S 15515 15518 15196 0 -1 1077944384 8801 12607 0 0 913 63 8 3 20 0 20 0 5463936 11259342848 815912 33554432000 4194304 4196468 140726447961776 140414748121744 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15577] ppid=15515 vsize=10995452 CPUtime=9.9 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15577/stat : 15577 (java) S 15515 15518 15196 0 -1 1077944384 10631 12607 0 0 915 64 8 3 20 0 20 0 5463936 11259342848 815912 33554432000 4194304 4196468 140726447961776 140414747068944 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15578] ppid=15515 vsize=10995452 CPUtime=9.79 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15578/stat : 15578 (java) S 15515 15518 15196 0 -1 1077944384 8086 12607 0 0 903 65 8 3 20 0 20 0 5463936 11259342848 815912 33554432000 4194304 4196468 140726447961776 140414746016656 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15579] ppid=15515 vsize=10995452 CPUtime=9.82 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15579/stat : 15579 (java) S 15515 15518 15196 0 -1 1077944384 8763 12607 0 0 906 65 8 3 20 0 20 0 5463936 11259342848 815912 33554432000 4194304 4196468 140726447961776 140414744963856 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15580] ppid=15515 vsize=10995452 CPUtime=9.89 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15580/stat : 15580 (java) S 15515 15518 15196 0 -1 1077944384 11390 12607 0 0 915 63 8 3 20 0 20 0 5463936 11259342848 815912 33554432000 4194304 4196468 140726447961776 140414743911568 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15581] ppid=15515 vsize=10995452 CPUtime=9.81 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15581/stat : 15581 (java) S 15515 15518 15196 0 -1 1077944384 11087 12607 0 0 910 60 8 3 20 0 20 0 5463936 11259342848 815912 33554432000 4194304 4196468 140726447961776 140414742858768 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15582] ppid=15515 vsize=10995452 CPUtime=5.97 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15582/stat : 15582 (java) S 15515 15518 15196 0 -1 1077944384 21024 12607 0 0 517 69 8 3 20 0 20 0 5463938 11259342848 815912 33554432000 4194304 4196468 140726447961776 140414617995376 140415143340674 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15583] ppid=15515 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15583/stat : 15583 (java) S 15515 15518 15196 0 -1 1077944384 56 12607 0 0 0 0 8 3 20 0 20 0 5463939 11259342848 815912 33554432000 4194304 4196468 140726447961776 140414616941408 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15584] ppid=15515 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15584/stat : 15584 (java) S 15515 15518 15196 0 -1 1077944384 44 12607 0 0 0 0 8 3 20 0 20 0 5463939 11259342848 815912 33554432000 4194304 4196468 140726447961776 140414615889024 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15585] ppid=15515 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15585/stat : 15585 (java) S 15515 15518 15196 0 -1 1077944384 1 12607 0 0 0 0 8 3 20 0 20 0 5463943 11259342848 815912 33554432000 4194304 4196468 140726447961776 140414614837328 140415143348123 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15586] ppid=15515 vsize=10995452 CPUtime=2.89 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15586/stat : 15586 (java) S 15515 15518 15196 0 -1 1077944384 13573 12607 0 0 276 2 8 3 20 0 20 0 5463943 11259342848 815912 33554432000 4194304 4196468 140726447961776 140414613785200 140415143340674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15587] ppid=15515 vsize=10995452 CPUtime=3.32 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15587/stat : 15587 (java) S 15515 15518 15196 0 -1 1077944384 14862 12607 0 0 318 3 8 3 20 0 20 0 5463943 11259342848 815912 33554432000 4194304 4196468 140726447961776 140414612732400 140415143340674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15588] ppid=15515 vsize=10995452 CPUtime=2.66 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15588/stat : 15588 (java) S 15515 15518 15196 0 -1 1077944384 9099 12607 0 0 253 2 8 3 20 0 20 0 5463943 11259342848 815912 33554432000 4194304 4196468 140726447961776 140414611680112 140415143340674 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15589] ppid=15515 vsize=10995452 CPUtime=2.13 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15589/stat : 15589 (java) S 15515 15518 15196 0 -1 1077944384 17336 12607 0 0 198 4 8 3 20 0 20 0 5463943 11259342848 815912 33554432000 4194304 4196468 140726447961776 140414610627312 140415143340674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15590] ppid=15515 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15590/stat : 15590 (java) S 15515 15518 15196 0 -1 1077944384 3 12607 0 0 0 0 8 3 20 0 20 0 5463944 11259342848 815912 33554432000 4194304 4196468 140726447961776 140414609574240 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15591] ppid=15515 vsize=10995452 CPUtime=1.3 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15591/stat : 15591 (java) S 15515 15518 15196 0 -1 1077944384 1347 12607 0 0 58 61 8 3 20 0 20 0 5463944 11259342848 815912 33554432000 4194304 4196468 140726447961776 140414608521520 140415143340674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 10995452
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 15518 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2324.2 s]
/proc/loadavg: 1.82 1.75 1.61 3/281 15961
/proc/meminfo: memFree=27489672/32770624 swapFree=5784/144912
[pid=15518] ppid=15515 vsize=11128580 CPUtime=2401 cores=1,3,5,7,9,11,13,15
/proc/15518/stat : 15518 (java) S 15515 15518 15196 0 -1 1077944320 363134 12607 0 0 239395 694 8 3 20 0 22 0 5463923 11395665920 816544 33554432000 4194304 4196468 140726447961776 140726447944320 140415143329527 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
/proc/15518/statm: 2782145 816544 3512 1 0 2769700 0
[pid=15518/tid=15573] ppid=15515 vsize=11128580 CPUtime=2304.53 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15573/stat : 15573 (java) S 15515 15518 15196 0 -1 1077944384 198987 12607 0 0 230349 93 8 3 20 0 22 0 5463935 11395665920 816544 33554432000 4194304 4196468 140726447961776 140415147567072 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15574] ppid=15515 vsize=11128580 CPUtime=9.84 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15574/stat : 15574 (java) S 15515 15518 15196 0 -1 1077944384 8200 12607 0 0 912 61 8 3 20 0 22 0 5463936 11395665920 816544 33554432000 4194304 4196468 140726447961776 140415099881872 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15575] ppid=15515 vsize=11128580 CPUtime=9.93 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15575/stat : 15575 (java) S 15515 15518 15196 0 -1 1077944384 11507 12607 0 0 915 67 8 3 20 0 22 0 5463936 11395665920 816544 33554432000 4194304 4196468 140726447961776 140415098829072 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15576] ppid=15515 vsize=11128580 CPUtime=9.98 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15576/stat : 15576 (java) S 15515 15518 15196 0 -1 1077944384 8817 12607 0 0 924 63 8 3 20 0 22 0 5463936 11395665920 816544 33554432000 4194304 4196468 140726447961776 140414748121744 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15577] ppid=15515 vsize=11128580 CPUtime=10.01 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15577/stat : 15577 (java) S 15515 15518 15196 0 -1 1077944384 10680 12607 0 0 926 64 8 3 20 0 22 0 5463936 11395665920 816544 33554432000 4194304 4196468 140726447961776 140414747068944 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15578] ppid=15515 vsize=11128580 CPUtime=9.9 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15578/stat : 15578 (java) S 15515 15518 15196 0 -1 1077944384 8092 12607 0 0 914 65 8 3 20 0 22 0 5463936 11395665920 816544 33554432000 4194304 4196468 140726447961776 140414746016656 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15579] ppid=15515 vsize=11128580 CPUtime=9.93 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15579/stat : 15579 (java) S 15515 15518 15196 0 -1 1077944384 8774 12607 0 0 917 65 8 3 20 0 22 0 5463936 11395665920 816544 33554432000 4194304 4196468 140726447961776 140414744963856 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15580] ppid=15515 vsize=11128580 CPUtime=9.98 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15580/stat : 15580 (java) S 15515 15518 15196 0 -1 1077944384 11413 12607 0 0 924 63 8 3 20 0 22 0 5463936 11395665920 816544 33554432000 4194304 4196468 140726447961776 140414743911568 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15581] ppid=15515 vsize=11128580 CPUtime=9.93 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15581/stat : 15581 (java) S 15515 15518 15196 0 -1 1077944384 11110 12607 0 0 921 61 8 3 20 0 22 0 5463936 11395665920 816544 33554432000 4194304 4196468 140726447961776 140414742858768 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15582] ppid=15515 vsize=11128580 CPUtime=6.04 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15582/stat : 15582 (java) R 15515 15518 15196 0 -1 4202560 26863 12607 0 0 524 69 8 3 20 0 22 0 5463938 11395665920 816544 33554432000 4194304 4196468 140726447961776 140414617993776 140415129021227 0 0 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15583] ppid=15515 vsize=11128580 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15583/stat : 15583 (java) S 15515 15518 15196 0 -1 1077944384 57 12607 0 0 0 0 8 3 20 0 22 0 5463939 11395665920 816544 33554432000 4194304 4196468 140726447961776 140414616941312 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15584] ppid=15515 vsize=11128580 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15584/stat : 15584 (java) S 15515 15518 15196 0 -1 1077944384 44 12607 0 0 0 0 8 3 20 0 22 0 5463939 11395665920 816544 33554432000 4194304 4196468 140726447961776 140414615889024 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15585] ppid=15515 vsize=11128580 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15585/stat : 15585 (java) S 15515 15518 15196 0 -1 1077944384 92 12607 0 0 0 0 8 3 20 0 22 0 5463943 11395665920 816544 33554432000 4194304 4196468 140726447961776 140414614837328 140415143348123 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15586] ppid=15515 vsize=11128580 CPUtime=2.89 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15586/stat : 15586 (java) S 15515 15518 15196 0 -1 1077944384 13573 12607 0 0 276 2 8 3 20 0 22 0 5463943 11395665920 816544 33554432000 4194304 4196468 140726447961776 140414613785200 140415143340674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15587] ppid=15515 vsize=11128580 CPUtime=3.32 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15587/stat : 15587 (java) S 15515 15518 15196 0 -1 1077944384 14862 12607 0 0 318 3 8 3 20 0 22 0 5463943 11395665920 816544 33554432000 4194304 4196468 140726447961776 140414612732400 140415143340674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15588] ppid=15515 vsize=11128580 CPUtime=2.66 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15588/stat : 15588 (java) S 15515 15518 15196 0 -1 1077944384 9099 12607 0 0 253 2 8 3 20 0 22 0 5463943 11395665920 816544 33554432000 4194304 4196468 140726447961776 140414611680112 140415143340674 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15589] ppid=15515 vsize=11128580 CPUtime=2.13 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15589/stat : 15589 (java) S 15515 15518 15196 0 -1 1077944384 17364 12607 0 0 198 4 8 3 20 0 22 0 5463943 11395665920 816544 33554432000 4194304 4196468 140726447961776 140414610624816 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15590] ppid=15515 vsize=11128580 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15590/stat : 15590 (java) S 15515 15518 15196 0 -1 1077944384 3 12607 0 0 0 0 8 3 20 0 22 0 5463944 11395665920 816544 33554432000 4194304 4196468 140726447961776 140414609574240 140415143339733 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
[pid=15518/tid=15591] ppid=15515 vsize=11128580 CPUtime=1.3 cores=1,3,5,7,9,11,13,15
/proc/15518/task/15591/stat : 15591 (java) S 15515 15518 15196 0 -1 1077944384 1347 12607 0 0 58 61 8 3 20 0 22 0 5463944 11395665920 816544 33554432000 4194304 4196468 140726447961776 140414608521520 140415143340674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22179840 140726447962817 140726447965591 140726447965591 140726447968207 0
Current children cumulated CPU time (s) 2401
Current children cumulated vsize (KiB) 11128580
Child status: 143
Real time (s): 2324.29
CPU time (s): 2401.3
CPU user time (s): 2394.29
CPU system time (s): 7.01054
CPU usage (%): 103.313
Max. virtual memory (cumulated for all children) (KiB): 11128580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2394.29
system time used= 7.01054
maximum resident set size= 3266788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 375879
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 245850
involuntary context switches= 163391
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.6145 second user time and 22.5157 second system time
The end