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-4249253-1500761437/watcher-4249253-1500761437 -o /tmp/evaluation-result-4249253-1500761437/solver-4249253-1500761437 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500754473-3381 --watchdog 2560 bin/concrete HOME/instance-4249253-1500761437.xml
pid=4784
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: 2.14 1.76 1.64 3/264 4787
/proc/meminfo: memFree=28046336/32770624 swapFree=5892/370728
[pid=4787] ppid=4784 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4787/stat : 4787 (bash) S 4784 4787 3349 0 -1 4202496 684 1533 0 0 0 0 0 0 20 0 1 0 11410670 9736192 350 33554432000 4194304 5098028 140736910446128 140736910443768 139677702347776 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 32260096 140736910447886 140736910447971 140736910447971 140736910450670 0
/proc/4787/statm: 2377 350 278 221 0 86 0
[startup+0.100151 s]
/proc/loadavg: 2.14 1.76 1.64 3/264 4787
/proc/meminfo: memFree=28046336/32770624 swapFree=5892/370728
[pid=4787] ppid=4784 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/4787/stat : 4787 (bash) S 4784 4787 3349 0 -1 4202496 878 6420 0 0 0 0 0 1 20 0 1 0 11410670 9871360 377 33554432000 4194304 5098028 140736910446128 140736910440136 139677702347776 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 32260096 140736910447886 140736910447971 140736910447971 140736910450670 0
/proc/4787/statm: 2410 377 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.200424 s]
/proc/loadavg: 2.14 1.76 1.64 3/264 4787
/proc/meminfo: memFree=28046336/32770624 swapFree=5892/370728
[pid=4787] ppid=4784 vsize=10435860 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/4787/stat : 4787 (java) S 4784 4787 3349 0 -1 1077944320 4834 12488 0 0 7 1 7 3 20 0 13 0 11410670 10686320640 5197 33554432000 4194304 4196468 140734922656560 140734922639104 140565888548599 0 0 0 16800971 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
/proc/4787/statm: 2608965 5197 2172 1 0 2597403 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 10435860
[startup+0.300343 s]
/proc/loadavg: 2.14 1.76 1.64 3/264 4787
/proc/meminfo: memFree=28046336/32770624 swapFree=5892/370728
[pid=4787] ppid=4784 vsize=10902292 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/4787/stat : 4787 (java) S 4784 4787 3349 0 -1 1077944320 8155 12488 0 0 23 2 7 3 20 0 20 0 11410670 11163947008 9183 33554432000 4194304 4196468 140734922656560 140734922639104 140565888548599 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
/proc/4787/statm: 2725573 9183 2965 1 0 2713890 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 10902292
[startup+0.700329 s]
/proc/loadavg: 2.14 1.76 1.64 3/264 4787
/proc/meminfo: memFree=28046336/32770624 swapFree=5892/370728
[pid=4787] ppid=4784 vsize=10902720 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/4787/stat : 4787 (java) S 4784 4787 3349 0 -1 1077944320 12025 12488 0 0 76 4 7 3 20 0 20 0 11410670 11164385280 14844 33554432000 4194304 4196468 140734922656560 140734922639104 140565888548599 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
/proc/4787/statm: 2725680 14844 3151 1 0 2713890 0
Current children cumulated CPU time (s) 0.9
Current children cumulated vsize (KiB) 10902720
[startup+1.50111 s]
/proc/loadavg: 2.14 1.76 1.64 4/284 4860
/proc/meminfo: memFree=27946960/32770624 swapFree=5892/370684
[pid=4787] ppid=4784 vsize=10913344 CPUtime=2.21 cores=1,3,5,7,9,11,13,15
/proc/4787/stat : 4787 (java) S 4784 4787 3349 0 -1 1077944320 26240 12488 0 0 196 15 7 3 20 0 20 0 11410670 11175264256 41547 33554432000 4194304 4196468 140734922656560 140734922639104 140565888548599 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
/proc/4787/statm: 2728336 41547 3392 1 0 2716450 0
[pid=4787/tid=4842] ppid=4784 vsize=10913344 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4842/stat : 4842 (java) S 4784 4787 3349 0 -1 1077944384 19548 12488 0 0 127 6 7 3 20 0 20 0 11410682 11175264256 41547 33554432000 4194304 4196468 140734922656560 140565892766896 140565888558805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4843] ppid=4784 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4843/stat : 4843 (java) S 4784 4787 3349 0 -1 1077944384 118 12488 0 0 0 0 7 3 20 0 20 0 11410683 11175264256 41547 33554432000 4194304 4196468 140734922656560 140565825239824 140565888558805 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4844] ppid=4784 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4844/stat : 4844 (java) S 4784 4787 3349 0 -1 1077944384 23 12488 0 0 0 0 7 3 20 0 20 0 11410683 11175264256 41547 33554432000 4194304 4196468 140734922656560 140565494492048 140565888558805 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4845] ppid=4784 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4845/stat : 4845 (java) S 4784 4787 3349 0 -1 1077944384 21 12488 0 0 0 0 7 3 20 0 20 0 11410683 11175264256 41547 33554432000 4194304 4196468 140734922656560 140565493439504 140565888558805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4846] ppid=4784 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4846/stat : 4846 (java) S 4784 4787 3349 0 -1 1077944384 13 12488 0 0 0 0 7 3 20 0 20 0 11410683 11175264256 41547 33554432000 4194304 4196468 140734922656560 140565492386960 140565888558805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4847] ppid=4784 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4847/stat : 4847 (java) S 4784 4787 3349 0 -1 1077944384 37 12488 0 0 0 0 7 3 20 0 20 0 11410683 11175264256 41547 33554432000 4194304 4196468 140734922656560 140565491333392 140565888558805 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4848] ppid=4784 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4848/stat : 4848 (java) S 4784 4787 3349 0 -1 1077944384 27 12488 0 0 0 0 7 3 20 0 20 0 11410683 11175264256 41547 33554432000 4194304 4196468 140734922656560 140565490280848 140565888558805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4849] ppid=4784 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4849/stat : 4849 (java) S 4784 4787 3349 0 -1 1077944384 22 12488 0 0 0 0 7 3 20 0 20 0 11410683 11175264256 41547 33554432000 4194304 4196468 140734922656560 140565489228304 140565888558805 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4850] ppid=4784 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4850/stat : 4850 (java) S 4784 4787 3349 0 -1 1077944384 42 12488 0 0 0 0 7 3 20 0 20 0 11410683 11175264256 41547 33554432000 4194304 4196468 140734922656560 140565488175760 140565888558805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4851] ppid=4784 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4851/stat : 4851 (java) R 4784 4787 3349 0 -1 4202560 657 12488 0 0 0 0 7 3 20 0 20 0 11410685 11175264256 41547 33554432000 4194304 4196468 140734922656560 140565430321984 140565870186933 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4852] ppid=4784 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4852/stat : 4852 (java) S 4784 4787 3349 0 -1 1077944384 33 12488 0 0 0 0 7 3 20 0 20 0 11410686 11175264256 41547 33554432000 4194304 4196468 140734922656560 140565429269920 140565888558805 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4853] ppid=4784 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4853/stat : 4853 (java) S 4784 4787 3349 0 -1 1077944384 21 12488 0 0 0 0 7 3 20 0 20 0 11410687 11175264256 41547 33554432000 4194304 4196468 140734922656560 140565428217328 140565888558805 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4854] ppid=4784 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4854/stat : 4854 (java) S 4784 4787 3349 0 -1 1077944384 1 12488 0 0 0 0 7 3 20 0 20 0 11410691 11175264256 41547 33554432000 4194304 4196468 140734922656560 140565427165904 140565888567195 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4855] ppid=4784 vsize=10913344 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4855/stat : 4855 (java) S 4784 4787 3349 0 -1 1077944384 695 12488 0 0 14 0 7 3 20 0 20 0 11410691 11175264256 41547 33554432000 4194304 4196468 140734922656560 140565426112496 140565888559746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4856] ppid=4784 vsize=10913344 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4856/stat : 4856 (java) S 4784 4787 3349 0 -1 1077944384 662 12488 0 0 11 0 7 3 20 0 20 0 11410691 11175264256 41547 33554432000 4194304 4196468 140734922656560 140565425059952 140565888559746 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4857] ppid=4784 vsize=10913344 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4857/stat : 4857 (java) S 4784 4787 3349 0 -1 1077944384 1413 12488 0 0 13 0 7 3 20 0 20 0 11410691 11175264256 41547 33554432000 4194304 4196468 140734922656560 140565424007408 140565888559746 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4858] ppid=4784 vsize=10913344 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4858/stat : 4858 (java) S 4784 4787 3349 0 -1 1077944384 1056 12488 0 0 26 0 7 3 20 0 20 0 11410691 11175264256 41547 33554432000 4194304 4196468 140734922656560 140565422954864 140565888559746 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4859] ppid=4784 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4859/stat : 4859 (java) S 4784 4787 3349 0 -1 1077944384 3 12488 0 0 0 0 7 3 20 0 20 0 11410691 11175264256 41547 33554432000 4194304 4196468 140734922656560 140565354113760 140565888558805 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4860] ppid=4784 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4860/stat : 4860 (java) S 4784 4787 3349 0 -1 1077944384 3 12488 0 0 0 0 7 3 20 0 20 0 11410691 11175264256 41547 33554432000 4194304 4196468 140734922656560 140565353061296 140565888559746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
Current children cumulated CPU time (s) 2.21
Current children cumulated vsize (KiB) 10913344
[startup+3.10109 s]
/proc/loadavg: 2.37 1.81 1.66 14/284 4860
/proc/meminfo: memFree=27294484/32770624 swapFree=5892/370684
[pid=4787] ppid=4784 vsize=10925820 CPUtime=6.49 cores=1,3,5,7,9,11,13,15
/proc/4787/stat : 4787 (java) S 4784 4787 3349 0 -1 1077944320 47844 12488 0 0 618 21 7 3 20 0 20 0 11410670 11188039680 56910 33554432000 4194304 4196468 140734922656560 140734922639104 140565888548599 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
/proc/4787/statm: 2731455 56910 3476 1 0 2719010 0
[pid=4787/tid=4842] ppid=4784 vsize=10925820 CPUtime=3.01 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4842/stat : 4842 (java) R 4784 4787 3349 0 -1 4202560 31714 12488 0 0 282 9 7 3 20 0 20 0 11410682 11188039680 56910 33554432000 4194304 4196468 140734922656560 140565892773792 140565505407370 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4843] ppid=4784 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4843/stat : 4843 (java) S 4784 4787 3349 0 -1 1077944384 123 12488 0 0 0 1 7 3 20 0 20 0 11410683 11188039680 56910 33554432000 4194304 4196468 140734922656560 140565825239824 140565888558805 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4844] ppid=4784 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4844/stat : 4844 (java) S 4784 4787 3349 0 -1 1077944384 24 12488 0 0 0 0 7 3 20 0 20 0 11410683 11188039680 56910 33554432000 4194304 4196468 140734922656560 140565494492048 140565888558805 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4845] ppid=4784 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4845/stat : 4845 (java) S 4784 4787 3349 0 -1 1077944384 22 12488 0 0 0 0 7 3 20 0 20 0 11410683 11188039680 56910 33554432000 4194304 4196468 140734922656560 140565493439504 140565888558805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4846] ppid=4784 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4846/stat : 4846 (java) S 4784 4787 3349 0 -1 1077944384 16 12488 0 0 0 0 7 3 20 0 20 0 11410683 11188039680 56910 33554432000 4194304 4196468 140734922656560 140565492386960 140565888558805 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4847] ppid=4784 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4847/stat : 4847 (java) S 4784 4787 3349 0 -1 1077944384 37 12488 0 0 0 0 7 3 20 0 20 0 11410683 11188039680 56910 33554432000 4194304 4196468 140734922656560 140565491333392 140565888558805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4848] ppid=4784 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4848/stat : 4848 (java) S 4784 4787 3349 0 -1 1077944384 27 12488 0 0 1 0 7 3 20 0 20 0 11410683 11188039680 56910 33554432000 4194304 4196468 140734922656560 140565490280848 140565888558805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4849] ppid=4784 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4849/stat : 4849 (java) S 4784 4787 3349 0 -1 1077944384 22 12488 0 0 0 0 7 3 20 0 20 0 11410683 11188039680 56910 33554432000 4194304 4196468 140734922656560 140565489228304 140565888558805 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4850] ppid=4784 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4850/stat : 4850 (java) S 4784 4787 3349 0 -1 1077944384 45 12488 0 0 1 0 7 3 20 0 20 0 11410683 11188039680 56910 33554432000 4194304 4196468 140734922656560 140565488175760 140565888558805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4851] ppid=4784 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4851/stat : 4851 (java) S 4784 4787 3349 0 -1 1077944384 1303 12488 0 0 1 0 7 3 20 0 20 0 11410685 11188039680 56910 33554432000 4194304 4196468 140734922656560 140565430323696 140565888559746 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4852] ppid=4784 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4852/stat : 4852 (java) S 4784 4787 3349 0 -1 1077944384 55 12488 0 0 0 0 7 3 20 0 20 0 11410686 11188039680 56910 33554432000 4194304 4196468 140734922656560 140565429269984 140565888558805 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4853] ppid=4784 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4853/stat : 4853 (java) S 4784 4787 3349 0 -1 1077944384 43 12488 0 0 0 0 7 3 20 0 20 0 11410687 11188039680 56910 33554432000 4194304 4196468 140734922656560 140565428217344 140565888558805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4854] ppid=4784 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4854/stat : 4854 (java) S 4784 4787 3349 0 -1 1077944384 1 12488 0 0 0 0 7 3 20 0 20 0 11410691 11188039680 56910 33554432000 4194304 4196468 140734922656560 140565427165904 140565888567195 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4855] ppid=4784 vsize=10925820 CPUtime=0.87 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4855/stat : 4855 (java) S 4784 4787 3349 0 -1 1077944384 2741 12488 0 0 76 1 7 3 20 0 20 0 11410691 11188039680 56910 33554432000 4194304 4196468 140734922656560 140565426112496 140565888559746 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4856] ppid=4784 vsize=10925820 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4856/stat : 4856 (java) S 4784 4787 3349 0 -1 1077944384 1449 12488 0 0 58 0 7 3 20 0 20 0 11410691 11188039680 56910 33554432000 4194304 4196468 140734922656560 140565425059952 140565888559746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4857] ppid=4784 vsize=10925820 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4857/stat : 4857 (java) S 4784 4787 3349 0 -1 1077944384 5094 12488 0 0 96 1 7 3 20 0 20 0 11410691 11188039680 56910 33554432000 4194304 4196468 140734922656560 140565424007408 140565888559746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4858] ppid=4784 vsize=10925820 CPUtime=1.06 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4858/stat : 4858 (java) S 4784 4787 3349 0 -1 1077944384 2994 12488 0 0 95 1 7 3 20 0 20 0 11410691 11188039680 56910 33554432000 4194304 4196468 140734922656560 140565422954864 140565888559746 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4859] ppid=4784 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4859/stat : 4859 (java) S 4784 4787 3349 0 -1 1077944384 3 12488 0 0 0 0 7 3 20 0 20 0 11410691 11188039680 56910 33554432000 4194304 4196468 140734922656560 140565354113760 140565888558805 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4860] ppid=4784 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4860/stat : 4860 (java) S 4784 4787 3349 0 -1 1077944384 5 12488 0 0 0 0 7 3 20 0 20 0 11410691 11188039680 56910 33554432000 4194304 4196468 140734922656560 140565353061296 140565888559746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
Current children cumulated CPU time (s) 6.49
Current children cumulated vsize (KiB) 10925820
[startup+6.30113 s]
/proc/loadavg: 2.37 1.81 1.66 13/285 4861
/proc/meminfo: memFree=26629960/32770624 swapFree=5892/370692
[pid=4787] ppid=4784 vsize=10929916 CPUtime=14.09 cores=1,3,5,7,9,11,13,15
/proc/4787/stat : 4787 (java) S 4784 4787 3349 0 -1 1077944320 55381 12488 0 0 1345 54 7 3 20 0 20 0 11410670 11192233984 169683 33554432000 4194304 4196468 140734922656560 140734922639104 140565888548599 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
/proc/4787/statm: 2732479 169683 3497 1 0 2720034 0
[pid=4787/tid=4842] ppid=4784 vsize=10929916 CPUtime=6.06 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4842/stat : 4842 (java) R 4784 4787 3349 0 -1 4202560 33235 12488 0 0 580 16 7 3 20 0 20 0 11410682 11192233984 169683 33554432000 4194304 4196468 140734922656560 140565892779736 140565515442668 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4843] ppid=4784 vsize=10929916 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4843/stat : 4843 (java) S 4784 4787 3349 0 -1 1077944384 174 12488 0 0 9 3 7 3 20 0 20 0 11410683 11192233984 169683 33554432000 4194304 4196468 140734922656560 140565825239824 140565888558805 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4844] ppid=4784 vsize=10929916 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4844/stat : 4844 (java) S 4784 4787 3349 0 -1 1077944384 86 12488 0 0 8 3 7 3 20 0 20 0 11410683 11192233984 169683 33554432000 4194304 4196468 140734922656560 140565494492048 140565888558805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4845] ppid=4784 vsize=10929916 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4845/stat : 4845 (java) S 4784 4787 3349 0 -1 1077944384 118 12488 0 0 9 3 7 3 20 0 20 0 11410683 11192233984 169683 33554432000 4194304 4196468 140734922656560 140565493439504 140565888558805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4846] ppid=4784 vsize=10929916 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4846/stat : 4846 (java) S 4784 4787 3349 0 -1 1077944384 126 12488 0 0 8 3 7 3 20 0 20 0 11410683 11192233984 169683 33554432000 4194304 4196468 140734922656560 140565492386960 140565888558805 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4847] ppid=4784 vsize=10929916 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4847/stat : 4847 (java) S 4784 4787 3349 0 -1 1077944384 86 12488 0 0 8 4 7 3 20 0 20 0 11410683 11192233984 169683 33554432000 4194304 4196468 140734922656560 140565491333392 140565888558805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4848] ppid=4784 vsize=10929916 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4848/stat : 4848 (java) S 4784 4787 3349 0 -1 1077944384 80 12488 0 0 9 2 7 3 20 0 20 0 11410683 11192233984 169683 33554432000 4194304 4196468 140734922656560 140565490280848 140565888558805 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4849] ppid=4784 vsize=10929916 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4849/stat : 4849 (java) S 4784 4787 3349 0 -1 1077944384 57 12488 0 0 8 2 7 3 20 0 20 0 11410683 11192233984 169683 33554432000 4194304 4196468 140734922656560 140565489228304 140565888558805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4850] ppid=4784 vsize=10929916 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4850/stat : 4850 (java) S 4784 4787 3349 0 -1 1077944384 88 12488 0 0 9 3 7 3 20 0 20 0 11410683 11192233984 169683 33554432000 4194304 4196468 140734922656560 140565488175760 140565888558805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4851] ppid=4784 vsize=10929916 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4851/stat : 4851 (java) S 4784 4787 3349 0 -1 1077944384 2176 12488 0 0 4 1 7 3 20 0 20 0 11410685 11192233984 169683 33554432000 4194304 4196468 140734922656560 140565430323696 140565888559746 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4852] ppid=4784 vsize=10929916 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4852/stat : 4852 (java) S 4784 4787 3349 0 -1 1077944384 56 12488 0 0 0 0 7 3 20 0 20 0 11410686 11192233984 169683 33554432000 4194304 4196468 140734922656560 140565429269984 140565888558805 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4853] ppid=4784 vsize=10929916 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4853/stat : 4853 (java) S 4784 4787 3349 0 -1 1077944384 44 12488 0 0 0 0 7 3 20 0 20 0 11410687 11192233984 169683 33554432000 4194304 4196468 140734922656560 140565428217344 140565888558805 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4854] ppid=4784 vsize=10929916 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4854/stat : 4854 (java) S 4784 4787 3349 0 -1 1077944384 1 12488 0 0 0 0 7 3 20 0 20 0 11410691 11192233984 169683 33554432000 4194304 4196468 140734922656560 140565427165904 140565888567195 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4855] ppid=4784 vsize=10929916 CPUtime=1.9 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4855/stat : 4855 (java) R 4784 4787 3349 0 -1 4202560 4373 12488 0 0 179 1 7 3 20 0 20 0 11410691 11192233984 169683 33554432000 4194304 4196468 140734922656560 140565426098656 140565873470415 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4856] ppid=4784 vsize=10929916 CPUtime=1.76 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4856/stat : 4856 (java) S 4784 4787 3349 0 -1 1077944384 3038 12488 0 0 165 1 7 3 20 0 20 0 11410691 11192233984 169683 33554432000 4194304 4196468 140734922656560 140565425059952 140565888559746 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4857] ppid=4784 vsize=10929916 CPUtime=2.08 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4857/stat : 4857 (java) S 4784 4787 3349 0 -1 1077944384 5534 12488 0 0 197 1 7 3 20 0 20 0 11410691 11192233984 169683 33554432000 4194304 4196468 140734922656560 140565424007408 140565888559746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4858] ppid=4784 vsize=10929916 CPUtime=1.55 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4858/stat : 4858 (java) S 4784 4787 3349 0 -1 1077944384 3969 12488 0 0 143 2 7 3 20 0 20 0 11410691 11192233984 169683 33554432000 4194304 4196468 140734922656560 140565422954864 140565888559746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4859] ppid=4784 vsize=10929916 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
[pid=4787/tid=4856] ppid=4784 vsize=10931964 CPUtime=6.85 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4856/stat : 4856 (java) S 4784 4787 3349 0 -1 1077944384 26878 12488 0 0 671 4 7 3 20 0 20 0 11410691 11194331136 2039670 33554432000 4194304 4196468 140734922656560 140565425059952 140565888559746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4857] ppid=4784 vsize=10931964 CPUtime=6.69 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4857/stat : 4857 (java) S 4784 4787 3349 0 -1 1077944384 29185 12488 0 0 654 5 7 3 20 0 20 0 11410691 11194331136 2039670 33554432000 4194304 4196468 140734922656560 140565424007408 140565888559746 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4858] ppid=4784 vsize=10931964 CPUtime=2.67 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4858/stat : 4858 (java) S 4784 4787 3349 0 -1 1077944384 20351 12488 0 0 253 4 7 3 20 0 20 0 11410691 11194331136 2039670 33554432000 4194304 4196468 140734922656560 140565422954864 140565888559746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4859] ppid=4784 vsize=10931964 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4859/stat : 4859 (java) S 4784 4787 3349 0 -1 1077944384 3 12488 0 0 0 0 7 3 20 0 20 0 11410691 11194331136 2039670 33554432000 4194304 4196468 140734922656560 140565354113760 140565888558805 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4860] ppid=4784 vsize=10931964 CPUtime=0.6 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4860/stat : 4860 (java) S 4784 4787 3349 0 -1 1077944384 1092 12488 0 0 24 26 7 3 20 0 20 0 11410691 11194331136 2039670 33554432000 4194304 4196468 140734922656560 140565353061296 140565888559746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
Current children cumulated CPU time (s) 2206.19
Current children cumulated vsize (KiB) 10931964
[startup+882.317 s]
/proc/loadavg: 2.23 3.01 2.63 10/286 4889
/proc/meminfo: memFree=15965396/32770624 swapFree=5892/371528
[pid=4787] ppid=4784 vsize=10931964 CPUtime=2338.3 cores=1,3,5,7,9,11,13,15
/proc/4787/stat : 4787 (java) S 4784 4787 3349 0 -1 1077944320 580580 12488 0 0 229978 3842 7 3 20 0 20 0 11410670 11194331136 2039771 33554432000 4194304 4196468 140734922656560 140734922639104 140565888548599 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
/proc/4787/statm: 2732991 2039771 3526 1 0 2720546 0
[pid=4787/tid=4842] ppid=4784 vsize=10931964 CPUtime=672.63 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4842/stat : 4842 (java) R 4784 4787 3349 0 -1 4202560 89654 12488 0 0 67217 36 7 3 20 0 20 0 11410682 11194331136 2039771 33554432000 4194304 4196468 140734922656560 140565892777248 140565521212715 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4843] ppid=4784 vsize=10931964 CPUtime=204.86 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4843/stat : 4843 (java) S 4784 4787 3349 0 -1 1077944384 30571 12488 0 0 20000 476 7 3 20 0 20 0 11410683 11194331136 2039771 33554432000 4194304 4196468 140734922656560 140565825239824 140565888558805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4844] ppid=4784 vsize=10931964 CPUtime=205.38 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4844/stat : 4844 (java) S 4784 4787 3349 0 -1 1077944384 30337 12488 0 0 20057 471 7 3 20 0 20 0 11410683 11194331136 2039771 33554432000 4194304 4196468 140734922656560 140565494492048 140565888558805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4845] ppid=4784 vsize=10931964 CPUtime=205.34 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4845/stat : 4845 (java) S 4784 4787 3349 0 -1 1077944384 29749 12488 0 0 20043 481 7 3 20 0 20 0 11410683 11194331136 2039771 33554432000 4194304 4196468 140734922656560 140565493439504 140565888558805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4846] ppid=4784 vsize=10931964 CPUtime=205.11 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4846/stat : 4846 (java) S 4784 4787 3349 0 -1 1077944384 28614 12488 0 0 20070 431 7 3 20 0 20 0 11410683 11194331136 2039771 33554432000 4194304 4196468 140734922656560 140565492386960 140565888558805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4847] ppid=4784 vsize=10931964 CPUtime=204.68 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4847/stat : 4847 (java) S 4784 4787 3349 0 -1 1077944384 26620 12488 0 0 19985 473 7 3 20 0 20 0 11410683 11194331136 2039771 33554432000 4194304 4196468 140734922656560 140565491333392 140565888558805 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4848] ppid=4784 vsize=10931964 CPUtime=205.05 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4848/stat : 4848 (java) S 4784 4787 3349 0 -1 1077944384 28646 12488 0 0 20017 478 7 3 20 0 20 0 11410683 11194331136 2039771 33554432000 4194304 4196468 140734922656560 140565490280848 140565888558805 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4849] ppid=4784 vsize=10931964 CPUtime=205.05 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4849/stat : 4849 (java) S 4784 4787 3349 0 -1 1077944384 26106 12488 0 0 20041 454 7 3 20 0 20 0 11410683 11194331136 2039771 33554432000 4194304 4196468 140734922656560 140565489228304 140565888558805 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4850] ppid=4784 vsize=10931964 CPUtime=204.96 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4850/stat : 4850 (java) S 4784 4787 3349 0 -1 1077944384 27095 12488 0 0 20005 481 7 3 20 0 20 0 11410683 11194331136 2039771 33554432000 4194304 4196468 140734922656560 140565488175760 140565888558805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4851] ppid=4784 vsize=10931964 CPUtime=2.41 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4851/stat : 4851 (java) S 4784 4787 3349 0 -1 1077944384 152677 12488 0 0 218 13 7 3 20 0 20 0 11410685 11194331136 2039771 33554432000 4194304 4196468 140734922656560 140565430323696 140565888559746 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4852] ppid=4784 vsize=10931964 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4852/stat : 4852 (java) S 4784 4787 3349 0 -1 1077944384 125 12488 0 0 2 0 7 3 20 0 20 0 11410686 11194331136 2039771 33554432000 4194304 4196468 140734922656560 140565429270112 140565888558805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4853] ppid=4784 vsize=10931964 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4853/stat : 4853 (java) S 4784 4787 3349 0 -1 1077944384 64 12488 0 0 0 0 7 3 20 0 20 0 11410687 11194331136 2039771 33554432000 4194304 4196468 140734922656560 140565428217344 140565888558805 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4854] ppid=4784 vsize=10931964 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4854/stat : 4854 (java) S 4784 4787 3349 0 -1 1077944384 1 12488 0 0 0 0 7 3 20 0 20 0 11410691 11194331136 2039771 33554432000 4194304 4196468 140734922656560 140565427165904 140565888567195 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4855] ppid=4784 vsize=10931964 CPUtime=7.12 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4855/stat : 4855 (java) S 4784 4787 3349 0 -1 1077944384 29130 12488 0 0 696 6 7 3 20 0 20 0 11410691 11194331136 2039771 33554432000 4194304 4196468 140734922656560 140565426112496 140565888559746 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4856] ppid=4784 vsize=10931964 CPUtime=6.87 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4856/stat : 4856 (java) S 4784 4787 3349 0 -1 1077944384 27170 12488 0 0 673 4 7 3 20 0 20 0 11410691 11194331136 2039771 33554432000 4194304 4196468 140734922656560 140565425059952 140565888559746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4857] ppid=4784 vsize=10931964 CPUtime=6.73 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4857/stat : 4857 (java) S 4784 4787 3349 0 -1 1077944384 29698 12488 0 0 658 5 7 3 20 0 20 0 11410691 11194331136 2039771 33554432000 4194304 4196468 140734922656560 140565424007408 140565888559746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4858] ppid=4784 vsize=10931964 CPUtime=2.7 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4858/stat : 4858 (java) S 4784 4787 3349 0 -1 1077944384 21094 12488 0 0 256 4 7 3 20 0 20 0 11410691 11194331136 2039771 33554432000 4194304 4196468 140734922656560 140565422954864 140565888559746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4859] ppid=4784 vsize=10931964 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4859/stat : 4859 (java) S 4784 4787 3349 0 -1 1077944384 3 12488 0 0 0 0 7 3 20 0 20 0 11410691 11194331136 2039771 33554432000 4194304 4196468 140734922656560 140565354113760 140565888558805 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4860] ppid=4784 vsize=10931964 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4860/stat : 4860 (java) S 4784 4787 3349 0 -1 1077944384 1098 12488 0 0 26 28 7 3 20 0 20 0 11410691 11194331136 2039771 33554432000 4194304 4196468 140734922656560 140565353061296 140565888559746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
Current children cumulated CPU time (s) 2338.3
Current children cumulated vsize (KiB) 10931964
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+919.001 s]
/proc/loadavg: 2.56 3.02 2.65 3/286 4890
/proc/meminfo: memFree=15982224/32770624 swapFree=5892/371560
[pid=4787] ppid=4784 vsize=10931964 CPUtime=2400.24 cores=1,3,5,7,9,11,13,15
/proc/4787/stat : 4787 (java) S 4784 4787 3349 0 -1 1077944320 604404 12488 0 0 236167 3847 7 3 20 0 20 0 11410670 11194331136 2035343 33554432000 4194304 4196468 140734922656560 140734922639104 140565888548599 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
/proc/4787/statm: 2732991 2035343 3526 1 0 2720546 0
[pid=4787/tid=4842] ppid=4784 vsize=10931964 CPUtime=705.62 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4842/stat : 4842 (java) S 4784 4787 3349 0 -1 1077944384 91742 12488 0 0 70516 36 7 3 20 0 20 0 11410682 11194331136 2035343 33554432000 4194304 4196468 140734922656560 140565892754576 140565888558805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4843] ppid=4784 vsize=10931964 CPUtime=208.38 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4843/stat : 4843 (java) R 4784 4787 3349 0 -1 4202560 32810 12488 0 0 20352 476 7 3 20 0 20 0 11410683 11194331136 2035343 33554432000 4194304 4196468 140734922656560 140565825240024 140565873572865 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4844] ppid=4784 vsize=10931964 CPUtime=208.98 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4844/stat : 4844 (java) R 4784 4787 3349 0 -1 4202560 33090 12488 0 0 20417 471 7 3 20 0 20 0 11410683 11194331136 2035343 33554432000 4194304 4196468 140734922656560 140565494492248 140565873576018 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4845] ppid=4784 vsize=10931964 CPUtime=208.95 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4845/stat : 4845 (java) R 4784 4787 3349 0 -1 4202560 30706 12488 0 0 20404 481 7 3 20 0 20 0 11410683 11194331136 2035343 33554432000 4194304 4196468 140734922656560 140565493439704 140565873572654 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4846] ppid=4784 vsize=10931964 CPUtime=208.69 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4846/stat : 4846 (java) R 4784 4787 3349 0 -1 4202560 30140 12488 0 0 20427 432 7 3 20 0 20 0 11410683 11194331136 2035343 33554432000 4194304 4196468 140734922656560 140565492386848 140565873572654 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4847] ppid=4784 vsize=10931964 CPUtime=208.29 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4847/stat : 4847 (java) R 4784 4787 3349 0 -1 4202560 28677 12488 0 0 20346 473 7 3 20 0 20 0 11410683 11194331136 2035343 33554432000 4194304 4196468 140734922656560 140565491333592 140565873576464 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4848] ppid=4784 vsize=10931964 CPUtime=208.67 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4848/stat : 4848 (java) R 4784 4787 3349 0 -1 4202560 30867 12488 0 0 20379 478 7 3 20 0 20 0 11410683 11194331136 2035343 33554432000 4194304 4196468 140734922656560 140565490281048 140565873575685 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4849] ppid=4784 vsize=10931964 CPUtime=208.64 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4849/stat : 4849 (java) R 4784 4787 3349 0 -1 4202560 27946 12488 0 0 20400 454 7 3 20 0 20 0 11410683 11194331136 2035343 33554432000 4194304 4196468 140734922656560 140565489228504 140565870174544 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4850] ppid=4784 vsize=10931964 CPUtime=208.54 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4850/stat : 4850 (java) R 4784 4787 3349 0 -1 4202560 28769 12488 0 0 20363 481 7 3 20 0 20 0 11410683 11194331136 2035343 33554432000 4194304 4196468 140734922656560 140565488175960 140565873575734 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4851] ppid=4784 vsize=10931964 CPUtime=2.44 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4851/stat : 4851 (java) S 4784 4787 3349 0 -1 1077944384 153120 12488 0 0 220 14 7 3 20 0 20 0 11410685 11194331136 2035343 33554432000 4194304 4196468 140734922656560 140565430322208 140565888558805 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4852] ppid=4784 vsize=10931964 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4852/stat : 4852 (java) S 4784 4787 3349 0 -1 1077944384 127 12488 0 0 2 0 7 3 20 0 20 0 11410686 11194331136 2035343 33554432000 4194304 4196468 140734922656560 140565429270112 140565888558805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4853] ppid=4784 vsize=10931964 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4853/stat : 4853 (java) S 4784 4787 3349 0 -1 1077944384 64 12488 0 0 0 0 7 3 20 0 20 0 11410687 11194331136 2035343 33554432000 4194304 4196468 140734922656560 140565428217344 140565888558805 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4854] ppid=4784 vsize=10931964 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4854/stat : 4854 (java) S 4784 4787 3349 0 -1 1077944384 1 12488 0 0 0 0 7 3 20 0 20 0 11410691 11194331136 2035343 33554432000 4194304 4196468 140734922656560 140565427165904 140565888567195 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4855] ppid=4784 vsize=10931964 CPUtime=7.15 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4855/stat : 4855 (java) S 4784 4787 3349 0 -1 1077944384 30859 12488 0 0 699 6 7 3 20 0 20 0 11410691 11194331136 2035343 33554432000 4194304 4196468 140734922656560 140565426112496 140565888559746 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4856] ppid=4784 vsize=10931964 CPUtime=6.9 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4856/stat : 4856 (java) S 4784 4787 3349 0 -1 1077944384 28153 12488 0 0 676 4 7 3 20 0 20 0 11410691 11194331136 2035343 33554432000 4194304 4196468 140734922656560 140565425059952 140565888559746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4857] ppid=4784 vsize=10931964 CPUtime=6.78 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4857/stat : 4857 (java) S 4784 4787 3349 0 -1 1077944384 30888 12488 0 0 663 5 7 3 20 0 20 0 11410691 11194331136 2035343 33554432000 4194304 4196468 140734922656560 140565424007408 140565888559746 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4858] ppid=4784 vsize=10931964 CPUtime=2.72 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4858/stat : 4858 (java) S 4784 4787 3349 0 -1 1077944384 23176 12488 0 0 258 4 7 3 20 0 20 0 11410691 11194331136 2035343 33554432000 4194304 4196468 140734922656560 140565422954864 140565888559746 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4859] ppid=4784 vsize=10931964 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4859/stat : 4859 (java) S 4784 4787 3349 0 -1 1077944384 3 12488 0 0 0 0 7 3 20 0 20 0 11410691 11194331136 2035343 33554432000 4194304 4196468 140734922656560 140565354113760 140565888558805 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4860] ppid=4784 vsize=10931964 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4860/stat : 4860 (java) S 4784 4787 3349 0 -1 1077944384 1138 12488 0 0 27 29 7 3 20 0 20 0 11410691 11194331136 2035343 33554432000 4194304 4196468 140734922656560 140565353061296 140565888559746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
Current children cumulated CPU time (s) 2400.24
Current children cumulated vsize (KiB) 10931964
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 4787 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+919.106 s]
/proc/loadavg: 2.56 3.02 2.65 3/286 4890
/proc/meminfo: memFree=15982224/32770624 swapFree=5892/371560
[pid=4787] ppid=4784 vsize=11065092 CPUtime=2400.96 cores=1,3,5,7,9,11,13,15
/proc/4787/stat : 4787 (java) S 4784 4787 3349 0 -1 1077944320 605066 12488 0 0 236238 3848 7 3 20 0 22 0 11410670 11330654208 2035386 33554432000 4194304 4196468 140734922656560 140734922639104 140565888548599 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
/proc/4787/statm: 2766273 2035386 3526 1 0 2753828 0
[pid=4787/tid=4842] ppid=4784 vsize=11065092 CPUtime=705.64 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4842/stat : 4842 (java) R 4784 4787 3349 0 -1 4202560 91742 12488 0 0 70518 36 7 3 20 0 22 0 11410682 11330654208 2035386 33554432000 4194304 4196468 140734922656560 140565892754464 140565521212796 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4843] ppid=4784 vsize=11065092 CPUtime=208.46 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4843/stat : 4843 (java) S 4784 4787 3349 0 -1 1077944384 32853 12488 0 0 20360 476 7 3 20 0 22 0 11410683 11330654208 2035386 33554432000 4194304 4196468 140734922656560 140565825239824 140565888558805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4844] ppid=4784 vsize=11065092 CPUtime=209.07 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4844/stat : 4844 (java) S 4784 4787 3349 0 -1 1077944384 33117 12488 0 0 20426 471 7 3 20 0 22 0 11410683 11330654208 2035386 33554432000 4194304 4196468 140734922656560 140565494492048 140565888558805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4845] ppid=4784 vsize=11065092 CPUtime=209.04 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4845/stat : 4845 (java) S 4784 4787 3349 0 -1 1077944384 30747 12488 0 0 20413 481 7 3 20 0 22 0 11410683 11330654208 2035386 33554432000 4194304 4196468 140734922656560 140565493439504 140565888558805 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4846] ppid=4784 vsize=11065092 CPUtime=208.78 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4846/stat : 4846 (java) S 4784 4787 3349 0 -1 1077944384 30161 12488 0 0 20436 432 7 3 20 0 22 0 11410683 11330654208 2035386 33554432000 4194304 4196468 140734922656560 140565492386960 140565888558805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4847] ppid=4784 vsize=11065092 CPUtime=208.38 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4847/stat : 4847 (java) S 4784 4787 3349 0 -1 1077944384 28703 12488 0 0 20355 473 7 3 20 0 22 0 11410683 11330654208 2035386 33554432000 4194304 4196468 140734922656560 140565491333392 140565888558805 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4848] ppid=4784 vsize=11065092 CPUtime=208.76 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4848/stat : 4848 (java) S 4784 4787 3349 0 -1 1077944384 30912 12488 0 0 20388 478 7 3 20 0 22 0 11410683 11330654208 2035386 33554432000 4194304 4196468 140734922656560 140565490280848 140565888558805 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4849] ppid=4784 vsize=11065092 CPUtime=208.73 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4849/stat : 4849 (java) S 4784 4787 3349 0 -1 1077944384 27963 12488 0 0 20409 454 7 3 20 0 22 0 11410683 11330654208 2035386 33554432000 4194304 4196468 140734922656560 140565489228304 140565888558805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4850] ppid=4784 vsize=11065092 CPUtime=208.63 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4850/stat : 4850 (java) S 4784 4787 3349 0 -1 1077944384 28795 12488 0 0 20372 481 7 3 20 0 22 0 11410683 11330654208 2035386 33554432000 4194304 4196468 140734922656560 140565488175760 140565888558805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4851] ppid=4784 vsize=11065092 CPUtime=2.44 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4851/stat : 4851 (java) S 4784 4787 3349 0 -1 1077944384 153120 12488 0 0 220 14 7 3 20 0 22 0 11410685 11330654208 2035386 33554432000 4194304 4196468 140734922656560 140565430323696 140565888559746 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4852] ppid=4784 vsize=11065092 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4852/stat : 4852 (java) S 4784 4787 3349 0 -1 1077944384 127 12488 0 0 2 0 7 3 20 0 22 0 11410686 11330654208 2035386 33554432000 4194304 4196468 140734922656560 140565429270112 140565888558805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4853] ppid=4784 vsize=11065092 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4853/stat : 4853 (java) S 4784 4787 3349 0 -1 1077944384 64 12488 0 0 0 0 7 3 20 0 22 0 11410687 11330654208 2035386 33554432000 4194304 4196468 140734922656560 140565428217344 140565888558805 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4854] ppid=4784 vsize=11065092 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4854/stat : 4854 (java) S 4784 4787 3349 0 -1 1077944384 147 12488 0 0 0 0 7 3 20 0 22 0 11410691 11330654208 2035386 33554432000 4194304 4196468 140734922656560 140565427165904 140565888567195 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4855] ppid=4784 vsize=11065092 CPUtime=7.15 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4855/stat : 4855 (java) S 4784 4787 3349 0 -1 1077944384 30859 12488 0 0 699 6 7 3 20 0 22 0 11410691 11330654208 2035386 33554432000 4194304 4196468 140734922656560 140565426112496 140565888559746 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4856] ppid=4784 vsize=11065092 CPUtime=6.9 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4856/stat : 4856 (java) S 4784 4787 3349 0 -1 1077944384 28153 12488 0 0 676 4 7 3 20 0 22 0 11410691 11330654208 2035386 33554432000 4194304 4196468 140734922656560 140565425059952 140565888559746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4857] ppid=4784 vsize=11065092 CPUtime=6.78 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4857/stat : 4857 (java) S 4784 4787 3349 0 -1 1077944384 30888 12488 0 0 663 5 7 3 20 0 22 0 11410691 11330654208 2035386 33554432000 4194304 4196468 140734922656560 140565424007408 140565888559746 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4858] ppid=4784 vsize=11065092 CPUtime=2.72 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4858/stat : 4858 (java) S 4784 4787 3349 0 -1 1077944384 23176 12488 0 0 258 4 7 3 20 0 22 0 11410691 11330654208 2035386 33554432000 4194304 4196468 140734922656560 140565422954864 140565888559746 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4859] ppid=4784 vsize=11065092 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4859/stat : 4859 (java) S 4784 4787 3349 0 -1 1077944384 3 12488 0 0 0 0 7 3 20 0 22 0 11410691 11330654208 2035386 33554432000 4194304 4196468 140734922656560 140565354113760 140565888558805 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
[pid=4787/tid=4860] ppid=4784 vsize=11065092 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/4787/task/4860/stat : 4860 (java) S 4784 4787 3349 0 -1 1077944384 1138 12488 0 0 27 29 7 3 20 0 22 0 11410691 11330654208 2035386 33554432000 4194304 4196468 140734922656560 140565353061296 140565888559746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18124800 140734922660545 140734922663319 140734922663319 140734922665935 0
Current children cumulated CPU time (s) 2400.96
Current children cumulated vsize (KiB) 11065092
Child status: 143
Real time (s): 919.175
CPU time (s): 2401.02
CPU user time (s): 2362.46
CPU system time (s): 38.562
CPU usage (%): 261.215
Max. virtual memory (cumulated for all children) (KiB): 11065092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2362.46
system time used= 38.562
maximum resident set size= 8226728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 618381
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57405
involuntary context switches= 139785
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.88917 second user time and 8.93743 second system time
The end