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-3455887-1307224909/watcher-3455887-1307224909 -o /tmp/evaluation-result-3455887-1307224909/solver-3455887-1307224909 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3455887-1307224909.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: 2.23 2.09 2.02 2/506 26589
/proc/meminfo: memFree=17646080/32951124 swapFree=46575304/67111528
[pid=26589] ppid=26587 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/26589/stat : 26589 (java) S 26587 26589 25273 0 -1 4202496 2246 0 1 0 0 0 0 0 25 0 2 0 566682168 10681323520 1947 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672464869 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/26589/statm: 2607745 1960 906 9 0 2598901 0
[pid=26589/tid=26590] ppid=26587 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26590/stat : 26590 (java) R 26587 26589 25273 0 -1 4202560 5127 0 1 0 0 0 0 0 25 0 2 0 566682169 10694979584 5942 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268660356155 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0926119 s]
/proc/loadavg: 2.23 2.09 2.02 2/506 26589
/proc/meminfo: memFree=17646080/32951124 swapFree=46575304/67111528
[pid=26589] ppid=26587 vsize=10539040 CPUtime=0.08 cores=1,3,5,7
/proc/26589/stat : 26589 (java) S 26587 26589 25273 0 -1 4202496 12400 0 1 0 6 2 0 0 25 0 18 0 566682168 10791976960 12076 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26589/statm: 2634760 12088 1965 9 0 2625494 0
[pid=26589/tid=26590] ppid=26587 vsize=10539040 CPUtime=0.06 cores=1,3,5,7
/proc/26589/task/26590/stat : 26590 (java) S 26587 26589 25273 0 -1 4202560 10927 0 1 0 5 1 0 0 18 0 18 0 566682169 10791976960 12093 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672491487 0 2147483391 0 16800975 18446744071699199166 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10539040
[startup+0.111326 s]
/proc/loadavg: 2.23 2.09 2.02 2/506 26589
/proc/meminfo: memFree=17646080/32951124 swapFree=46575304/67111528
[pid=26589] ppid=26587 vsize=10540020 CPUtime=0.11 cores=1,3,5,7
/proc/26589/stat : 26589 (java) S 26587 26589 25273 0 -1 4202496 13132 0 1 0 9 2 0 0 25 0 18 0 566682168 10792980480 12788 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26589/statm: 2635005 12788 2093 9 0 2625739 0
[pid=26589/tid=26590] ppid=26587 vsize=10540020 CPUtime=0.08 cores=1,3,5,7
/proc/26589/task/26590/stat : 26590 (java) R 26587 26589 25273 0 -1 4202560 11174 0 1 0 7 1 0 0 18 0 18 0 566682169 10792980480 12788 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672488907 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540020
[startup+0.300345 s]
/proc/loadavg: 2.23 2.09 2.02 2/506 26589
/proc/meminfo: memFree=17646080/32951124 swapFree=46575304/67111528
[pid=26589] ppid=26587 vsize=10542584 CPUtime=0.48 cores=1,3,5,7
/proc/26589/stat : 26589 (java) S 26587 26589 25273 0 -1 4202496 16805 0 1 0 46 2 0 0 25 0 19 0 566682168 10795606016 15798 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26589/statm: 2635646 15799 2201 9 0 2626380 0
[pid=26589/tid=26590] ppid=26587 vsize=10542584 CPUtime=0.28 cores=1,3,5,7
/proc/26589/task/26590/stat : 26590 (java) R 26587 26589 25273 0 -1 4202560 13017 0 1 0 26 2 0 0 19 0 19 0 566682169 10795606016 15800 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 46912505596284 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10542584
[startup+0.700228 s]
/proc/loadavg: 2.23 2.09 2.02 2/506 26589
/proc/meminfo: memFree=17646080/32951124 swapFree=46575304/67111528
[pid=26589] ppid=26587 vsize=10554180 CPUtime=1.66 cores=1,3,5,7
/proc/26589/stat : 26589 (java) S 26587 26589 25273 0 -1 4202496 43301 0 1 0 161 5 0 0 25 0 19 0 566682168 10807480320 36457 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26589/statm: 2638545 36462 2220 9 0 2629279 0
[pid=26589/tid=26590] ppid=26587 vsize=10554180 CPUtime=0.67 cores=1,3,5,7
/proc/26589/task/26590/stat : 26590 (java) R 26587 26589 25273 0 -1 4202560 27414 0 1 0 64 3 0 0 19 0 19 0 566682169 10807480320 36465 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 46912505570282 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.66
Current children cumulated vsize (KiB) 10554180
[startup+1.50112 s]
/proc/loadavg: 2.23 2.09 2.02 4/525 26608
/proc/meminfo: memFree=17398184/32951124 swapFree=46575304/67111528
[pid=26589] ppid=26587 vsize=10554180 CPUtime=2.79 cores=1,3,5,7
/proc/26589/stat : 26589 (java) S 26587 26589 25273 0 -1 4202496 122073 0 1 0 265 14 0 0 25 0 19 0 566682168 10807480320 114155 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26589/statm: 2638545 114159 2225 9 0 2629279 0
[pid=26589/tid=26590] ppid=26587 vsize=10554180 CPUtime=1.47 cores=1,3,5,7
/proc/26589/task/26590/stat : 26590 (java) R 26587 26589 25273 0 -1 4202560 105710 0 1 0 136 11 0 0 18 0 19 0 566682169 10807480320 114161 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 46912505554627 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=26589/tid=26592] ppid=26587 vsize=10554180 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26592/stat : 26592 (java) S 26587 26589 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566682171 10807480320 114162 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 7 0 0 0
[pid=26589/tid=26593] ppid=26587 vsize=10554180 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26593/stat : 26593 (java) S 26587 26589 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566682171 10807480320 114164 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 3 0 0 0
[pid=26589/tid=26594] ppid=26587 vsize=10554180 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26594/stat : 26594 (java) S 26587 26589 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566682171 10807480320 114166 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 3 0 0 0
[pid=26589/tid=26595] ppid=26587 vsize=10554180 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26595/stat : 26595 (java) S 26587 26589 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566682171 10807480320 114168 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 3 0 0 0
[pid=26589/tid=26596] ppid=26587 vsize=10554180 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26596/stat : 26596 (java) S 26587 26589 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566682171 10807480320 114171 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 3 0 0 0
[pid=26589/tid=26597] ppid=26587 vsize=10554180 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26597/stat : 26597 (java) S 26587 26589 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566682171 10807480320 114174 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 3 0 0 0
[pid=26589/tid=26598] ppid=26587 vsize=10554180 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26598/stat : 26598 (java) S 26587 26589 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566682171 10807480320 114177 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 3 0 0 0
[pid=26589/tid=26599] ppid=26587 vsize=10554180 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26599/stat : 26599 (java) S 26587 26589 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566682171 10807480320 114181 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 3 0 0 0
[pid=26589/tid=26600] ppid=26587 vsize=10554180 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26600/stat : 26600 (java) S 26587 26589 25273 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 566682172 10807480320 114184 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478720 0 0 0 16800975 18446604457723085824 0 0 -1 7 0 0 0
[pid=26589/tid=26601] ppid=26587 vsize=10554180 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26601/stat : 26601 (java) S 26587 26589 25273 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 566682172 10807480320 114186 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 7 0 0 0
[pid=26589/tid=26602] ppid=26587 vsize=10554180 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26602/stat : 26602 (java) S 26587 26589 25273 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 566682172 10807480320 114189 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 7 0 0 0
[pid=26589/tid=26603] ppid=26587 vsize=10554180 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26603/stat : 26603 (java) S 26587 26589 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566682175 10807480320 114191 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672485809 0 4 0 16800975 18446604457723085824 0 0 -1 7 0 0 0
[pid=26589/tid=26604] ppid=26587 vsize=10554180 CPUtime=0.59 cores=1,3,5,7
/proc/26589/task/26604/stat : 26604 (java) S 26587 26589 25273 0 -1 4202560 5962 0 0 0 59 0 0 0 23 0 19 0 566682175 10807480320 114193 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 5 0 0 0
[pid=26589/tid=26605] ppid=26587 vsize=10554180 CPUtime=0.69 cores=1,3,5,7
/proc/26589/task/26605/stat : 26605 (java) S 26587 26589 25273 0 -1 4202560 9248 0 0 0 68 1 0 0 21 0 19 0 566682175 10807480320 114195 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 7 0 0 0
[pid=26589/tid=26606] ppid=26587 vsize=10554180 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26606/stat : 26606 (java) S 26587 26589 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566682175 10807480320 114199 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 7 0 0 0
[pid=26589/tid=26607] ppid=26587 vsize=10554180 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26607/stat : 26607 (java) S 26587 26589 25273 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 566682175 10807480320 114202 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478720 0 4 0 16800975 18446604457723085824 0 0 -1 7 0 0 0
[pid=26589/tid=26608] ppid=26587 vsize=10554180 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26608/stat : 26608 (java) S 26587 26589 25273 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 566682188 10807480320 114206 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478720 0 4 0 16800975 18446604457723085824 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.79
Current children cumulated vsize (KiB) 10554180
[startup+3.10084 s]
/proc/loadavg: 2.23 2.09 2.02 3/525 26608
/proc/meminfo: memFree=16943848/32951124 swapFree=46575304/67111528
[pid=26589] ppid=26587 vsize=10554180 CPUtime=4.4 cores=1,3,5,7
/proc/26589/stat : 26589 (java) S 26587 26589 25273 0 -1 4202496 282060 0 1 0 409 31 0 0 25 0 19 0 566682168 10807480320 274139 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26589/statm: 2638545 274142 2225 9 0 2629279 0
[pid=26589/tid=26590] ppid=26587 vsize=10554180 CPUtime=3.07 cores=1,3,5,7
/proc/26589/task/26590/stat : 26590 (java) R 26587 26589 25273 0 -1 4202560 265690 0 1 0 278 29 0 0 18 0 19 0 566682169 10807480320 274144 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 46912505565714 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=26589/tid=26592] ppid=26587 vsize=10554180 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26592/stat : 26592 (java) S 26587 26589 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566682171 10807480320 274146 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 7 0 0 0
[pid=26589/tid=26593] ppid=26587 vsize=10554180 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26593/stat : 26593 (java) S 26587 26589 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566682171 10807480320 274148 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 3 0 0 0
[pid=26589/tid=26594] ppid=26587 vsize=10554180 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26594/stat : 26594 (java) S 26587 26589 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566682171 10807480320 274149 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 3 0 0 0
[pid=26589/tid=26595] ppid=26587 vsize=10554180 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26595/stat : 26595 (java) S 26587 26589 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566682171 10807480320 274152 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 3 0 0 0
[pid=26589/tid=26596] ppid=26587 vsize=10554180 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26596/stat : 26596 (java) S 26587 26589 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566682171 10807480320 274154 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 3 0 0 0
[pid=26589/tid=26597] ppid=26587 vsize=10554180 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26597/stat : 26597 (java) S 26587 26589 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566682171 10807480320 274156 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 3 0 0 0
[pid=26589/tid=26598] ppid=26587 vsize=10554180 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26598/stat : 26598 (java) S 26587 26589 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566682171 10807480320 274158 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 3 0 0 0
[pid=26589/tid=26599] ppid=26587 vsize=10554180 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26599/stat : 26599 (java) S 26587 26589 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566682171 10807480320 274160 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 3 0 0 0
[pid=26589/tid=26600] ppid=26587 vsize=10554180 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26600/stat : 26600 (java) S 26587 26589 25273 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 566682172 10807480320 274162 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478720 0 0 0 16800975 18446604457723085824 0 0 -1 7 0 0 0
[pid=26589/tid=26601] ppid=26587 vsize=10554180 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26601/stat : 26601 (java) S 26587 26589 25273 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 566682172 10807480320 274164 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 7 0 0 0
[pid=26589/tid=26602] ppid=26587 vsize=10554180 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26602/stat : 26602 (java) S 26587 26589 25273 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 566682172 10807480320 274166 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 7 0 0 0
[pid=26589/tid=26603] ppid=26587 vsize=10554180 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26603/stat : 26603 (java) S 26587 26589 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566682175 10807480320 274168 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672485809 0 4 0 16800975 18446604457723085824 0 0 -1 7 0 0 0
[pid=26589/tid=26604] ppid=26587 vsize=10554180 CPUtime=0.59 cores=1,3,5,7
/proc/26589/task/26604/stat : 26604 (java) S 26587 26589 25273 0 -1 4202560 5962 0 0 0 59 0 0 0 18 0 19 0 566682175 10807480320 274169 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 5 0 0 0
[pid=26589/tid=26605] ppid=26587 vsize=10554180 CPUtime=0.71 cores=1,3,5,7
/proc/26589/task/26605/stat : 26605 (java) S 26587 26589 25273 0 -1 4202560 9253 0 0 0 70 1 0 0 16 0 19 0 566682175 10807480320 274171 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 7 0 0 0
[pid=26589/tid=26606] ppid=26587 vsize=10554180 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26606/stat : 26606 (java) S 26587 26589 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566682175 10807480320 274173 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 7 0 0 0
[pid=26589/tid=26607] ppid=26587 vsize=10554180 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26607/stat : 26607 (java) S 26587 26589 25273 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 566682175 10807480320 274175 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478720 0 4 0 16800975 18446604457723085824 0 0 -1 7 0 0 0
[pid=26589/tid=26608] ppid=26587 vsize=10554180 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26608/stat : 26608 (java) S 26587 26589 25273 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 566682188 10807480320 274178 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478720 0 4 0 16800975 18446604457723085824 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.4
Current children cumulated vsize (KiB) 10554180
[startup+6.30128 s]
/proc/loadavg: 2.21 2.09 2.02 3/525 26608
/proc/meminfo: memFree=15735512/32951124 swapFree=46575304/67111528
[pid=26589] ppid=26587 vsize=10551240 CPUtime=7.6 cores=1,3,5,7
/proc/26589/stat : 26589 (java) S 26587 26589 25273 0 -1 4202496 564541 0 1 0 696 64 0 0 25 0 19 0 566682168 10804469760 555885 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26589/statm: 2637810 555888 2226 9 0 2628544 0
[pid=26589/tid=26590] ppid=26587 vsize=10551240 CPUtime=6.27 cores=1,3,5,7
/proc/26589/task/26590/stat : 26590 (java) R 26587 26589 25273 0 -1 4202560 548171 0 1 0 565 62 0 0 21 0 19 0 566682169 10804469760 555890 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 46912505549313 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=26589/tid=26592] ppid=26587 vsize=10551240 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26592/stat : 26592 (java) S 26587 26589 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566682171 10804469760 555892 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 7 0 0 0
[pid=26589/tid=26593] ppid=26587 vsize=10551240 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26593/stat : 26593 (java) S 26587 26589 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566682171 10804469760 555894 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 3 0 0 0
[pid=26589/tid=26594] ppid=26587 vsize=10551240 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26594/stat : 26594 (java) S 26587 26589 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566682171 10804469760 555896 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 3 0 0 0
[pid=26589/tid=26595] ppid=26587 vsize=10551240 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26595/stat : 26595 (java) S 26587 26589 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566682171 10804469760 555898 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 3 0 0 0
[pid=26589/tid=26596] ppid=26587 vsize=10551240 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26596/stat : 26596 (java) S 26587 26589 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566682171 10804469760 555900 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 3 0 0 0
[pid=26589/tid=26597] ppid=26587 vsize=10551240 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26597/stat : 26597 (java) S 26587 26589 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566682171 10804469760 555901 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 3 0 0 0
[pid=26589/tid=26598] ppid=26587 vsize=10551240 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26598/stat : 26598 (java) S 26587 26589 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566682171 10804469760 555903 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 3 0 0 0
[pid=26589/tid=26599] ppid=26587 vsize=10551240 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26599/stat : 26599 (java) S 26587 26589 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566682171 10804469760 555905 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 3 0 0 0
[pid=26589/tid=26600] ppid=26587 vsize=10551240 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26600/stat : 26600 (java) S 26587 26589 25273 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 566682172 10804469760 555907 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478720 0 0 0 16800975 18446604457723085824 0 0 -1 7 0 0 0
[pid=26589/tid=26601] ppid=26587 vsize=10551240 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26601/stat : 26601 (java) S 26587 26589 25273 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 566682172 10804469760 555909 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 7 0 0 0
[pid=26589/tid=26602] ppid=26587 vsize=10551240 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26602/stat : 26602 (java) S 26587 26589 25273 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 566682172 10804469760 555911 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 7 0 0 0
[pid=26589/tid=26603] ppid=26587 vsize=10551240 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26603/stat : 26603 (java) S 26587 26589 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566682175 10804469760 555913 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672485809 0 4 0 16800975 18446604457723085824 0 0 -1 7 0 0 0
[pid=26589/tid=26604] ppid=26587 vsize=10551240 CPUtime=0.59 cores=1,3,5,7
/proc/26589/task/26604/stat : 26604 (java) S 26587 26589 25273 0 -1 4202560 5962 0 0 0 59 0 0 0 18 0 19 0 566682175 10804469760 555915 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 5 0 0 0
[pid=26589/tid=26605] ppid=26587 vsize=10551240 CPUtime=0.71 cores=1,3,5,7
/proc/26589/task/26605/stat : 26605 (java) S 26587 26589 25273 0 -1 4202560 9253 0 0 0 70 1 0 0 16 0 19 0 566682175 10804469760 555917 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 7 0 0 0
################
# More data... #
################
/proc/26589/task/26602/stat : 26602 (java) S 26587 26589 25273 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 566682172 10804469760 931666 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 7 0 0 0
[pid=26589/tid=26603] ppid=26587 vsize=10551240 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26603/stat : 26603 (java) S 26587 26589 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566682175 10804469760 931666 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672485809 0 4 0 16800975 18446604457723085824 0 0 -1 7 0 0 0
[pid=26589/tid=26604] ppid=26587 vsize=10551240 CPUtime=0.71 cores=1,3,5,7
/proc/26589/task/26604/stat : 26604 (java) S 26587 26589 25273 0 -1 4202560 5987 0 0 0 71 0 0 0 15 0 19 0 566682175 10804469760 931666 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 5 0 0 0
[pid=26589/tid=26605] ppid=26587 vsize=10551240 CPUtime=0.78 cores=1,3,5,7
/proc/26589/task/26605/stat : 26605 (java) S 26587 26589 25273 0 -1 4202560 9269 0 0 0 77 1 0 0 15 0 19 0 566682175 10804469760 931666 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 1 0 0 0
[pid=26589/tid=26606] ppid=26587 vsize=10551240 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26606/stat : 26606 (java) S 26587 26589 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566682175 10804469760 931666 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 7 0 0 0
[pid=26589/tid=26607] ppid=26587 vsize=10551240 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26607/stat : 26607 (java) S 26587 26589 25273 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 566682175 10804469760 931666 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478720 0 4 0 16800975 18446604457723085824 0 0 -1 5 0 0 0
[pid=26589/tid=26608] ppid=26587 vsize=10551240 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26608/stat : 26608 (java) S 26587 26589 25273 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 566682188 10804469760 931666 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478720 0 4 0 16800975 18446604457723085824 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1667.83
Current children cumulated vsize (KiB) 10551240
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/525 26840
/proc/meminfo: memFree=14762912/32951124 swapFree=46575304/67111528
[pid=26589] ppid=26587 vsize=10551240 CPUtime=1727.94 cores=1,3,5,7
/proc/26589/stat : 26589 (java) S 26587 26589 25273 0 -1 4202496 942606 0 1 0 172682 112 0 0 25 0 19 0 566682168 10804469760 932534 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26589/statm: 2637810 932534 2257 9 0 2628544 0
[pid=26589/tid=26590] ppid=26587 vsize=10551240 CPUtime=1718.91 cores=1,3,5,7
/proc/26589/task/26590/stat : 26590 (java) R 26587 26589 25273 0 -1 4202560 831026 0 1 0 171797 94 0 0 25 0 19 0 566682169 10804469760 932534 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 46912505849203 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=26589/tid=26592] ppid=26587 vsize=10551240 CPUtime=0.64 cores=1,3,5,7
/proc/26589/task/26592/stat : 26592 (java) S 26587 26589 25273 0 -1 4202560 10948 0 0 0 62 2 0 0 15 0 19 0 566682171 10804469760 932534 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 5 0 0 0
[pid=26589/tid=26593] ppid=26587 vsize=10551240 CPUtime=0.94 cores=1,3,5,7
/proc/26589/task/26593/stat : 26593 (java) S 26587 26589 25273 0 -1 4202560 10779 0 0 0 93 1 0 0 16 0 19 0 566682171 10804469760 932534 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 5 0 0 0
[pid=26589/tid=26594] ppid=26587 vsize=10551240 CPUtime=0.74 cores=1,3,5,7
/proc/26589/task/26594/stat : 26594 (java) S 26587 26589 25273 0 -1 4202560 7387 0 0 0 73 1 0 0 15 0 19 0 566682171 10804469760 932534 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 3 0 0 0
[pid=26589/tid=26595] ppid=26587 vsize=10551240 CPUtime=0.68 cores=1,3,5,7
/proc/26589/task/26595/stat : 26595 (java) S 26587 26589 25273 0 -1 4202560 9177 0 0 0 67 1 0 0 15 0 19 0 566682171 10804469760 932534 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 7 0 0 0
[pid=26589/tid=26596] ppid=26587 vsize=10551240 CPUtime=0.81 cores=1,3,5,7
/proc/26589/task/26596/stat : 26596 (java) S 26587 26589 25273 0 -1 4202560 12734 0 0 0 80 1 0 0 15 0 19 0 566682171 10804469760 932534 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 5 0 0 0
[pid=26589/tid=26597] ppid=26587 vsize=10551240 CPUtime=0.81 cores=1,3,5,7
/proc/26589/task/26597/stat : 26597 (java) S 26587 26589 25273 0 -1 4202560 11117 0 0 0 81 0 0 0 16 0 19 0 566682171 10804469760 932534 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 3 0 0 0
[pid=26589/tid=26598] ppid=26587 vsize=10551240 CPUtime=0.77 cores=1,3,5,7
/proc/26589/task/26598/stat : 26598 (java) S 26587 26589 25273 0 -1 4202560 11048 0 0 0 76 1 0 0 15 0 19 0 566682171 10804469760 932534 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 5 0 0 0
[pid=26589/tid=26599] ppid=26587 vsize=10551240 CPUtime=0.76 cores=1,3,5,7
/proc/26589/task/26599/stat : 26599 (java) S 26587 26589 25273 0 -1 4202560 11674 0 0 0 74 2 0 0 16 0 19 0 566682171 10804469760 932534 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 7 0 0 0
[pid=26589/tid=26600] ppid=26587 vsize=10551240 CPUtime=1.24 cores=1,3,5,7
/proc/26589/task/26600/stat : 26600 (java) S 26587 26589 25273 0 -1 4202560 10211 0 0 0 123 1 0 0 15 0 19 0 566682172 10804469760 932534 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478720 0 0 0 16800975 18446604457723085824 0 0 -1 1 0 0 0
[pid=26589/tid=26601] ppid=26587 vsize=10551240 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26601/stat : 26601 (java) S 26587 26589 25273 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 566682172 10804469760 932534 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 7 0 0 0
[pid=26589/tid=26602] ppid=26587 vsize=10551240 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26602/stat : 26602 (java) S 26587 26589 25273 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 566682172 10804469760 932534 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 7 0 0 0
[pid=26589/tid=26603] ppid=26587 vsize=10551240 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26603/stat : 26603 (java) S 26587 26589 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566682175 10804469760 932534 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672485809 0 4 0 16800975 18446604457723085824 0 0 -1 7 0 0 0
[pid=26589/tid=26604] ppid=26587 vsize=10551240 CPUtime=0.71 cores=1,3,5,7
/proc/26589/task/26604/stat : 26604 (java) S 26587 26589 25273 0 -1 4202560 5987 0 0 0 71 0 0 0 15 0 19 0 566682175 10804469760 932534 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 5 0 0 0
[pid=26589/tid=26605] ppid=26587 vsize=10551240 CPUtime=0.78 cores=1,3,5,7
/proc/26589/task/26605/stat : 26605 (java) S 26587 26589 25273 0 -1 4202560 9269 0 0 0 77 1 0 0 15 0 19 0 566682175 10804469760 932534 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 1 0 0 0
[pid=26589/tid=26606] ppid=26587 vsize=10551240 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26606/stat : 26606 (java) S 26587 26589 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566682175 10804469760 932534 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 7 0 0 0
[pid=26589/tid=26607] ppid=26587 vsize=10551240 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26607/stat : 26607 (java) S 26587 26589 25273 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 566682175 10804469760 932534 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478720 0 4 0 16800975 18446604457723085824 0 0 -1 5 0 0 0
[pid=26589/tid=26608] ppid=26587 vsize=10551240 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26608/stat : 26608 (java) S 26587 26589 25273 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 566682188 10804469760 932534 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478720 0 4 0 16800975 18446604457723085824 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1727.94
Current children cumulated vsize (KiB) 10551240
[startup+1782.3 s]
/proc/loadavg: 2.16 2.06 2.01 3/525 26842
/proc/meminfo: memFree=14079884/32951124 swapFree=46575304/67111528
[pid=26589] ppid=26587 vsize=10551240 CPUtime=1788.1 cores=1,3,5,7
/proc/26589/stat : 26589 (java) S 26587 26589 25273 0 -1 4202496 945069 0 1 0 178698 112 0 0 25 0 19 0 566682168 10804469760 934949 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26589/statm: 2637810 934949 2257 9 0 2628544 0
[pid=26589/tid=26590] ppid=26587 vsize=10551240 CPUtime=1778.81 cores=1,3,5,7
/proc/26589/task/26590/stat : 26590 (java) R 26587 26589 25273 0 -1 4202560 831031 0 1 0 177787 94 0 0 25 0 19 0 566682169 10804469760 934949 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 46912505552437 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=26589/tid=26592] ppid=26587 vsize=10551240 CPUtime=0.65 cores=1,3,5,7
/proc/26589/task/26592/stat : 26592 (java) S 26587 26589 25273 0 -1 4202560 11037 0 0 0 63 2 0 0 16 0 19 0 566682171 10804469760 934949 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 3 0 0 0
[pid=26589/tid=26593] ppid=26587 vsize=10551240 CPUtime=0.98 cores=1,3,5,7
/proc/26589/task/26593/stat : 26593 (java) S 26587 26589 25273 0 -1 4202560 11104 0 0 0 96 2 0 0 15 0 19 0 566682171 10804469760 934949 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 5 0 0 0
[pid=26589/tid=26594] ppid=26587 vsize=10551240 CPUtime=0.76 cores=1,3,5,7
/proc/26589/task/26594/stat : 26594 (java) S 26587 26589 25273 0 -1 4202560 7625 0 0 0 75 1 0 0 15 0 19 0 566682171 10804469760 934949 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 3 0 0 0
[pid=26589/tid=26595] ppid=26587 vsize=10551240 CPUtime=0.72 cores=1,3,5,7
/proc/26589/task/26595/stat : 26595 (java) S 26587 26589 25273 0 -1 4202560 9486 0 0 0 71 1 0 0 15 0 19 0 566682171 10804469760 934949 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 3 0 0 0
[pid=26589/tid=26596] ppid=26587 vsize=10551240 CPUtime=0.87 cores=1,3,5,7
/proc/26589/task/26596/stat : 26596 (java) S 26587 26589 25273 0 -1 4202560 12970 0 0 0 86 1 0 0 16 0 19 0 566682171 10804469760 934949 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 7 0 0 0
[pid=26589/tid=26597] ppid=26587 vsize=10551240 CPUtime=0.83 cores=1,3,5,7
/proc/26589/task/26597/stat : 26597 (java) S 26587 26589 25273 0 -1 4202560 11240 0 0 0 83 0 0 0 15 0 19 0 566682171 10804469760 934949 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 3 0 0 0
[pid=26589/tid=26598] ppid=26587 vsize=10551240 CPUtime=0.84 cores=1,3,5,7
/proc/26589/task/26598/stat : 26598 (java) S 26587 26589 25273 0 -1 4202560 12010 0 0 0 83 1 0 0 16 0 19 0 566682171 10804469760 934949 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 7 0 0 0
[pid=26589/tid=26599] ppid=26587 vsize=10551240 CPUtime=0.78 cores=1,3,5,7
/proc/26589/task/26599/stat : 26599 (java) S 26587 26589 25273 0 -1 4202560 11842 0 0 0 76 2 0 0 16 0 19 0 566682171 10804469760 934949 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 5 0 0 0
[pid=26589/tid=26600] ppid=26587 vsize=10551240 CPUtime=1.25 cores=1,3,5,7
/proc/26589/task/26600/stat : 26600 (java) S 26587 26589 25273 0 -1 4202560 10215 0 0 0 123 2 0 0 15 0 19 0 566682172 10804469760 934949 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478720 0 0 0 16800975 18446604457723085824 0 0 -1 1 0 0 0
[pid=26589/tid=26601] ppid=26587 vsize=10551240 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26601/stat : 26601 (java) S 26587 26589 25273 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 566682172 10804469760 934949 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 7 0 0 0
[pid=26589/tid=26602] ppid=26587 vsize=10551240 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26602/stat : 26602 (java) S 26587 26589 25273 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 566682172 10804469760 934949 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 7 0 0 0
[pid=26589/tid=26603] ppid=26587 vsize=10551240 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26603/stat : 26603 (java) S 26587 26589 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566682175 10804469760 934949 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672485809 0 4 0 16800975 18446604457723085824 0 0 -1 7 0 0 0
[pid=26589/tid=26604] ppid=26587 vsize=10551240 CPUtime=0.71 cores=1,3,5,7
/proc/26589/task/26604/stat : 26604 (java) S 26587 26589 25273 0 -1 4202560 5987 0 0 0 71 0 0 0 15 0 19 0 566682175 10804469760 934949 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 5 0 0 0
[pid=26589/tid=26605] ppid=26587 vsize=10551240 CPUtime=0.78 cores=1,3,5,7
/proc/26589/task/26605/stat : 26605 (java) S 26587 26589 25273 0 -1 4202560 9269 0 0 0 77 1 0 0 15 0 19 0 566682175 10804469760 934949 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 1 0 0 0
[pid=26589/tid=26606] ppid=26587 vsize=10551240 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26606/stat : 26606 (java) S 26587 26589 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566682175 10804469760 934949 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 7 0 0 0
[pid=26589/tid=26607] ppid=26587 vsize=10551240 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26607/stat : 26607 (java) S 26587 26589 25273 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 566682175 10804469760 934949 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478720 0 4 0 16800975 18446604457723085824 0 0 -1 3 0 0 0
[pid=26589/tid=26608] ppid=26587 vsize=10551240 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26608/stat : 26608 (java) S 26587 26589 25273 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 566682188 10804469760 934949 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478720 0 4 0 16800975 18446604457723085824 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1788.1
Current children cumulated vsize (KiB) 10551240
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.2 s]
/proc/loadavg: 2.12 2.05 2.01 3/525 26842
/proc/meminfo: memFree=14078516/32951124 swapFree=46575304/67111528
[pid=26589] ppid=26587 vsize=10551240 CPUtime=1800.03 cores=1,3,5,7
/proc/26589/stat : 26589 (java) S 26587 26589 25273 0 -1 4202496 945522 0 1 0 179891 112 0 0 25 0 19 0 566682168 10804469760 935393 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26589/statm: 2637810 935393 2257 9 0 2628544 0
[pid=26589/tid=26590] ppid=26587 vsize=10551240 CPUtime=1790.71 cores=1,3,5,7
/proc/26589/task/26590/stat : 26590 (java) R 26587 26589 25273 0 -1 4202560 831032 0 1 0 178977 94 0 0 25 0 19 0 566682169 10804469760 935393 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 46912505552179 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=26589/tid=26592] ppid=26587 vsize=10551240 CPUtime=0.65 cores=1,3,5,7
/proc/26589/task/26592/stat : 26592 (java) S 26587 26589 25273 0 -1 4202560 11037 0 0 0 63 2 0 0 15 0 19 0 566682171 10804469760 935393 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 3 0 0 0
[pid=26589/tid=26593] ppid=26587 vsize=10551240 CPUtime=0.98 cores=1,3,5,7
/proc/26589/task/26593/stat : 26593 (java) S 26587 26589 25273 0 -1 4202560 11104 0 0 0 96 2 0 0 15 0 19 0 566682171 10804469760 935393 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 5 0 0 0
[pid=26589/tid=26594] ppid=26587 vsize=10551240 CPUtime=0.78 cores=1,3,5,7
/proc/26589/task/26594/stat : 26594 (java) S 26587 26589 25273 0 -1 4202560 7842 0 0 0 77 1 0 0 16 0 19 0 566682171 10804469760 935393 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 3 0 0 0
[pid=26589/tid=26595] ppid=26587 vsize=10551240 CPUtime=0.73 cores=1,3,5,7
/proc/26589/task/26595/stat : 26595 (java) S 26587 26589 25273 0 -1 4202560 9592 0 0 0 72 1 0 0 16 0 19 0 566682171 10804469760 935393 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 5 0 0 0
[pid=26589/tid=26596] ppid=26587 vsize=10551240 CPUtime=0.87 cores=1,3,5,7
/proc/26589/task/26596/stat : 26596 (java) S 26587 26589 25273 0 -1 4202560 12970 0 0 0 86 1 0 0 15 0 19 0 566682171 10804469760 935393 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 7 0 0 0
[pid=26589/tid=26597] ppid=26587 vsize=10551240 CPUtime=0.83 cores=1,3,5,7
/proc/26589/task/26597/stat : 26597 (java) S 26587 26589 25273 0 -1 4202560 11240 0 0 0 83 0 0 0 15 0 19 0 566682171 10804469760 935393 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 3 0 0 0
[pid=26589/tid=26598] ppid=26587 vsize=10551240 CPUtime=0.86 cores=1,3,5,7
/proc/26589/task/26598/stat : 26598 (java) S 26587 26589 25273 0 -1 4202560 12139 0 0 0 85 1 0 0 16 0 19 0 566682171 10804469760 935393 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 7 0 0 0
[pid=26589/tid=26599] ppid=26587 vsize=10551240 CPUtime=0.78 cores=1,3,5,7
/proc/26589/task/26599/stat : 26599 (java) S 26587 26589 25273 0 -1 4202560 11842 0 0 0 76 2 0 0 15 0 19 0 566682171 10804469760 935393 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 5 0 0 0
[pid=26589/tid=26600] ppid=26587 vsize=10551240 CPUtime=1.25 cores=1,3,5,7
/proc/26589/task/26600/stat : 26600 (java) S 26587 26589 25273 0 -1 4202560 10215 0 0 0 123 2 0 0 15 0 19 0 566682172 10804469760 935393 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478720 0 0 0 16800975 18446604457723085824 0 0 -1 1 0 0 0
[pid=26589/tid=26601] ppid=26587 vsize=10551240 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26601/stat : 26601 (java) S 26587 26589 25273 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 566682172 10804469760 935393 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 7 0 0 0
[pid=26589/tid=26602] ppid=26587 vsize=10551240 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26602/stat : 26602 (java) S 26587 26589 25273 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 566682172 10804469760 935393 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 7 0 0 0
[pid=26589/tid=26603] ppid=26587 vsize=10551240 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26603/stat : 26603 (java) S 26587 26589 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566682175 10804469760 935393 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672485809 0 4 0 16800975 18446604457723085824 0 0 -1 7 0 0 0
[pid=26589/tid=26604] ppid=26587 vsize=10551240 CPUtime=0.71 cores=1,3,5,7
/proc/26589/task/26604/stat : 26604 (java) S 26587 26589 25273 0 -1 4202560 5987 0 0 0 71 0 0 0 15 0 19 0 566682175 10804469760 935393 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 5 0 0 0
[pid=26589/tid=26605] ppid=26587 vsize=10551240 CPUtime=0.78 cores=1,3,5,7
/proc/26589/task/26605/stat : 26605 (java) S 26587 26589 25273 0 -1 4202560 9269 0 0 0 77 1 0 0 15 0 19 0 566682175 10804469760 935393 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 1 0 0 0
[pid=26589/tid=26606] ppid=26587 vsize=10551240 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26606/stat : 26606 (java) S 26587 26589 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566682175 10804469760 935393 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478105 0 4 0 16800975 18446604457723085824 0 0 -1 7 0 0 0
[pid=26589/tid=26607] ppid=26587 vsize=10551240 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26607/stat : 26607 (java) S 26587 26589 25273 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 566682175 10804469760 935393 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478720 0 4 0 16800975 18446604457723085824 0 0 -1 3 0 0 0
[pid=26589/tid=26608] ppid=26587 vsize=10551240 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26608/stat : 26608 (java) S 26587 26589 25273 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 566682188 10804469760 935393 33554432000 1073741824 1073778376 140733195137168 18446744073709551615 268672478720 0 4 0 16800975 18446604457723085824 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 10551240
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1794.32 s]
/proc/loadavg: 2.12 2.05 2.01 3/525 26842
/proc/meminfo: memFree=14078516/32951124 swapFree=46575304/67111528
[pid=26589] ppid=26587 vsize=0 CPUtime=1800.17 cores=1,3,5,7
/proc/26589/stat : 26589 (java) Z 26587 26589 25273 0 -1 4203548 945561 0 1 0 179898 119 0 0 17 0 2 0 566682168 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26589/statm: 0 0 0 0 0 0 0
[pid=26589/tid=26608] ppid=26587 vsize=0 CPUtime=0.06 cores=1,3,5,7
/proc/26589/task/26608/stat : 26608 (java) R 26587 26589 25273 0 -1 4203588 7 0 0 0 0 6 0 0 18 0 2 0 566682188 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1794.39
CPU time (s): 1800.24
CPU user time (s): 1798.98
CPU system time (s): 1.26381
CPU usage (%): 100.326
Max. virtual memory (cumulated for all children) (KiB): 10556956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.98
system time used= 1.26381
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 945561
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= 40932
involuntary context switches= 46986
runsolver used 8.80166 second user time and 20.6029 second system time
The end