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-4247814-1500738615/watcher-4247814-1500738615 -o /tmp/evaluation-result-4247814-1500738615/solver-4247814-1500738615 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node146-1500717875-23065 --watchdog 2560 bin/concrete HOME/instance-4247814-1500738615.xml
pid=28581
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.39 1.41 1.54 3/262 28584
/proc/meminfo: memFree=30763328/32770624 swapFree=5756/318832
[pid=28584] ppid=28581 vsize=9508 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28584/stat : 28584 (bash) S 28581 28584 23034 0 -1 4202496 687 1537 0 0 0 0 0 0 20 0 1 0 9126823 9736192 351 33554432000 4194304 5098028 140720667544224 140720667541864 140348763196416 0 0 4100 65536 18446744071580971376 0 0 17 12 0 0 0 0 0 7196144 7232144 28332032 140720667550990 140720667551075 140720667551075 140720667553774 0
/proc/28584/statm: 2377 351 278 221 0 86 0
[startup+0.10016 s]
/proc/loadavg: 1.39 1.41 1.54 3/262 28584
/proc/meminfo: memFree=30763328/32770624 swapFree=5756/318832
[pid=28584] ppid=28581 vsize=9640 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/28584/stat : 28584 (bash) S 28581 28584 23034 0 -1 4202496 879 6431 0 0 0 0 0 1 20 0 1 0 9126823 9871360 378 33554432000 4194304 5098028 140720667544224 140720667538232 140348763196416 0 0 4100 65536 18446744071580971376 0 0 17 12 0 0 0 0 0 7196144 7232144 28332032 140720667550990 140720667551075 140720667551075 140720667553774 0
/proc/28584/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.200331 s]
/proc/loadavg: 1.39 1.41 1.54 3/262 28584
/proc/meminfo: memFree=30763328/32770624 swapFree=5756/318832
[pid=28584] ppid=28581 vsize=10435860 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/28584/stat : 28584 (java) S 28581 28584 23034 0 -1 1077944320 5086 12644 0 0 5 1 9 3 20 0 13 0 9126823 10686320640 4934 33554432000 4194304 4196468 140727692350688 140727692333232 140555999469303 0 0 0 16800971 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
/proc/28584/statm: 2608965 4934 2137 1 0 2597403 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 10435860
[startup+0.300262 s]
/proc/loadavg: 1.39 1.41 1.54 3/262 28584
/proc/meminfo: memFree=30763328/32770624 swapFree=5756/318832
[pid=28584] ppid=28581 vsize=10902392 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/28584/stat : 28584 (java) S 28581 28584 23034 0 -1 1077944320 7061 12644 0 0 22 2 9 3 20 0 20 0 9126823 11164049408 8872 33554432000 4194304 4196468 140727692350688 140727692333232 140555999469303 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
/proc/28584/statm: 2725598 8872 2993 1 0 2713890 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 10902392
[startup+0.700225 s]
/proc/loadavg: 1.39 1.41 1.54 3/262 28584
/proc/meminfo: memFree=30763328/32770624 swapFree=5756/318832
[pid=28584] ppid=28581 vsize=10902720 CPUtime=0.88 cores=0,2,4,6,8,10,12,14
/proc/28584/stat : 28584 (java) S 28581 28584 23034 0 -1 1077944320 12184 12644 0 0 72 4 9 3 20 0 20 0 9126823 11164385280 15038 33554432000 4194304 4196468 140727692350688 140727692333232 140555999469303 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
/proc/28584/statm: 2725680 15038 3162 1 0 2713890 0
Current children cumulated CPU time (s) 0.88
Current children cumulated vsize (KiB) 10902720
[startup+1.50076 s]
/proc/loadavg: 1.36 1.41 1.54 4/282 28657
/proc/meminfo: memFree=30661276/32770624 swapFree=5756/318852
[pid=28584] ppid=28581 vsize=10913344 CPUtime=2.27 cores=0,2,4,6,8,10,12,14
/proc/28584/stat : 28584 (java) S 28581 28584 23034 0 -1 1077944320 26657 12644 0 0 201 14 9 3 20 0 20 0 9126823 11175264256 44118 33554432000 4194304 4196468 140727692350688 140727692333232 140555999469303 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
/proc/28584/statm: 2728336 44118 3401 1 0 2716450 0
[pid=28584/tid=28639] ppid=28581 vsize=10913344 CPUtime=1.42 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28639/stat : 28639 (java) R 28581 28584 23034 0 -1 4202560 19397 12644 0 0 125 5 9 3 20 0 20 0 9126836 11175264256 44118 33554432000 4194304 4196468 140727692350688 140556003676800 140555999481238 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28640] ppid=28581 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28640/stat : 28640 (java) S 28581 28584 23034 0 -1 1077944384 61 12644 0 0 1 0 9 3 20 0 20 0 9126837 11175264256 44118 33554432000 4194304 4196468 140727692350688 140555960429712 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28641] ppid=28581 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28641/stat : 28641 (java) S 28581 28584 23034 0 -1 1077944384 12 12644 0 0 1 0 9 3 20 0 20 0 9126837 11175264256 44118 33554432000 4194304 4196468 140727692350688 140555605220368 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28642] ppid=28581 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28642/stat : 28642 (java) S 28581 28584 23034 0 -1 1077944384 16 12644 0 0 0 0 9 3 20 0 20 0 9126837 11175264256 44118 33554432000 4194304 4196468 140727692350688 140555604167568 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28643] ppid=28581 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28643/stat : 28643 (java) S 28581 28584 23034 0 -1 1077944384 37 12644 0 0 1 0 9 3 20 0 20 0 9126837 11175264256 44118 33554432000 4194304 4196468 140727692350688 140555603114768 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28644] ppid=28581 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28644/stat : 28644 (java) S 28581 28584 23034 0 -1 1077944384 19 12644 0 0 0 0 9 3 20 0 20 0 9126837 11175264256 44118 33554432000 4194304 4196468 140727692350688 140555602061968 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28645] ppid=28581 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28645/stat : 28645 (java) S 28581 28584 23034 0 -1 1077944384 14 12644 0 0 1 0 9 3 20 0 20 0 9126837 11175264256 44118 33554432000 4194304 4196468 140727692350688 140555601009168 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28646] ppid=28581 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28646/stat : 28646 (java) S 28581 28584 23034 0 -1 1077944384 142 12644 0 0 1 0 9 3 20 0 20 0 9126837 11175264256 44118 33554432000 4194304 4196468 140727692350688 140555599956368 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28647] ppid=28581 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28647/stat : 28647 (java) S 28581 28584 23034 0 -1 1077944384 36 12644 0 0 1 0 9 3 20 0 20 0 9126837 11175264256 44118 33554432000 4194304 4196468 140727692350688 140555598903568 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28648] ppid=28581 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28648/stat : 28648 (java) S 28581 28584 23034 0 -1 1077944384 1734 12644 0 0 1 0 9 3 20 0 20 0 9126839 11175264256 44118 33554432000 4194304 4196468 140727692350688 140555473967984 140555999480450 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28649] ppid=28581 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28649/stat : 28649 (java) S 28581 28584 23034 0 -1 1077944384 56 12644 0 0 0 0 9 3 20 0 20 0 9126840 11175264256 44118 33554432000 4194304 4196468 140727692350688 140555472914016 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28650] ppid=28581 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28650/stat : 28650 (java) S 28581 28584 23034 0 -1 1077944384 43 12644 0 0 0 0 9 3 20 0 20 0 9126840 11175264256 44118 33554432000 4194304 4196468 140727692350688 140555471861104 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28651] ppid=28581 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28651/stat : 28651 (java) S 28581 28584 23034 0 -1 1077944384 1 12644 0 0 0 0 9 3 20 0 20 0 9126845 11175264256 44118 33554432000 4194304 4196468 140727692350688 140555470809424 140555999487899 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28652] ppid=28581 vsize=10913344 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28652/stat : 28652 (java) S 28581 28584 23034 0 -1 1077944384 856 12644 0 0 13 0 9 3 20 0 20 0 9126845 11175264256 44118 33554432000 4194304 4196468 140727692350688 140555469756784 140555999480450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28653] ppid=28581 vsize=10913344 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28653/stat : 28653 (java) R 28581 28584 23034 0 -1 4202560 796 12644 0 0 14 0 9 3 20 0 20 0 9126845 11175264256 44118 33554432000 4194304 4196468 140727692350688 140555468704280 140555985533248 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28654] ppid=28581 vsize=10913344 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28654/stat : 28654 (java) R 28581 28584 23034 0 -1 4202560 366 12644 0 0 10 0 9 3 20 0 20 0 9126845 11175264256 44118 33554432000 4194304 4196468 140727692350688 140555467651184 140555977491650 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28655] ppid=28581 vsize=10913344 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28655/stat : 28655 (java) R 28581 28584 23034 0 -1 4202560 940 12644 0 0 26 0 9 3 20 0 20 0 9126845 11175264256 44118 33554432000 4194304 4196468 140727692350688 140555466598384 140555983549790 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28656] ppid=28581 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28656/stat : 28656 (java) S 28581 28584 23034 0 -1 1077944384 3 12644 0 0 0 0 9 3 20 0 20 0 9126845 11175264256 44118 33554432000 4194304 4196468 140727692350688 140555465546848 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28657] ppid=28581 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28657/stat : 28657 (java) S 28581 28584 23034 0 -1 1077944384 3 12644 0 0 0 0 9 3 20 0 20 0 9126846 11175264256 44118 33554432000 4194304 4196468 140727692350688 140555464494128 140555999480450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
Current children cumulated CPU time (s) 2.27
Current children cumulated vsize (KiB) 10913344
[startup+3.10116 s]
/proc/loadavg: 1.36 1.41 1.54 5/282 28657
/proc/meminfo: memFree=30587252/32770624 swapFree=5756/318852
[pid=28584] ppid=28581 vsize=10925820 CPUtime=6.69 cores=0,2,4,6,8,10,12,14
/proc/28584/stat : 28584 (java) S 28581 28584 23034 0 -1 1077944320 43117 12644 0 0 637 20 9 3 20 0 20 0 9126823 11188039680 53084 33554432000 4194304 4196468 140727692350688 140727692333232 140555999469303 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
/proc/28584/statm: 2731455 53084 3472 1 0 2719010 0
[pid=28584/tid=28639] ppid=28581 vsize=10925820 CPUtime=3.01 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28639/stat : 28639 (java) R 28581 28584 23034 0 -1 4202560 27302 12644 0 0 281 8 9 3 20 0 20 0 9126836 11188039680 53084 33554432000 4194304 4196468 140727692350688 140556003701136 140555999481238 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28640] ppid=28581 vsize=10925820 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28640/stat : 28640 (java) S 28581 28584 23034 0 -1 1077944384 61 12644 0 0 1 0 9 3 20 0 20 0 9126837 11188039680 53084 33554432000 4194304 4196468 140727692350688 140555960429712 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28641] ppid=28581 vsize=10925820 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28641/stat : 28641 (java) S 28581 28584 23034 0 -1 1077944384 12 12644 0 0 1 0 9 3 20 0 20 0 9126837 11188039680 53084 33554432000 4194304 4196468 140727692350688 140555605220368 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28642] ppid=28581 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28642/stat : 28642 (java) S 28581 28584 23034 0 -1 1077944384 16 12644 0 0 0 0 9 3 20 0 20 0 9126837 11188039680 53084 33554432000 4194304 4196468 140727692350688 140555604167568 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28643] ppid=28581 vsize=10925820 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28643/stat : 28643 (java) S 28581 28584 23034 0 -1 1077944384 37 12644 0 0 1 0 9 3 20 0 20 0 9126837 11188039680 53084 33554432000 4194304 4196468 140727692350688 140555603114768 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28644] ppid=28581 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28644/stat : 28644 (java) S 28581 28584 23034 0 -1 1077944384 19 12644 0 0 0 0 9 3 20 0 20 0 9126837 11188039680 53084 33554432000 4194304 4196468 140727692350688 140555602061968 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28645] ppid=28581 vsize=10925820 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28645/stat : 28645 (java) S 28581 28584 23034 0 -1 1077944384 14 12644 0 0 1 0 9 3 20 0 20 0 9126837 11188039680 53084 33554432000 4194304 4196468 140727692350688 140555601009168 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28646] ppid=28581 vsize=10925820 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28646/stat : 28646 (java) S 28581 28584 23034 0 -1 1077944384 142 12644 0 0 1 0 9 3 20 0 20 0 9126837 11188039680 53084 33554432000 4194304 4196468 140727692350688 140555599956368 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28647] ppid=28581 vsize=10925820 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28647/stat : 28647 (java) S 28581 28584 23034 0 -1 1077944384 36 12644 0 0 1 0 9 3 20 0 20 0 9126837 11188039680 53084 33554432000 4194304 4196468 140727692350688 140555598903568 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28648] ppid=28581 vsize=10925820 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28648/stat : 28648 (java) S 28581 28584 23034 0 -1 1077944384 1784 12644 0 0 1 0 9 3 20 0 20 0 9126839 11188039680 53084 33554432000 4194304 4196468 140727692350688 140555473967984 140555999480450 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28649] ppid=28581 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28649/stat : 28649 (java) S 28581 28584 23034 0 -1 1077944384 56 12644 0 0 0 0 9 3 20 0 20 0 9126840 11188039680 53084 33554432000 4194304 4196468 140727692350688 140555472914016 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28650] ppid=28581 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28650/stat : 28650 (java) S 28581 28584 23034 0 -1 1077944384 43 12644 0 0 0 0 9 3 20 0 20 0 9126840 11188039680 53084 33554432000 4194304 4196468 140727692350688 140555471861104 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28651] ppid=28581 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28651/stat : 28651 (java) S 28581 28584 23034 0 -1 1077944384 1 12644 0 0 0 0 9 3 20 0 20 0 9126845 11188039680 53084 33554432000 4194304 4196468 140727692350688 140555470809424 140555999487899 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28652] ppid=28581 vsize=10925820 CPUtime=1.14 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28652/stat : 28652 (java) R 28581 28584 23034 0 -1 4202560 4677 12644 0 0 102 0 9 3 20 0 20 0 9126845 11188039680 53084 33554432000 4194304 4196468 140727692350688 140555469737648 140555980192668 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28653] ppid=28581 vsize=10925820 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28653/stat : 28653 (java) R 28581 28584 23034 0 -1 4202560 1602 12644 0 0 64 1 9 3 20 0 20 0 9126845 11188039680 53084 33554432000 4194304 4196468 140727692350688 140555468682992 140555979321439 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28654] ppid=28581 vsize=10925820 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28654/stat : 28654 (java) R 28581 28584 23034 0 -1 4202560 1364 12644 0 0 65 1 9 3 20 0 20 0 9126845 11188039680 53084 33554432000 4194304 4196468 140727692350688 140555467632560 140555982966065 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28655] ppid=28581 vsize=10925820 CPUtime=1.23 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28655/stat : 28655 (java) R 28581 28584 23034 0 -1 4202560 3814 12644 0 0 110 1 9 3 20 0 20 0 9126845 11188039680 53084 33554432000 4194304 4196468 140727692350688 140555466598384 140555999490650 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28656] ppid=28581 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28656/stat : 28656 (java) S 28581 28584 23034 0 -1 1077944384 3 12644 0 0 0 0 9 3 20 0 20 0 9126845 11188039680 53084 33554432000 4194304 4196468 140727692350688 140555465546848 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28657] ppid=28581 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28657/stat : 28657 (java) S 28581 28584 23034 0 -1 1077944384 7 12644 0 0 0 0 9 3 20 0 20 0 9126846 11188039680 53084 33554432000 4194304 4196468 140727692350688 140555464494128 140555999480450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
Current children cumulated CPU time (s) 6.69
Current children cumulated vsize (KiB) 10925820
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 28584 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20152 s]
/proc/loadavg: 1.36 1.41 1.54 5/282 28657
/proc/meminfo: memFree=30587252/32770624 swapFree=5756/318852
[pid=28584] ppid=28581 vsize=10927868 CPUtime=7.12 cores=0,2,4,6,8,10,12,14
/proc/28584/stat : 28584 (java) S 28581 28584 23034 0 -1 1077944320 43749 12644 0 0 680 20 9 3 20 0 20 0 9126823 11190136832 54643 33554432000 4194304 4196468 140727692350688 140727692333232 140555999469303 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
/proc/28584/statm: 2731967 54643 3472 1 0 2719522 0
[pid=28584/tid=28639] ppid=28581 vsize=10927868 CPUtime=3.11 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28639/stat : 28639 (java) R 28581 28584 23034 0 -1 4202560 27597 12644 0 0 291 8 9 3 20 0 20 0 9126836 11190136832 54643 33554432000 4194304 4196468 140727692350688 140556003701360 140555635839821 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28640] ppid=28581 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28640/stat : 28640 (java) S 28581 28584 23034 0 -1 1077944384 61 12644 0 0 1 0 9 3 20 0 20 0 9126837 11190136832 54643 33554432000 4194304 4196468 140727692350688 140555960429712 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28641] ppid=28581 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28641/stat : 28641 (java) S 28581 28584 23034 0 -1 1077944384 12 12644 0 0 1 0 9 3 20 0 20 0 9126837 11190136832 54643 33554432000 4194304 4196468 140727692350688 140555605220368 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28642] ppid=28581 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28642/stat : 28642 (java) S 28581 28584 23034 0 -1 1077944384 16 12644 0 0 0 0 9 3 20 0 20 0 9126837 11190136832 54643 33554432000 4194304 4196468 140727692350688 140555604167568 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28643] ppid=28581 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28643/stat : 28643 (java) S 28581 28584 23034 0 -1 1077944384 37 12644 0 0 1 0 9 3 20 0 20 0 9126837 11190136832 54643 33554432000 4194304 4196468 140727692350688 140555603114768 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28644] ppid=28581 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28644/stat : 28644 (java) S 28581 28584 23034 0 -1 1077944384 19 12644 0 0 0 0 9 3 20 0 20 0 9126837 11190136832 54643 33554432000 4194304 4196468 140727692350688 140555602061968 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28645] ppid=28581 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28645/stat : 28645 (java) S 28581 28584 23034 0 -1 1077944384 14 12644 0 0 1 0 9 3 20 0 20 0 9126837 11190136832 54643 33554432000 4194304 4196468 140727692350688 140555601009168 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28646] ppid=28581 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28646/stat : 28646 (java) S 28581 28584 23034 0 -1 1077944384 142 12644 0 0 1 0 9 3 20 0 20 0 9126837 11190136832 54643 33554432000 4194304 4196468 140727692350688 140555599956368 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28647] ppid=28581 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28647/stat : 28647 (java) S 28581 28584 23034 0 -1 1077944384 36 12644 0 0 1 0 9 3 20 0 20 0 9126837 11190136832 54643 33554432000 4194304 4196468 140727692350688 140555598903568 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28648] ppid=28581 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28648/stat : 28648 (java) S 28581 28584 23034 0 -1 1077944384 1784 12644 0 0 1 0 9 3 20 0 20 0 9126839 11190136832 54643 33554432000 4194304 4196468 140727692350688 140555473967984 140555999480450 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28649] ppid=28581 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28649/stat : 28649 (java) S 28581 28584 23034 0 -1 1077944384 56 12644 0 0 0 0 9 3 20 0 20 0 9126840 11190136832 54643 33554432000 4194304 4196468 140727692350688 140555472914016 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28650] ppid=28581 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28650/stat : 28650 (java) S 28581 28584 23034 0 -1 1077944384 43 12644 0 0 0 0 9 3 20 0 20 0 9126840 11190136832 54643 33554432000 4194304 4196468 140727692350688 140555471861104 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28651] ppid=28581 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28651/stat : 28651 (java) S 28581 28584 23034 0 -1 1077944384 1 12644 0 0 0 0 9 3 20 0 20 0 9126845 11190136832 54643 33554432000 4194304 4196468 140727692350688 140555470809424 140555999487899 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28652] ppid=28581 vsize=10927868 CPUtime=1.24 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28652/stat : 28652 (java) R 28581 28584 23034 0 -1 4202560 4677 12644 0 0 112 0 9 3 20 0 20 0 9126845 11190136832 54643 33554432000 4194304 4196468 140727692350688 140555469742800 140555980990517 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28653] ppid=28581 vsize=10927868 CPUtime=0.87 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28653/stat : 28653 (java) R 28581 28584 23034 0 -1 4202560 1756 12644 0 0 74 1 9 3 20 0 20 0 9126845 11190136832 54643 33554432000 4194304 4196468 140727692350688 140555468689488 140555979160847 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28654] ppid=28581 vsize=10927868 CPUtime=0.88 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28654/stat : 28654 (java) R 28581 28584 23034 0 -1 4202560 1479 12644 0 0 75 1 9 3 20 0 20 0 9126845 11190136832 54643 33554432000 4194304 4196468 140727692350688 140555467638544 140555999490650 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28655] ppid=28581 vsize=10927868 CPUtime=1.27 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28655/stat : 28655 (java) R 28581 28584 23034 0 -1 4202560 3883 12644 0 0 114 1 9 3 20 0 20 0 9126845 11190136832 54643 33554432000 4194304 4196468 140727692350688 140555466596176 140555999481238 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28656] ppid=28581 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28656/stat : 28656 (java) S 28581 28584 23034 0 -1 1077944384 3 12644 0 0 0 0 9 3 20 0 20 0 9126845 11190136832 54643 33554432000 4194304 4196468 140727692350688 140555465546848 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28657] ppid=28581 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28657/stat : 28657 (java) S 28581 28584 23034 0 -1 1077944384 7 12644 0 0 0 0 9 3 20 0 20 0 9126846 11190136832 54643 33554432000 4194304 4196468 140727692350688 140555464494128 140555999480450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
Current children cumulated CPU time (s) 7.12
Current children cumulated vsize (KiB) 10927868
[startup+4.00092 s]
/proc/loadavg: 1.36 1.41 1.54 3/282 28657
/proc/meminfo: memFree=30544560/32770624 swapFree=5756/318852
[pid=28584] ppid=28581 vsize=10995452 CPUtime=9.63 cores=0,2,4,6,8,10,12,14
/proc/28584/stat : 28584 (java) S 28581 28584 23034 0 -1 1077944320 61618 12644 0 0 923 28 9 3 20 0 20 0 9126823 11259342848 75566 33554432000 4194304 4196468 140727692350688 140727692333232 140555999469303 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
/proc/28584/statm: 2748863 75566 3487 1 0 2736418 0
[pid=28584/tid=28639] ppid=28581 vsize=10995452 CPUtime=3.67 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28639/stat : 28639 (java) R 28581 28584 23034 0 -1 4202560 41747 12644 0 0 344 11 9 3 20 0 20 0 9126836 11259342848 75566 33554432000 4194304 4196468 140727692350688 140556003691600 140555984634856 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28640] ppid=28581 vsize=10995452 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28640/stat : 28640 (java) S 28581 28584 23034 0 -1 1077944384 83 12644 0 0 13 1 9 3 20 0 20 0 9126837 11259342848 75566 33554432000 4194304 4196468 140727692350688 140555960429712 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28641] ppid=28581 vsize=10995452 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28641/stat : 28641 (java) S 28581 28584 23034 0 -1 1077944384 61 12644 0 0 13 1 9 3 20 0 20 0 9126837 11259342848 75566 33554432000 4194304 4196468 140727692350688 140555605220368 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28642] ppid=28581 vsize=10995452 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28642/stat : 28642 (java) S 28581 28584 23034 0 -1 1077944384 33 12644 0 0 12 1 9 3 20 0 20 0 9126837 11259342848 75566 33554432000 4194304 4196468 140727692350688 140555604167568 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28643] ppid=28581 vsize=10995452 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28643/stat : 28643 (java) S 28581 28584 23034 0 -1 1077944384 54 12644 0 0 11 0 9 3 20 0 20 0 9126837 11259342848 75566 33554432000 4194304 4196468 140727692350688 140555603114768 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28644] ppid=28581 vsize=10995452 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28644/stat : 28644 (java) S 28581 28584 23034 0 -1 1077944384 99 12644 0 0 12 1 9 3 20 0 20 0 9126837 11259342848 75566 33554432000 4194304 4196468 140727692350688 140555602061968 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28645] ppid=28581 vsize=10995452 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28645/stat : 28645 (java) S 28581 28584 23034 0 -1 1077944384 29 12644 0 0 13 1 9 3 20 0 20 0 9126837 11259342848 75566 33554432000 4194304 4196468 140727692350688 140555601009168 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28646] ppid=28581 vsize=10995452 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28646/stat : 28646 (java) S 28581 28584 23034 0 -1 1077944384 157 12644 0 0 10 1 9 3 20 0 20 0 9126837 11259342848 75566 33554432000 4194304 4196468 140727692350688 140555599956368 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28647] ppid=28581 vsize=10995452 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28647/stat : 28647 (java) S 28581 28584 23034 0 -1 1077944384 66 12644 0 0 13 1 9 3 20 0 20 0 9126837 11259342848 75566 33554432000 4194304 4196468 140727692350688 140555598903568 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28648] ppid=28581 vsize=10995452 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28648/stat : 28648 (java) S 28581 28584 23034 0 -1 1077944384 2520 12644 0 0 12 0 9 3 20 0 20 0 9126839 11259342848 75566 33554432000 4194304 4196468 140727692350688 140555473967984 140555999480450 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28649] ppid=28581 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28649/stat : 28649 (java) S 28581 28584 23034 0 -1 1077944384 59 12644 0 0 0 0 9 3 20 0 20 0 9126840 11259342848 75566 33554432000 4194304 4196468 140727692350688 140555472914080 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28650] ppid=28581 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28650/stat : 28650 (java) S 28581 28584 23034 0 -1 1077944384 44 12644 0 0 0 0 9 3 20 0 20 0 9126840 11259342848 75566 33554432000 4194304 4196468 140727692350688 140555471861120 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28651] ppid=28581 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28651/stat : 28651 (java) S 28581 28584 23034 0 -1 1077944384 1 12644 0 0 0 0 9 3 20 0 20 0 9126845 11259342848 75566 33554432000 4194304 4196468 140727692350688 140555470809424 140555999487899 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28652] ppid=28581 vsize=10995452 CPUtime=1.38 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28652/stat : 28652 (java) S 28581 28584 23034 0 -1 1077944384 4765 12644 0 0 126 0 9 3 20 0 20 0 9126845 11259342848 75566 33554432000 4194304 4196468 140727692350688 140555469756784 140555999480450 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28653] ppid=28581 vsize=10995452 CPUtime=1.08 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28653/stat : 28653 (java) S 28581 28584 23034 0 -1 1077944384 2025 12644 0 0 95 1 9 3 20 0 20 0 9126845 11259342848 75566 33554432000 4194304 4196468 140727692350688 140555468703984 140555999480450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28654] ppid=28581 vsize=10995452 CPUtime=1.23 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28654/stat : 28654 (java) R 28581 28584 23034 0 -1 4202560 3517 12644 0 0 110 1 9 3 20 0 20 0 9126845 11259342848 75566 33554432000 4194304 4196468 140727692350688 140555467635416 140555978721228 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28655] ppid=28581 vsize=10995452 CPUtime=1.44 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28655/stat : 28655 (java) S 28581 28584 23034 0 -1 1077944384 4221 12644 0 0 131 1 9 3 20 0 20 0 9126845 11259342848 75566 33554432000 4194304 4196468 140727692350688 140555466598384 140555999480450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28656] ppid=28581 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28656/stat : 28656 (java) S 28581 28584 23034 0 -1 1077944384 3 12644 0 0 0 0 9 3 20 0 20 0 9126845 11259342848 75566 33554432000 4194304 4196468 140727692350688 140555465546848 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28657] ppid=28581 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28657/stat : 28657 (java) S 28581 28584 23034 0 -1 1077944384 7 12644 0 0 0 0 9 3 20 0 20 0 9126846 11259342848 75566 33554432000 4194304 4196468 140727692350688 140555464494128 140555999480450 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
Current children cumulated CPU time (s) 9.63
Current children cumulated vsize (KiB) 10995452
[startup+4.40119 s]
/proc/loadavg: 1.36 1.41 1.54 6/282 28657
/proc/meminfo: memFree=30474028/32770624 swapFree=5756/318852
[pid=28584] ppid=28581 vsize=10995452 CPUtime=11.4 cores=0,2,4,6,8,10,12,14
/proc/28584/stat : 28584 (java) S 28581 28584 23034 0 -1 1077944320 64443 12644 0 0 1099 29 9 3 20 0 20 0 9126823 11259342848 75938 33554432000 4194304 4196468 140727692350688 140727692333232 140555999469303 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
/proc/28584/statm: 2748863 75938 3496 1 0 2736418 0
[pid=28584/tid=28639] ppid=28581 vsize=10995452 CPUtime=4.08 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28639/stat : 28639 (java) R 28581 28584 23034 0 -1 4202560 41842 12644 0 0 385 11 9 3 20 0 20 0 9126836 11259342848 75938 33554432000 4194304 4196468 140727692350688 140556003704744 140555648826830 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28640] ppid=28581 vsize=10995452 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28640/stat : 28640 (java) S 28581 28584 23034 0 -1 1077944384 83 12644 0 0 13 1 9 3 20 0 20 0 9126837 11259342848 75938 33554432000 4194304 4196468 140727692350688 140555960429712 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28641] ppid=28581 vsize=10995452 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28641/stat : 28641 (java) S 28581 28584 23034 0 -1 1077944384 61 12644 0 0 13 1 9 3 20 0 20 0 9126837 11259342848 75938 33554432000 4194304 4196468 140727692350688 140555605220368 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28642] ppid=28581 vsize=10995452 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28642/stat : 28642 (java) S 28581 28584 23034 0 -1 1077944384 33 12644 0 0 12 1 9 3 20 0 20 0 9126837 11259342848 75938 33554432000 4194304 4196468 140727692350688 140555604167568 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28643] ppid=28581 vsize=10995452 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28643/stat : 28643 (java) S 28581 28584 23034 0 -1 1077944384 54 12644 0 0 11 0 9 3 20 0 20 0 9126837 11259342848 75938 33554432000 4194304 4196468 140727692350688 140555603114768 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28644] ppid=28581 vsize=10995452 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28644/stat : 28644 (java) S 28581 28584 23034 0 -1 1077944384 99 12644 0 0 12 1 9 3 20 0 20 0 9126837 11259342848 75938 33554432000 4194304 4196468 140727692350688 140555602061968 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28645] ppid=28581 vsize=10995452 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28645/stat : 28645 (java) S 28581 28584 23034 0 -1 1077944384 29 12644 0 0 13 1 9 3 20 0 20 0 9126837 11259342848 75938 33554432000 4194304 4196468 140727692350688 140555601009168 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28646] ppid=28581 vsize=10995452 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28646/stat : 28646 (java) S 28581 28584 23034 0 -1 1077944384 157 12644 0 0 10 1 9 3 20 0 20 0 9126837 11259342848 75938 33554432000 4194304 4196468 140727692350688 140555599956368 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28647] ppid=28581 vsize=10995452 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28647/stat : 28647 (java) S 28581 28584 23034 0 -1 1077944384 66 12644 0 0 13 1 9 3 20 0 20 0 9126837 11259342848 75938 33554432000 4194304 4196468 140727692350688 140555598903568 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28648] ppid=28581 vsize=10995452 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28648/stat : 28648 (java) S 28581 28584 23034 0 -1 1077944384 2520 12644 0 0 12 0 9 3 20 0 20 0 9126839 11259342848 75938 33554432000 4194304 4196468 140727692350688 140555473967984 140555999480450 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28649] ppid=28581 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28649/stat : 28649 (java) S 28581 28584 23034 0 -1 1077944384 59 12644 0 0 0 0 9 3 20 0 20 0 9126840 11259342848 75938 33554432000 4194304 4196468 140727692350688 140555472914080 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28650] ppid=28581 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28650/stat : 28650 (java) S 28581 28584 23034 0 -1 1077944384 44 12644 0 0 0 0 9 3 20 0 20 0 9126840 11259342848 75938 33554432000 4194304 4196468 140727692350688 140555471861120 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28651] ppid=28581 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28651/stat : 28651 (java) S 28581 28584 23034 0 -1 1077944384 1 12644 0 0 0 0 9 3 20 0 20 0 9126845 11259342848 75938 33554432000 4194304 4196468 140727692350688 140555470809424 140555999487899 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28652] ppid=28581 vsize=10995452 CPUtime=1.75 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28652/stat : 28652 (java) R 28581 28584 23034 0 -1 4202560 4796 12644 0 0 162 1 9 3 20 0 20 0 9126845 11259342848 75938 33554432000 4194304 4196468 140727692350688 140555469737888 140555982966091 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28653] ppid=28581 vsize=10995452 CPUtime=1.42 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28653/stat : 28653 (java) R 28581 28584 23034 0 -1 4202560 2124 12644 0 0 129 1 9 3 20 0 20 0 9126845 11259342848 75938 33554432000 4194304 4196468 140727692350688 140555468693776 140555984634849 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28654] ppid=28581 vsize=10995452 CPUtime=1.65 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28654/stat : 28654 (java) R 28581 28584 23034 0 -1 4202560 5694 12644 0 0 151 2 9 3 20 0 20 0 9126845 11259342848 75938 33554432000 4194304 4196468 140727692350688 140555467637744 140555980241341 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28655] ppid=28581 vsize=10995452 CPUtime=1.69 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28655/stat : 28655 (java) S 28581 28584 23034 0 -1 1077944384 4642 12644 0 0 155 2 9 3 20 0 20 0 9126845 11259342848 75938 33554432000 4194304 4196468 140727692350688 140555466598384 140555999480450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28656] ppid=28581 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28656/stat : 28656 (java) S 28581 28584 23034 0 -1 1077944384 3 12644 0 0 0 0 9 3 20 0 20 0 9126845 11259342848 75938 33554432000 4194304 4196468 140727692350688 140555465546848 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28657] ppid=28581 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28657/stat : 28657 (java) S 28581 28584 23034 0 -1 1077944384 9 12644 0 0 0 0 9 3 20 0 20 0 9126846 11259342848 75938 33554432000 4194304 4196468 140727692350688 140555464494128 140555999480450 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
Current children cumulated CPU time (s) 11.4
Current children cumulated vsize (KiB) 10995452
[startup+4.60107 s]
/proc/loadavg: 1.36 1.41 1.54 6/282 28657
/proc/meminfo: memFree=30474028/32770624 swapFree=5756/318852
[pid=28584] ppid=28581 vsize=10995452 CPUtime=12.17 cores=0,2,4,6,8,10,12,14
/proc/28584/stat : 28584 (java) S 28581 28584 23034 0 -1 1077944320 64639 12644 0 0 1176 29 9 3 20 0 20 0 9126823 11259342848 76064 33554432000 4194304 4196468 140727692350688 140727692333232 140555999469303 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
/proc/28584/statm: 2748863 76064 3498 1 0 2736418 0
[pid=28584/tid=28639] ppid=28581 vsize=10995452 CPUtime=4.26 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28639/stat : 28639 (java) R 28581 28584 23034 0 -1 4202560 41895 12644 0 0 403 11 9 3 20 0 20 0 9126836 11259342848 76064 33554432000 4194304 4196468 140727692350688 140556003705288 140555981033806 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28640] ppid=28581 vsize=10995452 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28640/stat : 28640 (java) S 28581 28584 23034 0 -1 1077944384 83 12644 0 0 13 1 9 3 20 0 20 0 9126837 11259342848 76064 33554432000 4194304 4196468 140727692350688 140555960429712 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28641] ppid=28581 vsize=10995452 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28641/stat : 28641 (java) S 28581 28584 23034 0 -1 1077944384 61 12644 0 0 13 1 9 3 20 0 20 0 9126837 11259342848 76064 33554432000 4194304 4196468 140727692350688 140555605220368 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28642] ppid=28581 vsize=10995452 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28642/stat : 28642 (java) S 28581 28584 23034 0 -1 1077944384 33 12644 0 0 12 1 9 3 20 0 20 0 9126837 11259342848 76064 33554432000 4194304 4196468 140727692350688 140555604167568 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28643] ppid=28581 vsize=10995452 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28643/stat : 28643 (java) S 28581 28584 23034 0 -1 1077944384 54 12644 0 0 11 0 9 3 20 0 20 0 9126837 11259342848 76064 33554432000 4194304 4196468 140727692350688 140555603114768 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28644] ppid=28581 vsize=10995452 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28644/stat : 28644 (java) S 28581 28584 23034 0 -1 1077944384 99 12644 0 0 12 1 9 3 20 0 20 0 9126837 11259342848 76064 33554432000 4194304 4196468 140727692350688 140555602061968 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28645] ppid=28581 vsize=10995452 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28645/stat : 28645 (java) S 28581 28584 23034 0 -1 1077944384 29 12644 0 0 13 1 9 3 20 0 20 0 9126837 11259342848 76064 33554432000 4194304 4196468 140727692350688 140555601009168 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28646] ppid=28581 vsize=10995452 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28646/stat : 28646 (java) S 28581 28584 23034 0 -1 1077944384 157 12644 0 0 10 1 9 3 20 0 20 0 9126837 11259342848 76064 33554432000 4194304 4196468 140727692350688 140555599956368 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28647] ppid=28581 vsize=10995452 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28647/stat : 28647 (java) S 28581 28584 23034 0 -1 1077944384 66 12644 0 0 13 1 9 3 20 0 20 0 9126837 11259342848 76064 33554432000 4194304 4196468 140727692350688 140555598903568 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28648] ppid=28581 vsize=10995452 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28648/stat : 28648 (java) S 28581 28584 23034 0 -1 1077944384 2520 12644 0 0 12 0 9 3 20 0 20 0 9126839 11259342848 76064 33554432000 4194304 4196468 140727692350688 140555473967984 140555999480450 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28649] ppid=28581 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28649/stat : 28649 (java) S 28581 28584 23034 0 -1 1077944384 59 12644 0 0 0 0 9 3 20 0 20 0 9126840 11259342848 76064 33554432000 4194304 4196468 140727692350688 140555472914080 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28650] ppid=28581 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28650/stat : 28650 (java) S 28581 28584 23034 0 -1 1077944384 44 12644 0 0 0 0 9 3 20 0 20 0 9126840 11259342848 76064 33554432000 4194304 4196468 140727692350688 140555471861120 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28651] ppid=28581 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28651/stat : 28651 (java) S 28581 28584 23034 0 -1 1077944384 1 12644 0 0 0 0 9 3 20 0 20 0 9126845 11259342848 76064 33554432000 4194304 4196468 140727692350688 140555470809424 140555999487899 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28652] ppid=28581 vsize=10995452 CPUtime=1.93 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28652/stat : 28652 (java) R 28581 28584 23034 0 -1 4202560 4842 12644 0 0 180 1 9 3 20 0 20 0 9126845 11259342848 76064 33554432000 4194304 4196468 140727692350688 140555469741744 140555977635784 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28653] ppid=28581 vsize=10995452 CPUtime=1.61 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28653/stat : 28653 (java) R 28581 28584 23034 0 -1 4202560 2161 12644 0 0 148 1 9 3 20 0 20 0 9126845 11259342848 76064 33554432000 4194304 4196468 140727692350688 140555468690192 140555999490650 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28654] ppid=28581 vsize=10995452 CPUtime=1.83 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28654/stat : 28654 (java) R 28581 28584 23034 0 -1 4202560 5734 12644 0 0 169 2 9 3 20 0 20 0 9126845 11259342848 76064 33554432000 4194304 4196468 140727692350688 140555467637504 140555999490650 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28655] ppid=28581 vsize=10995452 CPUtime=1.73 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28655/stat : 28655 (java) S 28581 28584 23034 0 -1 1077944384 4664 12644 0 0 159 2 9 3 20 0 20 0 9126845 11259342848 76064 33554432000 4194304 4196468 140727692350688 140555466598384 140555999480450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28656] ppid=28581 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28656/stat : 28656 (java) S 28581 28584 23034 0 -1 1077944384 3 12644 0 0 0 0 9 3 20 0 20 0 9126845 11259342848 76064 33554432000 4194304 4196468 140727692350688 140555465546848 140555999479509 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
[pid=28584/tid=28657] ppid=28581 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28584/task/28657/stat : 28657 (java) S 28581 28584 23034 0 -1 1077944384 9 12644 0 0 0 0 9 3 20 0 20 0 9126846 11259342848 76064 33554432000 4194304 4196468 140727692350688 140555464494128 140555999480450 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32043008 140727692356289 140727692359063 140727692359063 140727692361679 0
Current children cumulated CPU time (s) 12.17
Current children cumulated vsize (KiB) 10995452
Child status: 0
Real time (s): 4.62655
CPU time (s): 12.2182
CPU user time (s): 11.8753
CPU system time (s): 0.342877
CPU usage (%): 264.089
Max. virtual memory (cumulated for all children) (KiB): 10997548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.8753
system time used= 0.342877
maximum resident set size= 307676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77376
page faults= 0
swaps= 0
block input operations= 0
block output operations= 224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9491
involuntary context switches= 1353
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.047531 second user time and 0.056633 second system time
The end