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-3456856-1307221862/watcher-3456856-1307221862 -o /tmp/evaluation-result-3456856-1307221862/solver-3456856-1307221862 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456856-1307221862.opb
running on 4 cores: 0,2,4,6
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.01 2.04 2.00 2/542 653
/proc/meminfo: memFree=21084732/32951124 swapFree=56930356/67111528
[pid=653] ppid=651 vsize=9100 CPUtime=0 cores=0,2,4,6
/proc/653/stat : 653 (java) S 651 653 32290 0 -1 4202496 234 0 0 0 0 0 0 0 25 0 1 0 833783932 9318400 170 33554432000 1073741824 1073778376 140733855943312 18446744073709551615 218905726821 0 2147483391 4096 0 18446744071699207358 0 0 17 4 0 0 0
/proc/653/statm: 2275 170 130 9 0 67 0
[pid=653/tid=654] ppid=651 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/653/task/654/stat : 654 (java) R 651 653 32290 0 -1 4202560 5423 0 1 0 0 0 0 0 25 0 2 0 833783933 10694979584 6239 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218905424955 0 4 0 16784584 0 0 0 -1 0 0 0 0
[startup+0.032622 s]
/proc/loadavg: 2.01 2.04 2.00 2/542 653
/proc/meminfo: memFree=21084732/32951124 swapFree=56930356/67111528
[pid=653] ppid=651 vsize=10455012 CPUtime=0.02 cores=0,2,4,6
/proc/653/stat : 653 (java) S 651 653 32290 0 -1 4202496 10700 0 1 0 1 1 0 0 25 0 10 0 833783932 10705932288 10400 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917533669 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/653/statm: 2613753 10400 1513 9 0 2604501 0
[pid=653/tid=654] ppid=651 vsize=10455012 CPUtime=0.02 cores=0,2,4,6
/proc/653/task/654/stat : 654 (java) R 651 653 32290 0 -1 4202560 9579 0 1 0 1 1 0 0 25 0 10 0 833783933 10705932288 10400 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917557707 0 4 0 16784584 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10455012
[startup+0.104583 s]
/proc/loadavg: 2.01 2.04 2.00 2/542 653
/proc/meminfo: memFree=21084732/32951124 swapFree=56930356/67111528
[pid=653] ppid=651 vsize=10540684 CPUtime=0.11 cores=0,2,4,6
/proc/653/stat : 653 (java) S 651 653 32290 0 -1 4202496 13005 0 1 0 9 2 0 0 25 0 18 0 833783932 10793660416 12702 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/653/statm: 2635171 12702 2092 9 0 2625905 0
[pid=653/tid=654] ppid=651 vsize=10540684 CPUtime=0.08 cores=0,2,4,6
/proc/653/task/654/stat : 654 (java) R 651 653 32290 0 -1 4202560 11110 0 1 0 7 1 0 0 18 0 18 0 833783933 10793660416 12702 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218905423568 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540684
[startup+0.300571 s]
/proc/loadavg: 2.01 2.04 2.00 2/542 653
/proc/meminfo: memFree=21084732/32951124 swapFree=56930356/67111528
[pid=653] ppid=651 vsize=10555184 CPUtime=0.53 cores=0,2,4,6
/proc/653/stat : 653 (java) S 651 653 32290 0 -1 4202496 20072 0 1 0 50 3 0 0 25 0 19 0 833783932 10808508416 18205 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/653/statm: 2638796 18209 2197 9 0 2629530 0
[pid=653/tid=654] ppid=651 vsize=10555184 CPUtime=0.28 cores=0,2,4,6
/proc/653/task/654/stat : 654 (java) R 651 653 32290 0 -1 4202560 13394 0 1 0 26 2 0 0 18 0 19 0 833783933 10808508416 18211 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 46912505580170 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 10555184
[startup+0.7005 s]
/proc/loadavg: 2.01 2.04 2.00 2/542 653
/proc/meminfo: memFree=21084732/32951124 swapFree=56930356/67111528
[pid=653] ppid=651 vsize=10557232 CPUtime=1.64 cores=0,2,4,6
/proc/653/stat : 653 (java) S 651 653 32290 0 -1 4202496 43829 0 1 0 158 6 0 0 25 0 19 0 833783932 10810605568 40057 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/653/statm: 2639308 40063 2222 9 0 2630042 0
[pid=653/tid=654] ppid=651 vsize=10557232 CPUtime=0.68 cores=0,2,4,6
/proc/653/task/654/stat : 654 (java) R 651 653 32290 0 -1 4202560 33398 0 1 0 64 4 0 0 18 0 19 0 833783933 10810605568 40064 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 46912505535528 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 10557232
[startup+1.50135 s]
/proc/loadavg: 2.01 2.04 2.00 3/561 672
/proc/meminfo: memFree=20755928/32951124 swapFree=56930356/67111528
[pid=653] ppid=651 vsize=10557232 CPUtime=2.53 cores=0,2,4,6
/proc/653/stat : 653 (java) S 651 653 32290 0 -1 4202496 113859 0 1 0 239 14 0 0 25 0 19 0 833783932 10810605568 108930 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/653/statm: 2639308 108934 2225 9 0 2630042 0
[pid=653/tid=654] ppid=651 vsize=10557232 CPUtime=1.48 cores=0,2,4,6
/proc/653/task/654/stat : 654 (java) R 651 653 32290 0 -1 4202560 102257 0 1 0 136 12 0 0 18 0 19 0 833783933 10810605568 108936 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 46912505556562 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=653/tid=656] ppid=651 vsize=10557232 CPUtime=0 cores=0,2,4,6
/proc/653/task/656/stat : 656 (java) S 651 653 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833783935 10810605568 108939 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 0 0 0 0
[pid=653/tid=657] ppid=651 vsize=10557232 CPUtime=0 cores=0,2,4,6
/proc/653/task/657/stat : 657 (java) S 651 653 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833783935 10810605568 108940 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 0 0 0 0
[pid=653/tid=658] ppid=651 vsize=10557232 CPUtime=0 cores=0,2,4,6
/proc/653/task/658/stat : 658 (java) S 651 653 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833783935 10810605568 108942 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 0 0 0 0
[pid=653/tid=659] ppid=651 vsize=10557232 CPUtime=0 cores=0,2,4,6
/proc/653/task/659/stat : 659 (java) S 651 653 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833783935 10810605568 108944 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 0 0 0 0
[pid=653/tid=660] ppid=651 vsize=10557232 CPUtime=0 cores=0,2,4,6
/proc/653/task/660/stat : 660 (java) S 651 653 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833783935 10810605568 108945 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 0 0 0 0
[pid=653/tid=661] ppid=651 vsize=10557232 CPUtime=0 cores=0,2,4,6
/proc/653/task/661/stat : 661 (java) S 651 653 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833783935 10810605568 108947 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 0 0 0 0
[pid=653/tid=662] ppid=651 vsize=10557232 CPUtime=0 cores=0,2,4,6
/proc/653/task/662/stat : 662 (java) S 651 653 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833783935 10810605568 108948 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 0 0 0 0
[pid=653/tid=663] ppid=651 vsize=10557232 CPUtime=0 cores=0,2,4,6
/proc/653/task/663/stat : 663 (java) S 651 653 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833783935 10810605568 108950 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 0 0 0 0
[pid=653/tid=664] ppid=651 vsize=10557232 CPUtime=0 cores=0,2,4,6
/proc/653/task/664/stat : 664 (java) S 651 653 32290 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833783936 10810605568 108952 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917547520 0 0 0 16800975 18446604445755460352 0 0 -1 0 0 0 0
[pid=653/tid=665] ppid=651 vsize=10557232 CPUtime=0 cores=0,2,4,6
/proc/653/task/665/stat : 665 (java) S 651 653 32290 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833783936 10810605568 108953 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 0 0 0 0
[pid=653/tid=666] ppid=651 vsize=10557232 CPUtime=0 cores=0,2,4,6
/proc/653/task/666/stat : 666 (java) S 651 653 32290 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833783936 10810605568 108955 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 0 0 0 0
[pid=653/tid=667] ppid=651 vsize=10557232 CPUtime=0 cores=0,2,4,6
/proc/653/task/667/stat : 667 (java) S 651 653 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833783939 10810605568 108956 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917554609 0 4 0 16800975 18446604445755460352 0 0 -1 6 0 0 0
[pid=653/tid=668] ppid=651 vsize=10557232 CPUtime=0.55 cores=0,2,4,6
/proc/653/task/668/stat : 668 (java) S 651 653 32290 0 -1 4202560 5687 0 0 0 54 1 0 0 15 0 19 0 833783939 10810605568 108958 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 6 0 0 0
[pid=653/tid=669] ppid=651 vsize=10557232 CPUtime=0.48 cores=0,2,4,6
/proc/653/task/669/stat : 669 (java) S 651 653 32290 0 -1 4202560 4762 0 0 0 48 0 0 0 21 0 19 0 833783939 10810605568 108959 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 2 0 0 0
[pid=653/tid=670] ppid=651 vsize=10557232 CPUtime=0 cores=0,2,4,6
/proc/653/task/670/stat : 670 (java) S 651 653 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833783939 10810605568 108961 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 6 0 0 0
[pid=653/tid=671] ppid=651 vsize=10557232 CPUtime=0 cores=0,2,4,6
/proc/653/task/671/stat : 671 (java) S 651 653 32290 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833783939 10810605568 108962 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917547520 0 4 0 16800975 18446604445755460352 0 0 -1 0 0 0 0
[pid=653/tid=672] ppid=651 vsize=10557232 CPUtime=0 cores=0,2,4,6
/proc/653/task/672/stat : 672 (java) S 651 653 32290 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833783949 10810605568 108964 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917547520 0 4 0 16800975 18446604445755460352 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.53
Current children cumulated vsize (KiB) 10557232
[startup+3.10107 s]
/proc/loadavg: 2.01 2.04 2.00 3/561 673
/proc/meminfo: memFree=20368800/32951124 swapFree=56930356/67111528
[pid=653] ppid=651 vsize=10561328 CPUtime=4.35 cores=0,2,4,6
/proc/653/stat : 653 (java) S 651 653 32290 0 -1 4202496 258353 0 1 0 405 30 0 0 25 0 19 0 833783932 10814799872 253422 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/653/statm: 2640332 253429 2226 9 0 2631066 0
[pid=653/tid=654] ppid=651 vsize=10561328 CPUtime=3.07 cores=0,2,4,6
/proc/653/task/654/stat : 654 (java) R 651 653 32290 0 -1 4202560 244994 0 1 0 280 27 0 0 18 0 19 0 833783933 10814799872 253432 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 46912505366054 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=653/tid=656] ppid=651 vsize=10561328 CPUtime=0 cores=0,2,4,6
/proc/653/task/656/stat : 656 (java) S 651 653 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833783935 10814799872 253437 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 0 0 0 0
[pid=653/tid=657] ppid=651 vsize=10561328 CPUtime=0 cores=0,2,4,6
/proc/653/task/657/stat : 657 (java) S 651 653 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833783935 10814799872 253441 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 0 0 0 0
[pid=653/tid=658] ppid=651 vsize=10561328 CPUtime=0 cores=0,2,4,6
/proc/653/task/658/stat : 658 (java) S 651 653 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833783935 10814799872 253445 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 0 0 0 0
[pid=653/tid=659] ppid=651 vsize=10561328 CPUtime=0 cores=0,2,4,6
/proc/653/task/659/stat : 659 (java) S 651 653 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833783935 10814799872 253449 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 0 0 0 0
[pid=653/tid=660] ppid=651 vsize=10561328 CPUtime=0 cores=0,2,4,6
/proc/653/task/660/stat : 660 (java) S 651 653 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833783935 10814799872 253453 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 0 0 0 0
[pid=653/tid=661] ppid=651 vsize=10561328 CPUtime=0 cores=0,2,4,6
/proc/653/task/661/stat : 661 (java) S 651 653 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833783935 10814799872 253457 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 0 0 0 0
[pid=653/tid=662] ppid=651 vsize=10561328 CPUtime=0 cores=0,2,4,6
/proc/653/task/662/stat : 662 (java) S 651 653 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833783935 10814799872 253461 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 0 0 0 0
[pid=653/tid=663] ppid=651 vsize=10561328 CPUtime=0 cores=0,2,4,6
/proc/653/task/663/stat : 663 (java) S 651 653 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833783935 10814799872 253465 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 0 0 0 0
[pid=653/tid=664] ppid=651 vsize=10561328 CPUtime=0 cores=0,2,4,6
/proc/653/task/664/stat : 664 (java) S 651 653 32290 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 833783936 10814799872 253469 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917547520 0 0 0 16800975 18446604445755460352 0 0 -1 0 0 0 0
[pid=653/tid=665] ppid=651 vsize=10561328 CPUtime=0 cores=0,2,4,6
/proc/653/task/665/stat : 665 (java) S 651 653 32290 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833783936 10814799872 253473 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 0 0 0 0
[pid=653/tid=666] ppid=651 vsize=10561328 CPUtime=0 cores=0,2,4,6
/proc/653/task/666/stat : 666 (java) S 651 653 32290 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833783936 10814799872 253477 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 0 0 0 0
[pid=653/tid=667] ppid=651 vsize=10561328 CPUtime=0 cores=0,2,4,6
/proc/653/task/667/stat : 667 (java) S 651 653 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833783939 10814799872 253481 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917554609 0 4 0 16800975 18446604445755460352 0 0 -1 6 0 0 0
[pid=653/tid=668] ppid=651 vsize=10561328 CPUtime=0.64 cores=0,2,4,6
/proc/653/task/668/stat : 668 (java) S 651 653 32290 0 -1 4202560 5700 0 0 0 63 1 0 0 15 0 19 0 833783939 10814799872 253485 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 6 0 0 0
[pid=653/tid=669] ppid=651 vsize=10561328 CPUtime=0.61 cores=0,2,4,6
/proc/653/task/669/stat : 669 (java) S 651 653 32290 0 -1 4202560 6509 0 0 0 60 1 0 0 18 0 19 0 833783939 10814799872 253489 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 2 0 0 0
[pid=653/tid=670] ppid=651 vsize=10561328 CPUtime=0 cores=0,2,4,6
/proc/653/task/670/stat : 670 (java) S 651 653 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833783939 10814799872 253491 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 6 0 0 0
[pid=653/tid=671] ppid=651 vsize=10561328 CPUtime=0 cores=0,2,4,6
/proc/653/task/671/stat : 671 (java) S 651 653 32290 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833783939 10814799872 253493 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917547520 0 4 0 16800975 18446604445755460352 0 0 -1 0 0 0 0
[pid=653/tid=672] ppid=651 vsize=10561328 CPUtime=0 cores=0,2,4,6
/proc/653/task/672/stat : 672 (java) S 651 653 32290 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833783949 10814799872 253495 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917547520 0 4 0 16800975 18446604445755460352 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.35
Current children cumulated vsize (KiB) 10561328
[startup+6.30148 s]
/proc/loadavg: 2.01 2.04 2.00 3/561 673
/proc/meminfo: memFree=19326820/32951124 swapFree=56930356/67111528
[pid=653] ppid=651 vsize=10561328 CPUtime=7.57 cores=0,2,4,6
/proc/653/stat : 653 (java) S 651 653 32290 0 -1 4202496 478872 0 1 0 701 56 0 0 25 0 19 0 833783932 10814799872 473939 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/653/statm: 2640332 473939 2227 9 0 2631066 0
[pid=653/tid=654] ppid=651 vsize=10561328 CPUtime=6.28 cores=0,2,4,6
/proc/653/task/654/stat : 654 (java) R 651 653 32290 0 -1 4202560 465502 0 1 0 575 53 0 0 21 0 19 0 833783933 10814799872 473939 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 46912505603772 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=653/tid=656] ppid=651 vsize=10561328 CPUtime=0 cores=0,2,4,6
/proc/653/task/656/stat : 656 (java) S 651 653 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833783935 10814799872 473939 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 0 0 0 0
[pid=653/tid=657] ppid=651 vsize=10561328 CPUtime=0 cores=0,2,4,6
/proc/653/task/657/stat : 657 (java) S 651 653 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833783935 10814799872 473939 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 0 0 0 0
[pid=653/tid=658] ppid=651 vsize=10561328 CPUtime=0 cores=0,2,4,6
/proc/653/task/658/stat : 658 (java) S 651 653 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833783935 10814799872 473939 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 0 0 0 0
[pid=653/tid=659] ppid=651 vsize=10561328 CPUtime=0 cores=0,2,4,6
/proc/653/task/659/stat : 659 (java) S 651 653 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833783935 10814799872 473939 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 0 0 0 0
[pid=653/tid=660] ppid=651 vsize=10561328 CPUtime=0 cores=0,2,4,6
/proc/653/task/660/stat : 660 (java) S 651 653 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833783935 10814799872 473939 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 0 0 0 0
[pid=653/tid=661] ppid=651 vsize=10561328 CPUtime=0 cores=0,2,4,6
/proc/653/task/661/stat : 661 (java) S 651 653 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833783935 10814799872 473939 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 0 0 0 0
[pid=653/tid=662] ppid=651 vsize=10561328 CPUtime=0 cores=0,2,4,6
/proc/653/task/662/stat : 662 (java) S 651 653 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833783935 10814799872 473939 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 0 0 0 0
[pid=653/tid=663] ppid=651 vsize=10561328 CPUtime=0 cores=0,2,4,6
/proc/653/task/663/stat : 663 (java) S 651 653 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833783935 10814799872 473939 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 0 0 0 0
[pid=653/tid=664] ppid=651 vsize=10561328 CPUtime=0 cores=0,2,4,6
/proc/653/task/664/stat : 664 (java) S 651 653 32290 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 833783936 10814799872 473939 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917547520 0 0 0 16800975 18446604445755460352 0 0 -1 0 0 0 0
[pid=653/tid=665] ppid=651 vsize=10561328 CPUtime=0 cores=0,2,4,6
/proc/653/task/665/stat : 665 (java) S 651 653 32290 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833783936 10814799872 473939 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 0 0 0 0
[pid=653/tid=666] ppid=651 vsize=10561328 CPUtime=0 cores=0,2,4,6
/proc/653/task/666/stat : 666 (java) S 651 653 32290 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833783936 10814799872 473939 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 0 0 0 0
[pid=653/tid=667] ppid=651 vsize=10561328 CPUtime=0 cores=0,2,4,6
/proc/653/task/667/stat : 667 (java) S 651 653 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833783939 10814799872 473939 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917554609 0 4 0 16800975 18446604445755460352 0 0 -1 6 0 0 0
[pid=653/tid=668] ppid=651 vsize=10561328 CPUtime=0.64 cores=0,2,4,6
/proc/653/task/668/stat : 668 (java) S 651 653 32290 0 -1 4202560 5700 0 0 0 63 1 0 0 15 0 19 0 833783939 10814799872 473939 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 6 0 0 0
[pid=653/tid=669] ppid=651 vsize=10561328 CPUtime=0.63 cores=0,2,4,6
/proc/653/task/669/stat : 669 (java) S 651 653 32290 0 -1 4202560 6509 0 0 0 62 1 0 0 15 0 19 0 833783939 10814799872 473939 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 2 0 0 0
################
# More data... #
################
/proc/653/task/666/stat : 666 (java) S 651 653 32290 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833783936 10814799872 1008804 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 0 0 0 0
[pid=653/tid=667] ppid=651 vsize=10561328 CPUtime=0 cores=0,2,4,6
/proc/653/task/667/stat : 667 (java) S 651 653 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833783939 10814799872 1008804 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917554609 0 4 0 16800975 18446604445755460352 0 0 -1 6 0 0 0
[pid=653/tid=668] ppid=651 vsize=10561328 CPUtime=0.7 cores=0,2,4,6
/proc/653/task/668/stat : 668 (java) S 651 653 32290 0 -1 4202560 5702 0 0 0 69 1 0 0 15 0 19 0 833783939 10814799872 1008804 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 6 0 0 0
[pid=653/tid=669] ppid=651 vsize=10561328 CPUtime=0.71 cores=0,2,4,6
/proc/653/task/669/stat : 669 (java) S 651 653 32290 0 -1 4202560 6542 0 0 0 70 1 0 0 15 0 19 0 833783939 10814799872 1008804 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 2 0 0 0
[pid=653/tid=670] ppid=651 vsize=10561328 CPUtime=0 cores=0,2,4,6
/proc/653/task/670/stat : 670 (java) S 651 653 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833783939 10814799872 1008804 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 6 0 0 0
[pid=653/tid=671] ppid=651 vsize=10561328 CPUtime=0 cores=0,2,4,6
/proc/653/task/671/stat : 671 (java) S 651 653 32290 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 833783939 10814799872 1008804 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917547520 0 4 0 16800975 18446604445755460352 0 0 -1 2 0 0 0
[pid=653/tid=672] ppid=651 vsize=10561328 CPUtime=0 cores=0,2,4,6
/proc/653/task/672/stat : 672 (java) S 651 653 32290 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833783949 10814799872 1008804 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917547520 0 4 0 16800975 18446604445755460352 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1665.21
Current children cumulated vsize (KiB) 10561328
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/561 767
/proc/meminfo: memFree=16169712/32951124 swapFree=56930356/67111528
[pid=653] ppid=651 vsize=10561328 CPUtime=1725.19 cores=0,2,4,6
/proc/653/stat : 653 (java) S 651 653 32290 0 -1 4202496 1023494 0 1 0 172385 134 0 0 25 0 19 0 833783932 10814799872 1008804 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/653/statm: 2640332 1008804 2243 9 0 2631066 0
[pid=653/tid=654] ppid=651 vsize=10561328 CPUtime=1721.54 cores=0,2,4,6
/proc/653/task/654/stat : 654 (java) R 651 653 32290 0 -1 4202560 799466 0 1 0 172060 94 0 0 25 0 19 0 833783933 10814799872 1008804 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 46912505603751 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=653/tid=656] ppid=651 vsize=10561328 CPUtime=0.25 cores=0,2,4,6
/proc/653/task/656/stat : 656 (java) S 651 653 32290 0 -1 4202560 24369 0 0 0 21 4 0 0 16 0 19 0 833783935 10814799872 1008804 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 4 0 0 0
[pid=653/tid=657] ppid=651 vsize=10561328 CPUtime=0.27 cores=0,2,4,6
/proc/653/task/657/stat : 657 (java) S 651 653 32290 0 -1 4202560 28261 0 0 0 23 4 0 0 15 0 19 0 833783935 10814799872 1008804 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 0 0 0 0
[pid=653/tid=658] ppid=651 vsize=10561328 CPUtime=0.24 cores=0,2,4,6
/proc/653/task/658/stat : 658 (java) S 651 653 32290 0 -1 4202560 19338 0 0 0 21 3 0 0 16 0 19 0 833783935 10814799872 1008804 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 6 0 0 0
[pid=653/tid=659] ppid=651 vsize=10561328 CPUtime=0.23 cores=0,2,4,6
/proc/653/task/659/stat : 659 (java) S 651 653 32290 0 -1 4202560 20031 0 0 0 20 3 0 0 16 0 19 0 833783935 10814799872 1008804 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 6 0 0 0
[pid=653/tid=660] ppid=651 vsize=10561328 CPUtime=0.25 cores=0,2,4,6
/proc/653/task/660/stat : 660 (java) S 651 653 32290 0 -1 4202560 27505 0 0 0 21 4 0 0 15 0 19 0 833783935 10814799872 1008804 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 6 0 0 0
[pid=653/tid=661] ppid=651 vsize=10561328 CPUtime=0.3 cores=0,2,4,6
/proc/653/task/661/stat : 661 (java) S 651 653 32290 0 -1 4202560 35782 0 0 0 25 5 0 0 16 0 19 0 833783935 10814799872 1008804 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 0 0 0 0
[pid=653/tid=662] ppid=651 vsize=10561328 CPUtime=0.27 cores=0,2,4,6
/proc/653/task/662/stat : 662 (java) S 651 653 32290 0 -1 4202560 27604 0 0 0 23 4 0 0 15 0 19 0 833783935 10814799872 1008804 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 4 0 0 0
[pid=653/tid=663] ppid=651 vsize=10561328 CPUtime=0.29 cores=0,2,4,6
/proc/653/task/663/stat : 663 (java) S 651 653 32290 0 -1 4202560 27561 0 0 0 25 4 0 0 16 0 19 0 833783935 10814799872 1008804 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 0 0 0 0
[pid=653/tid=664] ppid=651 vsize=10561328 CPUtime=0 cores=0,2,4,6
/proc/653/task/664/stat : 664 (java) S 651 653 32290 0 -1 4202560 82 0 0 0 0 0 0 0 15 0 19 0 833783936 10814799872 1008804 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917547520 0 0 0 16800975 18446604445755460352 0 0 -1 2 0 0 0
[pid=653/tid=665] ppid=651 vsize=10561328 CPUtime=0 cores=0,2,4,6
/proc/653/task/665/stat : 665 (java) S 651 653 32290 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833783936 10814799872 1008804 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 0 0 0 0
[pid=653/tid=666] ppid=651 vsize=10561328 CPUtime=0 cores=0,2,4,6
/proc/653/task/666/stat : 666 (java) S 651 653 32290 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833783936 10814799872 1008804 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 0 0 0 0
[pid=653/tid=667] ppid=651 vsize=10561328 CPUtime=0 cores=0,2,4,6
/proc/653/task/667/stat : 667 (java) S 651 653 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833783939 10814799872 1008804 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917554609 0 4 0 16800975 18446604445755460352 0 0 -1 6 0 0 0
[pid=653/tid=668] ppid=651 vsize=10561328 CPUtime=0.7 cores=0,2,4,6
/proc/653/task/668/stat : 668 (java) S 651 653 32290 0 -1 4202560 5702 0 0 0 69 1 0 0 15 0 19 0 833783939 10814799872 1008804 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 6 0 0 0
[pid=653/tid=669] ppid=651 vsize=10561328 CPUtime=0.71 cores=0,2,4,6
/proc/653/task/669/stat : 669 (java) S 651 653 32290 0 -1 4202560 6542 0 0 0 70 1 0 0 15 0 19 0 833783939 10814799872 1008804 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 2 0 0 0
[pid=653/tid=670] ppid=651 vsize=10561328 CPUtime=0 cores=0,2,4,6
/proc/653/task/670/stat : 670 (java) S 651 653 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833783939 10814799872 1008804 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 6 0 0 0
[pid=653/tid=671] ppid=651 vsize=10561328 CPUtime=0 cores=0,2,4,6
/proc/653/task/671/stat : 671 (java) S 651 653 32290 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 833783939 10814799872 1008804 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917547520 0 4 0 16800975 18446604445755460352 0 0 -1 6 0 0 0
[pid=653/tid=672] ppid=651 vsize=10561328 CPUtime=0 cores=0,2,4,6
/proc/653/task/672/stat : 672 (java) S 651 653 32290 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833783949 10814799872 1008804 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917547520 0 4 0 16800975 18446604445755460352 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1725.19
Current children cumulated vsize (KiB) 10561328
[startup+1782.3 s]
/proc/loadavg: 2.15 2.05 2.01 3/561 769
/proc/meminfo: memFree=16141412/32951124 swapFree=56930356/67111528
[pid=653] ppid=651 vsize=10561328 CPUtime=1785.22 cores=0,2,4,6
/proc/653/stat : 653 (java) S 651 653 32290 0 -1 4202496 1027374 0 1 0 178387 135 0 0 25 0 19 0 833783932 10814799872 1012494 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/653/statm: 2640332 1012494 2243 9 0 2631066 0
[pid=653/tid=654] ppid=651 vsize=10561328 CPUtime=1781.52 cores=0,2,4,6
/proc/653/task/654/stat : 654 (java) R 651 653 32290 0 -1 4202560 799467 0 1 0 178058 94 0 0 25 0 19 0 833783933 10814799872 1012494 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 46912505760989 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=653/tid=656] ppid=651 vsize=10561328 CPUtime=0.26 cores=0,2,4,6
/proc/653/task/656/stat : 656 (java) S 651 653 32290 0 -1 4202560 25582 0 0 0 22 4 0 0 16 0 19 0 833783935 10814799872 1012494 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 0 0 0 0
[pid=653/tid=657] ppid=651 vsize=10561328 CPUtime=0.27 cores=0,2,4,6
/proc/653/task/657/stat : 657 (java) S 651 653 32290 0 -1 4202560 28261 0 0 0 23 4 0 0 16 0 19 0 833783935 10814799872 1012494 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 2 0 0 0
[pid=653/tid=658] ppid=651 vsize=10561328 CPUtime=0.24 cores=0,2,4,6
/proc/653/task/658/stat : 658 (java) S 651 653 32290 0 -1 4202560 19338 0 0 0 21 3 0 0 15 0 19 0 833783935 10814799872 1012494 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 2 0 0 0
[pid=653/tid=659] ppid=651 vsize=10561328 CPUtime=0.23 cores=0,2,4,6
/proc/653/task/659/stat : 659 (java) S 651 653 32290 0 -1 4202560 20031 0 0 0 20 3 0 0 15 0 19 0 833783935 10814799872 1012494 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 6 0 0 0
[pid=653/tid=660] ppid=651 vsize=10561328 CPUtime=0.25 cores=0,2,4,6
/proc/653/task/660/stat : 660 (java) S 651 653 32290 0 -1 4202560 27505 0 0 0 21 4 0 0 15 0 19 0 833783935 10814799872 1012494 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 6 0 0 0
[pid=653/tid=661] ppid=651 vsize=10561328 CPUtime=0.3 cores=0,2,4,6
/proc/653/task/661/stat : 661 (java) S 651 653 32290 0 -1 4202560 35782 0 0 0 25 5 0 0 15 0 19 0 833783935 10814799872 1012494 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 0 0 0 0
[pid=653/tid=662] ppid=651 vsize=10561328 CPUtime=0.29 cores=0,2,4,6
/proc/653/task/662/stat : 662 (java) S 651 653 32290 0 -1 4202560 29027 0 0 0 24 5 0 0 16 0 19 0 833783935 10814799872 1012494 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 4 0 0 0
[pid=653/tid=663] ppid=651 vsize=10561328 CPUtime=0.3 cores=0,2,4,6
/proc/653/task/663/stat : 663 (java) S 651 653 32290 0 -1 4202560 28800 0 0 0 26 4 0 0 16 0 19 0 833783935 10814799872 1012494 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 6 0 0 0
[pid=653/tid=664] ppid=651 vsize=10561328 CPUtime=0.01 cores=0,2,4,6
/proc/653/task/664/stat : 664 (java) S 651 653 32290 0 -1 4202560 84 0 0 0 1 0 0 0 15 0 19 0 833783936 10814799872 1012494 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917547520 0 0 0 16800975 18446604445755460352 0 0 -1 2 0 0 0
[pid=653/tid=665] ppid=651 vsize=10561328 CPUtime=0 cores=0,2,4,6
/proc/653/task/665/stat : 665 (java) S 651 653 32290 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833783936 10814799872 1012494 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 0 0 0 0
[pid=653/tid=666] ppid=651 vsize=10561328 CPUtime=0 cores=0,2,4,6
/proc/653/task/666/stat : 666 (java) S 651 653 32290 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833783936 10814799872 1012494 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 0 0 0 0
[pid=653/tid=667] ppid=651 vsize=10561328 CPUtime=0 cores=0,2,4,6
/proc/653/task/667/stat : 667 (java) S 651 653 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833783939 10814799872 1012494 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917554609 0 4 0 16800975 18446604445755460352 0 0 -1 6 0 0 0
[pid=653/tid=668] ppid=651 vsize=10561328 CPUtime=0.7 cores=0,2,4,6
/proc/653/task/668/stat : 668 (java) S 651 653 32290 0 -1 4202560 5702 0 0 0 69 1 0 0 15 0 19 0 833783939 10814799872 1012494 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 6 0 0 0
[pid=653/tid=669] ppid=651 vsize=10561328 CPUtime=0.71 cores=0,2,4,6
/proc/653/task/669/stat : 669 (java) S 651 653 32290 0 -1 4202560 6542 0 0 0 70 1 0 0 15 0 19 0 833783939 10814799872 1012494 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 2 0 0 0
[pid=653/tid=670] ppid=651 vsize=10561328 CPUtime=0 cores=0,2,4,6
/proc/653/task/670/stat : 670 (java) S 651 653 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833783939 10814799872 1012494 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 6 0 0 0
[pid=653/tid=671] ppid=651 vsize=10561328 CPUtime=0 cores=0,2,4,6
/proc/653/task/671/stat : 671 (java) S 651 653 32290 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 833783939 10814799872 1012494 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917547520 0 4 0 16800975 18446604445755460352 0 0 -1 2 0 0 0
[pid=653/tid=672] ppid=651 vsize=10561328 CPUtime=0 cores=0,2,4,6
/proc/653/task/672/stat : 672 (java) S 651 653 32290 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833783949 10814799872 1012494 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917547520 0 4 0 16800975 18446604445755460352 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1785.22
Current children cumulated vsize (KiB) 10561328
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.1 s]
/proc/loadavg: 2.11 2.05 2.01 3/561 769
/proc/meminfo: memFree=16141032/32951124 swapFree=56930356/67111528
[pid=653] ppid=651 vsize=10561328 CPUtime=1800.02 cores=0,2,4,6
/proc/653/stat : 653 (java) S 651 653 32290 0 -1 4202496 1027376 0 1 0 179867 135 0 0 25 0 19 0 833783932 10814799872 1012494 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/653/statm: 2640332 1012494 2243 9 0 2631066 0
[pid=653/tid=654] ppid=651 vsize=10561328 CPUtime=1796.34 cores=0,2,4,6
/proc/653/task/654/stat : 654 (java) R 651 653 32290 0 -1 4202560 799467 0 1 0 179540 94 0 0 25 0 19 0 833783933 10814799872 1012494 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 46912505603817 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=653/tid=656] ppid=651 vsize=10561328 CPUtime=0.26 cores=0,2,4,6
/proc/653/task/656/stat : 656 (java) S 651 653 32290 0 -1 4202560 25582 0 0 0 22 4 0 0 16 0 19 0 833783935 10814799872 1012494 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 0 0 0 0
[pid=653/tid=657] ppid=651 vsize=10561328 CPUtime=0.27 cores=0,2,4,6
/proc/653/task/657/stat : 657 (java) S 651 653 32290 0 -1 4202560 28261 0 0 0 23 4 0 0 16 0 19 0 833783935 10814799872 1012494 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 2 0 0 0
[pid=653/tid=658] ppid=651 vsize=10561328 CPUtime=0.24 cores=0,2,4,6
/proc/653/task/658/stat : 658 (java) S 651 653 32290 0 -1 4202560 19338 0 0 0 21 3 0 0 15 0 19 0 833783935 10814799872 1012494 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 2 0 0 0
[pid=653/tid=659] ppid=651 vsize=10561328 CPUtime=0.23 cores=0,2,4,6
/proc/653/task/659/stat : 659 (java) S 651 653 32290 0 -1 4202560 20031 0 0 0 20 3 0 0 15 0 19 0 833783935 10814799872 1012494 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 6 0 0 0
[pid=653/tid=660] ppid=651 vsize=10561328 CPUtime=0.25 cores=0,2,4,6
/proc/653/task/660/stat : 660 (java) S 651 653 32290 0 -1 4202560 27505 0 0 0 21 4 0 0 15 0 19 0 833783935 10814799872 1012494 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 6 0 0 0
[pid=653/tid=661] ppid=651 vsize=10561328 CPUtime=0.3 cores=0,2,4,6
/proc/653/task/661/stat : 661 (java) S 651 653 32290 0 -1 4202560 35782 0 0 0 25 5 0 0 15 0 19 0 833783935 10814799872 1012494 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 0 0 0 0
[pid=653/tid=662] ppid=651 vsize=10561328 CPUtime=0.29 cores=0,2,4,6
/proc/653/task/662/stat : 662 (java) S 651 653 32290 0 -1 4202560 29027 0 0 0 24 5 0 0 16 0 19 0 833783935 10814799872 1012494 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 4 0 0 0
[pid=653/tid=663] ppid=651 vsize=10561328 CPUtime=0.3 cores=0,2,4,6
/proc/653/task/663/stat : 663 (java) S 651 653 32290 0 -1 4202560 28800 0 0 0 26 4 0 0 16 0 19 0 833783935 10814799872 1012494 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 6 0 0 0
[pid=653/tid=664] ppid=651 vsize=10561328 CPUtime=0.01 cores=0,2,4,6
/proc/653/task/664/stat : 664 (java) S 651 653 32290 0 -1 4202560 84 0 0 0 1 0 0 0 15 0 19 0 833783936 10814799872 1012494 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917547520 0 0 0 16800975 18446604445755460352 0 0 -1 2 0 0 0
[pid=653/tid=665] ppid=651 vsize=10561328 CPUtime=0 cores=0,2,4,6
/proc/653/task/665/stat : 665 (java) S 651 653 32290 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833783936 10814799872 1012494 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 0 0 0 0
[pid=653/tid=666] ppid=651 vsize=10561328 CPUtime=0 cores=0,2,4,6
/proc/653/task/666/stat : 666 (java) S 651 653 32290 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833783936 10814799872 1012494 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 0 0 0 0
[pid=653/tid=667] ppid=651 vsize=10561328 CPUtime=0 cores=0,2,4,6
/proc/653/task/667/stat : 667 (java) S 651 653 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833783939 10814799872 1012494 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917554609 0 4 0 16800975 18446604445755460352 0 0 -1 6 0 0 0
[pid=653/tid=668] ppid=651 vsize=10561328 CPUtime=0.7 cores=0,2,4,6
/proc/653/task/668/stat : 668 (java) S 651 653 32290 0 -1 4202560 5702 0 0 0 69 1 0 0 15 0 19 0 833783939 10814799872 1012494 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 6 0 0 0
[pid=653/tid=669] ppid=651 vsize=10561328 CPUtime=0.71 cores=0,2,4,6
/proc/653/task/669/stat : 669 (java) S 651 653 32290 0 -1 4202560 6542 0 0 0 70 1 0 0 15 0 19 0 833783939 10814799872 1012494 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 2 0 0 0
[pid=653/tid=670] ppid=651 vsize=10561328 CPUtime=0 cores=0,2,4,6
/proc/653/task/670/stat : 670 (java) S 651 653 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833783939 10814799872 1012494 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917546905 0 4 0 16800975 18446604445755460352 0 0 -1 6 0 0 0
[pid=653/tid=671] ppid=651 vsize=10561328 CPUtime=0 cores=0,2,4,6
/proc/653/task/671/stat : 671 (java) S 651 653 32290 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 833783939 10814799872 1012494 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917547520 0 4 0 16800975 18446604445755460352 0 0 -1 2 0 0 0
[pid=653/tid=672] ppid=651 vsize=10561328 CPUtime=0 cores=0,2,4,6
/proc/653/task/672/stat : 672 (java) S 651 653 32290 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833783949 10814799872 1012494 33554432000 1073741824 1073778376 140735598806256 18446744073709551615 218917547520 0 4 0 16800975 18446604445755460352 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 10561328
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1797.22 s]
/proc/loadavg: 2.11 2.05 2.01 3/561 769
/proc/meminfo: memFree=16141032/32951124 swapFree=56930356/67111528
[pid=653] ppid=651 vsize=0 CPUtime=1800.15 cores=0,2,4,6
/proc/653/stat : 653 (java) Z 651 653 32290 0 -1 4203548 1027406 0 1 0 179871 144 0 0 17 0 2 0 833783932 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/653/statm: 0 0 0 0 0 0 0
[pid=653/tid=664] ppid=651 vsize=0 CPUtime=0.11 cores=0,2,4,6
/proc/653/task/664/stat : 664 (java) R 651 653 32290 0 -1 4202564 85 0 0 0 1 10 0 0 16 0 2 0 833783936 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1797.3
CPU time (s): 1800.23
CPU user time (s): 1798.71
CPU system time (s): 1.51977
CPU usage (%): 100.163
Max. virtual memory (cumulated for all children) (KiB): 10561328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.71
system time used= 1.51977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1027406
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= 38584
involuntary context switches= 23237
runsolver used 10.1615 second user time and 20.9818 second system time
The end