runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3456664-1307215873/watcher-3456664-1307215873 -o /tmp/evaluation-result-3456664-1307215873/solver-3456664-1307215873 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456664-1307215873.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 0.00 0.00 0.00 1/483 25301
/proc/meminfo: memFree=21372884/32951124 swapFree=46575304/67111528
[pid=25301] ppid=25299 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/25301/stat : 25301 (java) S 25299 25301 25273 0 -1 4202496 2686 0 1 0 0 0 0 0 23 0 2 0 565778564 10681323520 2388 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672464869 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/25301/statm: 2607745 2399 906 9 0 2598901 0
[pid=25301/tid=25302] ppid=25299 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25302/stat : 25302 (java) R 25299 25301 25273 0 -1 4202560 5583 0 1 0 0 0 0 0 25 0 2 0 565778565 10694979584 6400 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268660356155 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0422241 s]
/proc/loadavg: 0.00 0.00 0.00 1/483 25301
/proc/meminfo: memFree=21372884/32951124 swapFree=46575304/67111528
[pid=25301] ppid=25299 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/25301/stat : 25301 (java) S 25299 25301 25273 0 -1 4202496 11180 0 1 0 2 1 0 0 23 0 13 0 565778564 10718699520 10878 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672464869 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/25301/statm: 2616870 10880 1659 9 0 2607618 0
[pid=25301/tid=25302] ppid=25299 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/25301/task/25302/stat : 25302 (java) R 25299 25301 25273 0 -1 4202560 10036 0 1 0 2 1 0 0 25 0 13 0 565778565 10718699520 10880 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 47362559759896 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480
[startup+0.101212 s]
/proc/loadavg: 0.00 0.00 0.00 1/483 25301
/proc/meminfo: memFree=21372884/32951124 swapFree=46575304/67111528
[pid=25301] ppid=25299 vsize=10539792 CPUtime=0.1 cores=1,3,5,7
/proc/25301/stat : 25301 (java) S 25299 25301 25273 0 -1 4202496 13031 0 1 0 8 2 0 0 23 0 18 0 565778564 10792747008 12727 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25301/statm: 2634948 12727 2093 9 0 2625682 0
[pid=25301/tid=25302] ppid=25299 vsize=10539792 CPUtime=0.08 cores=1,3,5,7
/proc/25301/task/25302/stat : 25302 (java) R 25299 25301 25273 0 -1 4202560 11102 0 1 0 7 1 0 0 22 0 18 0 565778565 10792747008 12727 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 46912496203414 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) 10539792
[startup+0.311106 s]
/proc/loadavg: 0.00 0.00 0.00 1/483 25301
/proc/meminfo: memFree=21372884/32951124 swapFree=46575304/67111528
[pid=25301] ppid=25299 vsize=10541984 CPUtime=0.51 cores=1,3,5,7
/proc/25301/stat : 25301 (java) S 25299 25301 25273 0 -1 4202496 16211 0 1 0 49 2 0 0 23 0 19 0 565778564 10794991616 15326 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25301/statm: 2635496 15326 2210 9 0 2626230 0
[pid=25301/tid=25302] ppid=25299 vsize=10541984 CPUtime=0.29 cores=1,3,5,7
/proc/25301/task/25302/stat : 25302 (java) R 25299 25301 25273 0 -1 4202560 12984 0 1 0 28 1 0 0 23 0 19 0 565778565 10794991616 15326 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 47362561194835 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) 10541984
[startup+0.701103 s]
/proc/loadavg: 0.00 0.00 0.00 1/483 25301
/proc/meminfo: memFree=21372884/32951124 swapFree=46575304/67111528
[pid=25301] ppid=25299 vsize=10553116 CPUtime=1.62 cores=1,3,5,7
/proc/25301/stat : 25301 (java) S 25299 25301 25273 0 -1 4202496 41703 0 1 0 158 4 0 0 23 0 19 0 565778564 10806390784 38208 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25301/statm: 2638279 38211 2224 9 0 2629013 0
[pid=25301/tid=25302] ppid=25299 vsize=10553116 CPUtime=0.68 cores=1,3,5,7
/proc/25301/task/25302/stat : 25302 (java) R 25299 25301 25273 0 -1 4202560 30369 0 1 0 65 3 0 0 24 0 19 0 565778565 10806390784 38214 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 46912505718526 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 10553116
[startup+1.50094 s]
/proc/loadavg: 0.00 0.00 0.00 5/525 25348
/proc/meminfo: memFree=20985724/32951124 swapFree=46575304/67111528
[pid=25301] ppid=25299 vsize=10553116 CPUtime=2.77 cores=1,3,5,7
/proc/25301/stat : 25301 (java) S 25299 25301 25273 0 -1 4202496 125947 0 1 0 263 14 0 0 23 0 19 0 565778564 10806390784 122450 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25301/statm: 2638279 122454 2227 9 0 2629013 0
[pid=25301/tid=25302] ppid=25299 vsize=10553116 CPUtime=1.48 cores=1,3,5,7
/proc/25301/task/25302/stat : 25302 (java) R 25299 25301 25273 0 -1 4202560 114560 0 1 0 135 13 0 0 18 0 19 0 565778565 10806390784 122455 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 46912505655648 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25301/tid=25304] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25304/stat : 25304 (java) S 25299 25301 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 565778567 10806390784 122457 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 7 0 0 0
[pid=25301/tid=25305] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25305/stat : 25305 (java) S 25299 25301 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 565778567 10806390784 122458 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 7 0 0 0
[pid=25301/tid=25306] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25306/stat : 25306 (java) S 25299 25301 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 565778567 10806390784 122460 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 7 0 0 0
[pid=25301/tid=25307] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25307/stat : 25307 (java) S 25299 25301 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 565778567 10806390784 122462 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 7 0 0 0
[pid=25301/tid=25308] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25308/stat : 25308 (java) S 25299 25301 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 565778567 10806390784 122465 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 7 0 0 0
[pid=25301/tid=25309] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25309/stat : 25309 (java) S 25299 25301 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 565778567 10806390784 122467 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 7 0 0 0
[pid=25301/tid=25310] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25310/stat : 25310 (java) S 25299 25301 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 565778567 10806390784 122469 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 7 0 0 0
[pid=25301/tid=25311] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25311/stat : 25311 (java) S 25299 25301 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 565778567 10806390784 122472 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 7 0 0 0
[pid=25301/tid=25312] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25312/stat : 25312 (java) S 25299 25301 25273 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 565778568 10806390784 122475 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478720 0 0 0 16800975 18446604465715562624 0 0 -1 7 0 0 0
[pid=25301/tid=25313] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25313/stat : 25313 (java) S 25299 25301 25273 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 565778568 10806390784 122477 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 3 0 0 0
[pid=25301/tid=25314] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25314/stat : 25314 (java) S 25299 25301 25273 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 565778568 10806390784 122480 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 3 0 0 0
[pid=25301/tid=25315] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25315/stat : 25315 (java) S 25299 25301 25273 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 565778570 10806390784 122482 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672485809 0 4 0 16800975 18446604465715562624 0 0 -1 3 0 0 0
[pid=25301/tid=25316] ppid=25299 vsize=10553116 CPUtime=0.64 cores=1,3,5,7
/proc/25301/task/25316/stat : 25316 (java) S 25299 25301 25273 0 -1 4202560 5852 0 0 0 64 0 0 0 15 0 19 0 565778570 10806390784 122485 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 3 0 0 0
[pid=25301/tid=25317] ppid=25299 vsize=10553116 CPUtime=0.63 cores=1,3,5,7
/proc/25301/task/25317/stat : 25317 (java) S 25299 25301 25273 0 -1 4202560 4380 0 0 0 63 0 0 0 16 0 19 0 565778570 10806390784 122488 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 1 0 0 0
[pid=25301/tid=25318] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25318/stat : 25318 (java) S 25299 25301 25273 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 565778570 10806390784 122491 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 3 0 0 0
[pid=25301/tid=25319] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25319/stat : 25319 (java) S 25299 25301 25273 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 565778570 10806390784 122494 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478720 0 4 0 16800975 18446604465715562624 0 0 -1 7 0 0 0
[pid=25301/tid=25320] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25320/stat : 25320 (java) S 25299 25301 25273 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 565778594 10806390784 122497 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478720 0 4 0 16800975 18446604465715562624 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 10553116
[startup+3.10066 s]
/proc/loadavg: 0.00 0.00 0.00 3/525 25348
/proc/meminfo: memFree=20069860/32951124 swapFree=46575304/67111528
[pid=25301] ppid=25299 vsize=10553116 CPUtime=4.39 cores=1,3,5,7
/proc/25301/stat : 25301 (java) S 25299 25301 25273 0 -1 4202496 294151 0 1 0 405 34 0 0 23 0 19 0 565778564 10806390784 290654 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25301/statm: 2638279 290658 2227 9 0 2629013 0
[pid=25301/tid=25302] ppid=25299 vsize=10553116 CPUtime=3.08 cores=1,3,5,7
/proc/25301/task/25302/stat : 25302 (java) R 25299 25301 25273 0 -1 4202560 282766 0 1 0 275 33 0 0 19 0 19 0 565778565 10806390784 290660 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 46912505718800 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25301/tid=25304] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25304/stat : 25304 (java) S 25299 25301 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 565778567 10806390784 290663 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 7 0 0 0
[pid=25301/tid=25305] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25305/stat : 25305 (java) S 25299 25301 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 565778567 10806390784 290666 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 7 0 0 0
[pid=25301/tid=25306] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25306/stat : 25306 (java) S 25299 25301 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 565778567 10806390784 290668 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 7 0 0 0
[pid=25301/tid=25307] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25307/stat : 25307 (java) S 25299 25301 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 565778567 10806390784 290670 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 7 0 0 0
[pid=25301/tid=25308] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25308/stat : 25308 (java) S 25299 25301 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 565778567 10806390784 290673 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 7 0 0 0
[pid=25301/tid=25309] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25309/stat : 25309 (java) S 25299 25301 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 565778567 10806390784 290676 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 7 0 0 0
[pid=25301/tid=25310] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25310/stat : 25310 (java) S 25299 25301 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 565778567 10806390784 290678 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 7 0 0 0
[pid=25301/tid=25311] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25311/stat : 25311 (java) S 25299 25301 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 565778567 10806390784 290680 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 7 0 0 0
[pid=25301/tid=25312] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25312/stat : 25312 (java) S 25299 25301 25273 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 565778568 10806390784 290682 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478720 0 0 0 16800975 18446604465715562624 0 0 -1 7 0 0 0
[pid=25301/tid=25313] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25313/stat : 25313 (java) S 25299 25301 25273 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 565778568 10806390784 290684 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 3 0 0 0
[pid=25301/tid=25314] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25314/stat : 25314 (java) S 25299 25301 25273 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 565778568 10806390784 290686 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 3 0 0 0
[pid=25301/tid=25315] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25315/stat : 25315 (java) S 25299 25301 25273 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 565778570 10806390784 290688 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672485809 0 4 0 16800975 18446604465715562624 0 0 -1 3 0 0 0
[pid=25301/tid=25316] ppid=25299 vsize=10553116 CPUtime=0.64 cores=1,3,5,7
/proc/25301/task/25316/stat : 25316 (java) S 25299 25301 25273 0 -1 4202560 5852 0 0 0 64 0 0 0 15 0 19 0 565778570 10806390784 290690 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 3 0 0 0
[pid=25301/tid=25317] ppid=25299 vsize=10553116 CPUtime=0.65 cores=1,3,5,7
/proc/25301/task/25317/stat : 25317 (java) S 25299 25301 25273 0 -1 4202560 4380 0 0 0 65 0 0 0 15 0 19 0 565778570 10806390784 290692 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 1 0 0 0
[pid=25301/tid=25318] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25318/stat : 25318 (java) S 25299 25301 25273 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 565778570 10806390784 290695 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 3 0 0 0
[pid=25301/tid=25319] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25319/stat : 25319 (java) S 25299 25301 25273 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 565778570 10806390784 290698 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478720 0 4 0 16800975 18446604465715562624 0 0 -1 1 0 0 0
[pid=25301/tid=25320] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25320/stat : 25320 (java) S 25299 25301 25273 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 565778594 10806390784 290701 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478720 0 4 0 16800975 18446604465715562624 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.39
Current children cumulated vsize (KiB) 10553116
[startup+6.3011 s]
/proc/loadavg: 0.40 0.08 0.03 3/525 25348
/proc/meminfo: memFree=17399644/32951124 swapFree=46575304/67111528
[pid=25301] ppid=25299 vsize=10553116 CPUtime=7.61 cores=1,3,5,7
/proc/25301/stat : 25301 (java) S 25299 25301 25273 0 -1 4202496 615430 0 1 0 694 67 0 0 23 0 19 0 565778564 10806390784 611740 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25301/statm: 2638279 611743 2228 9 0 2629013 0
[pid=25301/tid=25302] ppid=25299 vsize=10553116 CPUtime=6.28 cores=1,3,5,7
/proc/25301/task/25302/stat : 25302 (java) R 25299 25301 25273 0 -1 4202560 604041 0 1 0 562 66 0 0 25 0 19 0 565778565 10806390784 611744 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 46912505718803 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25301/tid=25304] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25304/stat : 25304 (java) S 25299 25301 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 565778567 10806390784 611746 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 7 0 0 0
[pid=25301/tid=25305] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25305/stat : 25305 (java) S 25299 25301 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 565778567 10806390784 611749 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 7 0 0 0
[pid=25301/tid=25306] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25306/stat : 25306 (java) S 25299 25301 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 565778567 10806390784 611751 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 7 0 0 0
[pid=25301/tid=25307] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25307/stat : 25307 (java) S 25299 25301 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 565778567 10806390784 611753 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 7 0 0 0
[pid=25301/tid=25308] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25308/stat : 25308 (java) S 25299 25301 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 565778567 10806390784 611756 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 7 0 0 0
[pid=25301/tid=25309] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25309/stat : 25309 (java) S 25299 25301 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 565778567 10806390784 611758 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 7 0 0 0
[pid=25301/tid=25310] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25310/stat : 25310 (java) S 25299 25301 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 565778567 10806390784 611760 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 7 0 0 0
[pid=25301/tid=25311] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25311/stat : 25311 (java) S 25299 25301 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 565778567 10806390784 611762 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 7 0 0 0
[pid=25301/tid=25312] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25312/stat : 25312 (java) S 25299 25301 25273 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 565778568 10806390784 611764 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478720 0 0 0 16800975 18446604465715562624 0 0 -1 7 0 0 0
[pid=25301/tid=25313] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25313/stat : 25313 (java) S 25299 25301 25273 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 565778568 10806390784 611766 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 3 0 0 0
[pid=25301/tid=25314] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25314/stat : 25314 (java) S 25299 25301 25273 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 565778568 10806390784 611768 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 3 0 0 0
[pid=25301/tid=25315] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25315/stat : 25315 (java) S 25299 25301 25273 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 565778570 10806390784 611770 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672485809 0 4 0 16800975 18446604465715562624 0 0 -1 3 0 0 0
[pid=25301/tid=25316] ppid=25299 vsize=10553116 CPUtime=0.64 cores=1,3,5,7
/proc/25301/task/25316/stat : 25316 (java) S 25299 25301 25273 0 -1 4202560 5852 0 0 0 64 0 0 0 15 0 19 0 565778570 10806390784 611773 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 3 0 0 0
[pid=25301/tid=25317] ppid=25299 vsize=10553116 CPUtime=0.66 cores=1,3,5,7
/proc/25301/task/25317/stat : 25317 (java) S 25299 25301 25273 0 -1 4202560 4381 0 0 0 66 0 0 0 15 0 19 0 565778570 10806390784 611775 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/25301/task/25314/stat : 25314 (java) S 25299 25301 25273 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 565778568 10806390784 912794 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 3 0 0 0
[pid=25301/tid=25315] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25315/stat : 25315 (java) S 25299 25301 25273 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 565778570 10806390784 912794 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672485809 0 4 0 16800975 18446604465715562624 0 0 -1 3 0 0 0
[pid=25301/tid=25316] ppid=25299 vsize=10553116 CPUtime=0.74 cores=1,3,5,7
/proc/25301/task/25316/stat : 25316 (java) S 25299 25301 25273 0 -1 4202560 5873 0 0 0 74 0 0 0 16 0 19 0 565778570 10806390784 912794 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 3 0 0 0
[pid=25301/tid=25317] ppid=25299 vsize=10553116 CPUtime=0.84 cores=1,3,5,7
/proc/25301/task/25317/stat : 25317 (java) S 25299 25301 25273 0 -1 4202560 4427 0 0 0 84 0 0 0 15 0 19 0 565778570 10806390784 912794 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 1 0 0 0
[pid=25301/tid=25318] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25318/stat : 25318 (java) S 25299 25301 25273 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 565778570 10806390784 912794 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 3 0 0 0
[pid=25301/tid=25319] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25319/stat : 25319 (java) S 25299 25301 25273 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 565778570 10806390784 912794 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478720 0 4 0 16800975 18446604465715562624 0 0 -1 5 0 0 0
[pid=25301/tid=25320] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25320/stat : 25320 (java) S 25299 25301 25273 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 565778594 10806390784 912794 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478720 0 4 0 16800975 18446604465715562624 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1666.91
Current children cumulated vsize (KiB) 10553116
[startup+1722.3 s]
/proc/loadavg: 2.09 2.03 1.69 3/525 25397
/proc/meminfo: memFree=14047528/32951124 swapFree=46575304/67111528
[pid=25301] ppid=25299 vsize=10553116 CPUtime=1727.03 cores=1,3,5,7
/proc/25301/stat : 25301 (java) S 25299 25301 25273 0 -1 4202496 917456 0 1 0 172600 103 0 0 23 0 19 0 565778564 10806390784 912832 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25301/statm: 2638279 912832 2259 9 0 2629013 0
[pid=25301/tid=25302] ppid=25299 vsize=10553116 CPUtime=1719.87 cores=1,3,5,7
/proc/25301/task/25302/stat : 25302 (java) R 25299 25301 25273 0 -1 4202560 837308 0 1 0 171897 90 0 0 25 0 19 0 565778565 10806390784 912832 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 46912505815550 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25301/tid=25304] ppid=25299 vsize=10553116 CPUtime=0.55 cores=1,3,5,7
/proc/25301/task/25304/stat : 25304 (java) S 25299 25301 25273 0 -1 4202560 8237 0 0 0 54 1 0 0 15 0 19 0 565778567 10806390784 912832 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 1 0 0 0
[pid=25301/tid=25305] ppid=25299 vsize=10553116 CPUtime=0.55 cores=1,3,5,7
/proc/25301/task/25305/stat : 25305 (java) S 25299 25301 25273 0 -1 4202560 5284 0 0 0 55 0 0 0 16 0 19 0 565778567 10806390784 912832 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 1 0 0 0
[pid=25301/tid=25306] ppid=25299 vsize=10553116 CPUtime=0.56 cores=1,3,5,7
/proc/25301/task/25306/stat : 25306 (java) S 25299 25301 25273 0 -1 4202560 8765 0 0 0 56 0 0 0 16 0 19 0 565778567 10806390784 912832 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 3 0 0 0
[pid=25301/tid=25307] ppid=25299 vsize=10553116 CPUtime=0.58 cores=1,3,5,7
/proc/25301/task/25307/stat : 25307 (java) S 25299 25301 25273 0 -1 4202560 5504 0 0 0 58 0 0 0 15 0 19 0 565778567 10806390784 912832 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 7 0 0 0
[pid=25301/tid=25308] ppid=25299 vsize=10553116 CPUtime=0.55 cores=1,3,5,7
/proc/25301/task/25308/stat : 25308 (java) S 25299 25301 25273 0 -1 4202560 7425 0 0 0 54 1 0 0 16 0 19 0 565778567 10806390784 912832 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 1 0 0 0
[pid=25301/tid=25309] ppid=25299 vsize=10553116 CPUtime=0.69 cores=1,3,5,7
/proc/25301/task/25309/stat : 25309 (java) S 25299 25301 25273 0 -1 4202560 9942 0 0 0 68 1 0 0 16 0 19 0 565778567 10806390784 912832 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 5 0 0 0
[pid=25301/tid=25310] ppid=25299 vsize=10553116 CPUtime=0.55 cores=1,3,5,7
/proc/25301/task/25310/stat : 25310 (java) S 25299 25301 25273 0 -1 4202560 8038 0 0 0 54 1 0 0 15 0 19 0 565778567 10806390784 912832 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 3 0 0 0
[pid=25301/tid=25311] ppid=25299 vsize=10553116 CPUtime=0.55 cores=1,3,5,7
/proc/25301/task/25311/stat : 25311 (java) S 25299 25301 25273 0 -1 4202560 6569 0 0 0 54 1 0 0 15 0 19 0 565778567 10806390784 912832 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 7 0 0 0
[pid=25301/tid=25312] ppid=25299 vsize=10553116 CPUtime=0.89 cores=1,3,5,7
/proc/25301/task/25312/stat : 25312 (java) S 25299 25301 25273 0 -1 4202560 8833 0 0 0 87 2 0 0 15 0 19 0 565778568 10806390784 912832 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478720 0 0 0 16800975 18446604465715562624 0 0 -1 7 0 0 0
[pid=25301/tid=25313] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25313/stat : 25313 (java) S 25299 25301 25273 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 565778568 10806390784 912832 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 3 0 0 0
[pid=25301/tid=25314] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25314/stat : 25314 (java) S 25299 25301 25273 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 565778568 10806390784 912832 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 3 0 0 0
[pid=25301/tid=25315] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25315/stat : 25315 (java) S 25299 25301 25273 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 565778570 10806390784 912832 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672485809 0 4 0 16800975 18446604465715562624 0 0 -1 3 0 0 0
[pid=25301/tid=25316] ppid=25299 vsize=10553116 CPUtime=0.74 cores=1,3,5,7
/proc/25301/task/25316/stat : 25316 (java) S 25299 25301 25273 0 -1 4202560 5873 0 0 0 74 0 0 0 16 0 19 0 565778570 10806390784 912832 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 3 0 0 0
[pid=25301/tid=25317] ppid=25299 vsize=10553116 CPUtime=0.84 cores=1,3,5,7
/proc/25301/task/25317/stat : 25317 (java) S 25299 25301 25273 0 -1 4202560 4427 0 0 0 84 0 0 0 15 0 19 0 565778570 10806390784 912832 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 1 0 0 0
[pid=25301/tid=25318] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25318/stat : 25318 (java) S 25299 25301 25273 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 565778570 10806390784 912832 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 3 0 0 0
[pid=25301/tid=25319] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25319/stat : 25319 (java) S 25299 25301 25273 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 565778570 10806390784 912832 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478720 0 4 0 16800975 18446604465715562624 0 0 -1 5 0 0 0
[pid=25301/tid=25320] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25320/stat : 25320 (java) S 25299 25301 25273 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 565778594 10806390784 912832 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478720 0 4 0 16800975 18446604465715562624 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1727.03
Current children cumulated vsize (KiB) 10553116
[startup+1782.3 s]
/proc/loadavg: 2.21 2.07 1.72 3/525 25399
/proc/meminfo: memFree=14045848/32951124 swapFree=46575304/67111528
[pid=25301] ppid=25299 vsize=10553116 CPUtime=1787.15 cores=1,3,5,7
/proc/25301/stat : 25301 (java) S 25299 25301 25273 0 -1 4202496 917502 0 1 0 178612 103 0 0 23 0 19 0 565778564 10806390784 912870 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25301/statm: 2638279 912870 2259 9 0 2629013 0
[pid=25301/tid=25302] ppid=25299 vsize=10553116 CPUtime=1779.82 cores=1,3,5,7
/proc/25301/task/25302/stat : 25302 (java) R 25299 25301 25273 0 -1 4202560 837312 0 1 0 177892 90 0 0 25 0 19 0 565778565 10806390784 912870 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 46912505716961 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25301/tid=25304] ppid=25299 vsize=10553116 CPUtime=0.59 cores=1,3,5,7
/proc/25301/task/25304/stat : 25304 (java) S 25299 25301 25273 0 -1 4202560 8243 0 0 0 58 1 0 0 16 0 19 0 565778567 10806390784 912870 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 1 0 0 0
[pid=25301/tid=25305] ppid=25299 vsize=10553116 CPUtime=0.56 cores=1,3,5,7
/proc/25301/task/25305/stat : 25305 (java) S 25299 25301 25273 0 -1 4202560 5289 0 0 0 56 0 0 0 15 0 19 0 565778567 10806390784 912870 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 1 0 0 0
[pid=25301/tid=25306] ppid=25299 vsize=10553116 CPUtime=0.58 cores=1,3,5,7
/proc/25301/task/25306/stat : 25306 (java) S 25299 25301 25273 0 -1 4202560 8770 0 0 0 58 0 0 0 15 0 19 0 565778567 10806390784 912870 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 3 0 0 0
[pid=25301/tid=25307] ppid=25299 vsize=10553116 CPUtime=0.58 cores=1,3,5,7
/proc/25301/task/25307/stat : 25307 (java) S 25299 25301 25273 0 -1 4202560 5504 0 0 0 58 0 0 0 15 0 19 0 565778567 10806390784 912870 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 7 0 0 0
[pid=25301/tid=25308] ppid=25299 vsize=10553116 CPUtime=0.6 cores=1,3,5,7
/proc/25301/task/25308/stat : 25308 (java) S 25299 25301 25273 0 -1 4202560 7432 0 0 0 59 1 0 0 16 0 19 0 565778567 10806390784 912870 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 7 0 0 0
[pid=25301/tid=25309] ppid=25299 vsize=10553116 CPUtime=0.69 cores=1,3,5,7
/proc/25301/task/25309/stat : 25309 (java) S 25299 25301 25273 0 -1 4202560 9945 0 0 0 68 1 0 0 16 0 19 0 565778567 10806390784 912870 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 3 0 0 0
[pid=25301/tid=25310] ppid=25299 vsize=10553116 CPUtime=0.58 cores=1,3,5,7
/proc/25301/task/25310/stat : 25310 (java) S 25299 25301 25273 0 -1 4202560 8044 0 0 0 57 1 0 0 15 0 19 0 565778567 10806390784 912870 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 3 0 0 0
[pid=25301/tid=25311] ppid=25299 vsize=10553116 CPUtime=0.57 cores=1,3,5,7
/proc/25301/task/25311/stat : 25311 (java) S 25299 25301 25273 0 -1 4202560 6575 0 0 0 56 1 0 0 16 0 19 0 565778567 10806390784 912870 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 5 0 0 0
[pid=25301/tid=25312] ppid=25299 vsize=10553116 CPUtime=0.89 cores=1,3,5,7
/proc/25301/task/25312/stat : 25312 (java) S 25299 25301 25273 0 -1 4202560 8835 0 0 0 87 2 0 0 15 0 19 0 565778568 10806390784 912870 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478720 0 0 0 16800975 18446604465715562624 0 0 -1 5 0 0 0
[pid=25301/tid=25313] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25313/stat : 25313 (java) S 25299 25301 25273 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 565778568 10806390784 912870 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 3 0 0 0
[pid=25301/tid=25314] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25314/stat : 25314 (java) S 25299 25301 25273 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 565778568 10806390784 912870 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 3 0 0 0
[pid=25301/tid=25315] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25315/stat : 25315 (java) S 25299 25301 25273 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 565778570 10806390784 912870 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672485809 0 4 0 16800975 18446604465715562624 0 0 -1 3 0 0 0
[pid=25301/tid=25316] ppid=25299 vsize=10553116 CPUtime=0.74 cores=1,3,5,7
/proc/25301/task/25316/stat : 25316 (java) S 25299 25301 25273 0 -1 4202560 5873 0 0 0 74 0 0 0 16 0 19 0 565778570 10806390784 912870 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 3 0 0 0
[pid=25301/tid=25317] ppid=25299 vsize=10553116 CPUtime=0.84 cores=1,3,5,7
/proc/25301/task/25317/stat : 25317 (java) S 25299 25301 25273 0 -1 4202560 4427 0 0 0 84 0 0 0 15 0 19 0 565778570 10806390784 912870 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 1 0 0 0
[pid=25301/tid=25318] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25318/stat : 25318 (java) S 25299 25301 25273 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 565778570 10806390784 912870 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 3 0 0 0
[pid=25301/tid=25319] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25319/stat : 25319 (java) S 25299 25301 25273 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 565778570 10806390784 912870 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478720 0 4 0 16800975 18446604465715562624 0 0 -1 5 0 0 0
[pid=25301/tid=25320] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25320/stat : 25320 (java) S 25299 25301 25273 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 565778594 10806390784 912870 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478720 0 4 0 16800975 18446604465715562624 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1787.15
Current children cumulated vsize (KiB) 10553116
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.22 s]
/proc/loadavg: 2.18 2.06 1.73 3/525 25408
/proc/meminfo: memFree=14044356/32951124 swapFree=46575304/67111528
[pid=25301] ppid=25299 vsize=10553116 CPUtime=1800.08 cores=1,3,5,7
/proc/25301/stat : 25301 (java) S 25299 25301 25273 0 -1 4202496 917504 0 1 0 179905 103 0 0 23 0 19 0 565778564 10806390784 912870 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25301/statm: 2638279 912870 2259 9 0 2629013 0
[pid=25301/tid=25302] ppid=25299 vsize=10553116 CPUtime=1792.75 cores=1,3,5,7
/proc/25301/task/25302/stat : 25302 (java) R 25299 25301 25273 0 -1 4202560 837312 0 1 0 179185 90 0 0 25 0 19 0 565778565 10806390784 912870 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 46912505815512 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25301/tid=25304] ppid=25299 vsize=10553116 CPUtime=0.59 cores=1,3,5,7
/proc/25301/task/25304/stat : 25304 (java) S 25299 25301 25273 0 -1 4202560 8243 0 0 0 58 1 0 0 16 0 19 0 565778567 10806390784 912870 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 1 0 0 0
[pid=25301/tid=25305] ppid=25299 vsize=10553116 CPUtime=0.56 cores=1,3,5,7
/proc/25301/task/25305/stat : 25305 (java) S 25299 25301 25273 0 -1 4202560 5289 0 0 0 56 0 0 0 15 0 19 0 565778567 10806390784 912870 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 1 0 0 0
[pid=25301/tid=25306] ppid=25299 vsize=10553116 CPUtime=0.58 cores=1,3,5,7
/proc/25301/task/25306/stat : 25306 (java) S 25299 25301 25273 0 -1 4202560 8770 0 0 0 58 0 0 0 15 0 19 0 565778567 10806390784 912870 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 3 0 0 0
[pid=25301/tid=25307] ppid=25299 vsize=10553116 CPUtime=0.58 cores=1,3,5,7
/proc/25301/task/25307/stat : 25307 (java) S 25299 25301 25273 0 -1 4202560 5504 0 0 0 58 0 0 0 15 0 19 0 565778567 10806390784 912870 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 7 0 0 0
[pid=25301/tid=25308] ppid=25299 vsize=10553116 CPUtime=0.6 cores=1,3,5,7
/proc/25301/task/25308/stat : 25308 (java) S 25299 25301 25273 0 -1 4202560 7432 0 0 0 59 1 0 0 16 0 19 0 565778567 10806390784 912870 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 7 0 0 0
[pid=25301/tid=25309] ppid=25299 vsize=10553116 CPUtime=0.69 cores=1,3,5,7
/proc/25301/task/25309/stat : 25309 (java) S 25299 25301 25273 0 -1 4202560 9945 0 0 0 68 1 0 0 16 0 19 0 565778567 10806390784 912870 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 3 0 0 0
[pid=25301/tid=25310] ppid=25299 vsize=10553116 CPUtime=0.58 cores=1,3,5,7
/proc/25301/task/25310/stat : 25310 (java) S 25299 25301 25273 0 -1 4202560 8044 0 0 0 57 1 0 0 15 0 19 0 565778567 10806390784 912870 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 3 0 0 0
[pid=25301/tid=25311] ppid=25299 vsize=10553116 CPUtime=0.57 cores=1,3,5,7
/proc/25301/task/25311/stat : 25311 (java) S 25299 25301 25273 0 -1 4202560 6575 0 0 0 56 1 0 0 16 0 19 0 565778567 10806390784 912870 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 5 0 0 0
[pid=25301/tid=25312] ppid=25299 vsize=10553116 CPUtime=0.89 cores=1,3,5,7
/proc/25301/task/25312/stat : 25312 (java) S 25299 25301 25273 0 -1 4202560 8835 0 0 0 87 2 0 0 15 0 19 0 565778568 10806390784 912870 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478720 0 0 0 16800975 18446604465715562624 0 0 -1 5 0 0 0
[pid=25301/tid=25313] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25313/stat : 25313 (java) S 25299 25301 25273 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 565778568 10806390784 912870 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 3 0 0 0
[pid=25301/tid=25314] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25314/stat : 25314 (java) S 25299 25301 25273 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 565778568 10806390784 912870 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 3 0 0 0
[pid=25301/tid=25315] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25315/stat : 25315 (java) S 25299 25301 25273 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 565778570 10806390784 912870 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672485809 0 4 0 16800975 18446604465715562624 0 0 -1 3 0 0 0
[pid=25301/tid=25316] ppid=25299 vsize=10553116 CPUtime=0.74 cores=1,3,5,7
/proc/25301/task/25316/stat : 25316 (java) S 25299 25301 25273 0 -1 4202560 5873 0 0 0 74 0 0 0 16 0 19 0 565778570 10806390784 912870 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 3 0 0 0
[pid=25301/tid=25317] ppid=25299 vsize=10553116 CPUtime=0.84 cores=1,3,5,7
/proc/25301/task/25317/stat : 25317 (java) S 25299 25301 25273 0 -1 4202560 4427 0 0 0 84 0 0 0 15 0 19 0 565778570 10806390784 912870 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 1 0 0 0
[pid=25301/tid=25318] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25318/stat : 25318 (java) S 25299 25301 25273 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 565778570 10806390784 912870 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478105 0 4 0 16800975 18446604465715562624 0 0 -1 3 0 0 0
[pid=25301/tid=25319] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25319/stat : 25319 (java) S 25299 25301 25273 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 565778570 10806390784 912870 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478720 0 4 0 16800975 18446604465715562624 0 0 -1 5 0 0 0
[pid=25301/tid=25320] ppid=25299 vsize=10553116 CPUtime=0 cores=1,3,5,7
/proc/25301/task/25320/stat : 25320 (java) S 25299 25301 25273 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 565778594 10806390784 912870 33554432000 1073741824 1073778376 140733778371104 18446744073709551615 268672478720 0 4 0 16800975 18446604465715562624 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 10553116
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.4 s]
/proc/loadavg: 2.18 2.06 1.73 3/525 25408
/proc/meminfo: memFree=14044356/32951124 swapFree=46575304/67111528
[pid=25301] ppid=25299 vsize=0 CPUtime=1800.26 cores=1,3,5,7
/proc/25301/stat : 25301 (java) Z 25299 25301 25273 0 -1 4203548 917541 0 1 0 179910 116 0 0 17 0 2 0 565778564 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25301/statm: 0 0 0 0 0 0 0
[pid=25301/tid=25302] ppid=25299 vsize=0 CPUtime=1792.9 cores=1,3,5,7
/proc/25301/task/25302/stat : 25302 (java) R 25299 25301 25273 0 -1 4203588 837312 0 1 0 179187 103 0 0 25 0 2 0 565778565 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1795.41
CPU time (s): 1800.28
CPU user time (s): 1799.11
CPU system time (s): 1.16882
CPU usage (%): 100.271
Max. virtual memory (cumulated for all children) (KiB): 10553116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.11
system time used= 1.16882
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 917541
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= 40624
involuntary context switches= 24111
runsolver used 8.96264 second user time and 20.4579 second system time
The end