runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3311146-1304111666/watcher-3311146-1304111666 -o /tmp/evaluation-result-3311146-1304111666/solver-3311146-1304111666 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3311146-1304111666.cnf -hbr 2
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 10240 KiB
[startup+0 s]
/proc/loadavg: 7.44 7.92 7.76 2/194 21404
/proc/meminfo: memFree=30592460/32951124 swapFree=67111416/67111528
[pid=21404] ppid=21402 vsize=26088 CPUtime=0 cores=1,3,5,7
/proc/21404/stat : 21404 (java) S 21402 21404 21203 0 -1 4202496 1413 0 0 0 0 0 0 0 25 0 2 0 522768922 26714112 884 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447819749 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/21404/statm: 6793 887 679 9 0 381 0
[pid=21404/tid=21405] ppid=21402 vsize=27172 CPUtime=0 cores=1,3,5,7
/proc/21404/task/21405/stat : 21405 (java) S 21402 21404 21203 0 -1 4202560 66 0 0 0 0 0 0 0 25 0 2 0 522768922 27824128 893 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212431093383 0 2147483391 4096 0 18446744071699207358 0 0 -1 1 0 0 0
[startup+0.0247399 s]
/proc/loadavg: 7.44 7.92 7.76 2/194 21404
/proc/meminfo: memFree=30592460/32951124 swapFree=67111416/67111528
[pid=21404] ppid=21402 vsize=15604116 CPUtime=0.01 cores=1,3,5,7
/proc/21404/stat : 21404 (java) S 21402 21404 21203 0 -1 4202496 3437 0 1 0 1 0 0 0 25 0 13 0 522768922 15978614784 2878 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447819749 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/21404/statm: 3901029 2878 1631 9 0 3891777 0
[pid=21404/tid=21405] ppid=21402 vsize=15604116 CPUtime=0.01 cores=1,3,5,7
/proc/21404/task/21405/stat : 21405 (java) R 21402 21404 21203 0 -1 4202560 2047 0 1 0 1 0 0 0 18 0 13 0 522768922 15978614784 2879 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 47780973680659 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 15604116
[startup+0.100631 s]
/proc/loadavg: 7.44 7.92 7.76 2/194 21404
/proc/meminfo: memFree=30592460/32951124 swapFree=67111416/67111528
[pid=21404] ppid=21402 vsize=15676500 CPUtime=0.1 cores=1,3,5,7
/proc/21404/stat : 21404 (java) S 21402 21404 21203 0 -1 4202496 5495 0 1 0 9 1 0 0 25 0 18 0 522768922 16052736000 4934 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21404/statm: 3919125 4934 2115 9 0 3909844 0
[pid=21404/tid=21405] ppid=21402 vsize=15676500 CPUtime=0.07 cores=1,3,5,7
/proc/21404/task/21405/stat : 21405 (java) R 21402 21404 21203 0 -1 4202560 3394 0 1 0 7 0 0 0 17 0 18 0 522768922 16052736000 4935 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676500
[startup+0.300603 s]
/proc/loadavg: 7.44 7.92 7.76 2/194 21404
/proc/meminfo: memFree=30592460/32951124 swapFree=67111416/67111528
[pid=21404] ppid=21402 vsize=15679820 CPUtime=0.5 cores=1,3,5,7
/proc/21404/stat : 21404 (java) S 21402 21404 21203 0 -1 4202496 13833 0 1 0 48 2 0 0 25 0 18 0 522768922 16056135680 12385 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21404/statm: 3919955 12389 2205 9 0 3910674 0
[pid=21404/tid=21405] ppid=21402 vsize=15679820 CPUtime=0.27 cores=1,3,5,7
/proc/21404/task/21405/stat : 21405 (java) R 21402 21404 21203 0 -1 4202560 8807 0 1 0 26 1 0 0 18 0 18 0 522768922 16056135680 12391 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 46912505511663 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 15679820
[startup+0.700515 s]
/proc/loadavg: 7.44 7.92 7.76 2/194 21404
/proc/meminfo: memFree=30592460/32951124 swapFree=67111416/67111528
[pid=21404] ppid=21402 vsize=15683784 CPUtime=1.18 cores=1,3,5,7
/proc/21404/stat : 21404 (java) S 21402 21404 21203 0 -1 4202496 43932 0 1 0 112 6 0 0 25 0 22 0 522768922 16060194816 40710 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21404/statm: 3920946 40710 2254 9 0 3911665 0
[pid=21404/tid=21405] ppid=21402 vsize=15683784 CPUtime=0.66 cores=1,3,5,7
/proc/21404/task/21405/stat : 21405 (java) R 21402 21404 21203 0 -1 4202560 33918 0 1 0 62 4 0 0 20 0 22 0 522768922 16060194816 40710 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 47780975441872 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 15683784
[startup+1.50133 s]
/proc/loadavg: 7.44 7.92 7.76 10/220 21430
/proc/meminfo: memFree=30257028/32951124 swapFree=67111416/67111528
[pid=21404] ppid=21402 vsize=15695880 CPUtime=3.51 cores=1,3,5,7
/proc/21404/stat : 21404 (java) S 21402 21404 21203 0 -1 4202496 55737 0 1 0 344 7 0 0 25 0 22 0 522768922 16072581120 46591 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21404/statm: 3923970 46591 2273 9 0 3914689 0
[pid=21404/tid=21405] ppid=21402 vsize=15695880 CPUtime=1.24 cores=1,3,5,7
/proc/21404/task/21405/stat : 21405 (java) S 21402 21404 21203 0 -1 4202560 33977 0 1 0 120 4 0 0 21 0 22 0 522768922 16072581120 46591 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 3 0 0 0
[pid=21404/tid=21407] ppid=21402 vsize=15695880 CPUtime=0 cores=1,3,5,7
/proc/21404/task/21407/stat : 21407 (java) S 21402 21404 21203 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 522768923 16072581120 46591 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 7 0 0 0
[pid=21404/tid=21408] ppid=21402 vsize=15695880 CPUtime=0 cores=1,3,5,7
/proc/21404/task/21408/stat : 21408 (java) S 21402 21404 21203 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 522768923 16072581120 46591 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 7 0 0 0
[pid=21404/tid=21409] ppid=21402 vsize=15695880 CPUtime=0 cores=1,3,5,7
/proc/21404/task/21409/stat : 21409 (java) S 21402 21404 21203 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 522768923 16072581120 46591 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 7 0 0 0
[pid=21404/tid=21410] ppid=21402 vsize=15695880 CPUtime=0 cores=1,3,5,7
/proc/21404/task/21410/stat : 21410 (java) S 21402 21404 21203 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 522768923 16072581120 46591 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 7 0 0 0
[pid=21404/tid=21411] ppid=21402 vsize=15695880 CPUtime=0 cores=1,3,5,7
/proc/21404/task/21411/stat : 21411 (java) S 21402 21404 21203 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 522768923 16072581120 46591 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 7 0 0 0
[pid=21404/tid=21412] ppid=21402 vsize=15695880 CPUtime=0 cores=1,3,5,7
/proc/21404/task/21412/stat : 21412 (java) S 21402 21404 21203 0 -1 4202560 323 0 0 0 0 0 0 0 21 0 22 0 522768923 16072581120 46591 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 5 0 0 0
[pid=21404/tid=21413] ppid=21402 vsize=15695880 CPUtime=0 cores=1,3,5,7
/proc/21404/task/21413/stat : 21413 (java) S 21402 21404 21203 0 -1 4202560 18 0 0 0 0 0 0 0 21 0 22 0 522768923 16072581120 46591 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 1 0 0 0
[pid=21404/tid=21414] ppid=21402 vsize=15695880 CPUtime=0 cores=1,3,5,7
/proc/21404/task/21414/stat : 21414 (java) S 21402 21404 21203 0 -1 4202560 65 0 0 0 0 0 0 0 21 0 22 0 522768923 16072581120 46591 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 7 0 0 0
[pid=21404/tid=21415] ppid=21402 vsize=15695880 CPUtime=0 cores=1,3,5,7
/proc/21404/task/21415/stat : 21415 (java) S 21402 21404 21203 0 -1 4202560 9 0 0 0 0 0 0 0 16 0 22 0 522768924 16072581120 46591 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447833600 0 0 0 16800975 18446604471127825472 0 0 -1 5 0 0 0
[pid=21404/tid=21416] ppid=21402 vsize=15695880 CPUtime=0 cores=1,3,5,7
/proc/21404/task/21416/stat : 21416 (java) S 21402 21404 21203 0 -1 4202560 18 0 0 0 0 0 0 0 21 0 22 0 522768924 16072581120 46591 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 5 0 0 0
[pid=21404/tid=21417] ppid=21402 vsize=15695880 CPUtime=0 cores=1,3,5,7
/proc/21404/task/21417/stat : 21417 (java) S 21402 21404 21203 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 22 0 522768924 16072581120 46591 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 7 0 0 0
[pid=21404/tid=21418] ppid=21402 vsize=15695880 CPUtime=0 cores=1,3,5,7
/proc/21404/task/21418/stat : 21418 (java) S 21402 21404 21203 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 522768926 16072581120 46591 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447840689 0 4 0 16800975 18446604471127825472 0 0 -1 5 0 0 0
[pid=21404/tid=21419] ppid=21402 vsize=15695880 CPUtime=0.83 cores=1,3,5,7
/proc/21404/task/21419/stat : 21419 (java) R 21402 21404 21203 0 -1 4202560 4080 0 0 0 83 0 0 0 16 0 22 0 522768926 16072581120 46591 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 47780974827045 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=21404/tid=21420] ppid=21402 vsize=15695880 CPUtime=1.08 cores=1,3,5,7
/proc/21404/task/21420/stat : 21420 (java) R 21402 21404 21203 0 -1 4202560 15797 0 0 0 107 1 0 0 18 0 22 0 522768926 16072581120 46591 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 47780971864522 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21404/tid=21421] ppid=21402 vsize=15695880 CPUtime=0 cores=1,3,5,7
/proc/21404/task/21421/stat : 21421 (java) S 21402 21404 21203 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 522768926 16072581120 46591 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 5 0 0 0
[pid=21404/tid=21422] ppid=21402 vsize=15695880 CPUtime=0 cores=1,3,5,7
/proc/21404/task/21422/stat : 21422 (java) S 21402 21404 21203 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 522768926 16072581120 46591 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447833600 0 4 0 16800975 18446604471127825472 0 0 -1 3 0 0 0
[pid=21404/tid=21427] ppid=21402 vsize=15695880 CPUtime=0.2 cores=1,3,5,7
/proc/21404/task/21427/stat : 21427 (java) R 21402 21404 21203 0 -1 4202560 37 0 0 0 20 0 0 0 16 0 22 0 522768969 16072581120 46591 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 46912505197664 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21404/tid=21428] ppid=21402 vsize=15695880 CPUtime=0 cores=1,3,5,7
/proc/21404/task/21428/stat : 21428 (java) S 21402 21404 21203 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 22 0 522768969 16072581120 46591 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447833600 0 4 0 16800975 18446604471127825472 0 0 -1 3 0 0 0
[pid=21404/tid=21429] ppid=21402 vsize=15695880 CPUtime=0.04 cores=1,3,5,7
/proc/21404/task/21429/stat : 21429 (java) R 21402 21404 21203 0 -1 4202560 10 0 0 0 4 0 0 0 16 0 22 0 522768969 16072581120 46591 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 46912505757847 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21404/tid=21430] ppid=21402 vsize=15695880 CPUtime=0.08 cores=1,3,5,7
/proc/21404/task/21430/stat : 21430 (java) S 21402 21404 21203 0 -1 4202560 9 0 0 0 8 0 0 0 15 0 22 0 522768969 16072581120 46591 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447833600 0 4 0 16800975 18446604471127825472 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.51
Current children cumulated vsize (KiB) 15695880
[startup+3.10103 s]
/proc/loadavg: 7.44 7.92 7.76 11/220 21430
/proc/meminfo: memFree=30068796/32951124 swapFree=67111416/67111528
[pid=21404] ppid=21402 vsize=15695880 CPUtime=9.71 cores=1,3,5,7
/proc/21404/stat : 21404 (java) S 21402 21404 21203 0 -1 4202496 133367 0 1 0 953 18 0 0 25 0 22 0 522768922 16072581120 124060 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21404/statm: 3923970 124060 2274 9 0 3914689 0
[pid=21404/tid=21405] ppid=21402 vsize=15695880 CPUtime=1.24 cores=1,3,5,7
/proc/21404/task/21405/stat : 21405 (java) S 21402 21404 21203 0 -1 4202560 33977 0 1 0 120 4 0 0 21 0 22 0 522768922 16072581120 124060 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 3 0 0 0
[pid=21404/tid=21407] ppid=21402 vsize=15695880 CPUtime=0.01 cores=1,3,5,7
/proc/21404/task/21407/stat : 21407 (java) S 21402 21404 21203 0 -1 4202560 3046 0 0 0 1 0 0 0 15 0 22 0 522768923 16072581120 124060 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 5 0 0 0
[pid=21404/tid=21408] ppid=21402 vsize=15695880 CPUtime=0.04 cores=1,3,5,7
/proc/21404/task/21408/stat : 21408 (java) S 21402 21404 21203 0 -1 4202560 8002 0 0 0 3 1 0 0 15 0 22 0 522768923 16072581120 124060 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 7 0 0 0
[pid=21404/tid=21409] ppid=21402 vsize=15695880 CPUtime=0.03 cores=1,3,5,7
/proc/21404/task/21409/stat : 21409 (java) S 21402 21404 21203 0 -1 4202560 8032 0 0 0 2 1 0 0 16 0 22 0 522768923 16072581120 124060 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 5 0 0 0
[pid=21404/tid=21410] ppid=21402 vsize=15695880 CPUtime=0.02 cores=1,3,5,7
/proc/21404/task/21410/stat : 21410 (java) S 21402 21404 21203 0 -1 4202560 5514 0 0 0 2 0 0 0 15 0 22 0 522768923 16072581120 124060 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 1 0 0 0
[pid=21404/tid=21411] ppid=21402 vsize=15695880 CPUtime=0.03 cores=1,3,5,7
/proc/21404/task/21411/stat : 21411 (java) S 21402 21404 21203 0 -1 4202560 5550 0 0 0 3 0 0 0 15 0 22 0 522768923 16072581120 124060 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 7 0 0 0
[pid=21404/tid=21412] ppid=21402 vsize=15695880 CPUtime=0.02 cores=1,3,5,7
/proc/21404/task/21412/stat : 21412 (java) S 21402 21404 21203 0 -1 4202560 7687 0 0 0 2 0 0 0 15 0 22 0 522768923 16072581120 124060 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 1 0 0 0
[pid=21404/tid=21413] ppid=21402 vsize=15695880 CPUtime=0.05 cores=1,3,5,7
/proc/21404/task/21413/stat : 21413 (java) S 21402 21404 21203 0 -1 4202560 11943 0 0 0 4 1 0 0 16 0 22 0 522768923 16072581120 124060 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 3 0 0 0
[pid=21404/tid=21414] ppid=21402 vsize=15695880 CPUtime=0.01 cores=1,3,5,7
/proc/21404/task/21414/stat : 21414 (java) S 21402 21404 21203 0 -1 4202560 4823 0 0 0 1 0 0 0 15 0 22 0 522768923 16072581120 124060 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 7 0 0 0
[pid=21404/tid=21415] ppid=21402 vsize=15695880 CPUtime=0 cores=1,3,5,7
/proc/21404/task/21415/stat : 21415 (java) S 21402 21404 21203 0 -1 4202560 256 0 0 0 0 0 0 0 15 0 22 0 522768924 16072581120 124060 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447833600 0 0 0 16800975 18446604471127825472 0 0 -1 3 0 0 0
[pid=21404/tid=21416] ppid=21402 vsize=15695880 CPUtime=0 cores=1,3,5,7
/proc/21404/task/21416/stat : 21416 (java) S 21402 21404 21203 0 -1 4202560 18 0 0 0 0 0 0 0 21 0 22 0 522768924 16072581120 124060 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 5 0 0 0
[pid=21404/tid=21417] ppid=21402 vsize=15695880 CPUtime=0 cores=1,3,5,7
/proc/21404/task/21417/stat : 21417 (java) S 21402 21404 21203 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 22 0 522768924 16072581120 124060 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 7 0 0 0
[pid=21404/tid=21418] ppid=21402 vsize=15695880 CPUtime=0 cores=1,3,5,7
/proc/21404/task/21418/stat : 21418 (java) S 21402 21404 21203 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 522768926 16072581120 124060 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447840689 0 4 0 16800975 18446604471127825472 0 0 -1 5 0 0 0
[pid=21404/tid=21419] ppid=21402 vsize=15695880 CPUtime=0.91 cores=1,3,5,7
/proc/21404/task/21419/stat : 21419 (java) S 21402 21404 21203 0 -1 4202560 4104 0 0 0 91 0 0 0 15 0 22 0 522768926 16072581120 124060 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 1 0 0 0
[pid=21404/tid=21420] ppid=21402 vsize=15695880 CPUtime=1.11 cores=1,3,5,7
/proc/21404/task/21420/stat : 21420 (java) S 21402 21404 21203 0 -1 4202560 15798 0 0 0 109 2 0 0 18 0 22 0 522768926 16072581120 124060 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 5 0 0 0
[pid=21404/tid=21421] ppid=21402 vsize=15695880 CPUtime=0 cores=1,3,5,7
/proc/21404/task/21421/stat : 21421 (java) S 21402 21404 21203 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 522768926 16072581120 124060 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 5 0 0 0
[pid=21404/tid=21422] ppid=21402 vsize=15695880 CPUtime=0 cores=1,3,5,7
/proc/21404/task/21422/stat : 21422 (java) S 21402 21404 21203 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 522768926 16072581120 124060 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447833600 0 4 0 16800975 18446604471127825472 0 0 -1 1 0 0 0
[pid=21404/tid=21427] ppid=21402 vsize=15695880 CPUtime=1.61 cores=1,3,5,7
/proc/21404/task/21427/stat : 21427 (java) R 21402 21404 21203 0 -1 4202560 6030 0 0 0 160 1 0 0 16 0 22 0 522768969 16072581120 124060 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 46912506267799 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=21404/tid=21428] ppid=21402 vsize=15695880 CPUtime=1.44 cores=1,3,5,7
/proc/21404/task/21428/stat : 21428 (java) R 21402 21404 21203 0 -1 4202560 4986 0 0 0 144 0 0 0 16 0 22 0 522768969 16072581120 124060 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 46912506267884 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21404/tid=21429] ppid=21402 vsize=15695880 CPUtime=1.49 cores=1,3,5,7
/proc/21404/task/21429/stat : 21429 (java) R 21402 21404 21203 0 -1 4202560 5828 0 0 0 149 0 0 0 16 0 22 0 522768969 16072581120 124060 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 47780975101113 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21404/tid=21430] ppid=21402 vsize=15695880 CPUtime=1.55 cores=1,3,5,7
/proc/21404/task/21430/stat : 21430 (java) R 21402 21404 21203 0 -1 4202560 6404 0 0 0 155 0 0 0 16 0 22 0 522768969 16072581120 124060 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 46912506052308 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 9.71
Current children cumulated vsize (KiB) 15695880
[startup+6.30142 s]
/proc/loadavg: 7.57 7.94 7.76 12/220 21430
/proc/meminfo: memFree=28677244/32951124 swapFree=67111416/67111528
[pid=21404] ppid=21402 vsize=15695880 CPUtime=22.49 cores=1,3,5,7
/proc/21404/stat : 21404 (java) S 21402 21404 21203 0 -1 4202496 372825 0 1 0 2199 50 0 0 25 0 22 0 522768922 16072581120 362621 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21404/statm: 3923970 362621 2274 9 0 3914689 0
[pid=21404/tid=21405] ppid=21402 vsize=15695880 CPUtime=1.24 cores=1,3,5,7
/proc/21404/task/21405/stat : 21405 (java) S 21402 21404 21203 0 -1 4202560 33977 0 1 0 120 4 0 0 21 0 22 0 522768922 16072581120 362621 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 3 0 0 0
[pid=21404/tid=21407] ppid=21402 vsize=15695880 CPUtime=0.04 cores=1,3,5,7
/proc/21404/task/21407/stat : 21407 (java) S 21402 21404 21203 0 -1 4202560 12353 0 0 0 3 1 0 0 16 0 22 0 522768923 16072581120 362621 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 5 0 0 0
[pid=21404/tid=21408] ppid=21402 vsize=15695880 CPUtime=0.08 cores=1,3,5,7
/proc/21404/task/21408/stat : 21408 (java) S 21402 21404 21203 0 -1 4202560 15116 0 0 0 6 2 0 0 16 0 22 0 522768923 16072581120 362621 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 7 0 0 0
[pid=21404/tid=21409] ppid=21402 vsize=15695880 CPUtime=0.13 cores=1,3,5,7
/proc/21404/task/21409/stat : 21409 (java) S 21402 21404 21203 0 -1 4202560 34500 0 0 0 8 5 0 0 16 0 22 0 522768923 16072581120 362621 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 1 0 0 0
[pid=21404/tid=21410] ppid=21402 vsize=15695880 CPUtime=0.05 cores=1,3,5,7
/proc/21404/task/21410/stat : 21410 (java) S 21402 21404 21203 0 -1 4202560 12740 0 0 0 4 1 0 0 15 0 22 0 522768923 16072581120 362621 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 1 0 0 0
[pid=21404/tid=21411] ppid=21402 vsize=15695880 CPUtime=0.1 cores=1,3,5,7
/proc/21404/task/21411/stat : 21411 (java) S 21402 21404 21203 0 -1 4202560 24363 0 0 0 6 4 0 0 16 0 22 0 522768923 16072581120 362621 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 7 0 0 0
[pid=21404/tid=21412] ppid=21402 vsize=15695880 CPUtime=0.07 cores=1,3,5,7
/proc/21404/task/21412/stat : 21412 (java) S 21402 21404 21203 0 -1 4202560 17636 0 0 0 5 2 0 0 16 0 22 0 522768923 16072581120 362621 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 3 0 0 0
[pid=21404/tid=21413] ppid=21402 vsize=15695880 CPUtime=0.13 cores=1,3,5,7
/proc/21404/task/21413/stat : 21413 (java) S 21402 21404 21203 0 -1 4202560 28235 0 0 0 9 4 0 0 16 0 22 0 522768923 16072581120 362621 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 5 0 0 0
[pid=21404/tid=21414] ppid=21402 vsize=15695880 CPUtime=0.04 cores=1,3,5,7
/proc/21404/task/21414/stat : 21414 (java) S 21402 21404 21203 0 -1 4202560 13589 0 0 0 3 1 0 0 16 0 22 0 522768923 16072581120 362621 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 3 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=25426932/32951124 swapFree=67111416/67111528
[pid=21404] ppid=21402 vsize=15761416 CPUtime=4476.3 cores=1,3,5,7
/proc/21404/stat : 21404 (java) S 21402 21404 21203 0 -1 4202496 2516443 0 1 0 447230 400 0 0 25 0 22 0 522768922 16139689984 1192356 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21404/statm: 3940354 1192356 2292 9 0 3931073 0
[pid=21404/tid=21405] ppid=21402 vsize=15761416 CPUtime=1.24 cores=1,3,5,7
/proc/21404/task/21405/stat : 21405 (java) S 21402 21404 21203 0 -1 4202560 33977 0 1 0 120 4 0 0 21 0 22 0 522768922 16139689984 1192356 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 3 0 0 0
[pid=21404/tid=21407] ppid=21402 vsize=15761416 CPUtime=3.37 cores=1,3,5,7
/proc/21404/task/21407/stat : 21407 (java) S 21402 21404 21203 0 -1 4202560 246839 0 0 0 297 40 0 0 15 0 22 0 522768923 16139689984 1192356 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 3 0 0 0
[pid=21404/tid=21408] ppid=21402 vsize=15761416 CPUtime=3.24 cores=1,3,5,7
/proc/21404/task/21408/stat : 21408 (java) S 21402 21404 21203 0 -1 4202560 215720 0 0 0 288 36 0 0 15 0 22 0 522768923 16139689984 1192356 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 3 0 0 0
[pid=21404/tid=21409] ppid=21402 vsize=15761416 CPUtime=3.57 cores=1,3,5,7
/proc/21404/task/21409/stat : 21409 (java) S 21402 21404 21203 0 -1 4202560 223943 0 0 0 320 37 0 0 15 0 22 0 522768923 16139689984 1192356 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 5 0 0 0
[pid=21404/tid=21410] ppid=21402 vsize=15761416 CPUtime=3.25 cores=1,3,5,7
/proc/21404/task/21410/stat : 21410 (java) S 21402 21404 21203 0 -1 4202560 190370 0 0 0 295 30 0 0 16 0 22 0 522768923 16139689984 1192356 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 1 0 0 0
[pid=21404/tid=21411] ppid=21402 vsize=15761416 CPUtime=3.92 cores=1,3,5,7
/proc/21404/task/21411/stat : 21411 (java) S 21402 21404 21203 0 -1 4202560 257614 0 0 0 352 40 0 0 16 0 22 0 522768923 16139689984 1192356 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 5 0 0 0
[pid=21404/tid=21412] ppid=21402 vsize=15761416 CPUtime=3.25 cores=1,3,5,7
/proc/21404/task/21412/stat : 21412 (java) S 21402 21404 21203 0 -1 4202560 178228 0 0 0 295 30 0 0 16 0 22 0 522768923 16139689984 1192356 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 5 0 0 0
[pid=21404/tid=21413] ppid=21402 vsize=15761416 CPUtime=3.6 cores=1,3,5,7
/proc/21404/task/21413/stat : 21413 (java) S 21402 21404 21203 0 -1 4202560 234906 0 0 0 320 40 0 0 15 0 22 0 522768923 16139689984 1192356 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 1 0 0 0
[pid=21404/tid=21414] ppid=21402 vsize=15761416 CPUtime=3.61 cores=1,3,5,7
/proc/21404/task/21414/stat : 21414 (java) S 21402 21404 21203 0 -1 4202560 250170 0 0 0 320 41 0 0 16 0 22 0 522768923 16139689984 1192356 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 5 0 0 0
[pid=21404/tid=21415] ppid=21402 vsize=15761416 CPUtime=1.21 cores=1,3,5,7
/proc/21404/task/21415/stat : 21415 (java) S 21402 21404 21203 0 -1 4202560 101748 0 0 0 93 28 0 0 15 0 22 0 522768924 16139689984 1192356 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447833600 0 0 0 16800975 18446604471127825472 0 0 -1 5 0 0 0
[pid=21404/tid=21416] ppid=21402 vsize=15761416 CPUtime=0 cores=1,3,5,7
/proc/21404/task/21416/stat : 21416 (java) S 21402 21404 21203 0 -1 4202560 18 0 0 0 0 0 0 0 21 0 22 0 522768924 16139689984 1192356 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 5 0 0 0
[pid=21404/tid=21417] ppid=21402 vsize=15761416 CPUtime=0 cores=1,3,5,7
/proc/21404/task/21417/stat : 21417 (java) S 21402 21404 21203 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 22 0 522768924 16139689984 1192356 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 7 0 0 0
[pid=21404/tid=21418] ppid=21402 vsize=15761416 CPUtime=0 cores=1,3,5,7
/proc/21404/task/21418/stat : 21418 (java) S 21402 21404 21203 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 522768926 16139689984 1192356 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447840689 0 4 0 16800975 18446604471127825472 0 0 -1 5 0 0 0
[pid=21404/tid=21419] ppid=21402 vsize=15761416 CPUtime=1.23 cores=1,3,5,7
/proc/21404/task/21419/stat : 21419 (java) S 21402 21404 21203 0 -1 4202560 4160 0 0 0 123 0 0 0 15 0 22 0 522768926 16139689984 1192356 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 1 0 0 0
[pid=21404/tid=21420] ppid=21402 vsize=15761416 CPUtime=1.18 cores=1,3,5,7
/proc/21404/task/21420/stat : 21420 (java) S 21402 21404 21203 0 -1 4202560 15819 0 0 0 116 2 0 0 15 0 22 0 522768926 16139689984 1192356 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 5 0 0 0
[pid=21404/tid=21421] ppid=21402 vsize=15761416 CPUtime=0 cores=1,3,5,7
/proc/21404/task/21421/stat : 21421 (java) S 21402 21404 21203 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 522768926 16139689984 1192356 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 5 0 0 0
[pid=21404/tid=21422] ppid=21402 vsize=15761416 CPUtime=0 cores=1,3,5,7
/proc/21404/task/21422/stat : 21422 (java) S 21402 21404 21203 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 522768926 16139689984 1192356 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447833600 0 4 0 16800975 18446604471127825472 0 0 -1 1 0 0 0
[pid=21404/tid=21427] ppid=21402 vsize=15761416 CPUtime=1110.38 cores=1,3,5,7
/proc/21404/task/21427/stat : 21427 (java) R 21402 21404 21203 0 -1 4202560 142754 0 0 0 111021 17 0 0 25 0 22 0 522768969 16139689984 1192356 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 46912505811119 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21404/tid=21428] ppid=21402 vsize=15761416 CPUtime=1112.13 cores=1,3,5,7
/proc/21404/task/21428/stat : 21428 (java) R 21402 21404 21203 0 -1 4202560 137998 0 0 0 111197 16 0 0 25 0 22 0 522768969 16139689984 1192356 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 46912505582645 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=21404/tid=21429] ppid=21402 vsize=15761416 CPUtime=1108.5 cores=1,3,5,7
/proc/21404/task/21429/stat : 21429 (java) R 21402 21404 21203 0 -1 4202560 144025 0 0 0 110834 16 0 0 25 0 22 0 522768969 16139689984 1192356 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 46912505810973 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21404/tid=21430] ppid=21402 vsize=15761416 CPUtime=1112.45 cores=1,3,5,7
/proc/21404/task/21430/stat : 21430 (java) R 21402 21404 21203 0 -1 4202560 136719 0 0 0 111230 15 0 0 25 0 22 0 522768969 16139689984 1192356 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 46912505712302 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4476.3
Current children cumulated vsize (KiB) 15761416
[startup+1182.3 s]
/proc/loadavg: 8.12 8.06 7.95 9/220 21461
/proc/meminfo: memFree=25546516/32951124 swapFree=67111416/67111528
[pid=21404] ppid=21402 vsize=15761416 CPUtime=4715.89 cores=1,3,5,7
/proc/21404/stat : 21404 (java) S 21402 21404 21203 0 -1 4202496 2569305 0 1 0 471178 411 0 0 25 0 22 0 522768922 16139689984 1148754 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21404/statm: 3940354 1148754 2292 9 0 3931073 0
[pid=21404/tid=21405] ppid=21402 vsize=15761416 CPUtime=1.24 cores=1,3,5,7
/proc/21404/task/21405/stat : 21405 (java) S 21402 21404 21203 0 -1 4202560 33977 0 1 0 120 4 0 0 21 0 22 0 522768922 16139689984 1148754 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 3 0 0 0
[pid=21404/tid=21407] ppid=21402 vsize=15761416 CPUtime=3.58 cores=1,3,5,7
/proc/21404/task/21407/stat : 21407 (java) S 21402 21404 21203 0 -1 4202560 259084 0 0 0 317 41 0 0 15 0 22 0 522768923 16139689984 1148754 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 1 0 0 0
[pid=21404/tid=21408] ppid=21402 vsize=15761416 CPUtime=3.46 cores=1,3,5,7
/proc/21404/task/21408/stat : 21408 (java) S 21402 21404 21203 0 -1 4202560 216004 0 0 0 310 36 0 0 16 0 22 0 522768923 16139689984 1148754 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 1 0 0 0
[pid=21404/tid=21409] ppid=21402 vsize=15761416 CPUtime=3.78 cores=1,3,5,7
/proc/21404/task/21409/stat : 21409 (java) S 21402 21404 21203 0 -1 4202560 224097 0 0 0 341 37 0 0 15 0 22 0 522768923 16139689984 1148754 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 3 0 0 0
[pid=21404/tid=21410] ppid=21402 vsize=15761416 CPUtime=3.46 cores=1,3,5,7
/proc/21404/task/21410/stat : 21410 (java) S 21402 21404 21203 0 -1 4202560 198990 0 0 0 314 32 0 0 16 0 22 0 522768923 16139689984 1148754 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 3 0 0 0
[pid=21404/tid=21411] ppid=21402 vsize=15761416 CPUtime=4.15 cores=1,3,5,7
/proc/21404/task/21411/stat : 21411 (java) S 21402 21404 21203 0 -1 4202560 263174 0 0 0 373 42 0 0 15 0 22 0 522768923 16139689984 1148754 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 7 0 0 0
[pid=21404/tid=21412] ppid=21402 vsize=15761416 CPUtime=3.51 cores=1,3,5,7
/proc/21404/task/21412/stat : 21412 (java) S 21402 21404 21203 0 -1 4202560 202041 0 0 0 318 33 0 0 16 0 22 0 522768923 16139689984 1148754 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 7 0 0 0
[pid=21404/tid=21413] ppid=21402 vsize=15761416 CPUtime=3.87 cores=1,3,5,7
/proc/21404/task/21413/stat : 21413 (java) S 21402 21404 21203 0 -1 4202560 235674 0 0 0 347 40 0 0 15 0 22 0 522768923 16139689984 1148754 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 7 0 0 0
[pid=21404/tid=21414] ppid=21402 vsize=15761416 CPUtime=3.76 cores=1,3,5,7
/proc/21404/task/21414/stat : 21414 (java) S 21402 21404 21203 0 -1 4202560 251417 0 0 0 335 41 0 0 16 0 22 0 522768923 16139689984 1148754 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 3 0 0 0
[pid=21404/tid=21415] ppid=21402 vsize=15761416 CPUtime=1.23 cores=1,3,5,7
/proc/21404/task/21415/stat : 21415 (java) S 21402 21404 21203 0 -1 4202560 101905 0 0 0 93 30 0 0 16 0 22 0 522768924 16139689984 1148754 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447833600 0 0 0 16800975 18446604471127825472 0 0 -1 5 0 0 0
[pid=21404/tid=21416] ppid=21402 vsize=15761416 CPUtime=0 cores=1,3,5,7
/proc/21404/task/21416/stat : 21416 (java) S 21402 21404 21203 0 -1 4202560 18 0 0 0 0 0 0 0 21 0 22 0 522768924 16139689984 1148754 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 5 0 0 0
[pid=21404/tid=21417] ppid=21402 vsize=15761416 CPUtime=0 cores=1,3,5,7
/proc/21404/task/21417/stat : 21417 (java) S 21402 21404 21203 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 22 0 522768924 16139689984 1148754 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 7 0 0 0
[pid=21404/tid=21418] ppid=21402 vsize=15761416 CPUtime=0 cores=1,3,5,7
/proc/21404/task/21418/stat : 21418 (java) S 21402 21404 21203 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 522768926 16139689984 1148754 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447840689 0 4 0 16800975 18446604471127825472 0 0 -1 5 0 0 0
[pid=21404/tid=21419] ppid=21402 vsize=15761416 CPUtime=1.23 cores=1,3,5,7
/proc/21404/task/21419/stat : 21419 (java) S 21402 21404 21203 0 -1 4202560 4160 0 0 0 123 0 0 0 15 0 22 0 522768926 16139689984 1148754 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 1 0 0 0
[pid=21404/tid=21420] ppid=21402 vsize=15761416 CPUtime=1.18 cores=1,3,5,7
/proc/21404/task/21420/stat : 21420 (java) S 21402 21404 21203 0 -1 4202560 15819 0 0 0 116 2 0 0 15 0 22 0 522768926 16139689984 1148754 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 5 0 0 0
[pid=21404/tid=21421] ppid=21402 vsize=15761416 CPUtime=0 cores=1,3,5,7
/proc/21404/task/21421/stat : 21421 (java) S 21402 21404 21203 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 522768926 16139689984 1148754 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 5 0 0 0
[pid=21404/tid=21422] ppid=21402 vsize=15761416 CPUtime=0 cores=1,3,5,7
/proc/21404/task/21422/stat : 21422 (java) S 21402 21404 21203 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 22 0 522768926 16139689984 1148754 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447833600 0 4 0 16800975 18446604471127825472 0 0 -1 7 0 0 0
[pid=21404/tid=21427] ppid=21402 vsize=15761416 CPUtime=1169.82 cores=1,3,5,7
/proc/21404/task/21427/stat : 21427 (java) R 21402 21404 21203 0 -1 4202560 142755 0 0 0 116965 17 0 0 25 0 22 0 522768969 16139689984 1148754 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 46912505810355 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=21404/tid=21428] ppid=21402 vsize=15761416 CPUtime=1171.44 cores=1,3,5,7
/proc/21404/task/21428/stat : 21428 (java) R 21402 21404 21203 0 -1 4202560 138002 0 0 0 117128 16 0 0 25 0 22 0 522768969 16139689984 1148754 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 46912505836490 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21404/tid=21429] ppid=21402 vsize=15761416 CPUtime=1168.03 cores=1,3,5,7
/proc/21404/task/21429/stat : 21429 (java) R 21402 21404 21203 0 -1 4202560 144030 0 0 0 116787 16 0 0 25 0 22 0 522768969 16139689984 1148754 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 46912505582570 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21404/tid=21430] ppid=21402 vsize=15761416 CPUtime=1171.99 cores=1,3,5,7
/proc/21404/task/21430/stat : 21430 (java) R 21402 21404 21203 0 -1 4202560 136721 0 0 0 117184 15 0 0 25 0 22 0 522768969 16139689984 1148754 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 46912505712291 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4715.89
Current children cumulated vsize (KiB) 15761416
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1203.4 s]
/proc/loadavg: 8.15 8.07 7.95 9/220 21462
/proc/meminfo: memFree=25742400/32951124 swapFree=67111416/67111528
[pid=21404] ppid=21402 vsize=15761416 CPUtime=4800.18 cores=1,3,5,7
/proc/21404/stat : 21404 (java) S 21402 21404 21203 0 -1 4202496 2570499 0 1 0 479606 412 0 0 25 0 22 0 522768922 16139689984 1107850 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21404/statm: 3940354 1107850 2292 9 0 3931073 0
[pid=21404/tid=21405] ppid=21402 vsize=15761416 CPUtime=1.24 cores=1,3,5,7
/proc/21404/task/21405/stat : 21405 (java) S 21402 21404 21203 0 -1 4202560 33977 0 1 0 120 4 0 0 21 0 22 0 522768922 16139689984 1107850 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 3 0 0 0
[pid=21404/tid=21407] ppid=21402 vsize=15761416 CPUtime=3.65 cores=1,3,5,7
/proc/21404/task/21407/stat : 21407 (java) S 21402 21404 21203 0 -1 4202560 259084 0 0 0 324 41 0 0 16 0 22 0 522768923 16139689984 1107850 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 1 0 0 0
[pid=21404/tid=21408] ppid=21402 vsize=15761416 CPUtime=3.53 cores=1,3,5,7
/proc/21404/task/21408/stat : 21408 (java) S 21402 21404 21203 0 -1 4202560 216086 0 0 0 317 36 0 0 16 0 22 0 522768923 16139689984 1107850 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 3 0 0 0
[pid=21404/tid=21409] ppid=21402 vsize=15761416 CPUtime=3.85 cores=1,3,5,7
/proc/21404/task/21409/stat : 21409 (java) S 21402 21404 21203 0 -1 4202560 224114 0 0 0 348 37 0 0 15 0 22 0 522768923 16139689984 1107850 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 7 0 0 0
[pid=21404/tid=21410] ppid=21402 vsize=15761416 CPUtime=3.46 cores=1,3,5,7
/proc/21404/task/21410/stat : 21410 (java) S 21402 21404 21203 0 -1 4202560 198990 0 0 0 314 32 0 0 15 0 22 0 522768923 16139689984 1107850 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 3 0 0 0
[pid=21404/tid=21411] ppid=21402 vsize=15761416 CPUtime=4.25 cores=1,3,5,7
/proc/21404/task/21411/stat : 21411 (java) S 21402 21404 21203 0 -1 4202560 263670 0 0 0 383 42 0 0 16 0 22 0 522768923 16139689984 1107850 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 1 0 0 0
[pid=21404/tid=21412] ppid=21402 vsize=15761416 CPUtime=3.62 cores=1,3,5,7
/proc/21404/task/21412/stat : 21412 (java) S 21402 21404 21203 0 -1 4202560 202315 0 0 0 329 33 0 0 16 0 22 0 522768923 16139689984 1107850 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 7 0 0 0
[pid=21404/tid=21413] ppid=21402 vsize=15761416 CPUtime=3.92 cores=1,3,5,7
/proc/21404/task/21413/stat : 21413 (java) S 21402 21404 21203 0 -1 4202560 235684 0 0 0 352 40 0 0 15 0 22 0 522768923 16139689984 1107850 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 7 0 0 0
[pid=21404/tid=21414] ppid=21402 vsize=15761416 CPUtime=3.83 cores=1,3,5,7
/proc/21404/task/21414/stat : 21414 (java) S 21402 21404 21203 0 -1 4202560 251723 0 0 0 342 41 0 0 15 0 22 0 522768923 16139689984 1107850 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 7 0 0 0
[pid=21404/tid=21415] ppid=21402 vsize=15761416 CPUtime=1.24 cores=1,3,5,7
/proc/21404/task/21415/stat : 21415 (java) S 21402 21404 21203 0 -1 4202560 101907 0 0 0 93 31 0 0 16 0 22 0 522768924 16139689984 1107850 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447833600 0 0 0 16800975 18446604471127825472 0 0 -1 5 0 0 0
[pid=21404/tid=21416] ppid=21402 vsize=15761416 CPUtime=0 cores=1,3,5,7
/proc/21404/task/21416/stat : 21416 (java) S 21402 21404 21203 0 -1 4202560 18 0 0 0 0 0 0 0 21 0 22 0 522768924 16139689984 1107850 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 5 0 0 0
[pid=21404/tid=21417] ppid=21402 vsize=15761416 CPUtime=0 cores=1,3,5,7
/proc/21404/task/21417/stat : 21417 (java) S 21402 21404 21203 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 22 0 522768924 16139689984 1107850 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 7 0 0 0
[pid=21404/tid=21418] ppid=21402 vsize=15761416 CPUtime=0 cores=1,3,5,7
/proc/21404/task/21418/stat : 21418 (java) S 21402 21404 21203 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 522768926 16139689984 1107850 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447840689 0 4 0 16800975 18446604471127825472 0 0 -1 5 0 0 0
[pid=21404/tid=21419] ppid=21402 vsize=15761416 CPUtime=1.23 cores=1,3,5,7
/proc/21404/task/21419/stat : 21419 (java) S 21402 21404 21203 0 -1 4202560 4160 0 0 0 123 0 0 0 15 0 22 0 522768926 16139689984 1107850 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 1 0 0 0
[pid=21404/tid=21420] ppid=21402 vsize=15761416 CPUtime=1.18 cores=1,3,5,7
/proc/21404/task/21420/stat : 21420 (java) S 21402 21404 21203 0 -1 4202560 15819 0 0 0 116 2 0 0 15 0 22 0 522768926 16139689984 1107850 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 5 0 0 0
[pid=21404/tid=21421] ppid=21402 vsize=15761416 CPUtime=0 cores=1,3,5,7
/proc/21404/task/21421/stat : 21421 (java) S 21402 21404 21203 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 522768926 16139689984 1107850 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447832985 0 4 0 16800975 18446604471127825472 0 0 -1 5 0 0 0
[pid=21404/tid=21422] ppid=21402 vsize=15761416 CPUtime=0 cores=1,3,5,7
/proc/21404/task/21422/stat : 21422 (java) S 21402 21404 21203 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 22 0 522768926 16139689984 1107850 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 212447833600 0 4 0 16800975 18446604471127825472 0 0 -1 1 0 0 0
[pid=21404/tid=21427] ppid=21402 vsize=15761416 CPUtime=1190.66 cores=1,3,5,7
/proc/21404/task/21427/stat : 21427 (java) R 21402 21404 21203 0 -1 4202560 142756 0 0 0 119049 17 0 0 25 0 22 0 522768969 16139689984 1107850 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 46912506250156 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=21404/tid=21428] ppid=21402 vsize=15761416 CPUtime=1192.41 cores=1,3,5,7
/proc/21404/task/21428/stat : 21428 (java) R 21402 21404 21203 0 -1 4202560 138004 0 0 0 119225 16 0 0 25 0 22 0 522768969 16139689984 1107850 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 46912505712277 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21404/tid=21429] ppid=21402 vsize=15761416 CPUtime=1189 cores=1,3,5,7
/proc/21404/task/21429/stat : 21429 (java) R 21402 21404 21203 0 -1 4202560 144031 0 0 0 118884 16 0 0 25 0 22 0 522768969 16139689984 1107850 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 46912505836437 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21404/tid=21430] ppid=21402 vsize=15761416 CPUtime=1192.96 cores=1,3,5,7
/proc/21404/task/21430/stat : 21430 (java) R 21402 21404 21203 0 -1 4202560 136722 0 0 0 119281 15 0 0 25 0 22 0 522768969 16139689984 1107850 33554432000 1073741824 1073778376 140735864426752 18446744073709551615 46912505810865 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.18
Current children cumulated vsize (KiB) 15761416
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1203.52 s]
/proc/loadavg: 8.15 8.07 7.95 9/220 21462
/proc/meminfo: memFree=25742400/32951124 swapFree=67111416/67111528
[pid=21404] ppid=21402 vsize=0 CPUtime=4800.31 cores=1,3,5,7
/proc/21404/stat : 21404 (java) Z 21402 21404 21203 0 -1 4203548 2570527 0 1 0 479609 422 0 0 17 0 2 0 522768922 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21404/statm: 0 0 0 0 0 0 0
[pid=21404/tid=21427] ppid=21402 vsize=0 CPUtime=1190.77 cores=1,3,5,7
/proc/21404/task/21427/stat : 21427 (java) R 21402 21404 21203 0 -1 4203588 142756 0 0 0 119050 27 0 0 25 0 2 0 522768969 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.31
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1203.58
CPU time (s): 4800.39
CPU user time (s): 4796.1
CPU system time (s): 4.28935
CPU usage (%): 398.842
Max. virtual memory (cumulated for all children) (KiB): 15761416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.1
system time used= 4.28935
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2570527
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32160
involuntary context switches= 75426
runsolver used 2.06868 second user time and 4.55431 second system time
The end