runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 931)
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-3195096-1302717436/watcher-3195096-1302717436 -o /tmp/evaluation-result-3195096-1302717436/solver-3195096-1302717436 -C 2400 -W 1300 -M 7680 java -Xms7000m -Xmx7000m -jar HOME/SAT_Intersec_01.jar HOME/instance-3195096-1302717436.cnf
running on 2 cores: 5,7
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): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.05 4.01 3.94 8/224 7072
/proc/meminfo: memFree=15367388/32951124 swapFree=67111528/67111528
[pid=7072] ppid=7070 vsize=35788 CPUtime=0 cores=5,7
/proc/7072/stat : 7072 (java) S 7070 7072 6540 0 -1 4202496 1288 0 0 0 0 0 0 0 25 0 2 0 383341599 36646912 1003 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134516709 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/7072/statm: 8947 1010 777 9 0 386 0
[pid=7072/tid=7081] ppid=7070 vsize=35788 CPUtime=0 cores=5,7
/proc/7072/task/7081/stat : 7081 (java) S 7070 7072 6540 0 -1 4202560 209 0 0 0 0 0 0 0 25 0 2 0 383341599 36646912 1012 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228122734150 0 0 0 16784584 8966108585360621567 0 0 -1 5 0 0 0
[startup+0.0882659 s]
/proc/loadavg: 4.05 4.01 3.94 8/224 7072
/proc/meminfo: memFree=15367388/32951124 swapFree=67111528/67111528
[pid=7072] ppid=7070 vsize=7392136 CPUtime=0.08 cores=5,7
/proc/7072/stat : 7072 (java) S 7070 7072 6540 0 -1 4202496 9784 0 1 0 7 1 0 0 25 0 18 0 383341599 7569547264 9493 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/7072/statm: 1848034 9493 1745 9 0 1838518 0
[pid=7072/tid=7081] ppid=7070 vsize=7392136 CPUtime=0.08 cores=5,7
/proc/7072/task/7081/stat : 7081 (java) R 7070 7072 6540 0 -1 4202560 8637 0 1 0 7 1 0 0 25 0 18 0 383341599 7569547264 9494 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 47717140831059 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7392136
[startup+0.100235 s]
/proc/loadavg: 4.05 4.01 3.94 8/224 7072
/proc/meminfo: memFree=15367388/32951124 swapFree=67111528/67111528
[pid=7072] ppid=7070 vsize=7394052 CPUtime=0.1 cores=5,7
/proc/7072/stat : 7072 (java) S 7070 7072 6540 0 -1 4202496 10836 0 1 0 9 1 0 0 25 0 18 0 383341599 7571509248 10545 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/7072/statm: 1848513 10546 2116 9 0 1838997 0
[pid=7072/tid=7081] ppid=7070 vsize=7394052 CPUtime=0.09 cores=5,7
/proc/7072/task/7081/stat : 7081 (java) R 7070 7072 6540 0 -1 4202560 8882 0 1 0 8 1 0 0 25 0 18 0 383341599 7571509248 10547 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 46912505483677 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7394052
[startup+0.300201 s]
/proc/loadavg: 4.05 4.01 3.94 8/224 7072
/proc/meminfo: memFree=15367388/32951124 swapFree=67111528/67111528
[pid=7072] ppid=7070 vsize=7417288 CPUtime=0.42 cores=5,7
/proc/7072/stat : 7072 (java) S 7070 7072 6540 0 -1 4202496 22524 0 1 0 36 6 0 0 25 0 18 0 383341599 7595302912 19784 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/7072/statm: 1854322 19784 2167 9 0 1844806 0
[pid=7072/tid=7081] ppid=7070 vsize=7417288 CPUtime=0.27 cores=5,7
/proc/7072/task/7081/stat : 7081 (java) R 7070 7072 6540 0 -1 4202560 13376 0 1 0 23 4 0 0 25 0 18 0 383341599 7595302912 19784 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 46912505179312 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 7417288
[startup+0.70117 s]
/proc/loadavg: 4.05 4.01 3.94 8/224 7072
/proc/meminfo: memFree=15367388/32951124 swapFree=67111528/67111528
[pid=7072] ppid=7070 vsize=7480284 CPUtime=1.08 cores=5,7
/proc/7072/stat : 7072 (java) S 7070 7072 6540 0 -1 4202496 26235 0 1 0 102 6 0 0 25 0 18 0 383341599 7659810816 21764 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/7072/statm: 1870071 21764 2167 9 0 1860555 0
[pid=7072/tid=7081] ppid=7070 vsize=7480284 CPUtime=0.67 cores=5,7
/proc/7072/task/7081/stat : 7081 (java) R 7070 7072 6540 0 -1 4202560 14802 0 1 0 63 4 0 0 25 0 18 0 383341599 7659810816 21764 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 46912505595819 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 7480284
[startup+1.50101 s]
/proc/loadavg: 4.05 4.01 3.94 5/258 7106
/proc/meminfo: memFree=15141476/32951124 swapFree=67111528/67111528
[pid=7072] ppid=7070 vsize=7480284 CPUtime=1.88 cores=5,7
/proc/7072/stat : 7072 (java) S 7070 7072 6540 0 -1 4202496 30430 0 1 0 181 7 0 0 25 0 18 0 383341599 7659810816 25959 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/7072/statm: 1870071 25960 2167 9 0 1860555 0
[pid=7072/tid=7081] ppid=7070 vsize=7480284 CPUtime=1.47 cores=5,7
/proc/7072/task/7081/stat : 7081 (java) R 7070 7072 6540 0 -1 4202560 18998 0 1 0 142 5 0 0 25 0 18 0 383341599 7659810816 25960 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 46912505595658 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=7072/tid=7086] ppid=7070 vsize=7480284 CPUtime=0 cores=5,7
/proc/7072/task/7086/stat : 7086 (java) S 7070 7072 6540 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 383341600 7659810816 25960 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7087] ppid=7070 vsize=7480284 CPUtime=0 cores=5,7
/proc/7072/task/7087/stat : 7087 (java) S 7070 7072 6540 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 383341600 7659810816 25960 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7088] ppid=7070 vsize=7480284 CPUtime=0 cores=5,7
/proc/7072/task/7088/stat : 7088 (java) S 7070 7072 6540 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 383341600 7659810816 25960 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7089] ppid=7070 vsize=7480284 CPUtime=0 cores=5,7
/proc/7072/task/7089/stat : 7089 (java) S 7070 7072 6540 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 383341600 7659810816 25961 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7090] ppid=7070 vsize=7480284 CPUtime=0 cores=5,7
/proc/7072/task/7090/stat : 7090 (java) S 7070 7072 6540 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 383341600 7659810816 25961 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7091] ppid=7070 vsize=7480284 CPUtime=0 cores=5,7
/proc/7072/task/7091/stat : 7091 (java) S 7070 7072 6540 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 383341600 7659810816 25961 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7092] ppid=7070 vsize=7480284 CPUtime=0 cores=5,7
/proc/7072/task/7092/stat : 7092 (java) S 7070 7072 6540 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 383341600 7659810816 25961 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7093] ppid=7070 vsize=7480284 CPUtime=0 cores=5,7
/proc/7072/task/7093/stat : 7093 (java) S 7070 7072 6540 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 383341600 7659810816 25961 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7094] ppid=7070 vsize=7480284 CPUtime=0 cores=5,7
/proc/7072/task/7094/stat : 7094 (java) S 7070 7072 6540 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 383341601 7659810816 25961 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134530560 0 0 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7095] ppid=7070 vsize=7480284 CPUtime=0 cores=5,7
/proc/7072/task/7095/stat : 7095 (java) S 7070 7072 6540 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 383341602 7659810816 25961 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7096] ppid=7070 vsize=7480284 CPUtime=0 cores=5,7
/proc/7072/task/7096/stat : 7096 (java) S 7070 7072 6540 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 383341602 7659810816 25961 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7102] ppid=7070 vsize=7480284 CPUtime=0 cores=5,7
/proc/7072/task/7102/stat : 7102 (java) S 7070 7072 6540 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 383341604 7659810816 25962 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134537649 0 4 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7103] ppid=7070 vsize=7480284 CPUtime=0.02 cores=5,7
/proc/7072/task/7103/stat : 7103 (java) S 7070 7072 6540 0 -1 4202560 129 0 0 0 2 0 0 0 25 0 18 0 383341604 7659810816 25962 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 7 0 0 0
[pid=7072/tid=7104] ppid=7070 vsize=7480284 CPUtime=0.36 cores=5,7
/proc/7072/task/7104/stat : 7104 (java) S 7070 7072 6540 0 -1 4202560 10180 0 0 0 35 1 0 0 25 0 18 0 383341604 7659810816 25962 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 7 0 0 0
[pid=7072/tid=7105] ppid=7070 vsize=7480284 CPUtime=0 cores=5,7
/proc/7072/task/7105/stat : 7105 (java) S 7070 7072 6540 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 383341604 7659810816 25962 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7106] ppid=7070 vsize=7480284 CPUtime=0 cores=5,7
/proc/7072/task/7106/stat : 7106 (java) S 7070 7072 6540 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 383341604 7659810816 25963 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134530560 0 4 0 16800975 18446604467885179968 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 7480284
[startup+3.10072 s]
/proc/loadavg: 4.04 4.01 3.94 5/258 7106
/proc/meminfo: memFree=15000736/32951124 swapFree=67111528/67111528
[pid=7072] ppid=7070 vsize=7480284 CPUtime=3.48 cores=5,7
/proc/7072/stat : 7072 (java) S 7070 7072 6540 0 -1 4202496 38904 0 1 0 340 8 0 0 25 0 18 0 383341599 7659810816 34433 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/7072/statm: 1870071 34433 2167 9 0 1860555 0
[pid=7072/tid=7081] ppid=7070 vsize=7480284 CPUtime=3.07 cores=5,7
/proc/7072/task/7081/stat : 7081 (java) R 7070 7072 6540 0 -1 4202560 27471 0 1 0 301 6 0 0 25 0 18 0 383341599 7659810816 34433 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 46912505592451 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=7072/tid=7086] ppid=7070 vsize=7480284 CPUtime=0 cores=5,7
/proc/7072/task/7086/stat : 7086 (java) S 7070 7072 6540 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 383341600 7659810816 34433 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7087] ppid=7070 vsize=7480284 CPUtime=0 cores=5,7
/proc/7072/task/7087/stat : 7087 (java) S 7070 7072 6540 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 383341600 7659810816 34434 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7088] ppid=7070 vsize=7480284 CPUtime=0 cores=5,7
/proc/7072/task/7088/stat : 7088 (java) S 7070 7072 6540 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 383341600 7659810816 34434 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7089] ppid=7070 vsize=7480284 CPUtime=0 cores=5,7
/proc/7072/task/7089/stat : 7089 (java) S 7070 7072 6540 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 383341600 7659810816 34434 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7090] ppid=7070 vsize=7480284 CPUtime=0 cores=5,7
/proc/7072/task/7090/stat : 7090 (java) S 7070 7072 6540 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 383341600 7659810816 34434 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7091] ppid=7070 vsize=7480284 CPUtime=0 cores=5,7
/proc/7072/task/7091/stat : 7091 (java) S 7070 7072 6540 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 383341600 7659810816 34434 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7092] ppid=7070 vsize=7480284 CPUtime=0 cores=5,7
/proc/7072/task/7092/stat : 7092 (java) S 7070 7072 6540 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 383341600 7659810816 34435 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7093] ppid=7070 vsize=7480284 CPUtime=0 cores=5,7
/proc/7072/task/7093/stat : 7093 (java) S 7070 7072 6540 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 383341600 7659810816 34435 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7094] ppid=7070 vsize=7480284 CPUtime=0 cores=5,7
/proc/7072/task/7094/stat : 7094 (java) S 7070 7072 6540 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 383341601 7659810816 34435 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134530560 0 0 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7095] ppid=7070 vsize=7480284 CPUtime=0 cores=5,7
/proc/7072/task/7095/stat : 7095 (java) S 7070 7072 6540 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 383341602 7659810816 34435 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7096] ppid=7070 vsize=7480284 CPUtime=0 cores=5,7
/proc/7072/task/7096/stat : 7096 (java) S 7070 7072 6540 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 383341602 7659810816 34435 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7102] ppid=7070 vsize=7480284 CPUtime=0 cores=5,7
/proc/7072/task/7102/stat : 7102 (java) S 7070 7072 6540 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 383341604 7659810816 34435 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134537649 0 4 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7103] ppid=7070 vsize=7480284 CPUtime=0.02 cores=5,7
/proc/7072/task/7103/stat : 7103 (java) S 7070 7072 6540 0 -1 4202560 129 0 0 0 2 0 0 0 25 0 18 0 383341604 7659810816 34435 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 7 0 0 0
[pid=7072/tid=7104] ppid=7070 vsize=7480284 CPUtime=0.36 cores=5,7
/proc/7072/task/7104/stat : 7104 (java) S 7070 7072 6540 0 -1 4202560 10180 0 0 0 35 1 0 0 18 0 18 0 383341604 7659810816 34435 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 7 0 0 0
[pid=7072/tid=7105] ppid=7070 vsize=7480284 CPUtime=0 cores=5,7
/proc/7072/task/7105/stat : 7105 (java) S 7070 7072 6540 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 383341604 7659810816 34436 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7106] ppid=7070 vsize=7480284 CPUtime=0 cores=5,7
/proc/7072/task/7106/stat : 7106 (java) S 7070 7072 6540 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 383341604 7659810816 34436 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134530560 0 4 0 16800975 18446604467885179968 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.48
Current children cumulated vsize (KiB) 7480284
[startup+6.30114 s]
/proc/loadavg: 4.04 4.01 3.94 5/258 7106
/proc/meminfo: memFree=14588232/32951124 swapFree=67111528/67111528
[pid=7072] ppid=7070 vsize=7476160 CPUtime=6.68 cores=5,7
/proc/7072/stat : 7072 (java) S 7070 7072 6540 0 -1 4202496 55845 0 1 0 659 9 0 0 25 0 18 0 383341599 7655587840 50374 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/7072/statm: 1869040 50374 2169 9 0 1859524 0
[pid=7072/tid=7081] ppid=7070 vsize=7476160 CPUtime=6.27 cores=5,7
/proc/7072/task/7081/stat : 7081 (java) R 7070 7072 6540 0 -1 4202560 44410 0 1 0 620 7 0 0 19 0 18 0 383341599 7655587840 50374 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 46912505591089 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=7072/tid=7086] ppid=7070 vsize=7476160 CPUtime=0 cores=5,7
/proc/7072/task/7086/stat : 7086 (java) S 7070 7072 6540 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 383341600 7655587840 50374 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7087] ppid=7070 vsize=7476160 CPUtime=0 cores=5,7
/proc/7072/task/7087/stat : 7087 (java) S 7070 7072 6540 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 383341600 7655587840 50374 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7088] ppid=7070 vsize=7476160 CPUtime=0 cores=5,7
/proc/7072/task/7088/stat : 7088 (java) S 7070 7072 6540 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 383341600 7655587840 50374 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7089] ppid=7070 vsize=7476160 CPUtime=0 cores=5,7
/proc/7072/task/7089/stat : 7089 (java) S 7070 7072 6540 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 383341600 7655587840 50375 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7090] ppid=7070 vsize=7476160 CPUtime=0 cores=5,7
/proc/7072/task/7090/stat : 7090 (java) S 7070 7072 6540 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 383341600 7655587840 50375 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7091] ppid=7070 vsize=7476160 CPUtime=0 cores=5,7
/proc/7072/task/7091/stat : 7091 (java) S 7070 7072 6540 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 383341600 7655587840 50375 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7092] ppid=7070 vsize=7476160 CPUtime=0 cores=5,7
/proc/7072/task/7092/stat : 7092 (java) S 7070 7072 6540 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 383341600 7655587840 50375 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7093] ppid=7070 vsize=7476160 CPUtime=0 cores=5,7
/proc/7072/task/7093/stat : 7093 (java) S 7070 7072 6540 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 383341600 7655587840 50375 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7094] ppid=7070 vsize=7476160 CPUtime=0 cores=5,7
/proc/7072/task/7094/stat : 7094 (java) S 7070 7072 6540 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 18 0 383341601 7655587840 50376 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134530560 0 0 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7095] ppid=7070 vsize=7476160 CPUtime=0 cores=5,7
/proc/7072/task/7095/stat : 7095 (java) S 7070 7072 6540 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 383341602 7655587840 50376 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7096] ppid=7070 vsize=7476160 CPUtime=0 cores=5,7
/proc/7072/task/7096/stat : 7096 (java) S 7070 7072 6540 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 383341602 7655587840 50376 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7102] ppid=7070 vsize=7476160 CPUtime=0 cores=5,7
/proc/7072/task/7102/stat : 7102 (java) S 7070 7072 6540 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 383341604 7655587840 50376 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134537649 0 4 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7103] ppid=7070 vsize=7476160 CPUtime=0.02 cores=5,7
/proc/7072/task/7103/stat : 7103 (java) S 7070 7072 6540 0 -1 4202560 129 0 0 0 2 0 0 0 25 0 18 0 383341604 7655587840 50376 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 7 0 0 0
[pid=7072/tid=7104] ppid=7070 vsize=7476160 CPUtime=0.36 cores=5,7
/proc/7072/task/7104/stat : 7104 (java) S 7070 7072 6540 0 -1 4202560 10180 0 0 0 35 1 0 0 18 0 18 0 383341604 7655587840 50376 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 7 0 0 0
[pid=7072/tid=7105] ppid=7070 vsize=7476160 CPUtime=0 cores=5,7
/proc/7072/task/7105/stat : 7105 (java) S 7070 7072 6540 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 383341604 7655587840 50376 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7106] ppid=7070 vsize=7476160 CPUtime=0 cores=5,7
/proc/7072/task/7106/stat : 7106 (java) S 7070 7072 6540 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 383341604 7655587840 50376 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134530560 0 4 0 16800975 18446604467885179968 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=7072/tid=7087] ppid=7070 vsize=7473344 CPUtime=0 cores=5,7
/proc/7072/task/7087/stat : 7087 (java) S 7070 7072 6540 0 -1 4202560 215 0 0 0 0 0 0 0 15 0 18 0 383341600 7652704256 610765 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 7 0 0 0
[pid=7072/tid=7088] ppid=7070 vsize=7473344 CPUtime=0 cores=5,7
/proc/7072/task/7088/stat : 7088 (java) S 7070 7072 6540 0 -1 4202560 260 0 0 0 0 0 0 0 16 0 18 0 383341600 7652704256 610765 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 7 0 0 0
[pid=7072/tid=7089] ppid=7070 vsize=7473344 CPUtime=0 cores=5,7
/proc/7072/task/7089/stat : 7089 (java) S 7070 7072 6540 0 -1 4202560 191 0 0 0 0 0 0 0 16 0 18 0 383341600 7652704256 610765 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7090] ppid=7070 vsize=7473344 CPUtime=0 cores=5,7
/proc/7072/task/7090/stat : 7090 (java) S 7070 7072 6540 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 18 0 383341600 7652704256 610765 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 7 0 0 0
[pid=7072/tid=7091] ppid=7070 vsize=7473344 CPUtime=0 cores=5,7
/proc/7072/task/7091/stat : 7091 (java) S 7070 7072 6540 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 18 0 383341600 7652704256 610765 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 7 0 0 0
[pid=7072/tid=7092] ppid=7070 vsize=7473344 CPUtime=0 cores=5,7
/proc/7072/task/7092/stat : 7092 (java) S 7070 7072 6540 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 18 0 383341600 7652704256 610765 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 7 0 0 0
[pid=7072/tid=7093] ppid=7070 vsize=7473344 CPUtime=0 cores=5,7
/proc/7072/task/7093/stat : 7093 (java) S 7070 7072 6540 0 -1 4202560 631 0 0 0 0 0 0 0 15 0 18 0 383341600 7652704256 610765 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 7 0 0 0
[pid=7072/tid=7094] ppid=7070 vsize=7473344 CPUtime=0 cores=5,7
/proc/7072/task/7094/stat : 7094 (java) S 7070 7072 6540 0 -1 4202560 33 0 0 0 0 0 0 0 15 0 18 0 383341601 7652704256 610765 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134530560 0 0 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7095] ppid=7070 vsize=7473344 CPUtime=0 cores=5,7
/proc/7072/task/7095/stat : 7095 (java) S 7070 7072 6540 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 383341602 7652704256 610765 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7096] ppid=7070 vsize=7473344 CPUtime=0 cores=5,7
/proc/7072/task/7096/stat : 7096 (java) S 7070 7072 6540 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 18 0 383341602 7652704256 610765 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7102] ppid=7070 vsize=7473344 CPUtime=0 cores=5,7
/proc/7072/task/7102/stat : 7102 (java) S 7070 7072 6540 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 383341604 7652704256 610765 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134537649 0 4 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7103] ppid=7070 vsize=7473344 CPUtime=0.03 cores=5,7
/proc/7072/task/7103/stat : 7103 (java) S 7070 7072 6540 0 -1 4202560 129 0 0 0 3 0 0 0 18 0 18 0 383341604 7652704256 610765 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 7 0 0 0
[pid=7072/tid=7104] ppid=7070 vsize=7473344 CPUtime=0.38 cores=5,7
/proc/7072/task/7104/stat : 7104 (java) S 7070 7072 6540 0 -1 4202560 10193 0 0 0 37 1 0 0 16 0 18 0 383341604 7652704256 610765 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 7 0 0 0
[pid=7072/tid=7105] ppid=7070 vsize=7473344 CPUtime=0 cores=5,7
/proc/7072/task/7105/stat : 7105 (java) S 7070 7072 6540 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 383341604 7652704256 610765 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7106] ppid=7070 vsize=7473344 CPUtime=0 cores=5,7
/proc/7072/task/7106/stat : 7106 (java) S 7070 7072 6540 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 18 0 383341604 7652704256 610765 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134530560 0 4 0 16800975 18446604467885179968 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1122.73
Current children cumulated vsize (KiB) 7473344
[startup+1182.3 s]
/proc/loadavg: 4.07 4.03 3.97 5/258 7150
/proc/meminfo: memFree=5767428/32951124 swapFree=67111528/67111528
[pid=7072] ppid=7070 vsize=7473344 CPUtime=1182.74 cores=5,7
/proc/7072/stat : 7072 (java) S 7070 7072 6540 0 -1 4202496 617075 0 1 0 118204 70 0 0 25 0 18 0 383341599 7652704256 610765 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/7072/statm: 1868336 610765 2197 9 0 1858820 0
[pid=7072/tid=7081] ppid=7070 vsize=7473344 CPUtime=1182.29 cores=5,7
/proc/7072/task/7081/stat : 7081 (java) R 7070 7072 6540 0 -1 4202560 603812 0 1 0 118161 68 0 0 25 0 18 0 383341599 7652704256 610765 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 46912505589758 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=7072/tid=7086] ppid=7070 vsize=7473344 CPUtime=0 cores=5,7
/proc/7072/task/7086/stat : 7086 (java) S 7070 7072 6540 0 -1 4202560 417 0 0 0 0 0 0 0 15 0 18 0 383341600 7652704256 610765 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 7 0 0 0
[pid=7072/tid=7087] ppid=7070 vsize=7473344 CPUtime=0 cores=5,7
/proc/7072/task/7087/stat : 7087 (java) S 7070 7072 6540 0 -1 4202560 215 0 0 0 0 0 0 0 15 0 18 0 383341600 7652704256 610765 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 7 0 0 0
[pid=7072/tid=7088] ppid=7070 vsize=7473344 CPUtime=0 cores=5,7
/proc/7072/task/7088/stat : 7088 (java) S 7070 7072 6540 0 -1 4202560 260 0 0 0 0 0 0 0 16 0 18 0 383341600 7652704256 610765 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 7 0 0 0
[pid=7072/tid=7089] ppid=7070 vsize=7473344 CPUtime=0 cores=5,7
/proc/7072/task/7089/stat : 7089 (java) S 7070 7072 6540 0 -1 4202560 191 0 0 0 0 0 0 0 16 0 18 0 383341600 7652704256 610765 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7090] ppid=7070 vsize=7473344 CPUtime=0 cores=5,7
/proc/7072/task/7090/stat : 7090 (java) S 7070 7072 6540 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 18 0 383341600 7652704256 610765 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 7 0 0 0
[pid=7072/tid=7091] ppid=7070 vsize=7473344 CPUtime=0 cores=5,7
/proc/7072/task/7091/stat : 7091 (java) S 7070 7072 6540 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 18 0 383341600 7652704256 610765 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 7 0 0 0
[pid=7072/tid=7092] ppid=7070 vsize=7473344 CPUtime=0 cores=5,7
/proc/7072/task/7092/stat : 7092 (java) S 7070 7072 6540 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 18 0 383341600 7652704256 610765 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 7 0 0 0
[pid=7072/tid=7093] ppid=7070 vsize=7473344 CPUtime=0 cores=5,7
/proc/7072/task/7093/stat : 7093 (java) S 7070 7072 6540 0 -1 4202560 631 0 0 0 0 0 0 0 15 0 18 0 383341600 7652704256 610765 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 7 0 0 0
[pid=7072/tid=7094] ppid=7070 vsize=7473344 CPUtime=0 cores=5,7
/proc/7072/task/7094/stat : 7094 (java) S 7070 7072 6540 0 -1 4202560 33 0 0 0 0 0 0 0 15 0 18 0 383341601 7652704256 610765 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134530560 0 0 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7095] ppid=7070 vsize=7473344 CPUtime=0 cores=5,7
/proc/7072/task/7095/stat : 7095 (java) S 7070 7072 6540 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 383341602 7652704256 610765 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7096] ppid=7070 vsize=7473344 CPUtime=0 cores=5,7
/proc/7072/task/7096/stat : 7096 (java) S 7070 7072 6540 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 18 0 383341602 7652704256 610765 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7102] ppid=7070 vsize=7473344 CPUtime=0 cores=5,7
/proc/7072/task/7102/stat : 7102 (java) S 7070 7072 6540 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 383341604 7652704256 610765 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134537649 0 4 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7103] ppid=7070 vsize=7473344 CPUtime=0.03 cores=5,7
/proc/7072/task/7103/stat : 7103 (java) S 7070 7072 6540 0 -1 4202560 129 0 0 0 3 0 0 0 18 0 18 0 383341604 7652704256 610765 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 7 0 0 0
[pid=7072/tid=7104] ppid=7070 vsize=7473344 CPUtime=0.38 cores=5,7
/proc/7072/task/7104/stat : 7104 (java) S 7070 7072 6540 0 -1 4202560 10193 0 0 0 37 1 0 0 16 0 18 0 383341604 7652704256 610765 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 7 0 0 0
[pid=7072/tid=7105] ppid=7070 vsize=7473344 CPUtime=0 cores=5,7
/proc/7072/task/7105/stat : 7105 (java) S 7070 7072 6540 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 383341604 7652704256 610765 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7106] ppid=7070 vsize=7473344 CPUtime=0 cores=5,7
/proc/7072/task/7106/stat : 7106 (java) S 7070 7072 6540 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 18 0 383341604 7652704256 610765 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134530560 0 4 0 16800975 18446604467885179968 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1182.74
Current children cumulated vsize (KiB) 7473344
[startup+1242.3 s]
/proc/loadavg: 4.06 4.03 3.98 5/258 7151
/proc/meminfo: memFree=5767024/32951124 swapFree=67111528/67111528
[pid=7072] ppid=7070 vsize=7473344 CPUtime=1242.74 cores=5,7
/proc/7072/stat : 7072 (java) S 7070 7072 6540 0 -1 4202496 617083 0 1 0 124204 70 0 0 25 0 18 0 383341599 7652704256 610766 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/7072/statm: 1868336 610766 2197 9 0 1858820 0
[pid=7072/tid=7081] ppid=7070 vsize=7473344 CPUtime=1242.29 cores=5,7
/proc/7072/task/7081/stat : 7081 (java) R 7070 7072 6540 0 -1 4202560 603813 0 1 0 124161 68 0 0 25 0 18 0 383341599 7652704256 610766 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 46912505591008 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=7072/tid=7086] ppid=7070 vsize=7473344 CPUtime=0 cores=5,7
/proc/7072/task/7086/stat : 7086 (java) S 7070 7072 6540 0 -1 4202560 418 0 0 0 0 0 0 0 16 0 18 0 383341600 7652704256 610766 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 7 0 0 0
[pid=7072/tid=7087] ppid=7070 vsize=7473344 CPUtime=0 cores=5,7
/proc/7072/task/7087/stat : 7087 (java) S 7070 7072 6540 0 -1 4202560 215 0 0 0 0 0 0 0 16 0 18 0 383341600 7652704256 610766 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 7 0 0 0
[pid=7072/tid=7088] ppid=7070 vsize=7473344 CPUtime=0 cores=5,7
/proc/7072/task/7088/stat : 7088 (java) S 7070 7072 6540 0 -1 4202560 260 0 0 0 0 0 0 0 15 0 18 0 383341600 7652704256 610766 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 7 0 0 0
[pid=7072/tid=7089] ppid=7070 vsize=7473344 CPUtime=0 cores=5,7
/proc/7072/task/7089/stat : 7089 (java) S 7070 7072 6540 0 -1 4202560 191 0 0 0 0 0 0 0 16 0 18 0 383341600 7652704256 610766 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7090] ppid=7070 vsize=7473344 CPUtime=0 cores=5,7
/proc/7072/task/7090/stat : 7090 (java) S 7070 7072 6540 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 18 0 383341600 7652704256 610766 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 7 0 0 0
[pid=7072/tid=7091] ppid=7070 vsize=7473344 CPUtime=0 cores=5,7
/proc/7072/task/7091/stat : 7091 (java) S 7070 7072 6540 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 383341600 7652704256 610766 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 7 0 0 0
[pid=7072/tid=7092] ppid=7070 vsize=7473344 CPUtime=0 cores=5,7
/proc/7072/task/7092/stat : 7092 (java) S 7070 7072 6540 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 18 0 383341600 7652704256 610766 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 7 0 0 0
[pid=7072/tid=7093] ppid=7070 vsize=7473344 CPUtime=0 cores=5,7
/proc/7072/task/7093/stat : 7093 (java) S 7070 7072 6540 0 -1 4202560 631 0 0 0 0 0 0 0 16 0 18 0 383341600 7652704256 610766 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 7 0 0 0
[pid=7072/tid=7094] ppid=7070 vsize=7473344 CPUtime=0 cores=5,7
/proc/7072/task/7094/stat : 7094 (java) S 7070 7072 6540 0 -1 4202560 35 0 0 0 0 0 0 0 15 0 18 0 383341601 7652704256 610766 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134530560 0 0 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7095] ppid=7070 vsize=7473344 CPUtime=0 cores=5,7
/proc/7072/task/7095/stat : 7095 (java) S 7070 7072 6540 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 383341602 7652704256 610766 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7096] ppid=7070 vsize=7473344 CPUtime=0 cores=5,7
/proc/7072/task/7096/stat : 7096 (java) S 7070 7072 6540 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 18 0 383341602 7652704256 610766 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7102] ppid=7070 vsize=7473344 CPUtime=0 cores=5,7
/proc/7072/task/7102/stat : 7102 (java) S 7070 7072 6540 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 383341604 7652704256 610766 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134537649 0 4 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7103] ppid=7070 vsize=7473344 CPUtime=0.03 cores=5,7
/proc/7072/task/7103/stat : 7103 (java) S 7070 7072 6540 0 -1 4202560 129 0 0 0 3 0 0 0 18 0 18 0 383341604 7652704256 610766 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 7 0 0 0
[pid=7072/tid=7104] ppid=7070 vsize=7473344 CPUtime=0.38 cores=5,7
/proc/7072/task/7104/stat : 7104 (java) S 7070 7072 6540 0 -1 4202560 10193 0 0 0 37 1 0 0 16 0 18 0 383341604 7652704256 610766 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 7 0 0 0
[pid=7072/tid=7105] ppid=7070 vsize=7473344 CPUtime=0 cores=5,7
/proc/7072/task/7105/stat : 7105 (java) S 7070 7072 6540 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 383341604 7652704256 610766 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7106] ppid=7070 vsize=7473344 CPUtime=0 cores=5,7
/proc/7072/task/7106/stat : 7106 (java) S 7070 7072 6540 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 18 0 383341604 7652704256 610766 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134530560 0 4 0 16800975 18446604467885179968 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1242.74
Current children cumulated vsize (KiB) 7473344
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.02 4.02 3.98 3/205 7159
/proc/meminfo: memFree=10714664/32951124 swapFree=67111528/67111528
[pid=7072] ppid=7070 vsize=7473344 CPUtime=1300.45 cores=5,7
/proc/7072/stat : 7072 (java) S 7070 7072 6540 0 -1 4202496 617087 0 1 0 129975 70 0 0 25 0 18 0 383341599 7652704256 610766 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/7072/statm: 1868336 610766 2197 9 0 1858820 0
[pid=7072/tid=7081] ppid=7070 vsize=7473344 CPUtime=1300 cores=5,7
/proc/7072/task/7081/stat : 7081 (java) R 7070 7072 6540 0 -1 4202560 603813 0 1 0 129932 68 0 0 25 0 18 0 383341599 7652704256 610766 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 46912505591111 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=7072/tid=7086] ppid=7070 vsize=7473344 CPUtime=0 cores=5,7
/proc/7072/task/7086/stat : 7086 (java) S 7070 7072 6540 0 -1 4202560 418 0 0 0 0 0 0 0 16 0 18 0 383341600 7652704256 610766 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 7 0 0 0
[pid=7072/tid=7087] ppid=7070 vsize=7473344 CPUtime=0 cores=5,7
/proc/7072/task/7087/stat : 7087 (java) S 7070 7072 6540 0 -1 4202560 215 0 0 0 0 0 0 0 16 0 18 0 383341600 7652704256 610766 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 7 0 0 0
[pid=7072/tid=7088] ppid=7070 vsize=7473344 CPUtime=0 cores=5,7
/proc/7072/task/7088/stat : 7088 (java) S 7070 7072 6540 0 -1 4202560 260 0 0 0 0 0 0 0 15 0 18 0 383341600 7652704256 610766 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 7 0 0 0
[pid=7072/tid=7089] ppid=7070 vsize=7473344 CPUtime=0 cores=5,7
/proc/7072/task/7089/stat : 7089 (java) S 7070 7072 6540 0 -1 4202560 191 0 0 0 0 0 0 0 16 0 18 0 383341600 7652704256 610766 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7090] ppid=7070 vsize=7473344 CPUtime=0 cores=5,7
/proc/7072/task/7090/stat : 7090 (java) S 7070 7072 6540 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 18 0 383341600 7652704256 610766 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 7 0 0 0
[pid=7072/tid=7091] ppid=7070 vsize=7473344 CPUtime=0 cores=5,7
/proc/7072/task/7091/stat : 7091 (java) S 7070 7072 6540 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 383341600 7652704256 610766 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 7 0 0 0
[pid=7072/tid=7092] ppid=7070 vsize=7473344 CPUtime=0 cores=5,7
/proc/7072/task/7092/stat : 7092 (java) S 7070 7072 6540 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 18 0 383341600 7652704256 610766 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 7 0 0 0
[pid=7072/tid=7093] ppid=7070 vsize=7473344 CPUtime=0 cores=5,7
/proc/7072/task/7093/stat : 7093 (java) S 7070 7072 6540 0 -1 4202560 631 0 0 0 0 0 0 0 16 0 18 0 383341600 7652704256 610766 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 7 0 0 0
[pid=7072/tid=7094] ppid=7070 vsize=7473344 CPUtime=0 cores=5,7
/proc/7072/task/7094/stat : 7094 (java) S 7070 7072 6540 0 -1 4202560 35 0 0 0 0 0 0 0 15 0 18 0 383341601 7652704256 610766 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134530560 0 0 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7095] ppid=7070 vsize=7473344 CPUtime=0 cores=5,7
/proc/7072/task/7095/stat : 7095 (java) S 7070 7072 6540 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 383341602 7652704256 610766 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7096] ppid=7070 vsize=7473344 CPUtime=0 cores=5,7
/proc/7072/task/7096/stat : 7096 (java) S 7070 7072 6540 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 18 0 383341602 7652704256 610766 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7102] ppid=7070 vsize=7473344 CPUtime=0 cores=5,7
/proc/7072/task/7102/stat : 7102 (java) S 7070 7072 6540 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 383341604 7652704256 610766 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134537649 0 4 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7103] ppid=7070 vsize=7473344 CPUtime=0.03 cores=5,7
/proc/7072/task/7103/stat : 7103 (java) S 7070 7072 6540 0 -1 4202560 129 0 0 0 3 0 0 0 18 0 18 0 383341604 7652704256 610766 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 7 0 0 0
[pid=7072/tid=7104] ppid=7070 vsize=7473344 CPUtime=0.38 cores=5,7
/proc/7072/task/7104/stat : 7104 (java) S 7070 7072 6540 0 -1 4202560 10193 0 0 0 37 1 0 0 16 0 18 0 383341604 7652704256 610766 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 7 0 0 0
[pid=7072/tid=7105] ppid=7070 vsize=7473344 CPUtime=0 cores=5,7
/proc/7072/task/7105/stat : 7105 (java) S 7070 7072 6540 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 383341604 7652704256 610766 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134529945 0 4 0 16800975 18446604467885179968 0 0 -1 5 0 0 0
[pid=7072/tid=7106] ppid=7070 vsize=7473344 CPUtime=0 cores=5,7
/proc/7072/task/7106/stat : 7106 (java) S 7070 7072 6540 0 -1 4202560 78 0 0 0 0 0 0 0 15 0 18 0 383341604 7652704256 610766 33554432000 1073741824 1073778376 140736125291168 18446744073709551615 228134530560 0 4 0 16800975 18446604467885179968 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1300.45
Current children cumulated vsize (KiB) 7473344
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1300.1
CPU time (s): 1300.55
CPU user time (s): 1299.76
CPU system time (s): 0.795879
CPU usage (%): 100.035
Max. virtual memory (cumulated for all children) (KiB): 7484792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1299.76
system time used= 0.795879
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 617108
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= 26756
involuntary context switches= 16376
runsolver used 2.31865 second user time and 4.78527 second system time
The end