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-3312398-1304113393/watcher-3312398-1304113393 -o /tmp/evaluation-result-3312398-1304113393/solver-3312398-1304113393 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312398-1304113393.cnf
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: 6.33 7.70 7.83 2/194 8586
/proc/meminfo: memFree=19896668/32950904 swapFree=67082284/67111528
[pid=8586] ppid=8584 vsize=28384 CPUtime=0 cores=1,3,5,7
/proc/8586/stat : 8586 (java) S 8584 8586 8531 0 -1 4202496 1430 0 0 0 0 0 0 0 25 0 2 0 522939080 29065216 898 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290682341 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/8586/statm: 7096 898 686 9 0 381 0
[pid=8586/tid=8587] ppid=8584 vsize=30580 CPUtime=0 cores=1,3,5,7
/proc/8586/task/8587/stat : 8587 (java) R 8584 8586 8531 0 -1 4202560 100 0 0 0 0 0 0 0 25 0 2 0 522939081 31313920 926 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237273911588 0 0 4096 0 0 0 0 -1 5 0 0 0
[startup+0.0174801 s]
/proc/loadavg: 6.33 7.70 7.83 2/194 8586
/proc/meminfo: memFree=19896668/32950904 swapFree=67082284/67111528
[pid=8586] ppid=8584 vsize=15591648 CPUtime=0 cores=1,3,5,7
/proc/8586/stat : 8586 (java) S 8584 8586 8531 0 -1 4202496 3128 0 1 0 0 0 0 0 25 0 10 0 522939080 15965847552 2568 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/8586/statm: 3897912 2569 1513 9 0 3888660 0
[pid=8586/tid=8587] ppid=8584 vsize=15591648 CPUtime=0 cores=1,3,5,7
/proc/8586/task/8587/stat : 8587 (java) R 8584 8586 8531 0 -1 4202560 1762 0 1 0 0 0 0 0 25 0 10 0 522939081 15965847552 2569 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 47287252669976 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15591648
[startup+0.100467 s]
/proc/loadavg: 6.33 7.70 7.83 2/194 8586
/proc/meminfo: memFree=19896668/32950904 swapFree=67082284/67111528
[pid=8586] ppid=8584 vsize=15676416 CPUtime=0.1 cores=1,3,5,7
/proc/8586/stat : 8586 (java) S 8584 8586 8531 0 -1 4202496 5638 0 1 0 9 1 0 0 25 0 18 0 522939080 16052649984 5046 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8586/statm: 3919104 5046 2117 9 0 3909823 0
[pid=8586/tid=8587] ppid=8584 vsize=15676416 CPUtime=0.09 cores=1,3,5,7
/proc/8586/task/8587/stat : 8587 (java) R 8584 8586 8531 0 -1 4202560 3489 0 1 0 8 1 0 0 25 0 18 0 522939081 16052649984 5047 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 47287249604613 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) 15676416
[startup+0.300505 s]
/proc/loadavg: 6.33 7.70 7.83 2/194 8586
/proc/meminfo: memFree=19896668/32950904 swapFree=67082284/67111528
[pid=8586] ppid=8584 vsize=15679544 CPUtime=0.51 cores=1,3,5,7
/proc/8586/stat : 8586 (java) S 8584 8586 8531 0 -1 4202496 16305 0 1 0 49 2 0 0 25 0 18 0 522939080 16055853056 14734 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8586/statm: 3919886 14741 2206 9 0 3910605 0
[pid=8586/tid=8587] ppid=8584 vsize=15679544 CPUtime=0.28 cores=1,3,5,7
/proc/8586/task/8587/stat : 8587 (java) R 8584 8586 8531 0 -1 4202560 11186 0 1 0 27 1 0 0 25 0 18 0 522939081 16055853056 14744 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 46912505587994 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15679544
[startup+0.700364 s]
/proc/loadavg: 6.33 7.70 7.83 2/194 8586
/proc/meminfo: memFree=19896668/32950904 swapFree=67082284/67111528
[pid=8586] ppid=8584 vsize=15679544 CPUtime=0.92 cores=1,3,5,7
/proc/8586/stat : 8586 (java) S 8584 8586 8531 0 -1 4202496 41849 0 1 0 87 5 0 0 25 0 18 0 522939080 16055853056 40275 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8586/statm: 3919886 40275 2222 9 0 3910605 0
[pid=8586/tid=8587] ppid=8584 vsize=15679544 CPUtime=0.68 cores=1,3,5,7
/proc/8586/task/8587/stat : 8587 (java) R 8584 8586 8531 0 -1 4202560 35510 0 1 0 64 4 0 0 25 0 18 0 522939081 16055853056 40275 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290706379 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 15679544
[startup+1.50122 s]
/proc/loadavg: 6.33 7.70 7.83 9/216 8608
/proc/meminfo: memFree=19563180/32950904 swapFree=67082284/67111528
[pid=8586] ppid=8584 vsize=15703668 CPUtime=2.04 cores=1,3,5,7
/proc/8586/stat : 8586 (java) S 8584 8586 8531 0 -1 4202496 58052 0 1 0 196 8 0 0 25 0 22 0 522939080 16080556032 54476 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8586/statm: 3925917 54476 2260 9 0 3916636 0
[pid=8586/tid=8587] ppid=8584 vsize=15703668 CPUtime=1.48 cores=1,3,5,7
/proc/8586/task/8587/stat : 8587 (java) R 8584 8586 8531 0 -1 4202560 42878 0 1 0 142 6 0 0 25 0 22 0 522939081 16080556032 54476 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 46912505191197 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=8586/tid=8589] ppid=8584 vsize=15703668 CPUtime=0 cores=1,3,5,7
/proc/8586/task/8589/stat : 8589 (java) S 8584 8586 8531 0 -1 4202560 735 0 0 0 0 0 0 0 16 0 22 0 522939081 16080556032 54476 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 3 0 0 0
[pid=8586/tid=8590] ppid=8584 vsize=15703668 CPUtime=0 cores=1,3,5,7
/proc/8586/task/8590/stat : 8590 (java) S 8584 8586 8531 0 -1 4202560 305 0 0 0 0 0 0 0 16 0 22 0 522939081 16080556032 54476 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 7 0 0 0
[pid=8586/tid=8591] ppid=8584 vsize=15703668 CPUtime=0 cores=1,3,5,7
/proc/8586/task/8591/stat : 8591 (java) S 8584 8586 8531 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 22 0 522939081 16080556032 54476 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 1 0 0 0
[pid=8586/tid=8592] ppid=8584 vsize=15703668 CPUtime=0 cores=1,3,5,7
/proc/8586/task/8592/stat : 8592 (java) S 8584 8586 8531 0 -1 4202560 33 0 0 0 0 0 0 0 16 0 22 0 522939081 16080556032 54476 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 3 0 0 0
[pid=8586/tid=8593] ppid=8584 vsize=15703668 CPUtime=0 cores=1,3,5,7
/proc/8586/task/8593/stat : 8593 (java) S 8584 8586 8531 0 -1 4202560 24 0 0 0 0 0 0 0 16 0 22 0 522939081 16080556032 54476 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 5 0 0 0
[pid=8586/tid=8594] ppid=8584 vsize=15703668 CPUtime=0 cores=1,3,5,7
/proc/8586/task/8594/stat : 8594 (java) S 8584 8586 8531 0 -1 4202560 25 0 0 0 0 0 0 0 16 0 22 0 522939081 16080556032 54476 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 1 0 0 0
[pid=8586/tid=8595] ppid=8584 vsize=15703668 CPUtime=0 cores=1,3,5,7
/proc/8586/task/8595/stat : 8595 (java) S 8584 8586 8531 0 -1 4202560 439 0 0 0 0 0 0 0 16 0 22 0 522939081 16080556032 54476 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 5 0 0 0
[pid=8586/tid=8596] ppid=8584 vsize=15703668 CPUtime=0 cores=1,3,5,7
/proc/8586/task/8596/stat : 8596 (java) S 8584 8586 8531 0 -1 4202560 1331 0 0 0 0 0 0 0 16 0 22 0 522939081 16080556032 54476 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 7 0 0 0
[pid=8586/tid=8597] ppid=8584 vsize=15703668 CPUtime=0 cores=1,3,5,7
/proc/8586/task/8597/stat : 8597 (java) S 8584 8586 8531 0 -1 4202560 71 0 0 0 0 0 0 0 16 0 22 0 522939082 16080556032 54476 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290696192 0 0 0 16800975 18446604459479806976 0 0 -1 5 0 0 0
[pid=8586/tid=8598] ppid=8584 vsize=15703668 CPUtime=0 cores=1,3,5,7
/proc/8586/task/8598/stat : 8598 (java) S 8584 8586 8531 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 522939083 16080556032 54476 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 5 0 0 0
[pid=8586/tid=8599] ppid=8584 vsize=15703668 CPUtime=0 cores=1,3,5,7
/proc/8586/task/8599/stat : 8599 (java) S 8584 8586 8531 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 522939083 16080556032 54476 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 5 0 0 0
[pid=8586/tid=8600] ppid=8584 vsize=15703668 CPUtime=0 cores=1,3,5,7
/proc/8586/task/8600/stat : 8600 (java) S 8584 8586 8531 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522939085 16080556032 54476 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290703281 0 4 0 16800975 18446604459479806976 0 0 -1 5 0 0 0
[pid=8586/tid=8601] ppid=8584 vsize=15703668 CPUtime=0.19 cores=1,3,5,7
/proc/8586/task/8601/stat : 8601 (java) S 8584 8586 8531 0 -1 4202560 2437 0 0 0 19 0 0 0 16 0 22 0 522939085 16080556032 54476 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 1 0 0 0
[pid=8586/tid=8602] ppid=8584 vsize=15703668 CPUtime=0.33 cores=1,3,5,7
/proc/8586/task/8602/stat : 8602 (java) R 8584 8586 8531 0 -1 4202560 8301 0 0 0 33 0 0 0 16 0 22 0 522939085 16080556032 54476 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 47287250427288 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=8586/tid=8603] ppid=8584 vsize=15703668 CPUtime=0 cores=1,3,5,7
/proc/8586/task/8603/stat : 8603 (java) S 8584 8586 8531 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522939085 16080556032 54476 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 5 0 0 0
[pid=8586/tid=8604] ppid=8584 vsize=15703668 CPUtime=0 cores=1,3,5,7
/proc/8586/task/8604/stat : 8604 (java) S 8584 8586 8531 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 522939085 16080556032 54476 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290696192 0 4 0 16800975 18446604459479806976 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.04
Current children cumulated vsize (KiB) 15703668
[startup+3.10094 s]
/proc/loadavg: 6.47 7.70 7.83 8/220 8612
/proc/meminfo: memFree=19294440/32950904 swapFree=67082284/67111528
[pid=8586] ppid=8584 vsize=15718400 CPUtime=5.16 cores=1,3,5,7
/proc/8586/stat : 8586 (java) S 8584 8586 8531 0 -1 4202496 79203 0 1 0 506 10 0 0 25 0 22 0 522939080 16095641600 69224 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8586/statm: 3929600 69224 2266 9 0 3920319 0
[pid=8586/tid=8587] ppid=8584 vsize=15718400 CPUtime=3.07 cores=1,3,5,7
/proc/8586/task/8587/stat : 8587 (java) R 8584 8586 8531 0 -1 4202560 53694 0 1 0 301 6 0 0 25 0 22 0 522939081 16095641600 69224 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 46912506089352 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=8586/tid=8589] ppid=8584 vsize=15718400 CPUtime=0 cores=1,3,5,7
/proc/8586/task/8589/stat : 8589 (java) S 8584 8586 8531 0 -1 4202560 735 0 0 0 0 0 0 0 16 0 22 0 522939081 16095641600 69224 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 3 0 0 0
[pid=8586/tid=8590] ppid=8584 vsize=15718400 CPUtime=0 cores=1,3,5,7
/proc/8586/task/8590/stat : 8590 (java) S 8584 8586 8531 0 -1 4202560 305 0 0 0 0 0 0 0 16 0 22 0 522939081 16095641600 69225 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 7 0 0 0
[pid=8586/tid=8591] ppid=8584 vsize=15718400 CPUtime=0 cores=1,3,5,7
/proc/8586/task/8591/stat : 8591 (java) S 8584 8586 8531 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 22 0 522939081 16095641600 69225 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 1 0 0 0
[pid=8586/tid=8592] ppid=8584 vsize=15718400 CPUtime=0 cores=1,3,5,7
/proc/8586/task/8592/stat : 8592 (java) S 8584 8586 8531 0 -1 4202560 33 0 0 0 0 0 0 0 16 0 22 0 522939081 16095641600 69225 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 3 0 0 0
[pid=8586/tid=8593] ppid=8584 vsize=15718400 CPUtime=0 cores=1,3,5,7
/proc/8586/task/8593/stat : 8593 (java) S 8584 8586 8531 0 -1 4202560 24 0 0 0 0 0 0 0 16 0 22 0 522939081 16095641600 69225 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 5 0 0 0
[pid=8586/tid=8594] ppid=8584 vsize=15718400 CPUtime=0 cores=1,3,5,7
/proc/8586/task/8594/stat : 8594 (java) S 8584 8586 8531 0 -1 4202560 25 0 0 0 0 0 0 0 16 0 22 0 522939081 16095641600 69225 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 1 0 0 0
[pid=8586/tid=8595] ppid=8584 vsize=15718400 CPUtime=0 cores=1,3,5,7
/proc/8586/task/8595/stat : 8595 (java) S 8584 8586 8531 0 -1 4202560 439 0 0 0 0 0 0 0 16 0 22 0 522939081 16095641600 69225 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 5 0 0 0
[pid=8586/tid=8596] ppid=8584 vsize=15718400 CPUtime=0 cores=1,3,5,7
/proc/8586/task/8596/stat : 8596 (java) S 8584 8586 8531 0 -1 4202560 1331 0 0 0 0 0 0 0 16 0 22 0 522939081 16095641600 69226 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 7 0 0 0
[pid=8586/tid=8597] ppid=8584 vsize=15718400 CPUtime=0 cores=1,3,5,7
/proc/8586/task/8597/stat : 8597 (java) S 8584 8586 8531 0 -1 4202560 72 0 0 0 0 0 0 0 16 0 22 0 522939082 16095641600 69226 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290696192 0 0 0 16800975 18446604459479806976 0 0 -1 5 0 0 0
[pid=8586/tid=8598] ppid=8584 vsize=15718400 CPUtime=0 cores=1,3,5,7
/proc/8586/task/8598/stat : 8598 (java) S 8584 8586 8531 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 522939083 16095641600 69226 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 5 0 0 0
[pid=8586/tid=8599] ppid=8584 vsize=15718400 CPUtime=0 cores=1,3,5,7
/proc/8586/task/8599/stat : 8599 (java) S 8584 8586 8531 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 522939083 16095641600 69226 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 5 0 0 0
[pid=8586/tid=8600] ppid=8584 vsize=15718400 CPUtime=0 cores=1,3,5,7
/proc/8586/task/8600/stat : 8600 (java) S 8584 8586 8531 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522939085 16095641600 69226 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290703281 0 4 0 16800975 18446604459479806976 0 0 -1 5 0 0 0
[pid=8586/tid=8601] ppid=8584 vsize=15718400 CPUtime=0.44 cores=1,3,5,7
/proc/8586/task/8601/stat : 8601 (java) S 8584 8586 8531 0 -1 4202560 2527 0 0 0 44 0 0 0 15 0 22 0 522939085 16095641600 69227 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 1 0 0 0
[pid=8586/tid=8602] ppid=8584 vsize=15718400 CPUtime=1.6 cores=1,3,5,7
/proc/8586/task/8602/stat : 8602 (java) S 8584 8586 8531 0 -1 4202560 18545 0 0 0 158 2 0 0 16 0 22 0 522939085 16095641600 69227 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 7 0 0 0
[pid=8586/tid=8603] ppid=8584 vsize=15718400 CPUtime=0 cores=1,3,5,7
/proc/8586/task/8603/stat : 8603 (java) S 8584 8586 8531 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522939085 16095641600 69227 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 5 0 0 0
[pid=8586/tid=8604] ppid=8584 vsize=15718400 CPUtime=0 cores=1,3,5,7
/proc/8586/task/8604/stat : 8604 (java) S 8584 8586 8531 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 522939085 16095641600 69227 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290696192 0 4 0 16800975 18446604459479806976 0 0 -1 3 0 0 0
[pid=8586/tid=8609] ppid=8584 vsize=15718400 CPUtime=0 cores=1,3,5,7
/proc/8586/task/8609/stat : 8609 (java) S 8584 8586 8531 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 22 0 522939187 16095641600 69227 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290696192 0 4 0 16800975 18446604459479806976 0 0 -1 3 0 0 0
[pid=8586/tid=8610] ppid=8584 vsize=15718400 CPUtime=0 cores=1,3,5,7
/proc/8586/task/8610/stat : 8610 (java) S 8584 8586 8531 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 522939187 16095641600 69227 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290696192 0 4 0 16800975 18446604459479806976 0 0 -1 3 0 0 0
[pid=8586/tid=8611] ppid=8584 vsize=15718400 CPUtime=0 cores=1,3,5,7
/proc/8586/task/8611/stat : 8611 (java) S 8584 8586 8531 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 522939187 16095641600 69228 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290696192 0 4 0 16800975 18446604459479806976 0 0 -1 3 0 0 0
[pid=8586/tid=8612] ppid=8584 vsize=15718400 CPUtime=0 cores=1,3,5,7
/proc/8586/task/8612/stat : 8612 (java) S 8584 8586 8531 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 522939187 16095641600 69228 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290696192 0 4 0 16800975 18446604459479806976 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.16
Current children cumulated vsize (KiB) 15718400
[startup+6.30137 s]
/proc/loadavg: 6.47 7.70 7.83 8/220 8612
/proc/meminfo: memFree=18217128/32950904 swapFree=67082284/67111528
[pid=8586] ppid=8584 vsize=15718400 CPUtime=14.79 cores=1,3,5,7
/proc/8586/stat : 8586 (java) S 8584 8586 8531 0 -1 4202496 248962 0 1 0 1445 34 0 0 25 0 22 0 522939080 16095641600 238363 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8586/statm: 3929600 238363 2275 9 0 3920319 0
[pid=8586/tid=8587] ppid=8584 vsize=15718400 CPUtime=3.29 cores=1,3,5,7
/proc/8586/task/8587/stat : 8587 (java) S 8584 8586 8531 0 -1 4202560 55522 0 1 0 323 6 0 0 25 0 22 0 522939081 16095641600 238363 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 5 0 0 0
[pid=8586/tid=8589] ppid=8584 vsize=15718400 CPUtime=0.07 cores=1,3,5,7
/proc/8586/task/8589/stat : 8589 (java) S 8584 8586 8531 0 -1 4202560 11501 0 0 0 5 2 0 0 15 0 22 0 522939081 16095641600 238363 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 3 0 0 0
[pid=8586/tid=8590] ppid=8584 vsize=15718400 CPUtime=0.19 cores=1,3,5,7
/proc/8586/task/8590/stat : 8590 (java) S 8584 8586 8531 0 -1 4202560 23536 0 0 0 16 3 0 0 15 0 22 0 522939081 16095641600 238363 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 1 0 0 0
[pid=8586/tid=8591] ppid=8584 vsize=15718400 CPUtime=0.05 cores=1,3,5,7
/proc/8586/task/8591/stat : 8591 (java) R 8584 8586 8531 0 -1 4202560 7962 0 0 0 4 1 0 0 15 0 22 0 522939081 16095641600 238363 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=8586/tid=8592] ppid=8584 vsize=15718400 CPUtime=0.07 cores=1,3,5,7
/proc/8586/task/8592/stat : 8592 (java) S 8584 8586 8531 0 -1 4202560 9706 0 0 0 6 1 0 0 15 0 22 0 522939081 16095641600 238363 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 3 0 0 0
[pid=8586/tid=8593] ppid=8584 vsize=15718400 CPUtime=0.04 cores=1,3,5,7
/proc/8586/task/8593/stat : 8593 (java) S 8584 8586 8531 0 -1 4202560 7224 0 0 0 4 0 0 0 15 0 22 0 522939081 16095641600 238363 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 5 0 0 0
[pid=8586/tid=8594] ppid=8584 vsize=15718400 CPUtime=0.15 cores=1,3,5,7
/proc/8586/task/8594/stat : 8594 (java) S 8584 8586 8531 0 -1 4202560 19464 0 0 0 13 2 0 0 16 0 22 0 522939081 16095641600 238363 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 1 0 0 0
[pid=8586/tid=8595] ppid=8584 vsize=15718400 CPUtime=0.12 cores=1,3,5,7
/proc/8586/task/8595/stat : 8595 (java) S 8584 8586 8531 0 -1 4202560 15559 0 0 0 10 2 0 0 15 0 22 0 522939081 16095641600 238363 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 3 0 0 0
[pid=8586/tid=8596] ppid=8584 vsize=15718400 CPUtime=0.11 cores=1,3,5,7
/proc/8586/task/8596/stat : 8596 (java) S 8584 8586 8531 0 -1 4202560 19583 0 0 0 9 2 0 0 16 0 22 0 522939081 16095641600 238363 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 5 0 0 0
[pid=8586/tid=8597] ppid=8584 vsize=15718400 CPUtime=0 cores=1,3,5,7
/proc/8586/task/8597/stat : 8597 (java) S 8584 8586 8531 0 -1 4202560 547 0 0 0 0 0 0 0 15 0 22 0 522939082 16095641600 238363 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290696192 0 0 0 16800975 18446604459479806976 0 0 -1 1 0 0 0
[pid=8586/tid=8598] ppid=8584 vsize=15718400 CPUtime=0 cores=1,3,5,7
/proc/8586/task/8598/stat : 8598 (java) S 8584 8586 8531 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 522939083 16095641600 238363 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 5 0 0 0
[pid=8586/tid=8599] ppid=8584 vsize=15718400 CPUtime=0 cores=1,3,5,7
/proc/8586/task/8599/stat : 8599 (java) S 8584 8586 8531 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 522939083 16095641600 238363 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 5 0 0 0
[pid=8586/tid=8600] ppid=8584 vsize=15718400 CPUtime=0 cores=1,3,5,7
/proc/8586/task/8600/stat : 8600 (java) S 8584 8586 8531 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522939085 16095641600 238363 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290703281 0 4 0 16800975 18446604459479806976 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/8586/task/8593/stat : 8593 (java) S 8584 8586 8531 0 -1 4202560 376447 0 0 0 313 62 0 0 16 0 22 0 522939081 16095641600 3869928 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 7 0 0 0
[pid=8586/tid=8594] ppid=8584 vsize=15718400 CPUtime=3.17 cores=1,3,5,7
/proc/8586/task/8594/stat : 8594 (java) S 8584 8586 8531 0 -1 4202560 347886 0 0 0 262 55 0 0 16 0 22 0 522939081 16095641600 3869928 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 5 0 0 0
[pid=8586/tid=8595] ppid=8584 vsize=15718400 CPUtime=3.35 cores=1,3,5,7
/proc/8586/task/8595/stat : 8595 (java) S 8584 8586 8531 0 -1 4202560 421660 0 0 0 269 66 0 0 16 0 22 0 522939081 16095641600 3869928 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 5 0 0 0
[pid=8586/tid=8596] ppid=8584 vsize=15718400 CPUtime=2.98 cores=1,3,5,7
/proc/8586/task/8596/stat : 8596 (java) S 8584 8586 8531 0 -1 4202560 387111 0 0 0 233 65 0 0 16 0 22 0 522939081 16095641600 3869928 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 5 0 0 0
[pid=8586/tid=8597] ppid=8584 vsize=15718400 CPUtime=825.09 cores=1,3,5,7
/proc/8586/task/8597/stat : 8597 (java) R 8584 8586 8531 0 -1 4202560 692969 0 0 0 82423 86 0 0 25 0 22 0 522939082 16095641600 3869928 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 47287248910147 0 0 0 16800975 0 0 0 -1 1 0 0 0
[pid=8586/tid=8598] ppid=8584 vsize=15718400 CPUtime=0 cores=1,3,5,7
/proc/8586/task/8598/stat : 8598 (java) S 8584 8586 8531 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 522939083 16095641600 3869928 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 5 0 0 0
[pid=8586/tid=8599] ppid=8584 vsize=15718400 CPUtime=0 cores=1,3,5,7
/proc/8586/task/8599/stat : 8599 (java) S 8584 8586 8531 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 22 0 522939083 16095641600 3869928 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 1 0 0 0
[pid=8586/tid=8600] ppid=8584 vsize=15718400 CPUtime=0 cores=1,3,5,7
/proc/8586/task/8600/stat : 8600 (java) S 8584 8586 8531 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522939085 16095641600 3869928 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290703281 0 4 0 16800975 18446604459479806976 0 0 -1 5 0 0 0
[pid=8586/tid=8601] ppid=8584 vsize=15718400 CPUtime=0.82 cores=1,3,5,7
/proc/8586/task/8601/stat : 8601 (java) S 8584 8586 8531 0 -1 4202560 2600 0 0 0 82 0 0 0 15 0 22 0 522939085 16095641600 3869928 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 1 0 0 0
[pid=8586/tid=8602] ppid=8584 vsize=15718400 CPUtime=1.94 cores=1,3,5,7
/proc/8586/task/8602/stat : 8602 (java) S 8584 8586 8531 0 -1 4202560 18583 0 0 0 192 2 0 0 16 0 22 0 522939085 16095641600 3869928 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 3 0 0 0
[pid=8586/tid=8603] ppid=8584 vsize=15718400 CPUtime=0 cores=1,3,5,7
/proc/8586/task/8603/stat : 8603 (java) S 8584 8586 8531 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522939085 16095641600 3869928 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 5 0 0 0
[pid=8586/tid=8604] ppid=8584 vsize=15718400 CPUtime=0 cores=1,3,5,7
/proc/8586/task/8604/stat : 8604 (java) S 8584 8586 8531 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 22 0 522939085 16095641600 3869928 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290696192 0 4 0 16800975 18446604459479806976 0 0 -1 5 0 0 0
[pid=8586/tid=8609] ppid=8584 vsize=15718400 CPUtime=346.83 cores=1,3,5,7
/proc/8586/task/8609/stat : 8609 (java) S 8584 8586 8531 0 -1 4202560 115784 0 0 0 34664 19 0 0 16 0 22 0 522939187 16095641600 3869928 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 5 0 0 0
[pid=8586/tid=8610] ppid=8584 vsize=15718400 CPUtime=345.31 cores=1,3,5,7
/proc/8586/task/8610/stat : 8610 (java) S 8584 8586 8531 0 -1 4202560 98927 0 0 0 34517 14 0 0 15 0 22 0 522939187 16095641600 3869928 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 7 0 0 0
[pid=8586/tid=8611] ppid=8584 vsize=15718400 CPUtime=347.49 cores=1,3,5,7
/proc/8586/task/8611/stat : 8611 (java) S 8584 8586 8531 0 -1 4202560 115057 0 0 0 34730 19 0 0 15 0 22 0 522939187 16095641600 3869928 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 3 0 0 0
[pid=8586/tid=8612] ppid=8584 vsize=15718400 CPUtime=346.92 cores=1,3,5,7
/proc/8586/task/8612/stat : 8612 (java) S 8584 8586 8531 0 -1 4202560 94709 0 0 0 34679 13 0 0 15 0 22 0 522939187 16095641600 3869928 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2241.18
Current children cumulated vsize (KiB) 15718400
[startup+1242.3 s]
/proc/loadavg: 4.88 5.15 6.14 6/220 8707
/proc/meminfo: memFree=1532368/32950904 swapFree=67082284/67111528
[pid=8586] ppid=8584 vsize=15718400 CPUtime=2301.22 cores=1,3,5,7
/proc/8586/stat : 8586 (java) S 8584 8586 8531 0 -1 4202496 3911611 0 1 0 229510 612 0 0 25 0 22 0 522939080 16095641600 3869928 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8586/statm: 3929600 3869928 2294 9 0 3920319 0
[pid=8586/tid=8587] ppid=8584 vsize=15718400 CPUtime=3.29 cores=1,3,5,7
/proc/8586/task/8587/stat : 8587 (java) S 8584 8586 8531 0 -1 4202560 55522 0 1 0 323 6 0 0 25 0 22 0 522939081 16095641600 3869928 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 5 0 0 0
[pid=8586/tid=8589] ppid=8584 vsize=15718400 CPUtime=2.28 cores=1,3,5,7
/proc/8586/task/8589/stat : 8589 (java) S 8584 8586 8531 0 -1 4202560 273950 0 0 0 181 47 0 0 16 0 22 0 522939081 16095641600 3869928 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 7 0 0 0
[pid=8586/tid=8590] ppid=8584 vsize=15718400 CPUtime=2.81 cores=1,3,5,7
/proc/8586/task/8590/stat : 8590 (java) S 8584 8586 8531 0 -1 4202560 322098 0 0 0 230 51 0 0 16 0 22 0 522939081 16095641600 3869928 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 1 0 0 0
[pid=8586/tid=8591] ppid=8584 vsize=15718400 CPUtime=2 cores=1,3,5,7
/proc/8586/task/8591/stat : 8591 (java) S 8584 8586 8531 0 -1 4202560 221880 0 0 0 165 35 0 0 16 0 22 0 522939081 16095641600 3869928 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 5 0 0 0
[pid=8586/tid=8592] ppid=8584 vsize=15718400 CPUtime=3 cores=1,3,5,7
/proc/8586/task/8592/stat : 8592 (java) S 8584 8586 8531 0 -1 4202560 364522 0 0 0 239 61 0 0 16 0 22 0 522939081 16095641600 3869928 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 1 0 0 0
[pid=8586/tid=8593] ppid=8584 vsize=15718400 CPUtime=3.75 cores=1,3,5,7
/proc/8586/task/8593/stat : 8593 (java) S 8584 8586 8531 0 -1 4202560 376447 0 0 0 313 62 0 0 16 0 22 0 522939081 16095641600 3869928 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 7 0 0 0
[pid=8586/tid=8594] ppid=8584 vsize=15718400 CPUtime=3.17 cores=1,3,5,7
/proc/8586/task/8594/stat : 8594 (java) S 8584 8586 8531 0 -1 4202560 347886 0 0 0 262 55 0 0 16 0 22 0 522939081 16095641600 3869928 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 5 0 0 0
[pid=8586/tid=8595] ppid=8584 vsize=15718400 CPUtime=3.35 cores=1,3,5,7
/proc/8586/task/8595/stat : 8595 (java) S 8584 8586 8531 0 -1 4202560 421660 0 0 0 269 66 0 0 16 0 22 0 522939081 16095641600 3869928 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 5 0 0 0
[pid=8586/tid=8596] ppid=8584 vsize=15718400 CPUtime=2.98 cores=1,3,5,7
/proc/8586/task/8596/stat : 8596 (java) S 8584 8586 8531 0 -1 4202560 387111 0 0 0 233 65 0 0 16 0 22 0 522939081 16095641600 3869928 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 5 0 0 0
[pid=8586/tid=8597] ppid=8584 vsize=15718400 CPUtime=885.07 cores=1,3,5,7
/proc/8586/task/8597/stat : 8597 (java) R 8584 8586 8531 0 -1 4202560 692974 0 0 0 88419 88 0 0 25 0 22 0 522939082 16095641600 3869928 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 47287252848712 0 0 0 16800975 0 0 0 -1 1 0 0 0
[pid=8586/tid=8598] ppid=8584 vsize=15718400 CPUtime=0 cores=1,3,5,7
/proc/8586/task/8598/stat : 8598 (java) S 8584 8586 8531 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 522939083 16095641600 3869928 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 5 0 0 0
[pid=8586/tid=8599] ppid=8584 vsize=15718400 CPUtime=0 cores=1,3,5,7
/proc/8586/task/8599/stat : 8599 (java) S 8584 8586 8531 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 22 0 522939083 16095641600 3869928 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 1 0 0 0
[pid=8586/tid=8600] ppid=8584 vsize=15718400 CPUtime=0 cores=1,3,5,7
/proc/8586/task/8600/stat : 8600 (java) S 8584 8586 8531 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522939085 16095641600 3869928 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290703281 0 4 0 16800975 18446604459479806976 0 0 -1 5 0 0 0
[pid=8586/tid=8601] ppid=8584 vsize=15718400 CPUtime=0.82 cores=1,3,5,7
/proc/8586/task/8601/stat : 8601 (java) S 8584 8586 8531 0 -1 4202560 2600 0 0 0 82 0 0 0 15 0 22 0 522939085 16095641600 3869928 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 1 0 0 0
[pid=8586/tid=8602] ppid=8584 vsize=15718400 CPUtime=1.94 cores=1,3,5,7
/proc/8586/task/8602/stat : 8602 (java) S 8584 8586 8531 0 -1 4202560 18583 0 0 0 192 2 0 0 16 0 22 0 522939085 16095641600 3869928 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 3 0 0 0
[pid=8586/tid=8603] ppid=8584 vsize=15718400 CPUtime=0 cores=1,3,5,7
/proc/8586/task/8603/stat : 8603 (java) S 8584 8586 8531 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522939085 16095641600 3869928 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 5 0 0 0
[pid=8586/tid=8604] ppid=8584 vsize=15718400 CPUtime=0 cores=1,3,5,7
/proc/8586/task/8604/stat : 8604 (java) S 8584 8586 8531 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 22 0 522939085 16095641600 3869928 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290696192 0 4 0 16800975 18446604459479806976 0 0 -1 5 0 0 0
[pid=8586/tid=8609] ppid=8584 vsize=15718400 CPUtime=346.85 cores=1,3,5,7
/proc/8586/task/8609/stat : 8609 (java) S 8584 8586 8531 0 -1 4202560 115784 0 0 0 34666 19 0 0 16 0 22 0 522939187 16095641600 3869928 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 5 0 0 0
[pid=8586/tid=8610] ppid=8584 vsize=15718400 CPUtime=345.31 cores=1,3,5,7
/proc/8586/task/8610/stat : 8610 (java) S 8584 8586 8531 0 -1 4202560 99338 0 0 0 34517 14 0 0 15 0 22 0 522939187 16095641600 3869928 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 1 0 0 0
[pid=8586/tid=8611] ppid=8584 vsize=15718400 CPUtime=347.52 cores=1,3,5,7
/proc/8586/task/8611/stat : 8611 (java) S 8584 8586 8531 0 -1 4202560 115057 0 0 0 34732 20 0 0 15 0 22 0 522939187 16095641600 3869928 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 3 0 0 0
[pid=8586/tid=8612] ppid=8584 vsize=15718400 CPUtime=346.92 cores=1,3,5,7
/proc/8586/task/8612/stat : 8612 (java) S 8584 8586 8531 0 -1 4202560 94737 0 0 0 34679 13 0 0 15 0 22 0 522939187 16095641600 3869928 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2301.22
Current children cumulated vsize (KiB) 15718400
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 5.05 5.15 6.08 6/220 8709
/proc/meminfo: memFree=1003808/32950904 swapFree=67082284/67111528
[pid=8586] ppid=8584 vsize=15718400 CPUtime=2358.97 cores=1,3,5,7
/proc/8586/stat : 8586 (java) S 8584 8586 8531 0 -1 4202496 3912030 0 1 0 235283 614 0 0 25 0 22 0 522939080 16095641600 3869928 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8586/statm: 3929600 3869928 2294 9 0 3920319 0
[pid=8586/tid=8587] ppid=8584 vsize=15718400 CPUtime=3.29 cores=1,3,5,7
/proc/8586/task/8587/stat : 8587 (java) S 8584 8586 8531 0 -1 4202560 55522 0 1 0 323 6 0 0 25 0 22 0 522939081 16095641600 3869928 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 5 0 0 0
[pid=8586/tid=8589] ppid=8584 vsize=15718400 CPUtime=2.28 cores=1,3,5,7
/proc/8586/task/8589/stat : 8589 (java) S 8584 8586 8531 0 -1 4202560 273950 0 0 0 181 47 0 0 16 0 22 0 522939081 16095641600 3869928 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 7 0 0 0
[pid=8586/tid=8590] ppid=8584 vsize=15718400 CPUtime=2.81 cores=1,3,5,7
/proc/8586/task/8590/stat : 8590 (java) S 8584 8586 8531 0 -1 4202560 322098 0 0 0 230 51 0 0 16 0 22 0 522939081 16095641600 3869928 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 1 0 0 0
[pid=8586/tid=8591] ppid=8584 vsize=15718400 CPUtime=2 cores=1,3,5,7
/proc/8586/task/8591/stat : 8591 (java) S 8584 8586 8531 0 -1 4202560 221880 0 0 0 165 35 0 0 16 0 22 0 522939081 16095641600 3869928 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 5 0 0 0
[pid=8586/tid=8592] ppid=8584 vsize=15718400 CPUtime=3 cores=1,3,5,7
/proc/8586/task/8592/stat : 8592 (java) S 8584 8586 8531 0 -1 4202560 364522 0 0 0 239 61 0 0 16 0 22 0 522939081 16095641600 3869928 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 1 0 0 0
[pid=8586/tid=8593] ppid=8584 vsize=15718400 CPUtime=3.75 cores=1,3,5,7
/proc/8586/task/8593/stat : 8593 (java) S 8584 8586 8531 0 -1 4202560 376447 0 0 0 313 62 0 0 16 0 22 0 522939081 16095641600 3869928 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 7 0 0 0
[pid=8586/tid=8594] ppid=8584 vsize=15718400 CPUtime=3.17 cores=1,3,5,7
/proc/8586/task/8594/stat : 8594 (java) S 8584 8586 8531 0 -1 4202560 347886 0 0 0 262 55 0 0 16 0 22 0 522939081 16095641600 3869928 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 5 0 0 0
[pid=8586/tid=8595] ppid=8584 vsize=15718400 CPUtime=3.35 cores=1,3,5,7
/proc/8586/task/8595/stat : 8595 (java) S 8584 8586 8531 0 -1 4202560 421660 0 0 0 269 66 0 0 16 0 22 0 522939081 16095641600 3869928 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 5 0 0 0
[pid=8586/tid=8596] ppid=8584 vsize=15718400 CPUtime=2.98 cores=1,3,5,7
/proc/8586/task/8596/stat : 8596 (java) S 8584 8586 8531 0 -1 4202560 387111 0 0 0 233 65 0 0 16 0 22 0 522939081 16095641600 3869928 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 5 0 0 0
[pid=8586/tid=8597] ppid=8584 vsize=15718400 CPUtime=942.77 cores=1,3,5,7
/proc/8586/task/8597/stat : 8597 (java) R 8584 8586 8531 0 -1 4202560 692979 0 0 0 94188 89 0 0 25 0 22 0 522939082 16095641600 3869928 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 47287253195090 0 0 0 16800975 0 0 0 -1 1 0 0 0
[pid=8586/tid=8598] ppid=8584 vsize=15718400 CPUtime=0 cores=1,3,5,7
/proc/8586/task/8598/stat : 8598 (java) S 8584 8586 8531 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 522939083 16095641600 3869928 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 5 0 0 0
[pid=8586/tid=8599] ppid=8584 vsize=15718400 CPUtime=0 cores=1,3,5,7
/proc/8586/task/8599/stat : 8599 (java) S 8584 8586 8531 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 22 0 522939083 16095641600 3869928 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 1 0 0 0
[pid=8586/tid=8600] ppid=8584 vsize=15718400 CPUtime=0 cores=1,3,5,7
/proc/8586/task/8600/stat : 8600 (java) S 8584 8586 8531 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522939085 16095641600 3869928 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290703281 0 4 0 16800975 18446604459479806976 0 0 -1 5 0 0 0
[pid=8586/tid=8601] ppid=8584 vsize=15718400 CPUtime=0.82 cores=1,3,5,7
/proc/8586/task/8601/stat : 8601 (java) S 8584 8586 8531 0 -1 4202560 2600 0 0 0 82 0 0 0 15 0 22 0 522939085 16095641600 3869928 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 1 0 0 0
[pid=8586/tid=8602] ppid=8584 vsize=15718400 CPUtime=1.94 cores=1,3,5,7
/proc/8586/task/8602/stat : 8602 (java) S 8584 8586 8531 0 -1 4202560 18583 0 0 0 192 2 0 0 16 0 22 0 522939085 16095641600 3869928 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 3 0 0 0
[pid=8586/tid=8603] ppid=8584 vsize=15718400 CPUtime=0 cores=1,3,5,7
/proc/8586/task/8603/stat : 8603 (java) S 8584 8586 8531 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522939085 16095641600 3869928 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 5 0 0 0
[pid=8586/tid=8604] ppid=8584 vsize=15718400 CPUtime=0 cores=1,3,5,7
/proc/8586/task/8604/stat : 8604 (java) S 8584 8586 8531 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 22 0 522939085 16095641600 3869928 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290696192 0 4 0 16800975 18446604459479806976 0 0 -1 5 0 0 0
[pid=8586/tid=8609] ppid=8584 vsize=15718400 CPUtime=346.88 cores=1,3,5,7
/proc/8586/task/8609/stat : 8609 (java) S 8584 8586 8531 0 -1 4202560 115784 0 0 0 34668 20 0 0 16 0 22 0 522939187 16095641600 3869928 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 5 0 0 0
[pid=8586/tid=8610] ppid=8584 vsize=15718400 CPUtime=345.31 cores=1,3,5,7
/proc/8586/task/8610/stat : 8610 (java) S 8584 8586 8531 0 -1 4202560 99425 0 0 0 34517 14 0 0 15 0 22 0 522939187 16095641600 3869928 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 7 0 0 0
[pid=8586/tid=8611] ppid=8584 vsize=15718400 CPUtime=347.55 cores=1,3,5,7
/proc/8586/task/8611/stat : 8611 (java) S 8584 8586 8531 0 -1 4202560 115057 0 0 0 34734 21 0 0 15 0 22 0 522939187 16095641600 3869928 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 3 0 0 0
[pid=8586/tid=8612] ppid=8584 vsize=15718400 CPUtime=346.94 cores=1,3,5,7
/proc/8586/task/8612/stat : 8612 (java) S 8584 8586 8531 0 -1 4202560 95061 0 0 0 34680 14 0 0 15 0 22 0 522939187 16095641600 3869928 33554432000 1073741824 1073778376 140735783461744 18446744073709551615 237290695577 0 4 0 16800975 18446604459479806976 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2358.97
Current children cumulated vsize (KiB) 15718400
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -8586
[startup+1302.3 s]
/proc/loadavg: 5.05 5.15 6.08 6/221 8710
/proc/meminfo: memFree=1044564/32950904 swapFree=67082284/67111528
[pid=8586] ppid=8584 vsize=0 CPUtime=2361.28 cores=1,3,5,7
/proc/8586/stat : 8586 (java) Z 8584 8586 8531 0 -1 4203548 3912050 0 1 0 235485 643 0 0 18 0 2 0 522939080 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8586/statm: 0 0 0 0 0 0 0
[pid=8586/tid=8603] ppid=8584 vsize=0 CPUtime=0.28 cores=1,3,5,7
/proc/8586/task/8603/stat : 8603 (java) R 8584 8586 8531 0 -1 4203588 1 0 0 0 0 28 0 0 18 0 2 0 522939085 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2361.28
Current children cumulated vsize (KiB) 0
Solver just ended. Dumping a history of the last processes samples
[startup+1302.5 s]
/proc/loadavg: 5.05 5.15 6.08 6/221 8710
/proc/meminfo: memFree=1044564/32950904 swapFree=67082284/67111528
[pid=8586] ppid=8584 vsize=0 CPUtime=2361.48 cores=1,3,5,7
/proc/8586/stat : 8586 (java) Z 8584 8586 8531 0 -1 4203548 3912050 0 1 0 235485 663 0 0 18 0 2 0 522939080 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8586/statm: 0 0 0 0 0 0 0
[pid=8586/tid=8603] ppid=8584 vsize=0 CPUtime=0.48 cores=1,3,5,7
/proc/8586/task/8603/stat : 8603 (java) R 8584 8586 8531 0 -1 4203588 1 0 0 0 0 48 0 0 18 0 2 0 522939085 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2361.48
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1302.56
CPU time (s): 2361.54
CPU user time (s): 2354.85
CPU system time (s): 6.68698
CPU usage (%): 181.3
Max. virtual memory (cumulated for all children) (KiB): 15720016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2354.85
system time used= 6.68698
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3912050
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= 68447
involuntary context switches= 40249
runsolver used 2.18367 second user time and 4.98024 second system time
The end