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-4248189-1500743533/watcher-4248189-1500743533 -o /tmp/evaluation-result-4248189-1500743533/solver-4248189-1500743533 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500718419-12025 --watchdog 2560 bin/concrete HOME/instance-4248189-1500743533.xml
pid=18579
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.43 1.53 1.52 3/261 18582
/proc/meminfo: memFree=28416912/32770624 swapFree=6384/344072
[pid=18582] ppid=18579 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18582/stat : 18582 (bash) S 18579 18582 11993 0 -1 4202496 687 1535 0 0 0 0 0 0 20 0 1 0 9620975 9736192 351 33554432000 4194304 5098028 140737070148016 140737070145656 140545969126400 0 0 4100 65536 18446744071580971376 0 0 17 11 0 0 0 0 0 7196144 7232144 24522752 140737070150926 140737070151011 140737070151011 140737070153710 0
/proc/18582/statm: 2377 351 278 221 0 86 0
[startup+0.100137 s]
/proc/loadavg: 1.43 1.53 1.52 3/261 18582
/proc/meminfo: memFree=28416912/32770624 swapFree=6384/344072
[pid=18582] ppid=18579 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/18582/stat : 18582 (bash) S 18579 18582 11993 0 -1 4202496 883 6424 0 0 0 0 0 1 20 0 1 0 9620975 9871360 378 33554432000 4194304 5098028 140737070148016 140737070142024 140545969126400 0 0 4100 65536 18446744071580971376 0 0 17 11 0 0 0 0 0 7196144 7232144 24522752 140737070150926 140737070151011 140737070151011 140737070153710 0
/proc/18582/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.200306 s]
/proc/loadavg: 1.43 1.53 1.52 3/261 18582
/proc/meminfo: memFree=28416912/32770624 swapFree=6384/344072
[pid=18582] ppid=18579 vsize=10435860 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/18582/stat : 18582 (java) S 18579 18582 11993 0 -1 1077944320 4830 12538 0 0 5 1 8 3 20 0 13 0 9620975 10686320640 5180 33554432000 4194304 4196468 140727617760512 140727617743056 140457557880567 0 0 0 16800971 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
/proc/18582/statm: 2608965 5180 2137 1 0 2597403 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 10435860
[startup+0.300374 s]
/proc/loadavg: 1.43 1.53 1.52 3/261 18582
/proc/meminfo: memFree=28416912/32770624 swapFree=6384/344072
[pid=18582] ppid=18579 vsize=10902292 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/18582/stat : 18582 (java) S 18579 18582 11993 0 -1 1077944320 6731 12538 0 0 22 2 8 3 20 0 20 0 9620975 11163947008 8481 33554432000 4194304 4196468 140727617760512 140727617743056 140457557880567 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
/proc/18582/statm: 2725573 8481 2970 1 0 2713890 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 10902292
[startup+0.700202 s]
/proc/loadavg: 1.43 1.53 1.52 3/261 18582
/proc/meminfo: memFree=28416912/32770624 swapFree=6384/344072
[pid=18582] ppid=18579 vsize=10902720 CPUtime=0.87 cores=1,3,5,7,9,11,13,15
/proc/18582/stat : 18582 (java) S 18579 18582 11993 0 -1 1077944320 12033 12538 0 0 71 5 8 3 20 0 20 0 9620975 11164385280 14834 33554432000 4194304 4196468 140727617760512 140727617743056 140457557880567 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
/proc/18582/statm: 2725680 14834 3139 1 0 2713890 0
Current children cumulated CPU time (s) 0.87
Current children cumulated vsize (KiB) 10902720
[startup+1.50452 s]
/proc/loadavg: 1.43 1.53 1.52 4/281 18655
/proc/meminfo: memFree=28315908/32770624 swapFree=6384/344112
[pid=18582] ppid=18579 vsize=10913344 CPUtime=2.16 cores=1,3,5,7,9,11,13,15
/proc/18582/stat : 18582 (java) S 18579 18582 11993 0 -1 1077944320 25968 12538 0 0 192 13 8 3 20 0 20 0 9620975 11175264256 41479 33554432000 4194304 4196468 140727617760512 140727617743056 140457557880567 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
/proc/18582/statm: 2728336 41479 3376 1 0 2716450 0
[pid=18582/tid=18637] ppid=18579 vsize=10913344 CPUtime=1.44 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18637/stat : 18637 (java) S 18579 18582 11993 0 -1 1077944384 19645 12538 0 0 127 6 8 3 20 0 20 0 9620988 11175264256 41479 33554432000 4194304 4196468 140727617760512 140457562097872 140457557890773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18638] ppid=18579 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18638/stat : 18638 (java) S 18579 18582 11993 0 -1 1077944384 20 12538 0 0 0 0 8 3 20 0 20 0 9620989 11175264256 41479 33554432000 4194304 4196468 140727617760512 140457164855696 140457557890773 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18639] ppid=18579 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18639/stat : 18639 (java) S 18579 18582 11993 0 -1 1077944384 40 12538 0 0 0 0 8 3 20 0 20 0 9620989 11175264256 41479 33554432000 4194304 4196468 140727617760512 140457163802896 140457557890773 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18640] ppid=18579 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18640/stat : 18640 (java) S 18579 18582 11993 0 -1 1077944384 27 12538 0 0 0 0 8 3 20 0 20 0 9620989 11175264256 41479 33554432000 4194304 4196468 140727617760512 140457162750608 140457557890773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18641] ppid=18579 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18641/stat : 18641 (java) S 18579 18582 11993 0 -1 1077944384 9 12538 0 0 0 0 8 3 20 0 20 0 9620989 11175264256 41479 33554432000 4194304 4196468 140727617760512 140457161697824 140457557890773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18642] ppid=18579 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18642/stat : 18642 (java) R 18579 18582 11993 0 -1 4202560 130 12538 0 0 0 0 8 3 20 0 20 0 9620989 11175264256 41479 33554432000 4194304 4196468 140727617760512 140457160645416 140457550508775 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18643] ppid=18579 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18643/stat : 18643 (java) S 18579 18582 11993 0 -1 1077944384 12 12538 0 0 0 0 8 3 20 0 20 0 9620989 11175264256 41479 33554432000 4194304 4196468 140727617760512 140457159592720 140457557890773 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18644] ppid=18579 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18644/stat : 18644 (java) S 18579 18582 11993 0 -1 1077944384 17 12538 0 0 0 0 8 3 20 0 20 0 9620989 11175264256 41479 33554432000 4194304 4196468 140727617760512 140457158540432 140457557890773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18645] ppid=18579 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18645/stat : 18645 (java) S 18579 18582 11993 0 -1 1077944384 45 12538 0 0 0 0 8 3 20 0 20 0 9620989 11175264256 41479 33554432000 4194304 4196468 140727617760512 140457157487632 140457557890773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18646] ppid=18579 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18646/stat : 18646 (java) S 18579 18582 11993 0 -1 1077944384 41 12538 0 0 0 0 8 3 20 0 20 0 9620991 11175264256 41479 33554432000 4194304 4196468 140727617760512 140457031983552 140457557890773 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18647] ppid=18579 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18647/stat : 18647 (java) S 18579 18582 11993 0 -1 1077944384 33 12538 0 0 0 0 8 3 20 0 20 0 9620992 11175264256 41479 33554432000 4194304 4196468 140727617760512 140457030931232 140457557890773 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18648] ppid=18579 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18648/stat : 18648 (java) S 18579 18582 11993 0 -1 1077944384 21 12538 0 0 0 0 8 3 20 0 20 0 9620992 11175264256 41479 33554432000 4194304 4196468 140727617760512 140457029878896 140457557890773 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18649] ppid=18579 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18649/stat : 18649 (java) S 18579 18582 11993 0 -1 1077944384 1 12538 0 0 0 0 8 3 20 0 20 0 9620997 11175264256 41479 33554432000 4194304 4196468 140727617760512 140457028827216 140457557899163 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18650] ppid=18579 vsize=10913344 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18650/stat : 18650 (java) S 18579 18582 11993 0 -1 1077944384 751 12538 0 0 11 0 8 3 20 0 20 0 9620997 11175264256 41479 33554432000 4194304 4196468 140727617760512 140457027775088 140457557891714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18651] ppid=18579 vsize=10913344 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18651/stat : 18651 (java) S 18579 18582 11993 0 -1 1077944384 907 12538 0 0 12 0 8 3 20 0 20 0 9620997 11175264256 41479 33554432000 4194304 4196468 140727617760512 140457026722288 140457557891714 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18652] ppid=18579 vsize=10913344 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18652/stat : 18652 (java) S 18579 18582 11993 0 -1 1077944384 1068 12538 0 0 11 0 8 3 20 0 20 0 9620997 11175264256 41479 33554432000 4194304 4196468 140727617760512 140457025670000 140457557891714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18653] ppid=18579 vsize=10913344 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18653/stat : 18653 (java) S 18579 18582 11993 0 -1 1077944384 1063 12538 0 0 24 0 8 3 20 0 20 0 9620997 11175264256 41479 33554432000 4194304 4196468 140727617760512 140457024613072 140457557890773 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18654] ppid=18579 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18654/stat : 18654 (java) S 18579 18582 11993 0 -1 1077944384 3 12538 0 0 0 0 8 3 20 0 20 0 9620997 11175264256 41479 33554432000 4194304 4196468 140727617760512 140457023564128 140457557890773 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18655] ppid=18579 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18655/stat : 18655 (java) S 18579 18582 11993 0 -1 1077944384 3 12538 0 0 0 0 8 3 20 0 20 0 9620998 11175264256 41479 33554432000 4194304 4196468 140727617760512 140457022511408 140457557891714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
Current children cumulated CPU time (s) 2.16
Current children cumulated vsize (KiB) 10913344
[startup+3.10077 s]
/proc/loadavg: 1.43 1.53 1.52 6/281 18655
/proc/meminfo: memFree=28237716/32770624 swapFree=6384/344112
[pid=18582] ppid=18579 vsize=10925820 CPUtime=5.83 cores=1,3,5,7,9,11,13,15
/proc/18582/stat : 18582 (java) S 18579 18582 11993 0 -1 1077944320 47933 12538 0 0 551 21 8 3 20 0 20 0 9620975 11188039680 53563 33554432000 4194304 4196468 140727617760512 140727617743056 140457557880567 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
/proc/18582/statm: 2731455 53563 3471 1 0 2719010 0
[pid=18582/tid=18637] ppid=18579 vsize=10925820 CPUtime=3.01 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18637/stat : 18637 (java) R 18579 18582 11993 0 -1 4202560 32667 12538 0 0 281 9 8 3 20 0 20 0 9620988 11188039680 53563 33554432000 4194304 4196468 140727617760512 140457562112344 140457543560689 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18638] ppid=18579 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18638/stat : 18638 (java) S 18579 18582 11993 0 -1 1077944384 24 12538 0 0 0 0 8 3 20 0 20 0 9620989 11188039680 53563 33554432000 4194304 4196468 140727617760512 140457164855696 140457557890773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18639] ppid=18579 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18639/stat : 18639 (java) S 18579 18582 11993 0 -1 1077944384 41 12538 0 0 1 0 8 3 20 0 20 0 9620989 11188039680 53563 33554432000 4194304 4196468 140727617760512 140457163802896 140457557890773 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18640] ppid=18579 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18640/stat : 18640 (java) S 18579 18582 11993 0 -1 1077944384 27 12538 0 0 0 0 8 3 20 0 20 0 9620989 11188039680 53563 33554432000 4194304 4196468 140727617760512 140457162750608 140457557890773 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18641] ppid=18579 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18641/stat : 18641 (java) S 18579 18582 11993 0 -1 1077944384 10 12538 0 0 0 0 8 3 20 0 20 0 9620989 11188039680 53563 33554432000 4194304 4196468 140727617760512 140457161697808 140457557890773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18642] ppid=18579 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18642/stat : 18642 (java) S 18579 18582 11993 0 -1 1077944384 131 12538 0 0 1 0 8 3 20 0 20 0 9620989 11188039680 53563 33554432000 4194304 4196468 140727617760512 140457160645520 140457557890773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18643] ppid=18579 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18643/stat : 18643 (java) S 18579 18582 11993 0 -1 1077944384 12 12538 0 0 1 0 8 3 20 0 20 0 9620989 11188039680 53563 33554432000 4194304 4196468 140727617760512 140457159592720 140457557890773 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18644] ppid=18579 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18644/stat : 18644 (java) S 18579 18582 11993 0 -1 1077944384 17 12538 0 0 0 0 8 3 20 0 20 0 9620989 11188039680 53563 33554432000 4194304 4196468 140727617760512 140457158540432 140457557890773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18645] ppid=18579 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18645/stat : 18645 (java) S 18579 18582 11993 0 -1 1077944384 48 12538 0 0 1 0 8 3 20 0 20 0 9620989 11188039680 53563 33554432000 4194304 4196468 140727617760512 140457157487632 140457557890773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18646] ppid=18579 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18646/stat : 18646 (java) S 18579 18582 11993 0 -1 1077944384 1304 12538 0 0 1 0 8 3 20 0 20 0 9620991 11188039680 53563 33554432000 4194304 4196468 140727617760512 140457031985264 140457557891714 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18647] ppid=18579 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18647/stat : 18647 (java) S 18579 18582 11993 0 -1 1077944384 55 12538 0 0 0 0 8 3 20 0 20 0 9620992 11188039680 53563 33554432000 4194304 4196468 140727617760512 140457030931296 140457557890773 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18648] ppid=18579 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18648/stat : 18648 (java) S 18579 18582 11993 0 -1 1077944384 43 12538 0 0 0 0 8 3 20 0 20 0 9620992 11188039680 53563 33554432000 4194304 4196468 140727617760512 140457029878912 140457557890773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18649] ppid=18579 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18649/stat : 18649 (java) S 18579 18582 11993 0 -1 1077944384 1 12538 0 0 0 0 8 3 20 0 20 0 9620997 11188039680 53563 33554432000 4194304 4196468 140727617760512 140457028827216 140457557899163 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18650] ppid=18579 vsize=10925820 CPUtime=0.51 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18650/stat : 18650 (java) R 18579 18582 11993 0 -1 4202560 1223 12538 0 0 38 2 8 3 20 0 20 0 9620997 11188039680 53563 33554432000 4194304 4196468 140727617760512 140457027775384 140457550977161 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18651] ppid=18579 vsize=10925820 CPUtime=0.53 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18651/stat : 18651 (java) R 18579 18582 11993 0 -1 4202560 1732 12538 0 0 41 1 8 3 20 0 20 0 9620997 11188039680 53563 33554432000 4194304 4196468 140727617760512 140457026705360 140457550121957 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18652] ppid=18579 vsize=10925820 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18652/stat : 18652 (java) S 18579 18582 11993 0 -1 1077944384 4760 12538 0 0 81 1 8 3 20 0 20 0 9620997 11188039680 53563 33554432000 4194304 4196468 140727617760512 140457025670000 140457557891714 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18653] ppid=18579 vsize=10925820 CPUtime=1.09 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18653/stat : 18653 (java) S 18579 18582 11993 0 -1 1077944384 3700 12538 0 0 97 1 8 3 20 0 20 0 9620997 11188039680 53563 33554432000 4194304 4196468 140727617760512 140457024617200 140457557891714 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18654] ppid=18579 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18654/stat : 18654 (java) S 18579 18582 11993 0 -1 1077944384 3 12538 0 0 0 0 8 3 20 0 20 0 9620997 11188039680 53563 33554432000 4194304 4196468 140727617760512 140457023564128 140457557890773 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18655] ppid=18579 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18655/stat : 18655 (java) S 18579 18582 11993 0 -1 1077944384 5 12538 0 0 0 0 8 3 20 0 20 0 9620998 11188039680 53563 33554432000 4194304 4196468 140727617760512 140457022511408 140457557891714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
Current children cumulated CPU time (s) 5.83
Current children cumulated vsize (KiB) 10925820
[startup+6.30115 s]
/proc/loadavg: 1.72 1.58 1.54 7/281 18655
/proc/meminfo: memFree=28092268/32770624 swapFree=6384/344112
[pid=18582] ppid=18579 vsize=10929916 CPUtime=16.51 cores=1,3,5,7,9,11,13,15
/proc/18582/stat : 18582 (java) S 18579 18582 11993 0 -1 1077944320 55953 12538 0 0 1606 34 8 3 20 0 20 0 9620975 11192233984 96068 33554432000 4194304 4196468 140727617760512 140727617743056 140457557880567 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
/proc/18582/statm: 2732479 96068 3488 1 0 2720034 0
[pid=18582/tid=18637] ppid=18579 vsize=10929916 CPUtime=5.58 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18637/stat : 18637 (java) R 18579 18582 11993 0 -1 4202560 34062 12538 0 0 536 11 8 3 20 0 20 0 9620988 11192233984 96068 33554432000 4194304 4196468 140727617760512 140457562109352 140457203682085 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18638] ppid=18579 vsize=10929916 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18638/stat : 18638 (java) S 18579 18582 11993 0 -1 1077944384 42 12538 0 0 4 1 8 3 20 0 20 0 9620989 11192233984 96068 33554432000 4194304 4196468 140727617760512 140457164855696 140457557890773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18639] ppid=18579 vsize=10929916 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18639/stat : 18639 (java) S 18579 18582 11993 0 -1 1077944384 80 12538 0 0 4 1 8 3 20 0 20 0 9620989 11192233984 96068 33554432000 4194304 4196468 140727617760512 140457163802896 140457557890773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18640] ppid=18579 vsize=10929916 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18640/stat : 18640 (java) S 18579 18582 11993 0 -1 1077944384 53 12538 0 0 6 1 8 3 20 0 20 0 9620989 11192233984 96068 33554432000 4194304 4196468 140727617760512 140457162750608 140457557890773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18641] ppid=18579 vsize=10929916 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18641/stat : 18641 (java) S 18579 18582 11993 0 -1 1077944384 48 12538 0 0 6 1 8 3 20 0 20 0 9620989 11192233984 96068 33554432000 4194304 4196468 140727617760512 140457161697808 140457557890773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18642] ppid=18579 vsize=10929916 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18642/stat : 18642 (java) S 18579 18582 11993 0 -1 1077944384 163 12538 0 0 5 1 8 3 20 0 20 0 9620989 11192233984 96068 33554432000 4194304 4196468 140727617760512 140457160645520 140457557890773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18643] ppid=18579 vsize=10929916 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18643/stat : 18643 (java) S 18579 18582 11993 0 -1 1077944384 33 12538 0 0 5 1 8 3 20 0 20 0 9620989 11192233984 96068 33554432000 4194304 4196468 140727617760512 140457159592720 140457557890773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18644] ppid=18579 vsize=10929916 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18644/stat : 18644 (java) S 18579 18582 11993 0 -1 1077944384 40 12538 0 0 4 1 8 3 20 0 20 0 9620989 11192233984 96068 33554432000 4194304 4196468 140727617760512 140457158540432 140457557890773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18645] ppid=18579 vsize=10929916 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18645/stat : 18645 (java) S 18579 18582 11993 0 -1 1077944384 101 12538 0 0 4 0 8 3 20 0 20 0 9620989 11192233984 96068 33554432000 4194304 4196468 140727617760512 140457157487632 140457557890773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18646] ppid=18579 vsize=10929916 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18646/stat : 18646 (java) S 18579 18582 11993 0 -1 1077944384 1979 12538 0 0 5 0 8 3 20 0 20 0 9620991 11192233984 96068 33554432000 4194304 4196468 140727617760512 140457031985264 140457557891714 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 51 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18647] ppid=18579 vsize=10929916 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18647/stat : 18647 (java) S 18579 18582 11993 0 -1 1077944384 56 12538 0 0 0 0 8 3 20 0 20 0 9620992 11192233984 96068 33554432000 4194304 4196468 140727617760512 140457030931296 140457557890773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18648] ppid=18579 vsize=10929916 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18648/stat : 18648 (java) S 18579 18582 11993 0 -1 1077944384 45 12538 0 0 0 0 8 3 20 0 20 0 9620992 11192233984 96068 33554432000 4194304 4196468 140727617760512 140457029878912 140457557890773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18649] ppid=18579 vsize=10929916 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18649/stat : 18649 (java) S 18579 18582 11993 0 -1 1077944384 1 12538 0 0 0 0 8 3 20 0 20 0 9620997 11192233984 96068 33554432000 4194304 4196468 140727617760512 140457028827216 140457557899163 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18650] ppid=18579 vsize=10929916 CPUtime=2.76 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18650/stat : 18650 (java) R 18579 18582 11993 0 -1 4202560 2396 12538 0 0 262 3 8 3 20 0 20 0 9620997 11192233984 96068 33554432000 4194304 4196468 140727617760512 140457027775384 140457541770271 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18651] ppid=18579 vsize=10929916 CPUtime=2.88 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18651/stat : 18651 (java) S 18579 18582 11993 0 -1 1077944384 3868 12538 0 0 275 2 8 3 20 0 20 0 9620997 11192233984 96068 33554432000 4194304 4196468 140727617760512 140457026722288 140457557891714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18652] ppid=18579 vsize=10929916 CPUtime=3.19 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18652/stat : 18652 (java) S 18579 18582 11993 0 -1 1077944384 5981 12538 0 0 307 1 8 3 20 0 20 0 9620997 11192233984 96068 33554432000 4194304 4196468 140727617760512 140457025670000 140457557891714 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18653] ppid=18579 vsize=10929916 CPUtime=1.91 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18653/stat : 18653 (java) S 18579 18582 11993 0 -1 1077944384 4862 12538 0 0 177 3 8 3 20 0 20 0 9620997 11192233984 96068 33554432000 4194304 4196468 140727617760512 140457024617200 140457557891714 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18654] ppid=18579 vsize=10929916 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
[pid=18582/tid=18649] ppid=18579 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18649/stat : 18649 (java) S 18579 18582 11993 0 -1 1077944384 1 12538 0 0 0 0 8 3 20 0 20 0 9620997 11261440000 798014 33554432000 4194304 4196468 140727617760512 140457028827216 140457557899163 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18650] ppid=18579 vsize=10997500 CPUtime=4.77 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18650/stat : 18650 (java) S 18579 18582 11993 0 -1 1077944384 11493 12538 0 0 462 4 8 3 20 0 20 0 9620997 11261440000 798014 33554432000 4194304 4196468 140727617760512 140457027775088 140457557891714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18651] ppid=18579 vsize=10997500 CPUtime=5.12 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18651/stat : 18651 (java) S 18579 18582 11993 0 -1 1077944384 14491 12538 0 0 497 4 8 3 20 0 20 0 9620997 11261440000 798014 33554432000 4194304 4196468 140727617760512 140457026722288 140457557891714 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18652] ppid=18579 vsize=10997500 CPUtime=5.14 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18652/stat : 18652 (java) S 18579 18582 11993 0 -1 1077944384 19673 12538 0 0 499 4 8 3 20 0 20 0 9620997 11261440000 798014 33554432000 4194304 4196468 140727617760512 140457025670000 140457557891714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18653] ppid=18579 vsize=10997500 CPUtime=2.46 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18653/stat : 18653 (java) S 18579 18582 11993 0 -1 1077944384 15699 12538 0 0 230 5 8 3 20 0 20 0 9620997 11261440000 798014 33554432000 4194304 4196468 140727617760512 140457024617200 140457557891714 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18654] ppid=18579 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18654/stat : 18654 (java) S 18579 18582 11993 0 -1 1077944384 3 12538 0 0 0 0 8 3 20 0 20 0 9620997 11261440000 798014 33554432000 4194304 4196468 140727617760512 140457023564128 140457557890773 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18655] ppid=18579 vsize=10997500 CPUtime=1.41 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18655/stat : 18655 (java) S 18579 18582 11993 0 -1 1077944384 3069 12538 0 0 69 61 8 3 20 0 20 0 9620998 11261440000 798014 33554432000 4194304 4196468 140727617760512 140457022511408 140457557891714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 10997500
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 18582 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2352.41 s]
/proc/loadavg: 1.60 1.71 1.73 3/282 18866
/proc/meminfo: memFree=27520936/32770624 swapFree=6384/345912
[pid=18582] ppid=18579 vsize=11130628 CPUtime=2400.54 cores=1,3,5,7,9,11,13,15
/proc/18582/stat : 18582 (java) S 18579 18582 11993 0 -1 1077944320 481549 12538 0 0 239324 719 8 3 20 0 22 0 9620975 11397763072 798591 33554432000 4194304 4196468 140727617760512 140727617743056 140457557880567 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
/proc/18582/statm: 2782657 798591 3513 1 0 2770212 0
[pid=18582/tid=18637] ppid=18579 vsize=11130628 CPUtime=2344.57 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18637/stat : 18637 (java) S 18579 18582 11993 0 -1 1077944384 280232 12538 0 0 234351 95 8 3 20 0 22 0 9620988 11397763072 798591 33554432000 4194304 4196468 140727617760512 140457562118320 140457557890773 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18638] ppid=18579 vsize=11130628 CPUtime=4.7 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18638/stat : 18638 (java) R 18579 18582 11993 0 -1 4202560 10210 12538 0 0 390 69 8 3 20 0 22 0 9620989 11397763072 798591 33554432000 4194304 4196468 140727617760512 140457164855896 140457542581283 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18639] ppid=18579 vsize=11130628 CPUtime=4.75 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18639/stat : 18639 (java) R 18579 18582 11993 0 -1 4202560 15233 12538 0 0 394 70 8 3 20 0 22 0 9620989 11397763072 798591 33554432000 4194304 4196468 140727617760512 140457163803096 140457542581255 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18640] ppid=18579 vsize=11130628 CPUtime=4.65 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18640/stat : 18640 (java) R 18579 18582 11993 0 -1 4202560 11482 12538 0 0 385 69 8 3 20 0 22 0 9620989 11397763072 798591 33554432000 4194304 4196468 140727617760512 140457162750808 140457542581306 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18641] ppid=18579 vsize=11130628 CPUtime=4.65 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18641/stat : 18641 (java) R 18579 18582 11993 0 -1 4202560 9873 12538 0 0 384 70 8 3 20 0 22 0 9620989 11397763072 798591 33554432000 4194304 4196468 140727617760512 140457161698008 140457542581200 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18642] ppid=18579 vsize=11130628 CPUtime=4.65 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18642/stat : 18642 (java) R 18579 18582 11993 0 -1 4202560 16064 12538 0 0 386 68 8 3 20 0 22 0 9620989 11397763072 798591 33554432000 4194304 4196468 140727617760512 140457160645408 140457542581220 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18643] ppid=18579 vsize=11130628 CPUtime=4.66 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18643/stat : 18643 (java) R 18579 18582 11993 0 -1 4202560 11103 12538 0 0 389 66 8 3 20 0 22 0 9620989 11397763072 798591 33554432000 4194304 4196468 140727617760512 140457159592920 140457539490189 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18644] ppid=18579 vsize=11130628 CPUtime=4.68 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18644/stat : 18644 (java) R 18579 18582 11993 0 -1 4202560 9649 12538 0 0 387 70 8 3 20 0 22 0 9620989 11397763072 798591 33554432000 4194304 4196468 140727617760512 140457158540632 140457542876930 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18645] ppid=18579 vsize=11130628 CPUtime=4.59 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18645/stat : 18645 (java) R 18579 18582 11993 0 -1 4202560 9760 12538 0 0 378 70 8 3 20 0 22 0 9620989 11397763072 798591 33554432000 4194304 4196468 140727617760512 140457157487832 140457542581298 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18646] ppid=18579 vsize=11130628 CPUtime=1.11 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18646/stat : 18646 (java) S 18579 18582 11993 0 -1 1077944384 40675 12538 0 0 84 16 8 3 20 0 22 0 9620991 11397763072 798591 33554432000 4194304 4196468 140727617760512 140457031983888 140457557890773 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 51 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18647] ppid=18579 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18647/stat : 18647 (java) S 18579 18582 11993 0 -1 1077944384 58 12538 0 0 0 0 8 3 20 0 22 0 9620992 11397763072 798591 33554432000 4194304 4196468 140727617760512 140457030931296 140457557890773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18648] ppid=18579 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18648/stat : 18648 (java) S 18579 18582 11993 0 -1 1077944384 45 12538 0 0 0 0 8 3 20 0 22 0 9620992 11397763072 798591 33554432000 4194304 4196468 140727617760512 140457029878912 140457557890773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18649] ppid=18579 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18649/stat : 18649 (java) S 18579 18582 11993 0 -1 1077944384 242 12538 0 0 0 0 8 3 20 0 22 0 9620997 11397763072 798591 33554432000 4194304 4196468 140727617760512 140457028827216 140457557899163 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18650] ppid=18579 vsize=11130628 CPUtime=4.77 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18650/stat : 18650 (java) S 18579 18582 11993 0 -1 1077944384 11493 12538 0 0 462 4 8 3 20 0 22 0 9620997 11397763072 798591 33554432000 4194304 4196468 140727617760512 140457027775088 140457557891714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18651] ppid=18579 vsize=11130628 CPUtime=5.12 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18651/stat : 18651 (java) S 18579 18582 11993 0 -1 1077944384 14491 12538 0 0 497 4 8 3 20 0 22 0 9620997 11397763072 798591 33554432000 4194304 4196468 140727617760512 140457026722288 140457557891714 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18652] ppid=18579 vsize=11130628 CPUtime=5.14 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18652/stat : 18652 (java) S 18579 18582 11993 0 -1 1077944384 19673 12538 0 0 499 4 8 3 20 0 22 0 9620997 11397763072 798591 33554432000 4194304 4196468 140727617760512 140457025670000 140457557891714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18653] ppid=18579 vsize=11130628 CPUtime=2.46 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18653/stat : 18653 (java) S 18579 18582 11993 0 -1 1077944384 15699 12538 0 0 230 5 8 3 20 0 22 0 9620997 11397763072 798591 33554432000 4194304 4196468 140727617760512 140457024617200 140457557891714 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18654] ppid=18579 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18654/stat : 18654 (java) S 18579 18582 11993 0 -1 1077944384 3 12538 0 0 0 0 8 3 20 0 22 0 9620997 11397763072 798591 33554432000 4194304 4196468 140727617760512 140457023564128 140457557890773 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18655] ppid=18579 vsize=11130628 CPUtime=1.41 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18655/stat : 18655 (java) S 18579 18582 11993 0 -1 1077944384 3069 12538 0 0 69 61 8 3 20 0 22 0 9620998 11397763072 798591 33554432000 4194304 4196468 140727617760512 140457022511408 140457557891714 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
Current children cumulated CPU time (s) 2400.54
Current children cumulated vsize (KiB) 11130628
[startup+2352.6 s]
/proc/loadavg: 1.60 1.71 1.73 3/282 18866
/proc/meminfo: memFree=27520936/32770624 swapFree=6384/345912
[pid=18582] ppid=18579 vsize=11130628 CPUtime=2401.79 cores=1,3,5,7,9,11,13,15
/proc/18582/stat : 18582 (java) S 18579 18582 11993 0 -1 1077944320 481931 12538 0 0 239449 719 8 3 20 0 22 0 9620975 11397763072 798591 33554432000 4194304 4196468 140727617760512 140727617743056 140457557880567 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
/proc/18582/statm: 2782657 798591 3513 1 0 2770212 0
[pid=18582/tid=18637] ppid=18579 vsize=11130628 CPUtime=2344.57 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18637/stat : 18637 (java) S 18579 18582 11993 0 -1 1077944384 280232 12538 0 0 234351 95 8 3 20 0 22 0 9620988 11397763072 798591 33554432000 4194304 4196468 140727617760512 140457562118320 140457557890773 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18638] ppid=18579 vsize=11130628 CPUtime=4.85 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18638/stat : 18638 (java) R 18579 18582 11993 0 -1 4202560 10222 12538 0 0 405 69 8 3 20 0 22 0 9620989 11397763072 798591 33554432000 4194304 4196468 140727617760512 140457164855896 140457550508775 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18639] ppid=18579 vsize=11130628 CPUtime=4.91 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18639/stat : 18639 (java) R 18579 18582 11993 0 -1 4202560 15235 12538 0 0 410 70 8 3 20 0 22 0 9620989 11397763072 798591 33554432000 4194304 4196468 140727617760512 140457163803096 140457550508775 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18640] ppid=18579 vsize=11130628 CPUtime=4.81 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18640/stat : 18640 (java) R 18579 18582 11993 0 -1 4202560 11482 12538 0 0 400 70 8 3 20 0 22 0 9620989 11397763072 798591 33554432000 4194304 4196468 140727617760512 140457162750728 140457543639384 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18641] ppid=18579 vsize=11130628 CPUtime=4.81 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18641/stat : 18641 (java) R 18579 18582 11993 0 -1 4202560 9879 12538 0 0 400 70 8 3 20 0 22 0 9620989 11397763072 798591 33554432000 4194304 4196468 140727617760512 140457161698008 140457550508775 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18642] ppid=18579 vsize=11130628 CPUtime=4.8 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18642/stat : 18642 (java) R 18579 18582 11993 0 -1 4202560 16064 12538 0 0 401 68 8 3 20 0 22 0 9620989 11397763072 798591 33554432000 4194304 4196468 140727617760512 140457160645720 140457542876971 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18643] ppid=18579 vsize=11130628 CPUtime=4.82 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18643/stat : 18643 (java) R 18579 18582 11993 0 -1 4202560 11103 12538 0 0 405 66 8 3 20 0 22 0 9620989 11397763072 798591 33554432000 4194304 4196468 140727617760512 140457159592920 140457550508775 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18644] ppid=18579 vsize=11130628 CPUtime=4.83 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18644/stat : 18644 (java) R 18579 18582 11993 0 -1 4202560 9649 12538 0 0 402 70 8 3 20 0 22 0 9620989 11397763072 798591 33554432000 4194304 4196468 140727617760512 140457158540320 140457550508775 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18645] ppid=18579 vsize=11130628 CPUtime=4.73 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18645/stat : 18645 (java) R 18579 18582 11993 0 -1 4202560 9765 12538 0 0 392 70 8 3 20 0 22 0 9620989 11397763072 798591 33554432000 4194304 4196468 140727617760512 140457157487832 140457550508775 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18646] ppid=18579 vsize=11130628 CPUtime=1.15 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18646/stat : 18646 (java) S 18579 18582 11993 0 -1 1077944384 41027 12538 0 0 88 16 8 3 20 0 22 0 9620991 11397763072 798591 33554432000 4194304 4196468 140727617760512 140457031983888 140457557890773 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 51 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18647] ppid=18579 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18647/stat : 18647 (java) S 18579 18582 11993 0 -1 1077944384 61 12538 0 0 0 0 8 3 20 0 22 0 9620992 11397763072 798591 33554432000 4194304 4196468 140727617760512 140457030930832 140457557891714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18648] ppid=18579 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18648/stat : 18648 (java) S 18579 18582 11993 0 -1 1077944384 45 12538 0 0 0 0 8 3 20 0 22 0 9620992 11397763072 798591 33554432000 4194304 4196468 140727617760512 140457029878912 140457557890773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18649] ppid=18579 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18649/stat : 18649 (java) S 18579 18582 11993 0 -1 1077944384 242 12538 0 0 0 0 8 3 20 0 22 0 9620997 11397763072 798591 33554432000 4194304 4196468 140727617760512 140457028827216 140457557899163 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18650] ppid=18579 vsize=11130628 CPUtime=4.77 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18650/stat : 18650 (java) S 18579 18582 11993 0 -1 1077944384 11493 12538 0 0 462 4 8 3 20 0 22 0 9620997 11397763072 798591 33554432000 4194304 4196468 140727617760512 140457027775088 140457557891714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18651] ppid=18579 vsize=11130628 CPUtime=5.12 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18651/stat : 18651 (java) S 18579 18582 11993 0 -1 1077944384 14491 12538 0 0 497 4 8 3 20 0 22 0 9620997 11397763072 798591 33554432000 4194304 4196468 140727617760512 140457026722288 140457557891714 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18652] ppid=18579 vsize=11130628 CPUtime=5.14 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18652/stat : 18652 (java) S 18579 18582 11993 0 -1 1077944384 19673 12538 0 0 499 4 8 3 20 0 22 0 9620997 11397763072 798591 33554432000 4194304 4196468 140727617760512 140457025670000 140457557891714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18653] ppid=18579 vsize=11130628 CPUtime=2.46 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18653/stat : 18653 (java) S 18579 18582 11993 0 -1 1077944384 15699 12538 0 0 230 5 8 3 20 0 22 0 9620997 11397763072 798591 33554432000 4194304 4196468 140727617760512 140457024617200 140457557891714 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18654] ppid=18579 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18654/stat : 18654 (java) S 18579 18582 11993 0 -1 1077944384 3 12538 0 0 0 0 8 3 20 0 22 0 9620997 11397763072 798591 33554432000 4194304 4196468 140727617760512 140457023564128 140457557890773 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18655] ppid=18579 vsize=11130628 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18655/stat : 18655 (java) S 18579 18582 11993 0 -1 1077944384 3070 12538 0 0 70 61 8 3 20 0 22 0 9620998 11397763072 798591 33554432000 4194304 4196468 140727617760512 140457022511408 140457557891714 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
Current children cumulated CPU time (s) 2401.79
Current children cumulated vsize (KiB) 11130628
[startup+2352.7 s]
/proc/loadavg: 1.60 1.71 1.73 3/282 18866
/proc/meminfo: memFree=27520936/32770624 swapFree=6384/345912
[pid=18582] ppid=18579 vsize=11130628 CPUtime=2402.42 cores=1,3,5,7,9,11,13,15
/proc/18582/stat : 18582 (java) S 18579 18582 11993 0 -1 1077944320 481946 12538 0 0 239512 719 8 3 20 0 22 0 9620975 11397763072 798597 33554432000 4194304 4196468 140727617760512 140727617743056 140457557880567 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
/proc/18582/statm: 2782657 798597 3513 1 0 2770212 0
[pid=18582/tid=18637] ppid=18579 vsize=11130628 CPUtime=2344.57 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18637/stat : 18637 (java) S 18579 18582 11993 0 -1 1077944384 280232 12538 0 0 234351 95 8 3 20 0 22 0 9620988 11397763072 798597 33554432000 4194304 4196468 140727617760512 140457562118320 140457557890773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18638] ppid=18579 vsize=11130628 CPUtime=4.93 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18638/stat : 18638 (java) R 18579 18582 11993 0 -1 4202560 10222 12538 0 0 413 69 8 3 20 0 22 0 9620989 11397763072 798597 33554432000 4194304 4196468 140727617760512 140457164855696 140457542578292 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18639] ppid=18579 vsize=11130628 CPUtime=4.99 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18639/stat : 18639 (java) R 18579 18582 11993 0 -1 4202560 15235 12538 0 0 418 70 8 3 20 0 22 0 9620989 11397763072 798597 33554432000 4194304 4196468 140727617760512 140457163803096 140457542578144 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18640] ppid=18579 vsize=11130628 CPUtime=4.89 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18640/stat : 18640 (java) R 18579 18582 11993 0 -1 4202560 11490 12538 0 0 408 70 8 3 20 0 22 0 9620989 11397763072 798597 33554432000 4194304 4196468 140727617760512 140457162750808 140457539477115 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18641] ppid=18579 vsize=11130628 CPUtime=4.89 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18641/stat : 18641 (java) R 18579 18582 11993 0 -1 4202560 9879 12538 0 0 408 70 8 3 20 0 22 0 9620989 11397763072 798597 33554432000 4194304 4196468 140727617760512 140457161698008 140457542865863 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18642] ppid=18579 vsize=11130628 CPUtime=4.87 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18642/stat : 18642 (java) R 18579 18582 11993 0 -1 4202560 16064 12538 0 0 408 68 8 3 20 0 22 0 9620989 11397763072 798597 33554432000 4194304 4196468 140727617760512 140457160645720 140457542335200 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18643] ppid=18579 vsize=11130628 CPUtime=4.9 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18643/stat : 18643 (java) R 18579 18582 11993 0 -1 4202560 11103 12538 0 0 413 66 8 3 20 0 22 0 9620989 11397763072 798597 33554432000 4194304 4196468 140727617760512 140457159592920 140457539477578 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18644] ppid=18579 vsize=11130628 CPUtime=4.91 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18644/stat : 18644 (java) R 18579 18582 11993 0 -1 4202560 9654 12538 0 0 410 70 8 3 20 0 22 0 9620989 11397763072 798597 33554432000 4194304 4196468 140727617760512 140457158540632 140457542831172 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18645] ppid=18579 vsize=11130628 CPUtime=4.8 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18645/stat : 18645 (java) R 18579 18582 11993 0 -1 4202560 9765 12538 0 0 399 70 8 3 20 0 22 0 9620989 11397763072 798597 33554432000 4194304 4196468 140727617760512 140457157487832 140457542578342 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18646] ppid=18579 vsize=11130628 CPUtime=1.17 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18646/stat : 18646 (java) S 18579 18582 11993 0 -1 1077944384 41027 12538 0 0 90 16 8 3 20 0 22 0 9620991 11397763072 798597 33554432000 4194304 4196468 140727617760512 140457031983664 140457557890773 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 51 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18647] ppid=18579 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18647/stat : 18647 (java) S 18579 18582 11993 0 -1 1077944384 61 12538 0 0 0 0 8 3 20 0 22 0 9620992 11397763072 798597 33554432000 4194304 4196468 140727617760512 140457030930928 140457557890773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18648] ppid=18579 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18648/stat : 18648 (java) S 18579 18582 11993 0 -1 1077944384 45 12538 0 0 0 0 8 3 20 0 22 0 9620992 11397763072 798597 33554432000 4194304 4196468 140727617760512 140457029878912 140457557890773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18649] ppid=18579 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18649/stat : 18649 (java) S 18579 18582 11993 0 -1 1077944384 242 12538 0 0 0 0 8 3 20 0 22 0 9620997 11397763072 798597 33554432000 4194304 4196468 140727617760512 140457028827216 140457557899163 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18650] ppid=18579 vsize=11130628 CPUtime=4.77 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18650/stat : 18650 (java) S 18579 18582 11993 0 -1 1077944384 11493 12538 0 0 462 4 8 3 20 0 22 0 9620997 11397763072 798597 33554432000 4194304 4196468 140727617760512 140457027775088 140457557891714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18651] ppid=18579 vsize=11130628 CPUtime=5.12 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18651/stat : 18651 (java) S 18579 18582 11993 0 -1 1077944384 14491 12538 0 0 497 4 8 3 20 0 22 0 9620997 11397763072 798597 33554432000 4194304 4196468 140727617760512 140457026722288 140457557891714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18652] ppid=18579 vsize=11130628 CPUtime=5.14 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18652/stat : 18652 (java) S 18579 18582 11993 0 -1 1077944384 19673 12538 0 0 499 4 8 3 20 0 22 0 9620997 11397763072 798597 33554432000 4194304 4196468 140727617760512 140457025670000 140457557891714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18653] ppid=18579 vsize=11130628 CPUtime=2.46 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18653/stat : 18653 (java) S 18579 18582 11993 0 -1 1077944384 15699 12538 0 0 230 5 8 3 20 0 22 0 9620997 11397763072 798597 33554432000 4194304 4196468 140727617760512 140457024617200 140457557891714 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18654] ppid=18579 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18654/stat : 18654 (java) S 18579 18582 11993 0 -1 1077944384 3 12538 0 0 0 0 8 3 20 0 22 0 9620997 11397763072 798597 33554432000 4194304 4196468 140727617760512 140457023564128 140457557890773 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
[pid=18582/tid=18655] ppid=18579 vsize=11130628 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/18582/task/18655/stat : 18655 (java) S 18579 18582 11993 0 -1 1077944384 3070 12538 0 0 70 61 8 3 20 0 22 0 9620998 11397763072 798597 33554432000 4194304 4196468 140727617760512 140457022511408 140457557891714 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7860224 140727617764033 140727617766807 140727617766807 140727617769423 0
Current children cumulated CPU time (s) 2402.42
Current children cumulated vsize (KiB) 11130628
Child status: 143
Real time (s): 2352.8
CPU time (s): 2402.85
CPU user time (s): 2395.58
CPU system time (s): 7.2678
CPU usage (%): 102.127
Max. virtual memory (cumulated for all children) (KiB): 11130628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.58
system time used= 7.2678
maximum resident set size= 3194876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 494803
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 89075
involuntary context switches= 129821
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.6448 second user time and 17.563 second system time
The end