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-4247348-1500730166/watcher-4247348-1500730166 -o /tmp/evaluation-result-4247348-1500730166/solver-4247348-1500730166 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500712981-22997 --watchdog 2560 bin/concrete HOME/instance-4247348-1500730166.xml
pid=29569
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: 7.69 4.26 2.72 4/261 29572
/proc/meminfo: memFree=27770560/32770624 swapFree=5700/377736
[pid=29572] ppid=29569 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29572/stat : 29572 (bash) S 29569 29572 22965 0 -1 4202496 686 1532 0 0 0 0 0 0 20 0 1 0 8284089 9736192 351 33554432000 4194304 5098028 140730322999120 140730322996760 140629198638080 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 25788416 140730323006734 140730323006819 140730323006819 140730323009518 0
/proc/29572/statm: 2377 351 278 221 0 86 0
[startup+0.100126 s]
/proc/loadavg: 7.69 4.26 2.72 4/261 29572
/proc/meminfo: memFree=27770560/32770624 swapFree=5700/377736
[pid=29572] ppid=29569 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/29572/stat : 29572 (bash) S 29569 29572 22965 0 -1 4202496 885 6412 0 0 0 0 0 1 20 0 1 0 8284089 9871360 378 33554432000 4194304 5098028 140730322999120 140730322993128 140629198638080 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 25788416 140730323006734 140730323006819 140730323006819 140730323009518 0
/proc/29572/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.200319 s]
/proc/loadavg: 7.69 4.26 2.72 4/261 29572
/proc/meminfo: memFree=27770560/32770624 swapFree=5700/377736
[pid=29572] ppid=29569 vsize=10435860 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/29572/stat : 29572 (java) S 29569 29572 22965 0 -1 1077944320 4813 12393 0 0 6 1 8 3 20 0 13 0 8284089 10686320640 5180 33554432000 4194304 4196468 140732376052864 140732376035408 140094027239159 0 0 0 16800971 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
/proc/29572/statm: 2608965 5180 2171 1 0 2597403 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 10435860
[startup+0.300275 s]
/proc/loadavg: 7.69 4.26 2.72 4/261 29572
/proc/meminfo: memFree=27770560/32770624 swapFree=5700/377736
[pid=29572] ppid=29569 vsize=10902292 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/29572/stat : 29572 (java) S 29569 29572 22965 0 -1 1077944320 8076 12393 0 0 22 3 8 3 20 0 20 0 8284089 11163947008 9186 33554432000 4194304 4196468 140732376052864 140732376035408 140094027239159 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
/proc/29572/statm: 2725573 9186 2972 1 0 2713890 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 10902292
[startup+0.700168 s]
/proc/loadavg: 7.69 4.26 2.72 4/261 29572
/proc/meminfo: memFree=27770560/32770624 swapFree=5700/377736
[pid=29572] ppid=29569 vsize=10902720 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/29572/stat : 29572 (java) S 29569 29572 22965 0 -1 1077944320 12593 12393 0 0 77 5 8 3 20 0 20 0 8284089 11164385280 15920 33554432000 4194304 4196468 140732376052864 140732376035408 140094027239159 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
/proc/29572/statm: 2725680 15920 3205 1 0 2713890 0
Current children cumulated CPU time (s) 0.93
Current children cumulated vsize (KiB) 10902720
[startup+1.50074 s]
/proc/loadavg: 7.23 4.22 2.72 4/281 29645
/proc/meminfo: memFree=27662552/32770624 swapFree=5700/377736
[pid=29572] ppid=29569 vsize=10913344 CPUtime=2.31 cores=1,3,5,7,9,11,13,15
/proc/29572/stat : 29572 (java) S 29569 29572 22965 0 -1 1077944320 28143 12393 0 0 206 14 8 3 20 0 20 0 8284089 11175264256 44677 33554432000 4194304 4196468 140732376052864 140732376035408 140094027239159 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
/proc/29572/statm: 2728336 44677 3409 1 0 2716450 0
[pid=29572/tid=29627] ppid=29569 vsize=10913344 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29627/stat : 29627 (java) R 29569 29572 22965 0 -1 4202560 19860 12393 0 0 125 6 8 3 20 0 20 0 8284102 11175264256 44677 33554432000 4194304 4196468 140732376052864 140094031446560 140093662827914 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29628] ppid=29569 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29628/stat : 29628 (java) S 29569 29572 22965 0 -1 1077944384 15 12393 0 0 1 0 8 3 20 0 20 0 8284103 11175264256 44677 33554432000 4194304 4196468 140732376052864 140093983791760 140094027249365 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29629] ppid=29569 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29629/stat : 29629 (java) S 29569 29572 22965 0 -1 1077944384 28 12393 0 0 1 0 8 3 20 0 20 0 8284103 11175264256 44677 33554432000 4194304 4196468 140732376052864 140093982738960 140094027249365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29630] ppid=29569 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29630/stat : 29630 (java) S 29569 29572 22965 0 -1 1077944384 27 12393 0 0 1 0 8 3 20 0 20 0 8284103 11175264256 44677 33554432000 4194304 4196468 140732376052864 140093632207248 140094027249365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29631] ppid=29569 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29631/stat : 29631 (java) S 29569 29572 22965 0 -1 1077944384 21 12393 0 0 1 0 8 3 20 0 20 0 8284103 11175264256 44677 33554432000 4194304 4196468 140732376052864 140093631154448 140094027249365 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29632] ppid=29569 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29632/stat : 29632 (java) S 29569 29572 22965 0 -1 1077944384 137 12393 0 0 1 0 8 3 20 0 20 0 8284103 11175264256 44677 33554432000 4194304 4196468 140732376052864 140093630102672 140094027249365 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29633] ppid=29569 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29633/stat : 29633 (java) S 29569 29572 22965 0 -1 1077944384 25 12393 0 0 1 0 8 3 20 0 20 0 8284103 11175264256 44677 33554432000 4194304 4196468 140732376052864 140093629049872 140094027249365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29634] ppid=29569 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29634/stat : 29634 (java) S 29569 29572 22965 0 -1 1077944384 41 12393 0 0 1 0 8 3 20 0 20 0 8284103 11175264256 44677 33554432000 4194304 4196468 140732376052864 140093627997072 140094027249365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29635] ppid=29569 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29635/stat : 29635 (java) S 29569 29572 22965 0 -1 1077944384 23 12393 0 0 0 0 8 3 20 0 20 0 8284103 11175264256 44677 33554432000 4194304 4196468 140732376052864 140093626944272 140094027249365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29636] ppid=29569 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29636/stat : 29636 (java) S 29569 29572 22965 0 -1 1077944384 1587 12393 0 0 1 0 8 3 20 0 20 0 8284105 11175264256 44677 33554432000 4194304 4196468 140732376052864 140093501163888 140094027250306 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29637] ppid=29569 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29637/stat : 29637 (java) S 29569 29572 22965 0 -1 1077944384 57 12393 0 0 0 0 8 3 20 0 20 0 8284106 11175264256 44677 33554432000 4194304 4196468 140732376052864 140093500109920 140094027249365 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29638] ppid=29569 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29638/stat : 29638 (java) S 29569 29572 22965 0 -1 1077944384 44 12393 0 0 0 0 8 3 20 0 20 0 8284106 11175264256 44677 33554432000 4194304 4196468 140732376052864 140093499057024 140094027249365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29639] ppid=29569 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29639/stat : 29639 (java) S 29569 29572 22965 0 -1 1077944384 1 12393 0 0 0 0 8 3 20 0 20 0 8284110 11175264256 44677 33554432000 4194304 4196468 140732376052864 140093498005328 140094027257755 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29640] ppid=29569 vsize=10913344 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29640/stat : 29640 (java) S 29569 29572 22965 0 -1 1077944384 916 12393 0 0 10 0 8 3 20 0 20 0 8284110 11175264256 44677 33554432000 4194304 4196468 140732376052864 140093496953712 140094027250306 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29641] ppid=29569 vsize=10913344 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29641/stat : 29641 (java) S 29569 29572 22965 0 -1 1077944384 479 12393 0 0 13 0 8 3 20 0 20 0 8284110 11175264256 44677 33554432000 4194304 4196468 140732376052864 140093495900912 140094027250306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29642] ppid=29569 vsize=10913344 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29642/stat : 29642 (java) S 29569 29572 22965 0 -1 1077944384 1366 12393 0 0 17 0 8 3 20 0 20 0 8284110 11175264256 44677 33554432000 4194304 4196468 140732376052864 140093494848112 140094027250306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29643] ppid=29569 vsize=10913344 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29643/stat : 29643 (java) R 29569 29572 22965 0 -1 4202560 1378 12393 0 0 27 0 8 3 20 0 20 0 8284110 11175264256 44677 33554432000 4194304 4196468 140732376052864 140093493795312 140094027260506 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29644] ppid=29569 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29644/stat : 29644 (java) S 29569 29572 22965 0 -1 1077944384 3 12393 0 0 0 0 8 3 20 0 20 0 8284110 11175264256 44677 33554432000 4194304 4196468 140732376052864 140093492742752 140094027249365 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29645] ppid=29569 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29645/stat : 29645 (java) S 29569 29572 22965 0 -1 1077944384 3 12393 0 0 0 0 8 3 20 0 20 0 8284111 11175264256 44677 33554432000 4194304 4196468 140732376052864 140093491690032 140094027250306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
Current children cumulated CPU time (s) 2.31
Current children cumulated vsize (KiB) 10913344
[startup+3.10071 s]
/proc/loadavg: 7.23 4.22 2.72 7/281 29645
/proc/meminfo: memFree=27587872/32770624 swapFree=5700/377736
[pid=29572] ppid=29569 vsize=10923772 CPUtime=7.75 cores=1,3,5,7,9,11,13,15
/proc/29572/stat : 29572 (java) S 29569 29572 22965 0 -1 1077944320 42795 12393 0 0 726 38 8 3 20 0 20 0 8284089 11185942528 78483 33554432000 4194304 4196468 140732376052864 140732376035408 140094027239159 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
/proc/29572/statm: 2730943 78483 3499 1 0 2718498 0
[pid=29572/tid=29627] ppid=29569 vsize=10923772 CPUtime=2.95 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29627/stat : 29627 (java) R 29569 29572 22965 0 -1 4202560 24677 12393 0 0 274 10 8 3 20 0 20 0 8284102 11185942528 78483 33554432000 4194304 4196468 140732376052864 140094031458960 140094011319646 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29628] ppid=29569 vsize=10923772 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29628/stat : 29628 (java) S 29569 29572 22965 0 -1 1077944384 81 12393 0 0 4 3 8 3 20 0 20 0 8284103 11185942528 78483 33554432000 4194304 4196468 140732376052864 140093983791760 140094027249365 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29629] ppid=29569 vsize=10923772 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29629/stat : 29629 (java) S 29569 29572 22965 0 -1 1077944384 80 12393 0 0 5 2 8 3 20 0 20 0 8284103 11185942528 78483 33554432000 4194304 4196468 140732376052864 140093982738960 140094027249365 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29630] ppid=29569 vsize=10923772 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29630/stat : 29630 (java) S 29569 29572 22965 0 -1 1077944384 141 12393 0 0 4 2 8 3 20 0 20 0 8284103 11185942528 78483 33554432000 4194304 4196468 140732376052864 140093632207248 140094027249365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29631] ppid=29569 vsize=10923772 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29631/stat : 29631 (java) S 29569 29572 22965 0 -1 1077944384 86 12393 0 0 4 3 8 3 20 0 20 0 8284103 11185942528 78483 33554432000 4194304 4196468 140732376052864 140093631154448 140094027249365 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29632] ppid=29569 vsize=10923772 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29632/stat : 29632 (java) S 29569 29572 22965 0 -1 1077944384 211 12393 0 0 5 2 8 3 20 0 20 0 8284103 11185942528 78483 33554432000 4194304 4196468 140732376052864 140093630102672 140094027249365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29633] ppid=29569 vsize=10923772 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29633/stat : 29633 (java) S 29569 29572 22965 0 -1 1077944384 190 12393 0 0 3 2 8 3 20 0 20 0 8284103 11185942528 78483 33554432000 4194304 4196468 140732376052864 140093629049872 140094027249365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29634] ppid=29569 vsize=10923772 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29634/stat : 29634 (java) S 29569 29572 22965 0 -1 1077944384 104 12393 0 0 5 2 8 3 20 0 20 0 8284103 11185942528 78483 33554432000 4194304 4196468 140732376052864 140093627997072 140094027249365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29635] ppid=29569 vsize=10923772 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29635/stat : 29635 (java) S 29569 29572 22965 0 -1 1077944384 105 12393 0 0 5 2 8 3 20 0 20 0 8284103 11185942528 78483 33554432000 4194304 4196468 140732376052864 140093626944272 140094027249365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29636] ppid=29569 vsize=10923772 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29636/stat : 29636 (java) S 29569 29572 22965 0 -1 1077944384 2172 12393 0 0 2 0 8 3 20 0 20 0 8284105 11185942528 78483 33554432000 4194304 4196468 140732376052864 140093501163888 140094027250306 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29637] ppid=29569 vsize=10923772 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29637/stat : 29637 (java) S 29569 29572 22965 0 -1 1077944384 58 12393 0 0 0 0 8 3 20 0 20 0 8284106 11185942528 78483 33554432000 4194304 4196468 140732376052864 140093500109920 140094027249365 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29638] ppid=29569 vsize=10923772 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29638/stat : 29638 (java) S 29569 29572 22965 0 -1 1077944384 44 12393 0 0 0 0 8 3 20 0 20 0 8284106 11185942528 78483 33554432000 4194304 4196468 140732376052864 140093499057024 140094027249365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29639] ppid=29569 vsize=10923772 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29639/stat : 29639 (java) S 29569 29572 22965 0 -1 1077944384 1 12393 0 0 0 0 8 3 20 0 20 0 8284110 11185942528 78483 33554432000 4194304 4196468 140732376052864 140093498005328 140094027257755 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29640] ppid=29569 vsize=10923772 CPUtime=1.06 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29640/stat : 29640 (java) R 29569 29572 22965 0 -1 4202560 2468 12393 0 0 94 1 8 3 20 0 20 0 8284110 11185942528 78483 33554432000 4194304 4196468 140732376052864 140093496940256 140094010735888 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29641] ppid=29569 vsize=10923772 CPUtime=1.13 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29641/stat : 29641 (java) R 29569 29572 22965 0 -1 4202560 2043 12393 0 0 101 1 8 3 20 0 20 0 8284110 11185942528 78483 33554432000 4194304 4196468 140732376052864 140093495887480 140094008757585 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29642] ppid=29569 vsize=10923772 CPUtime=1.36 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29642/stat : 29642 (java) R 29569 29572 22965 0 -1 4202560 4982 12393 0 0 124 1 8 3 20 0 20 0 8284110 11185942528 78483 33554432000 4194304 4196468 140732376052864 140093494834680 140094010735929 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29643] ppid=29569 vsize=10923772 CPUtime=1.02 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29643/stat : 29643 (java) S 29569 29572 22965 0 -1 1077944384 3213 12393 0 0 90 1 8 3 20 0 20 0 8284110 11185942528 78483 33554432000 4194304 4196468 140732376052864 140093493795312 140094027250306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29644] ppid=29569 vsize=10923772 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29644/stat : 29644 (java) S 29569 29572 22965 0 -1 1077944384 3 12393 0 0 0 0 8 3 20 0 20 0 8284110 11185942528 78483 33554432000 4194304 4196468 140732376052864 140093492742752 140094027249365 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29645] ppid=29569 vsize=10923772 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29645/stat : 29645 (java) S 29569 29572 22965 0 -1 1077944384 5 12393 0 0 0 0 8 3 20 0 20 0 8284111 11185942528 78483 33554432000 4194304 4196468 140732376052864 140093491690032 140094027250306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
Current children cumulated CPU time (s) 7.75
Current children cumulated vsize (KiB) 10923772
[startup+6.30158 s]
/proc/loadavg: 7.23 4.22 2.72 4/281 29645
/proc/meminfo: memFree=27103232/32770624 swapFree=5700/377736
[pid=29572] ppid=29569 vsize=10925820 CPUtime=15.43 cores=1,3,5,7,9,11,13,15
/proc/29572/stat : 29572 (java) S 29569 29572 22965 0 -1 1077944320 54886 12393 0 0 1392 140 8 3 20 0 20 0 8284089 11188039680 242862 33554432000 4194304 4196468 140732376052864 140732376035408 140094027239159 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
/proc/29572/statm: 2731455 242862 3500 1 0 2719010 0
[pid=29572/tid=29627] ppid=29569 vsize=10925820 CPUtime=5.89 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29627/stat : 29627 (java) R 29569 29572 22965 0 -1 4202560 33434 12393 0 0 562 16 8 3 20 0 20 0 8284102 11188039680 242862 33554432000 4194304 4196468 140732376052864 140094031467928 140093674137664 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29628] ppid=29569 vsize=10925820 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29628/stat : 29628 (java) S 29569 29572 22965 0 -1 1077944384 217 12393 0 0 15 14 8 3 20 0 20 0 8284103 11188039680 242862 33554432000 4194304 4196468 140732376052864 140093983791760 140094027249365 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29629] ppid=29569 vsize=10925820 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29629/stat : 29629 (java) S 29569 29572 22965 0 -1 1077944384 259 12393 0 0 15 14 8 3 20 0 20 0 8284103 11188039680 242862 33554432000 4194304 4196468 140732376052864 140093982738960 140094027249365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29630] ppid=29569 vsize=10925820 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29630/stat : 29630 (java) S 29569 29572 22965 0 -1 1077944384 244 12393 0 0 13 15 8 3 20 0 20 0 8284103 11188039680 242862 33554432000 4194304 4196468 140732376052864 140093632207248 140094027249365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29631] ppid=29569 vsize=10925820 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29631/stat : 29631 (java) S 29569 29572 22965 0 -1 1077944384 214 12393 0 0 14 14 8 3 20 0 20 0 8284103 11188039680 242862 33554432000 4194304 4196468 140732376052864 140093631154448 140094027249365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29632] ppid=29569 vsize=10925820 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29632/stat : 29632 (java) S 29569 29572 22965 0 -1 1077944384 352 12393 0 0 14 14 8 3 20 0 20 0 8284103 11188039680 242862 33554432000 4194304 4196468 140732376052864 140093630102672 140094027249365 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29633] ppid=29569 vsize=10925820 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29633/stat : 29633 (java) S 29569 29572 22965 0 -1 1077944384 313 12393 0 0 12 13 8 3 20 0 20 0 8284103 11188039680 242862 33554432000 4194304 4196468 140732376052864 140093629049872 140094027249365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29634] ppid=29569 vsize=10925820 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29634/stat : 29634 (java) S 29569 29572 22965 0 -1 1077944384 262 12393 0 0 14 13 8 3 20 0 20 0 8284103 11188039680 242862 33554432000 4194304 4196468 140732376052864 140093627997072 140094027249365 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29635] ppid=29569 vsize=10925820 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29635/stat : 29635 (java) S 29569 29572 22965 0 -1 1077944384 197 12393 0 0 14 14 8 3 20 0 20 0 8284103 11188039680 242862 33554432000 4194304 4196468 140732376052864 140093626944272 140094027249365 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29636] ppid=29569 vsize=10925820 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29636/stat : 29636 (java) S 29569 29572 22965 0 -1 1077944384 2580 12393 0 0 3 0 8 3 20 0 20 0 8284105 11188039680 242862 33554432000 4194304 4196468 140732376052864 140093501163888 140094027250306 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29637] ppid=29569 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29637/stat : 29637 (java) S 29569 29572 22965 0 -1 1077944384 58 12393 0 0 0 0 8 3 20 0 20 0 8284106 11188039680 242862 33554432000 4194304 4196468 140732376052864 140093500109920 140094027249365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29638] ppid=29569 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29638/stat : 29638 (java) S 29569 29572 22965 0 -1 1077944384 44 12393 0 0 0 0 8 3 20 0 20 0 8284106 11188039680 242862 33554432000 4194304 4196468 140732376052864 140093499057024 140094027249365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29639] ppid=29569 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29639/stat : 29639 (java) S 29569 29572 22965 0 -1 1077944384 1 12393 0 0 0 0 8 3 20 0 20 0 8284110 11188039680 242862 33554432000 4194304 4196468 140732376052864 140093498005328 140094027257755 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29640] ppid=29569 vsize=10925820 CPUtime=1.93 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29640/stat : 29640 (java) S 29569 29572 22965 0 -1 1077944384 2745 12393 0 0 181 1 8 3 20 0 20 0 8284110 11188039680 242862 33554432000 4194304 4196468 140732376052864 140093496953712 140094027250306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29641] ppid=29569 vsize=10925820 CPUtime=1.9 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29641/stat : 29641 (java) S 29569 29572 22965 0 -1 1077944384 2387 12393 0 0 178 1 8 3 20 0 20 0 8284110 11188039680 242862 33554432000 4194304 4196468 140732376052864 140093495900912 140094027250306 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29642] ppid=29569 vsize=10925820 CPUtime=2.2 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29642/stat : 29642 (java) S 29569 29572 22965 0 -1 1077944384 5247 12393 0 0 208 1 8 3 20 0 20 0 8284110 11188039680 242862 33554432000 4194304 4196468 140732376052864 140093494848112 140094027250306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29643] ppid=29569 vsize=10925820 CPUtime=1.55 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29643/stat : 29643 (java) S 29569 29572 22965 0 -1 1077944384 4191 12393 0 0 142 2 8 3 20 0 20 0 8284110 11188039680 242862 33554432000 4194304 4196468 140732376052864 140093493795312 140094027250306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29644] ppid=29569 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -29572
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 29572 sig 9
??? end of watcher thread
Solver just ended.
Dumping a history of the last processes samples
[startup+2281.6 s]
/proc/loadavg: 2.11 1.83 1.93 10/283 30018
/proc/meminfo: memFree=26994168/32770624 swapFree=5700/379240
[pid=29572] ppid=29569 vsize=11130628 CPUtime=2408.99 cores=1,3,5,7,9,11,13,15
/proc/29572/stat : 29572 (java) S 29569 29572 22965 0 -1 1077944320 584788 12393 0 0 239553 1335 8 3 20 0 22 0 8284089 11397763072 867667 33554432000 4194304 4196468 140732376052864 140732376035408 140094027239159 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
/proc/29572/statm: 2782657 867667 3532 1 0 2770212 0
[pid=29572/tid=29627] ppid=29569 vsize=11130628 CPUtime=2265.9 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29627/stat : 29627 (java) S 29569 29572 22965 0 -1 1077944384 244427 12393 0 0 226513 66 8 3 20 0 22 0 8284102 11397763072 867667 33554432000 4194304 4196468 140732376052864 140094031476880 140094027249365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29628] ppid=29569 vsize=11130628 CPUtime=14.41 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29628/stat : 29628 (java) R 29569 29572 22965 0 -1 4202560 20680 12393 0 0 1279 151 8 3 20 0 22 0 8284103 11397763072 867667 33554432000 4194304 4196468 140732376052864 140093983791568 140094019867367 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29629] ppid=29569 vsize=11130628 CPUtime=14.33 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29629/stat : 29629 (java) R 29569 29572 22965 0 -1 4202560 25460 12393 0 0 1274 148 8 3 20 0 22 0 8284103 11397763072 867667 33554432000 4194304 4196468 140732376052864 140093982739080 140094010622192 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29630] ppid=29569 vsize=11130628 CPUtime=14.39 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29630/stat : 29630 (java) R 29569 29572 22965 0 -1 4202560 24261 12393 0 0 1278 150 8 3 20 0 22 0 8284103 11397763072 867667 33554432000 4194304 4196468 140732376052864 140093632207368 140094019867367 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29631] ppid=29569 vsize=11130628 CPUtime=14.28 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29631/stat : 29631 (java) R 29569 29572 22965 0 -1 4202560 31733 12393 0 0 1268 149 8 3 20 0 22 0 8284103 11397763072 867667 33554432000 4194304 4196468 140732376052864 140093631154568 140094019867367 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29632] ppid=29569 vsize=11130628 CPUtime=14.44 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29632/stat : 29632 (java) R 29569 29572 22965 0 -1 4202560 26074 12393 0 0 1281 152 8 3 20 0 22 0 8284103 11397763072 867667 33554432000 4194304 4196468 140732376052864 140093630102480 140094019867367 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29633] ppid=29569 vsize=11130628 CPUtime=14.31 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29633/stat : 29633 (java) R 29569 29572 22965 0 -1 4202560 24562 12393 0 0 1272 148 8 3 20 0 22 0 8284103 11397763072 867667 33554432000 4194304 4196468 140732376052864 140093629049760 140094011940064 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29634] ppid=29569 vsize=11130628 CPUtime=14.45 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29634/stat : 29634 (java) R 29569 29572 22965 0 -1 4202560 22338 12393 0 0 1286 148 8 3 20 0 22 0 8284103 11397763072 867667 33554432000 4194304 4196468 140732376052864 140093627997192 140094019867367 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29635] ppid=29569 vsize=11130628 CPUtime=14.38 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29635/stat : 29635 (java) R 29569 29572 22965 0 -1 4202560 25666 12393 0 0 1275 152 8 3 20 0 22 0 8284103 11397763072 867667 33554432000 4194304 4196468 140732376052864 140093626944080 140094019867367 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29636] ppid=29569 vsize=11130628 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29636/stat : 29636 (java) S 29569 29572 22965 0 -1 1077944384 59527 12393 0 0 46 9 8 3 20 0 22 0 8284105 11397763072 867667 33554432000 4194304 4196468 140732376052864 140093501162512 140094027249365 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29637] ppid=29569 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29637/stat : 29637 (java) S 29569 29572 22965 0 -1 1077944384 74 12393 0 0 0 0 8 3 20 0 22 0 8284106 11397763072 867667 33554432000 4194304 4196468 140732376052864 140093500109984 140094027249365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29638] ppid=29569 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29638/stat : 29638 (java) S 29569 29572 22965 0 -1 1077944384 66 12393 0 0 0 0 8 3 20 0 22 0 8284106 11397763072 867667 33554432000 4194304 4196468 140732376052864 140093499057024 140094027249365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29639] ppid=29569 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29639/stat : 29639 (java) S 29569 29572 22965 0 -1 1077944384 236 12393 0 0 0 0 8 3 20 0 22 0 8284110 11397763072 867667 33554432000 4194304 4196468 140732376052864 140093498005328 140094027257755 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29640] ppid=29569 vsize=11130628 CPUtime=7.53 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29640/stat : 29640 (java) S 29569 29572 22965 0 -1 1077944384 15028 12393 0 0 738 4 8 3 20 0 22 0 8284110 11397763072 867667 33554432000 4194304 4196468 140732376052864 140093496953712 140094027250306 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29641] ppid=29569 vsize=11130628 CPUtime=8.7 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29641/stat : 29641 (java) S 29569 29572 22965 0 -1 1077944384 22047 12393 0 0 854 5 8 3 20 0 22 0 8284110 11397763072 867667 33554432000 4194304 4196468 140732376052864 140093495900912 140094027250306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29642] ppid=29569 vsize=11130628 CPUtime=8.25 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29642/stat : 29642 (java) S 29569 29572 22965 0 -1 1077944384 20530 12393 0 0 809 5 8 3 20 0 22 0 8284110 11397763072 867667 33554432000 4194304 4196468 140732376052864 140093494848112 140094027250306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29643] ppid=29569 vsize=11130628 CPUtime=3.4 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29643/stat : 29643 (java) S 29569 29572 22965 0 -1 1077944384 17726 12393 0 0 324 5 8 3 20 0 22 0 8284110 11397763072 867667 33554432000 4194304 4196468 140732376052864 140093493795312 140094027250306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29644] ppid=29569 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29644/stat : 29644 (java) S 29569 29572 22965 0 -1 1077944384 3 12393 0 0 0 0 8 3 20 0 22 0 8284110 11397763072 867667 33554432000 4194304 4196468 140732376052864 140093492742752 140094027249365 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29645] ppid=29569 vsize=11130628 CPUtime=0.94 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29645/stat : 29645 (java) S 29569 29572 22965 0 -1 1077944384 1856 12393 0 0 37 46 8 3 20 0 22 0 8284111 11397763072 867667 33554432000 4194304 4196468 140732376052864 140093491690032 140094027250306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=30017] ppid=29569 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/29572/task/30017/stat : 30017 (java) S 29569 29572 22965 0 -1 1077944384 331 12393 0 0 0 0 8 3 20 0 22 0 8512130 11397763072 867667 33554432000 4194304 4196468 140732376052864 140093460729968 140094027249365 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=30018] ppid=29569 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/29572/task/30018/stat : 30018 (java) S 29569 29572 22965 0 -1 1077944384 30 12393 0 0 0 0 8 3 20 0 22 0 8512132 11397763072 867667 33554432000 4194304 4196468 140732376052864 140093459677888 140094027249365 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
Current children cumulated CPU time (s) 2408.99
Current children cumulated vsize (KiB) 11130628
[startup+2282 s]
/proc/loadavg: 2.11 1.83 1.93 10/283 30018
/proc/meminfo: memFree=26994168/32770624 swapFree=5700/379240
[pid=29572] ppid=29569 vsize=11130628 CPUtime=2412.11 cores=1,3,5,7,9,11,13,15
/proc/29572/stat : 29572 (java) S 29569 29572 22965 0 -1 1077944320 584788 12393 0 0 239864 1336 8 3 20 0 22 0 8284089 11397763072 867667 33554432000 4194304 4196468 140732376052864 140732376035408 140094027239159 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
/proc/29572/statm: 2782657 867667 3532 1 0 2770212 0
[pid=29572/tid=29627] ppid=29569 vsize=11130628 CPUtime=2265.9 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29627/stat : 29627 (java) S 29569 29572 22965 0 -1 1077944384 244427 12393 0 0 226513 66 8 3 20 0 22 0 8284102 11397763072 867667 33554432000 4194304 4196468 140732376052864 140094031476880 140094027249365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29628] ppid=29569 vsize=11130628 CPUtime=14.79 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29628/stat : 29628 (java) R 29569 29572 22965 0 -1 4202560 20680 12393 0 0 1317 151 8 3 20 0 22 0 8284103 11397763072 867667 33554432000 4194304 4196468 140732376052864 140093983791568 140094019867367 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29629] ppid=29569 vsize=11130628 CPUtime=14.71 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29629/stat : 29629 (java) R 29569 29572 22965 0 -1 4202560 25460 12393 0 0 1312 148 8 3 20 0 22 0 8284103 11397763072 867667 33554432000 4194304 4196468 140732376052864 140093982739080 140094012997976 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29630] ppid=29569 vsize=11130628 CPUtime=14.78 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29630/stat : 29630 (java) R 29569 29572 22965 0 -1 4202560 24261 12393 0 0 1317 150 8 3 20 0 22 0 8284103 11397763072 867667 33554432000 4194304 4196468 140732376052864 140093632207368 140094019867367 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29631] ppid=29569 vsize=11130628 CPUtime=14.67 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29631/stat : 29631 (java) R 29569 29572 22965 0 -1 4202560 31733 12393 0 0 1307 149 8 3 20 0 22 0 8284103 11397763072 867667 33554432000 4194304 4196468 140732376052864 140093631154568 140094019867367 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29632] ppid=29569 vsize=11130628 CPUtime=14.83 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29632/stat : 29632 (java) R 29569 29572 22965 0 -1 4202560 26074 12393 0 0 1320 152 8 3 20 0 22 0 8284103 11397763072 867667 33554432000 4194304 4196468 140732376052864 140093630102792 140094019867367 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29633] ppid=29569 vsize=11130628 CPUtime=14.71 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29633/stat : 29633 (java) R 29569 29572 22965 0 -1 4202560 24562 12393 0 0 1312 148 8 3 20 0 22 0 8284103 11397763072 867667 33554432000 4194304 4196468 140732376052864 140093629049760 140094011939744 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29634] ppid=29569 vsize=11130628 CPUtime=14.84 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29634/stat : 29634 (java) R 29569 29572 22965 0 -1 4202560 22338 12393 0 0 1325 148 8 3 20 0 22 0 8284103 11397763072 867667 33554432000 4194304 4196468 140732376052864 140093627997192 140094019867367 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29635] ppid=29569 vsize=11130628 CPUtime=14.77 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29635/stat : 29635 (java) R 29569 29572 22965 0 -1 4202560 25666 12393 0 0 1314 152 8 3 20 0 22 0 8284103 11397763072 867667 33554432000 4194304 4196468 140732376052864 140093626944080 140094019867367 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29636] ppid=29569 vsize=11130628 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29636/stat : 29636 (java) S 29569 29572 22965 0 -1 1077944384 59527 12393 0 0 46 9 8 3 20 0 22 0 8284105 11397763072 867667 33554432000 4194304 4196468 140732376052864 140093501162512 140094027249365 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29637] ppid=29569 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29637/stat : 29637 (java) S 29569 29572 22965 0 -1 1077944384 74 12393 0 0 0 0 8 3 20 0 22 0 8284106 11397763072 867667 33554432000 4194304 4196468 140732376052864 140093500109984 140094027249365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29638] ppid=29569 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29638/stat : 29638 (java) S 29569 29572 22965 0 -1 1077944384 66 12393 0 0 0 0 8 3 20 0 22 0 8284106 11397763072 867667 33554432000 4194304 4196468 140732376052864 140093499057024 140094027249365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29639] ppid=29569 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29639/stat : 29639 (java) S 29569 29572 22965 0 -1 1077944384 236 12393 0 0 0 0 8 3 20 0 22 0 8284110 11397763072 867667 33554432000 4194304 4196468 140732376052864 140093498005328 140094027257755 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29640] ppid=29569 vsize=11130628 CPUtime=7.53 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29640/stat : 29640 (java) S 29569 29572 22965 0 -1 1077944384 15028 12393 0 0 738 4 8 3 20 0 22 0 8284110 11397763072 867667 33554432000 4194304 4196468 140732376052864 140093496953760 140094027249365 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29641] ppid=29569 vsize=11130628 CPUtime=8.7 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29641/stat : 29641 (java) S 29569 29572 22965 0 -1 1077944384 22047 12393 0 0 854 5 8 3 20 0 22 0 8284110 11397763072 867667 33554432000 4194304 4196468 140732376052864 140093495900672 140094027249365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29642] ppid=29569 vsize=11130628 CPUtime=8.25 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29642/stat : 29642 (java) S 29569 29572 22965 0 -1 1077944384 20530 12393 0 0 809 5 8 3 20 0 22 0 8284110 11397763072 867667 33554432000 4194304 4196468 140732376052864 140093494848160 140094027249365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29643] ppid=29569 vsize=11130628 CPUtime=3.4 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29643/stat : 29643 (java) S 29569 29572 22965 0 -1 1077944384 17726 12393 0 0 324 5 8 3 20 0 22 0 8284110 11397763072 867667 33554432000 4194304 4196468 140732376052864 140093493795360 140094027249365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29644] ppid=29569 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29644/stat : 29644 (java) S 29569 29572 22965 0 -1 1077944384 3 12393 0 0 0 0 8 3 20 0 22 0 8284110 11397763072 867667 33554432000 4194304 4196468 140732376052864 140093492742752 140094027249365 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29645] ppid=29569 vsize=11130628 CPUtime=0.94 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29645/stat : 29645 (java) S 29569 29572 22965 0 -1 1077944384 1856 12393 0 0 37 46 8 3 20 0 22 0 8284111 11397763072 867667 33554432000 4194304 4196468 140732376052864 140093491690032 140094027250306 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=30017] ppid=29569 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/29572/task/30017/stat : 30017 (java) S 29569 29572 22965 0 -1 1077944384 331 12393 0 0 0 0 8 3 20 0 22 0 8512130 11397763072 867667 33554432000 4194304 4196468 140732376052864 140093460729968 140094027249365 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=30018] ppid=29569 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/29572/task/30018/stat : 30018 (java) S 29569 29572 22965 0 -1 1077944384 30 12393 0 0 0 0 8 3 20 0 22 0 8512132 11397763072 867667 33554432000 4194304 4196468 140732376052864 140093459677888 140094027249365 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
Current children cumulated CPU time (s) 2412.11
Current children cumulated vsize (KiB) 11130628
[startup+2282.4 s]
/proc/loadavg: 2.11 1.83 1.93 10/283 30018
/proc/meminfo: memFree=26994168/32770624 swapFree=5700/379240
[pid=29572] ppid=29569 vsize=11130628 CPUtime=2415.22 cores=1,3,5,7,9,11,13,15
/proc/29572/stat : 29572 (java) S 29569 29572 22965 0 -1 1077944320 584788 12393 0 0 240174 1337 8 3 20 0 22 0 8284089 11397763072 867667 33554432000 4194304 4196468 140732376052864 140732376035408 140094027239159 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
/proc/29572/statm: 2782657 867667 3532 1 0 2770212 0
[pid=29572/tid=29627] ppid=29569 vsize=11130628 CPUtime=2265.9 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29627/stat : 29627 (java) S 29569 29572 22965 0 -1 1077944384 244427 12393 0 0 226513 66 8 3 20 0 22 0 8284102 11397763072 867667 33554432000 4194304 4196468 140732376052864 140094031476880 140094027249365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29628] ppid=29569 vsize=11130628 CPUtime=15.18 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29628/stat : 29628 (java) R 29569 29572 22965 0 -1 4202560 20680 12393 0 0 1356 151 8 3 20 0 22 0 8284103 11397763072 867667 33554432000 4194304 4196468 140732376052864 140093983791568 140094019867367 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29629] ppid=29569 vsize=11130628 CPUtime=15.1 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29629/stat : 29629 (java) R 29569 29572 22965 0 -1 4202560 25460 12393 0 0 1351 148 8 3 20 0 22 0 8284103 11397763072 867667 33554432000 4194304 4196468 140732376052864 140093982739080 140094010622194 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29630] ppid=29569 vsize=11130628 CPUtime=15.18 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29630/stat : 29630 (java) R 29569 29572 22965 0 -1 4202560 24261 12393 0 0 1356 151 8 3 20 0 22 0 8284103 11397763072 867667 33554432000 4194304 4196468 140732376052864 140093632207368 140094019867367 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29631] ppid=29569 vsize=11130628 CPUtime=15.05 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29631/stat : 29631 (java) R 29569 29572 22965 0 -1 4202560 31733 12393 0 0 1345 149 8 3 20 0 22 0 8284103 11397763072 867667 33554432000 4194304 4196468 140732376052864 140093631154568 140094019867367 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29632] ppid=29569 vsize=11130628 CPUtime=15.22 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29632/stat : 29632 (java) R 29569 29572 22965 0 -1 4202560 26074 12393 0 0 1359 152 8 3 20 0 22 0 8284103 11397763072 867667 33554432000 4194304 4196468 140732376052864 140093630102792 140094019867367 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29633] ppid=29569 vsize=11130628 CPUtime=15.11 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29633/stat : 29633 (java) R 29569 29572 22965 0 -1 4202560 24562 12393 0 0 1352 148 8 3 20 0 22 0 8284103 11397763072 867667 33554432000 4194304 4196468 140732376052864 140093629049760 140094011939763 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29634] ppid=29569 vsize=11130628 CPUtime=15.23 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29634/stat : 29634 (java) R 29569 29572 22965 0 -1 4202560 22338 12393 0 0 1364 148 8 3 20 0 22 0 8284103 11397763072 867667 33554432000 4194304 4196468 140732376052864 140093627997192 140094019867367 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29635] ppid=29569 vsize=11130628 CPUtime=15.15 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29635/stat : 29635 (java) R 29569 29572 22965 0 -1 4202560 25666 12393 0 0 1352 152 8 3 20 0 22 0 8284103 11397763072 867667 33554432000 4194304 4196468 140732376052864 140093626944080 140094019867367 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29636] ppid=29569 vsize=11130628 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29636/stat : 29636 (java) S 29569 29572 22965 0 -1 1077944384 59527 12393 0 0 46 9 8 3 20 0 22 0 8284105 11397763072 867667 33554432000 4194304 4196468 140732376052864 140093501162512 140094027249365 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29637] ppid=29569 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29637/stat : 29637 (java) S 29569 29572 22965 0 -1 1077944384 74 12393 0 0 0 0 8 3 20 0 22 0 8284106 11397763072 867667 33554432000 4194304 4196468 140732376052864 140093500109984 140094027249365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29638] ppid=29569 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29638/stat : 29638 (java) S 29569 29572 22965 0 -1 1077944384 66 12393 0 0 0 0 8 3 20 0 22 0 8284106 11397763072 867667 33554432000 4194304 4196468 140732376052864 140093499057024 140094027249365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29639] ppid=29569 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29639/stat : 29639 (java) S 29569 29572 22965 0 -1 1077944384 236 12393 0 0 0 0 8 3 20 0 22 0 8284110 11397763072 867667 33554432000 4194304 4196468 140732376052864 140093498005328 140094027257755 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29640] ppid=29569 vsize=11130628 CPUtime=7.53 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29640/stat : 29640 (java) S 29569 29572 22965 0 -1 1077944384 15028 12393 0 0 738 4 8 3 20 0 22 0 8284110 11397763072 867667 33554432000 4194304 4196468 140732376052864 140093496953760 140094027249365 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29641] ppid=29569 vsize=11130628 CPUtime=8.7 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29641/stat : 29641 (java) S 29569 29572 22965 0 -1 1077944384 22047 12393 0 0 854 5 8 3 20 0 22 0 8284110 11397763072 867667 33554432000 4194304 4196468 140732376052864 140093495900672 140094027249365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29642] ppid=29569 vsize=11130628 CPUtime=8.25 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29642/stat : 29642 (java) S 29569 29572 22965 0 -1 1077944384 20530 12393 0 0 809 5 8 3 20 0 22 0 8284110 11397763072 867667 33554432000 4194304 4196468 140732376052864 140093494848160 140094027249365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29643] ppid=29569 vsize=11130628 CPUtime=3.4 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29643/stat : 29643 (java) S 29569 29572 22965 0 -1 1077944384 17726 12393 0 0 324 5 8 3 20 0 22 0 8284110 11397763072 867667 33554432000 4194304 4196468 140732376052864 140093493795360 140094027249365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29644] ppid=29569 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29644/stat : 29644 (java) S 29569 29572 22965 0 -1 1077944384 3 12393 0 0 0 0 8 3 20 0 22 0 8284110 11397763072 867667 33554432000 4194304 4196468 140732376052864 140093492742752 140094027249365 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=29645] ppid=29569 vsize=11130628 CPUtime=0.94 cores=1,3,5,7,9,11,13,15
/proc/29572/task/29645/stat : 29645 (java) S 29569 29572 22965 0 -1 1077944384 1856 12393 0 0 37 46 8 3 20 0 22 0 8284111 11397763072 867667 33554432000 4194304 4196468 140732376052864 140093491690032 140094027250306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=30017] ppid=29569 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/29572/task/30017/stat : 30017 (java) S 29569 29572 22965 0 -1 1077944384 331 12393 0 0 0 0 8 3 20 0 22 0 8512130 11397763072 867667 33554432000 4194304 4196468 140732376052864 140093460729968 140094027249365 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
[pid=29572/tid=30018] ppid=29569 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/29572/task/30018/stat : 30018 (java) S 29569 29572 22965 0 -1 1077944384 30 12393 0 0 0 0 8 3 20 0 22 0 8512132 11397763072 867667 33554432000 4194304 4196468 140732376052864 140093459677888 140094027249365 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22859776 140732376058561 140732376061335 140732376061335 140732376063951 0
Current children cumulated CPU time (s) 2415.22
Current children cumulated vsize (KiB) 11130628
Child ended because it received signal 9 (SIGKILL)
Real time (s): 2282.43
CPU time (s): 2415.29
CPU user time (s): 2401.86
CPU system time (s): 13.4372
CPU usage (%): 105.821
Max. virtual memory (cumulated for all children) (KiB): 11130628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2401.86
system time used= 13.4372
maximum resident set size= 4601112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 597185
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 72621
involuntary context switches= 125303
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.3657 second user time and 17.411 second system time
The end