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-3456173-1307664238/watcher-3456173-1307664238 -o /tmp/evaluation-result-3456173-1307664238/solver-3456173-1307664238 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456173-1307664238.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.08 2.02 1.96 2/175 7774
/proc/meminfo: memFree=32539648/32950928 swapFree=67048820/67111528
[pid=7774] ppid=7772 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/7774/stat : 7774 (java) R 7772 7774 6256 0 -1 4202496 954 0 0 0 0 0 0 0 25 0 1 0 878022562 23580672 698 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268267726312 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/7774/statm: 5757 699 515 9 0 124 0
[startup+0.020107 s]
/proc/loadavg: 2.08 2.02 1.96 2/175 7774
/proc/meminfo: memFree=32539648/32950928 swapFree=67048820/67111528
[pid=7774] ppid=7772 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/7774/stat : 7774 (java) S 7772 7774 6256 0 -1 4202496 7823 0 1 0 0 0 0 0 25 0 2 0 878022562 10694979584 7525 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284491749 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/7774/statm: 2611079 7547 917 9 0 2602235 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10444316
[startup+0.101174 s]
/proc/loadavg: 2.08 2.02 1.96 2/175 7774
/proc/meminfo: memFree=32539648/32950928 swapFree=67048820/67111528
[pid=7774] ppid=7772 vsize=10540280 CPUtime=0.1 cores=0,2,4,6
/proc/7774/stat : 7774 (java) S 7772 7774 6256 0 -1 4202496 13111 0 1 0 9 1 0 0 25 0 18 0 878022562 10793246720 12787 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/7774/statm: 2635070 12787 2092 9 0 2625804 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540280
[startup+0.301109 s]
/proc/loadavg: 2.08 2.02 1.96 2/175 7774
/proc/meminfo: memFree=32539648/32950928 swapFree=67048820/67111528
[pid=7774] ppid=7772 vsize=10543464 CPUtime=0.47 cores=0,2,4,6
/proc/7774/stat : 7774 (java) S 7772 7774 6256 0 -1 4202496 15376 0 1 0 46 1 0 0 25 0 19 0 878022562 10796507136 15045 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/7774/statm: 2635866 15045 2218 9 0 2626600 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10543464
[startup+0.700929 s]
/proc/loadavg: 2.08 2.02 1.96 2/175 7774
/proc/meminfo: memFree=32539648/32950928 swapFree=67048820/67111528
[pid=7774] ppid=7772 vsize=10553476 CPUtime=1.65 cores=0,2,4,6
/proc/7774/stat : 7774 (java) S 7772 7774 6256 0 -1 4202496 32096 0 1 0 161 4 0 0 25 0 19 0 878022562 10806759424 27887 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/7774/statm: 2638369 27888 2232 9 0 2629103 0
Current children cumulated CPU time (s) 1.65
Current children cumulated vsize (KiB) 10553476
[startup+1.50078 s]
/proc/loadavg: 2.08 2.02 1.96 2/194 7793
/proc/meminfo: memFree=32371376/32950928 swapFree=67048820/67111528
[pid=7774] ppid=7772 vsize=10553476 CPUtime=2.74 cores=0,2,4,6
/proc/7774/stat : 7774 (java) S 7772 7774 6256 0 -1 4202496 78438 0 1 0 265 9 0 0 25 0 19 0 878022562 10806759424 74229 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/7774/statm: 2638369 74232 2235 9 0 2629103 0
[pid=7774/tid=7776] ppid=7772 vsize=10553476 CPUtime=1.48 cores=0,2,4,6
/proc/7774/task/7776/stat : 7776 (java) R 7772 7774 6256 0 -1 4202560 66125 0 1 0 141 7 0 0 19 0 19 0 878022563 10806759424 74233 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 46912505660573 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=7774/tid=7777] ppid=7772 vsize=10553476 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7777/stat : 7777 (java) S 7772 7774 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022565 10806759424 74235 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 6 0 0 0
[pid=7774/tid=7778] ppid=7772 vsize=10553476 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7778/stat : 7778 (java) S 7772 7774 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022565 10806759424 74236 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 6 0 0 0
[pid=7774/tid=7779] ppid=7772 vsize=10553476 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7779/stat : 7779 (java) S 7772 7774 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022565 10806759424 74238 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 6 0 0 0
[pid=7774/tid=7780] ppid=7772 vsize=10553476 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7780/stat : 7780 (java) S 7772 7774 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022565 10806759424 74239 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 6 0 0 0
[pid=7774/tid=7781] ppid=7772 vsize=10553476 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7781/stat : 7781 (java) S 7772 7774 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022565 10806759424 74240 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 6 0 0 0
[pid=7774/tid=7782] ppid=7772 vsize=10553476 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7782/stat : 7782 (java) S 7772 7774 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022565 10806759424 74242 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 6 0 0 0
[pid=7774/tid=7783] ppid=7772 vsize=10553476 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7783/stat : 7783 (java) S 7772 7774 6256 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 878022565 10806759424 74244 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 6 0 0 0
[pid=7774/tid=7784] ppid=7772 vsize=10553476 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7784/stat : 7784 (java) S 7772 7774 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022565 10806759424 74245 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 6 0 0 0
[pid=7774/tid=7785] ppid=7772 vsize=10553476 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7785/stat : 7785 (java) S 7772 7774 6256 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 878022566 10806759424 74246 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284505600 0 0 0 16800975 18446604453825973056 0 0 -1 4 0 0 0
[pid=7774/tid=7786] ppid=7772 vsize=10553476 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7786/stat : 7786 (java) S 7772 7774 6256 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 878022566 10806759424 74247 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 4 0 0 0
[pid=7774/tid=7787] ppid=7772 vsize=10553476 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7787/stat : 7787 (java) S 7772 7774 6256 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 878022566 10806759424 74248 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 2 0 0 0
[pid=7774/tid=7788] ppid=7772 vsize=10553476 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7788/stat : 7788 (java) S 7772 7774 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022568 10806759424 74250 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284512689 0 4 0 16800975 18446604453825973056 0 0 -1 4 0 0 0
[pid=7774/tid=7789] ppid=7772 vsize=10553476 CPUtime=0.66 cores=0,2,4,6
/proc/7774/task/7789/stat : 7789 (java) S 7772 7774 6256 0 -1 4202560 5204 0 0 0 66 0 0 0 15 0 19 0 878022568 10806759424 74252 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 0 0 0 0
[pid=7774/tid=7790] ppid=7772 vsize=10553476 CPUtime=0.58 cores=0,2,4,6
/proc/7774/task/7790/stat : 7790 (java) S 7772 7774 6256 0 -1 4202560 5953 0 0 0 57 1 0 0 15 0 19 0 878022568 10806759424 74253 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 2 0 0 0
[pid=7774/tid=7791] ppid=7772 vsize=10553476 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7791/stat : 7791 (java) S 7772 7774 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022568 10806759424 74255 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 4 0 0 0
[pid=7774/tid=7792] ppid=7772 vsize=10553476 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7792/stat : 7792 (java) S 7772 7774 6256 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 878022568 10806759424 74257 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284505600 0 4 0 16800975 18446604453825973056 0 0 -1 6 0 0 0
[pid=7774/tid=7793] ppid=7772 vsize=10553476 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7793/stat : 7793 (java) S 7772 7774 6256 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 878022591 10806759424 74258 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284505600 0 4 0 16800975 18446604453825973056 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 10553476
[startup+3.10162 s]
/proc/loadavg: 2.08 2.02 1.96 3/214 7849
/proc/meminfo: memFree=31939464/32950928 swapFree=67048820/67111528
[pid=7774] ppid=7772 vsize=10553476 CPUtime=4.38 cores=0,2,4,6
/proc/7774/stat : 7774 (java) S 7772 7774 6256 0 -1 4202496 172827 0 1 0 418 20 0 0 25 0 19 0 878022562 10806759424 168616 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/7774/statm: 2638369 168619 2237 9 0 2629103 0
[pid=7774/tid=7776] ppid=7772 vsize=10553476 CPUtime=3.07 cores=0,2,4,6
/proc/7774/task/7776/stat : 7776 (java) R 7772 7774 6256 0 -1 4202560 160504 0 1 0 290 17 0 0 22 0 19 0 878022563 10806759424 168620 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 46912505660577 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7774/tid=7777] ppid=7772 vsize=10553476 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7777/stat : 7777 (java) S 7772 7774 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022565 10806759424 168621 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 6 0 0 0
[pid=7774/tid=7778] ppid=7772 vsize=10553476 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7778/stat : 7778 (java) S 7772 7774 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022565 10806759424 168623 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 6 0 0 0
[pid=7774/tid=7779] ppid=7772 vsize=10553476 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7779/stat : 7779 (java) S 7772 7774 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022565 10806759424 168624 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 6 0 0 0
[pid=7774/tid=7780] ppid=7772 vsize=10553476 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7780/stat : 7780 (java) S 7772 7774 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022565 10806759424 168626 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 6 0 0 0
[pid=7774/tid=7781] ppid=7772 vsize=10553476 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7781/stat : 7781 (java) S 7772 7774 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022565 10806759424 168627 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 6 0 0 0
[pid=7774/tid=7782] ppid=7772 vsize=10553476 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7782/stat : 7782 (java) S 7772 7774 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022565 10806759424 168629 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 6 0 0 0
[pid=7774/tid=7783] ppid=7772 vsize=10553476 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7783/stat : 7783 (java) S 7772 7774 6256 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 878022565 10806759424 168630 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 6 0 0 0
[pid=7774/tid=7784] ppid=7772 vsize=10553476 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7784/stat : 7784 (java) S 7772 7774 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022565 10806759424 168631 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 6 0 0 0
[pid=7774/tid=7785] ppid=7772 vsize=10553476 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7785/stat : 7785 (java) S 7772 7774 6256 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 878022566 10806759424 168633 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284505600 0 0 0 16800975 18446604453825973056 0 0 -1 4 0 0 0
[pid=7774/tid=7786] ppid=7772 vsize=10553476 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7786/stat : 7786 (java) S 7772 7774 6256 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 878022566 10806759424 168634 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 4 0 0 0
[pid=7774/tid=7787] ppid=7772 vsize=10553476 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7787/stat : 7787 (java) S 7772 7774 6256 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 878022566 10806759424 168636 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 2 0 0 0
[pid=7774/tid=7788] ppid=7772 vsize=10553476 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7788/stat : 7788 (java) S 7772 7774 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022568 10806759424 168637 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284512689 0 4 0 16800975 18446604453825973056 0 0 -1 4 0 0 0
[pid=7774/tid=7789] ppid=7772 vsize=10553476 CPUtime=0.69 cores=0,2,4,6
/proc/7774/task/7789/stat : 7789 (java) S 7772 7774 6256 0 -1 4202560 5212 0 0 0 69 0 0 0 15 0 19 0 878022568 10806759424 168638 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 0 0 0 0
[pid=7774/tid=7790] ppid=7772 vsize=10553476 CPUtime=0.59 cores=0,2,4,6
/proc/7774/task/7790/stat : 7790 (java) S 7772 7774 6256 0 -1 4202560 5954 0 0 0 58 1 0 0 15 0 19 0 878022568 10806759424 168640 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 2 0 0 0
[pid=7774/tid=7791] ppid=7772 vsize=10553476 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7791/stat : 7791 (java) S 7772 7774 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022568 10806759424 168641 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 4 0 0 0
[pid=7774/tid=7792] ppid=7772 vsize=10553476 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7792/stat : 7792 (java) S 7772 7774 6256 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 878022568 10806759424 168643 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284505600 0 4 0 16800975 18446604453825973056 0 0 -1 6 0 0 0
[pid=7774/tid=7793] ppid=7772 vsize=10553476 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7793/stat : 7793 (java) S 7772 7774 6256 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 878022591 10806759424 168644 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284505600 0 4 0 16800975 18446604453825973056 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.38
Current children cumulated vsize (KiB) 10553476
[startup+6.30105 s]
/proc/loadavg: 2.08 2.02 1.96 3/214 7849
/proc/meminfo: memFree=30114780/32950928 swapFree=67048820/67111528
[pid=7774] ppid=7772 vsize=10550980 CPUtime=7.63 cores=0,2,4,6
/proc/7774/stat : 7774 (java) S 7772 7774 6256 0 -1 4202496 360133 0 1 0 723 40 0 0 25 0 19 0 878022562 10804203520 355227 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/7774/statm: 2637745 355229 2238 9 0 2628479 0
[pid=7774/tid=7776] ppid=7772 vsize=10550980 CPUtime=6.27 cores=0,2,4,6
/proc/7774/task/7776/stat : 7776 (java) R 7772 7774 6256 0 -1 4202560 347803 0 1 0 589 38 0 0 25 0 19 0 878022563 10804203520 355231 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 46912505661868 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=7774/tid=7777] ppid=7772 vsize=10550980 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7777/stat : 7777 (java) S 7772 7774 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022565 10804203520 355232 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 6 0 0 0
[pid=7774/tid=7778] ppid=7772 vsize=10550980 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7778/stat : 7778 (java) S 7772 7774 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022565 10804203520 355233 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 6 0 0 0
[pid=7774/tid=7779] ppid=7772 vsize=10550980 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7779/stat : 7779 (java) S 7772 7774 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022565 10804203520 355235 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 6 0 0 0
[pid=7774/tid=7780] ppid=7772 vsize=10550980 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7780/stat : 7780 (java) S 7772 7774 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022565 10804203520 355236 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 6 0 0 0
[pid=7774/tid=7781] ppid=7772 vsize=10550980 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7781/stat : 7781 (java) S 7772 7774 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022565 10804203520 355238 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 6 0 0 0
[pid=7774/tid=7782] ppid=7772 vsize=10550980 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7782/stat : 7782 (java) S 7772 7774 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022565 10804203520 355239 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 6 0 0 0
[pid=7774/tid=7783] ppid=7772 vsize=10550980 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7783/stat : 7783 (java) S 7772 7774 6256 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 878022565 10804203520 355240 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 6 0 0 0
[pid=7774/tid=7784] ppid=7772 vsize=10550980 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7784/stat : 7784 (java) S 7772 7774 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022565 10804203520 355242 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 6 0 0 0
[pid=7774/tid=7785] ppid=7772 vsize=10550980 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7785/stat : 7785 (java) S 7772 7774 6256 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 878022566 10804203520 355243 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284505600 0 0 0 16800975 18446604453825973056 0 0 -1 4 0 0 0
[pid=7774/tid=7786] ppid=7772 vsize=10550980 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7786/stat : 7786 (java) S 7772 7774 6256 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 878022566 10804203520 355245 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 4 0 0 0
[pid=7774/tid=7787] ppid=7772 vsize=10550980 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7787/stat : 7787 (java) S 7772 7774 6256 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 878022566 10804203520 355246 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 2 0 0 0
[pid=7774/tid=7788] ppid=7772 vsize=10550980 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7788/stat : 7788 (java) S 7772 7774 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022568 10804203520 355248 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284512689 0 4 0 16800975 18446604453825973056 0 0 -1 4 0 0 0
[pid=7774/tid=7789] ppid=7772 vsize=10550980 CPUtime=0.75 cores=0,2,4,6
/proc/7774/task/7789/stat : 7789 (java) S 7772 7774 6256 0 -1 4202560 5217 0 0 0 75 0 0 0 15 0 19 0 878022568 10804203520 355249 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 0 0 0 0
[pid=7774/tid=7790] ppid=7772 vsize=10550980 CPUtime=0.6 cores=0,2,4,6
/proc/7774/task/7790/stat : 7790 (java) S 7772 7774 6256 0 -1 4202560 5954 0 0 0 59 1 0 0 15 0 19 0 878022568 10804203520 355250 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 2 0 0 0
[pid=7774/tid=7791] ppid=7772 vsize=10550980 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7791/stat : 7791 (java) S 7772 7774 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022568 10804203520 355252 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 4 0 0 0
[pid=7774/tid=7792] ppid=7772 vsize=10550980 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7792/stat : 7792 (java) S 7772 7774 6256 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 878022568 10804203520 355253 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284505600 0 4 0 16800975 18446604453825973056 0 0 -1 6 0 0 0
[pid=7774/tid=7793] ppid=7772 vsize=10550980 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7793/stat : 7793 (java) S 7772 7774 6256 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 878022591 10804203520 355255 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284505600 0 4 0 16800975 18446604453825973056 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.63
Current children cumulated vsize (KiB) 10550980
[startup+12.7009 s]
################
# More data... #
################
/proc/7774/task/7786/stat : 7786 (java) S 7772 7774 6256 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 878022566 10804203520 975722 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 4 0 0 0
[pid=7774/tid=7787] ppid=7772 vsize=10550980 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7787/stat : 7787 (java) S 7772 7774 6256 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 878022566 10804203520 975722 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 2 0 0 0
[pid=7774/tid=7788] ppid=7772 vsize=10550980 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7788/stat : 7788 (java) S 7772 7774 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022568 10804203520 975722 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284512689 0 4 0 16800975 18446604453825973056 0 0 -1 4 0 0 0
[pid=7774/tid=7789] ppid=7772 vsize=10550980 CPUtime=1.09 cores=0,2,4,6
/proc/7774/task/7789/stat : 7789 (java) S 7772 7774 6256 0 -1 4202560 5815 0 0 0 109 0 0 0 15 0 19 0 878022568 10804203520 975722 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 0 0 0 0
[pid=7774/tid=7790] ppid=7772 vsize=10550980 CPUtime=0.71 cores=0,2,4,6
/proc/7774/task/7790/stat : 7790 (java) S 7772 7774 6256 0 -1 4202560 5979 0 0 0 70 1 0 0 16 0 19 0 878022568 10804203520 975722 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 2 0 0 0
[pid=7774/tid=7791] ppid=7772 vsize=10550980 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7791/stat : 7791 (java) S 7772 7774 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022568 10804203520 975722 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 4 0 0 0
[pid=7774/tid=7792] ppid=7772 vsize=10550980 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7792/stat : 7792 (java) S 7772 7774 6256 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 878022568 10804203520 975722 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284505600 0 4 0 16800975 18446604453825973056 0 0 -1 0 0 0 0
[pid=7774/tid=7793] ppid=7772 vsize=10550980 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7793/stat : 7793 (java) S 7772 7774 6256 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 878022591 10804203520 975722 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284505600 0 4 0 16800975 18446604453825973056 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1668.99
Current children cumulated vsize (KiB) 10550980
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 7898
/proc/meminfo: memFree=24602740/32950928 swapFree=67048820/67111528
[pid=7774] ppid=7772 vsize=10550980 CPUtime=1729.14 cores=0,2,4,6
/proc/7774/stat : 7774 (java) S 7772 7774 6256 0 -1 4202496 985114 0 1 0 172794 120 0 0 25 0 19 0 878022562 10804203520 977476 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/7774/statm: 2637745 977476 2266 9 0 2628479 0
[pid=7774/tid=7776] ppid=7772 vsize=10550980 CPUtime=1719.17 cores=0,2,4,6
/proc/7774/task/7776/stat : 7776 (java) R 7772 7774 6256 0 -1 4202560 783640 0 1 0 171826 91 0 0 25 0 19 0 878022563 10804203520 977476 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 46912505659791 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=7774/tid=7777] ppid=7772 vsize=10550980 CPUtime=0.77 cores=0,2,4,6
/proc/7774/task/7777/stat : 7777 (java) S 7772 7774 6256 0 -1 4202560 22918 0 0 0 74 3 0 0 15 0 19 0 878022565 10804203520 977476 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 6 0 0 0
[pid=7774/tid=7778] ppid=7772 vsize=10550980 CPUtime=0.85 cores=0,2,4,6
/proc/7774/task/7778/stat : 7778 (java) S 7772 7774 6256 0 -1 4202560 22939 0 0 0 82 3 0 0 15 0 19 0 878022565 10804203520 977476 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 0 0 0 0
[pid=7774/tid=7779] ppid=7772 vsize=10550980 CPUtime=0.78 cores=0,2,4,6
/proc/7774/task/7779/stat : 7779 (java) S 7772 7774 6256 0 -1 4202560 24589 0 0 0 75 3 0 0 15 0 19 0 878022565 10804203520 977476 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 2 0 0 0
[pid=7774/tid=7780] ppid=7772 vsize=10550980 CPUtime=0.88 cores=0,2,4,6
/proc/7774/task/7780/stat : 7780 (java) S 7772 7774 6256 0 -1 4202560 20099 0 0 0 86 2 0 0 16 0 19 0 878022565 10804203520 977476 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 4 0 0 0
[pid=7774/tid=7781] ppid=7772 vsize=10550980 CPUtime=0.94 cores=0,2,4,6
/proc/7774/task/7781/stat : 7781 (java) S 7772 7774 6256 0 -1 4202560 21790 0 0 0 92 2 0 0 16 0 19 0 878022565 10804203520 977476 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 6 0 0 0
[pid=7774/tid=7782] ppid=7772 vsize=10550980 CPUtime=0.76 cores=0,2,4,6
/proc/7774/task/7782/stat : 7782 (java) S 7772 7774 6256 0 -1 4202560 15824 0 0 0 74 2 0 0 15 0 19 0 878022565 10804203520 977476 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 4 0 0 0
[pid=7774/tid=7783] ppid=7772 vsize=10550980 CPUtime=0.8 cores=0,2,4,6
/proc/7774/task/7783/stat : 7783 (java) S 7772 7774 6256 0 -1 4202560 27688 0 0 0 77 3 0 0 16 0 19 0 878022565 10804203520 977476 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 0 0 0 0
[pid=7774/tid=7784] ppid=7772 vsize=10550980 CPUtime=0.97 cores=0,2,4,6
/proc/7774/task/7784/stat : 7784 (java) S 7772 7774 6256 0 -1 4202560 24592 0 0 0 94 3 0 0 16 0 19 0 878022565 10804203520 977476 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 2 0 0 0
[pid=7774/tid=7785] ppid=7772 vsize=10550980 CPUtime=1.29 cores=0,2,4,6
/proc/7774/task/7785/stat : 7785 (java) S 7772 7774 6256 0 -1 4202560 7989 0 0 0 129 0 0 0 15 0 19 0 878022566 10804203520 977476 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284505600 0 0 0 16800975 18446604453825973056 0 0 -1 2 0 0 0
[pid=7774/tid=7786] ppid=7772 vsize=10550980 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7786/stat : 7786 (java) S 7772 7774 6256 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 878022566 10804203520 977476 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 4 0 0 0
[pid=7774/tid=7787] ppid=7772 vsize=10550980 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7787/stat : 7787 (java) S 7772 7774 6256 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 878022566 10804203520 977476 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 2 0 0 0
[pid=7774/tid=7788] ppid=7772 vsize=10550980 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7788/stat : 7788 (java) S 7772 7774 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022568 10804203520 977476 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284512689 0 4 0 16800975 18446604453825973056 0 0 -1 4 0 0 0
[pid=7774/tid=7789] ppid=7772 vsize=10550980 CPUtime=1.09 cores=0,2,4,6
/proc/7774/task/7789/stat : 7789 (java) S 7772 7774 6256 0 -1 4202560 5815 0 0 0 109 0 0 0 15 0 19 0 878022568 10804203520 977476 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 0 0 0 0
[pid=7774/tid=7790] ppid=7772 vsize=10550980 CPUtime=0.71 cores=0,2,4,6
/proc/7774/task/7790/stat : 7790 (java) S 7772 7774 6256 0 -1 4202560 5979 0 0 0 70 1 0 0 16 0 19 0 878022568 10804203520 977476 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 2 0 0 0
[pid=7774/tid=7791] ppid=7772 vsize=10550980 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7791/stat : 7791 (java) S 7772 7774 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022568 10804203520 977476 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 4 0 0 0
[pid=7774/tid=7792] ppid=7772 vsize=10550980 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7792/stat : 7792 (java) S 7772 7774 6256 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 878022568 10804203520 977476 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284505600 0 4 0 16800975 18446604453825973056 0 0 -1 0 0 0 0
[pid=7774/tid=7793] ppid=7772 vsize=10550980 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7793/stat : 7793 (java) S 7772 7774 6256 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 878022591 10804203520 977476 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284505600 0 4 0 16800975 18446604453825973056 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1729.14
Current children cumulated vsize (KiB) 10550980
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 7899
/proc/meminfo: memFree=24579240/32950928 swapFree=67048820/67111528
[pid=7774] ppid=7772 vsize=10550980 CPUtime=1789.25 cores=0,2,4,6
/proc/7774/stat : 7774 (java) S 7772 7774 6256 0 -1 4202496 986373 0 1 0 178805 120 0 0 25 0 19 0 878022562 10804203520 978709 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/7774/statm: 2637745 978709 2266 9 0 2628479 0
[pid=7774/tid=7776] ppid=7772 vsize=10550980 CPUtime=1779.14 cores=0,2,4,6
/proc/7774/task/7776/stat : 7776 (java) R 7772 7774 6256 0 -1 4202560 783642 0 1 0 177823 91 0 0 25 0 19 0 878022563 10804203520 978709 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 46912505659604 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=7774/tid=7777] ppid=7772 vsize=10550980 CPUtime=0.77 cores=0,2,4,6
/proc/7774/task/7777/stat : 7777 (java) S 7772 7774 6256 0 -1 4202560 22925 0 0 0 74 3 0 0 16 0 19 0 878022565 10804203520 978709 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 6 0 0 0
[pid=7774/tid=7778] ppid=7772 vsize=10550980 CPUtime=0.86 cores=0,2,4,6
/proc/7774/task/7778/stat : 7778 (java) S 7772 7774 6256 0 -1 4202560 23086 0 0 0 83 3 0 0 16 0 19 0 878022565 10804203520 978709 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 0 0 0 0
[pid=7774/tid=7779] ppid=7772 vsize=10550980 CPUtime=0.8 cores=0,2,4,6
/proc/7774/task/7779/stat : 7779 (java) S 7772 7774 6256 0 -1 4202560 24758 0 0 0 77 3 0 0 15 0 19 0 878022565 10804203520 978709 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 2 0 0 0
[pid=7774/tid=7780] ppid=7772 vsize=10550980 CPUtime=0.9 cores=0,2,4,6
/proc/7774/task/7780/stat : 7780 (java) S 7772 7774 6256 0 -1 4202560 20238 0 0 0 88 2 0 0 16 0 19 0 878022565 10804203520 978709 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 4 0 0 0
[pid=7774/tid=7781] ppid=7772 vsize=10550980 CPUtime=0.98 cores=0,2,4,6
/proc/7774/task/7781/stat : 7781 (java) S 7772 7774 6256 0 -1 4202560 22146 0 0 0 96 2 0 0 16 0 19 0 878022565 10804203520 978709 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 2 0 0 0
[pid=7774/tid=7782] ppid=7772 vsize=10550980 CPUtime=0.79 cores=0,2,4,6
/proc/7774/task/7782/stat : 7782 (java) S 7772 7774 6256 0 -1 4202560 16143 0 0 0 77 2 0 0 16 0 19 0 878022565 10804203520 978709 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 6 0 0 0
[pid=7774/tid=7783] ppid=7772 vsize=10550980 CPUtime=0.8 cores=0,2,4,6
/proc/7774/task/7783/stat : 7783 (java) S 7772 7774 6256 0 -1 4202560 27690 0 0 0 77 3 0 0 15 0 19 0 878022565 10804203520 978709 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 0 0 0 0
[pid=7774/tid=7784] ppid=7772 vsize=10550980 CPUtime=0.99 cores=0,2,4,6
/proc/7774/task/7784/stat : 7784 (java) S 7772 7774 6256 0 -1 4202560 24702 0 0 0 96 3 0 0 16 0 19 0 878022565 10804203520 978709 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 0 0 0 0
[pid=7774/tid=7785] ppid=7772 vsize=10550980 CPUtime=1.29 cores=0,2,4,6
/proc/7774/task/7785/stat : 7785 (java) S 7772 7774 6256 0 -1 4202560 7993 0 0 0 129 0 0 0 15 0 19 0 878022566 10804203520 978709 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284505600 0 0 0 16800975 18446604453825973056 0 0 -1 2 0 0 0
[pid=7774/tid=7786] ppid=7772 vsize=10550980 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7786/stat : 7786 (java) S 7772 7774 6256 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 878022566 10804203520 978709 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 4 0 0 0
[pid=7774/tid=7787] ppid=7772 vsize=10550980 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7787/stat : 7787 (java) S 7772 7774 6256 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 878022566 10804203520 978709 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 2 0 0 0
[pid=7774/tid=7788] ppid=7772 vsize=10550980 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7788/stat : 7788 (java) S 7772 7774 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022568 10804203520 978709 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284512689 0 4 0 16800975 18446604453825973056 0 0 -1 4 0 0 0
[pid=7774/tid=7789] ppid=7772 vsize=10550980 CPUtime=1.09 cores=0,2,4,6
/proc/7774/task/7789/stat : 7789 (java) S 7772 7774 6256 0 -1 4202560 5815 0 0 0 109 0 0 0 15 0 19 0 878022568 10804203520 978709 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 0 0 0 0
[pid=7774/tid=7790] ppid=7772 vsize=10550980 CPUtime=0.71 cores=0,2,4,6
/proc/7774/task/7790/stat : 7790 (java) S 7772 7774 6256 0 -1 4202560 5979 0 0 0 70 1 0 0 16 0 19 0 878022568 10804203520 978709 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 2 0 0 0
[pid=7774/tid=7791] ppid=7772 vsize=10550980 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7791/stat : 7791 (java) S 7772 7774 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022568 10804203520 978709 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 4 0 0 0
[pid=7774/tid=7792] ppid=7772 vsize=10550980 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7792/stat : 7792 (java) S 7772 7774 6256 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 878022568 10804203520 978709 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284505600 0 4 0 16800975 18446604453825973056 0 0 -1 0 0 0 0
[pid=7774/tid=7793] ppid=7772 vsize=10550980 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7793/stat : 7793 (java) S 7772 7774 6256 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 878022591 10804203520 978709 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284505600 0 4 0 16800975 18446604453825973056 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1789.25
Current children cumulated vsize (KiB) 10550980
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.01 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 7899
/proc/meminfo: memFree=24577248/32950928 swapFree=67048820/67111528
[pid=7774] ppid=7772 vsize=10550980 CPUtime=1800.01 cores=0,2,4,6
/proc/7774/stat : 7774 (java) S 7772 7774 6256 0 -1 4202496 986954 0 1 0 179881 120 0 0 25 0 19 0 878022562 10804203520 979276 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/7774/statm: 2637745 979276 2266 9 0 2628479 0
[pid=7774/tid=7776] ppid=7772 vsize=10550980 CPUtime=1789.83 cores=0,2,4,6
/proc/7774/task/7776/stat : 7776 (java) R 7772 7774 6256 0 -1 4202560 783643 0 1 0 178892 91 0 0 25 0 19 0 878022563 10804203520 979276 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 46912505659791 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=7774/tid=7777] ppid=7772 vsize=10550980 CPUtime=0.79 cores=0,2,4,6
/proc/7774/task/7777/stat : 7777 (java) S 7772 7774 6256 0 -1 4202560 23029 0 0 0 76 3 0 0 16 0 19 0 878022565 10804203520 979276 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 4 0 0 0
[pid=7774/tid=7778] ppid=7772 vsize=10550980 CPUtime=0.86 cores=0,2,4,6
/proc/7774/task/7778/stat : 7778 (java) S 7772 7774 6256 0 -1 4202560 23086 0 0 0 83 3 0 0 15 0 19 0 878022565 10804203520 979276 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 0 0 0 0
[pid=7774/tid=7779] ppid=7772 vsize=10550980 CPUtime=0.8 cores=0,2,4,6
/proc/7774/task/7779/stat : 7779 (java) S 7772 7774 6256 0 -1 4202560 24758 0 0 0 77 3 0 0 15 0 19 0 878022565 10804203520 979276 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 2 0 0 0
[pid=7774/tid=7780] ppid=7772 vsize=10550980 CPUtime=0.9 cores=0,2,4,6
/proc/7774/task/7780/stat : 7780 (java) S 7772 7774 6256 0 -1 4202560 20238 0 0 0 88 2 0 0 15 0 19 0 878022565 10804203520 979276 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 4 0 0 0
[pid=7774/tid=7781] ppid=7772 vsize=10550980 CPUtime=0.99 cores=0,2,4,6
/proc/7774/task/7781/stat : 7781 (java) S 7772 7774 6256 0 -1 4202560 22323 0 0 0 97 2 0 0 16 0 19 0 878022565 10804203520 979276 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 2 0 0 0
[pid=7774/tid=7782] ppid=7772 vsize=10550980 CPUtime=0.81 cores=0,2,4,6
/proc/7774/task/7782/stat : 7782 (java) S 7772 7774 6256 0 -1 4202560 16290 0 0 0 79 2 0 0 16 0 19 0 878022565 10804203520 979276 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 6 0 0 0
[pid=7774/tid=7783] ppid=7772 vsize=10550980 CPUtime=0.8 cores=0,2,4,6
/proc/7774/task/7783/stat : 7783 (java) S 7772 7774 6256 0 -1 4202560 27690 0 0 0 77 3 0 0 15 0 19 0 878022565 10804203520 979276 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 0 0 0 0
[pid=7774/tid=7784] ppid=7772 vsize=10550980 CPUtime=1.01 cores=0,2,4,6
/proc/7774/task/7784/stat : 7784 (java) S 7772 7774 6256 0 -1 4202560 24854 0 0 0 98 3 0 0 16 0 19 0 878022565 10804203520 979276 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 0 0 0 0
[pid=7774/tid=7785] ppid=7772 vsize=10550980 CPUtime=1.29 cores=0,2,4,6
/proc/7774/task/7785/stat : 7785 (java) S 7772 7774 6256 0 -1 4202560 7993 0 0 0 129 0 0 0 15 0 19 0 878022566 10804203520 979276 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284505600 0 0 0 16800975 18446604453825973056 0 0 -1 2 0 0 0
[pid=7774/tid=7786] ppid=7772 vsize=10550980 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7786/stat : 7786 (java) S 7772 7774 6256 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 878022566 10804203520 979276 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 4 0 0 0
[pid=7774/tid=7787] ppid=7772 vsize=10550980 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7787/stat : 7787 (java) S 7772 7774 6256 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 878022566 10804203520 979276 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 2 0 0 0
[pid=7774/tid=7788] ppid=7772 vsize=10550980 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7788/stat : 7788 (java) S 7772 7774 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022568 10804203520 979276 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284512689 0 4 0 16800975 18446604453825973056 0 0 -1 4 0 0 0
[pid=7774/tid=7789] ppid=7772 vsize=10550980 CPUtime=1.09 cores=0,2,4,6
/proc/7774/task/7789/stat : 7789 (java) S 7772 7774 6256 0 -1 4202560 5815 0 0 0 109 0 0 0 15 0 19 0 878022568 10804203520 979276 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 0 0 0 0
[pid=7774/tid=7790] ppid=7772 vsize=10550980 CPUtime=0.71 cores=0,2,4,6
/proc/7774/task/7790/stat : 7790 (java) S 7772 7774 6256 0 -1 4202560 5979 0 0 0 70 1 0 0 16 0 19 0 878022568 10804203520 979276 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 2 0 0 0
[pid=7774/tid=7791] ppid=7772 vsize=10550980 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7791/stat : 7791 (java) S 7772 7774 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022568 10804203520 979276 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284504985 0 4 0 16800975 18446604453825973056 0 0 -1 4 0 0 0
[pid=7774/tid=7792] ppid=7772 vsize=10550980 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7792/stat : 7792 (java) S 7772 7774 6256 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 878022568 10804203520 979276 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284505600 0 4 0 16800975 18446604453825973056 0 0 -1 0 0 0 0
[pid=7774/tid=7793] ppid=7772 vsize=10550980 CPUtime=0 cores=0,2,4,6
/proc/7774/task/7793/stat : 7793 (java) S 7772 7774 6256 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 878022591 10804203520 979276 33554432000 1073741824 1073778376 140735125320864 18446744073709551615 268284505600 0 4 0 16800975 18446604453825973056 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 10550980
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1793.11 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 7899
/proc/meminfo: memFree=24577248/32950928 swapFree=67048820/67111528
[pid=7774] ppid=7772 vsize=0 CPUtime=1800.13 cores=0,2,4,6
/proc/7774/stat : 7774 (java) Z 7772 7774 6256 0 -1 4203548 986985 0 1 0 179886 127 0 0 17 0 2 0 878022562 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/7774/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1793.18
CPU time (s): 1800.21
CPU user time (s): 1798.86
CPU system time (s): 1.3428
CPU usage (%): 100.392
Max. virtual memory (cumulated for all children) (KiB): 10554264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.86
system time used= 1.34279
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 986985
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= 38891
involuntary context switches= 5922
runsolver used 3.24251 second user time and 6.555 second system time
The end