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-3456374-1307220165/watcher-3456374-1307220165 -o /tmp/evaluation-result-3456374-1307220165/solver-3456374-1307220165 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456374-1307220165.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.00 2.01 1.95 2/395 17461
/proc/meminfo: memFree=29974284/32950904 swapFree=56615552/67111528
[pid=17461] ppid=17459 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/17461/stat : 17461 (java) S 17459 17461 15661 0 -1 4202496 1984 0 1 0 0 0 0 0 25 0 2 0 833616231 10681323520 1685 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/17461/statm: 2607745 1698 906 9 0 2598901 0
[pid=17461/tid=17462] ppid=17459 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17462/stat : 17462 (java) R 17459 17461 15661 0 -1 4202560 3036 0 1 0 0 0 0 0 25 0 2 0 833616232 10694979584 3852 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237278573627 0 4 0 16784584 0 0 0 -1 0 0 0 0
[startup+0.0398241 s]
/proc/loadavg: 2.00 2.01 1.95 2/395 17461
/proc/meminfo: memFree=29974284/32950904 swapFree=56615552/67111528
[pid=17461] ppid=17459 vsize=10466452 CPUtime=0.03 cores=0,2,4,6
/proc/17461/stat : 17461 (java) S 17459 17461 15661 0 -1 4202496 11065 0 1 0 2 1 0 0 25 0 12 0 833616231 10717646848 10763 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/17461/statm: 2616613 10763 1629 9 0 2607361 0
[pid=17461/tid=17462] ppid=17459 vsize=10466452 CPUtime=0.02 cores=0,2,4,6
/proc/17461/task/17462/stat : 17462 (java) S 17459 17461 15661 0 -1 4202560 9940 0 1 0 1 1 0 0 25 0 12 0 833616232 10717646848 10763 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16784584 18446604451718724608 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10466452
[startup+0.106165 s]
/proc/loadavg: 2.00 2.01 1.95 2/395 17461
/proc/meminfo: memFree=29974284/32950904 swapFree=56615552/67111528
[pid=17461] ppid=17459 vsize=10539836 CPUtime=0.11 cores=0,2,4,6
/proc/17461/stat : 17461 (java) S 17459 17461 15661 0 -1 4202496 13081 0 1 0 9 2 0 0 25 0 18 0 833616231 10792792064 12777 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17461/statm: 2634959 12777 2092 9 0 2625693 0
[pid=17461/tid=17462] ppid=17459 vsize=10539836 CPUtime=0.09 cores=0,2,4,6
/proc/17461/task/17462/stat : 17462 (java) R 17459 17461 15661 0 -1 4202560 11201 0 1 0 7 2 0 0 18 0 18 0 833616232 10792792064 12777 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237278566080 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539836
[startup+0.301081 s]
/proc/loadavg: 2.00 2.01 1.95 2/395 17461
/proc/meminfo: memFree=29974284/32950904 swapFree=56615552/67111528
[pid=17461] ppid=17459 vsize=10541984 CPUtime=0.47 cores=0,2,4,6
/proc/17461/stat : 17461 (java) S 17459 17461 15661 0 -1 4202496 15968 0 1 0 45 2 0 0 25 0 18 0 833616231 10794991616 15312 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17461/statm: 2635496 15313 2200 9 0 2626230 0
[pid=17461/tid=17462] ppid=17459 vsize=10541984 CPUtime=0.29 cores=0,2,4,6
/proc/17461/task/17462/stat : 17462 (java) R 17459 17461 15661 0 -1 4202560 13041 0 1 0 27 2 0 0 18 0 18 0 833616232 10794991616 15313 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 46912505585379 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10541984
[startup+0.701142 s]
/proc/loadavg: 2.00 2.01 1.95 2/395 17461
/proc/meminfo: memFree=29974284/32950904 swapFree=56615552/67111528
[pid=17461] ppid=17459 vsize=10544628 CPUtime=1.32 cores=0,2,4,6
/proc/17461/stat : 17461 (java) S 17459 17461 15661 0 -1 4202496 27154 0 1 0 128 4 0 0 25 0 19 0 833616231 10797699072 25384 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17461/statm: 2636157 25384 2228 9 0 2626891 0
[pid=17461/tid=17462] ppid=17459 vsize=10544628 CPUtime=0.69 cores=0,2,4,6
/proc/17461/task/17462/stat : 17462 (java) R 17459 17461 15661 0 -1 4202560 21934 0 1 0 66 3 0 0 19 0 19 0 833616232 10797699072 25384 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 46912505762318 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 10544628
[startup+1.50095 s]
/proc/loadavg: 2.00 2.01 1.95 5/437 17556
/proc/meminfo: memFree=29777436/32950904 swapFree=56615552/67111528
[pid=17461] ppid=17459 vsize=10544308 CPUtime=2.2 cores=0,2,4,6
/proc/17461/stat : 17461 (java) S 17459 17461 15661 0 -1 4202496 63154 0 1 0 212 8 0 0 25 0 19 0 833616231 10797371392 61103 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17461/statm: 2636077 61105 2231 9 0 2626811 0
[pid=17461/tid=17462] ppid=17459 vsize=10544308 CPUtime=1.48 cores=0,2,4,6
/proc/17461/task/17462/stat : 17462 (java) R 17459 17461 15661 0 -1 4202560 57687 0 1 0 141 7 0 0 18 0 19 0 833616232 10797371392 61105 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 46912505904964 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17461/tid=17466] ppid=17459 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17466/stat : 17466 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616234 10797371392 61105 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17467] ppid=17459 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17467/stat : 17467 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616234 10797371392 61105 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17468] ppid=17459 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17468/stat : 17468 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616234 10797371392 61105 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17469] ppid=17459 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17469/stat : 17469 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616234 10797371392 61105 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17470] ppid=17459 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17470/stat : 17470 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616234 10797371392 61105 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17471] ppid=17459 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17471/stat : 17471 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616234 10797371392 61105 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17472] ppid=17459 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17472/stat : 17472 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616234 10797371392 61105 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17473] ppid=17459 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17473/stat : 17473 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616234 10797371392 61105 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17474] ppid=17459 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17474/stat : 17474 (java) S 17459 17461 15661 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 833616235 10797371392 61111 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290696192 0 0 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17475] ppid=17459 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17475/stat : 17475 (java) S 17459 17461 15661 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833616235 10797371392 61113 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17476] ppid=17459 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17476/stat : 17476 (java) S 17459 17461 15661 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 833616235 10797371392 61115 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 0 0 0 0
[pid=17461/tid=17482] ppid=17459 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17482/stat : 17482 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616237 10797371392 61117 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290703281 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17483] ppid=17459 vsize=10544308 CPUtime=0.36 cores=0,2,4,6
/proc/17461/task/17483/stat : 17483 (java) S 17459 17461 15661 0 -1 4202560 1556 0 0 0 36 0 0 0 15 0 19 0 833616237 10797371392 61119 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 2 0 0 0
[pid=17461/tid=17485] ppid=17459 vsize=10544308 CPUtime=0.34 cores=0,2,4,6
/proc/17461/task/17485/stat : 17485 (java) S 17459 17461 15661 0 -1 4202560 2752 0 0 0 34 0 0 0 15 0 19 0 833616238 10797371392 61121 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 4 0 0 0
[pid=17461/tid=17486] ppid=17459 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17486/stat : 17486 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616238 10797371392 61122 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17487] ppid=17459 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17487/stat : 17487 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833616238 10797371392 61124 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290696192 0 4 0 16800975 18446604451718724608 0 0 -1 4 0 0 0
[pid=17461/tid=17510] ppid=17459 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17510/stat : 17510 (java) S 17459 17461 15661 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833616269 10797371392 61125 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290696192 0 4 0 16800975 18446604451718724608 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.2
Current children cumulated vsize (KiB) 10544308
[startup+3.10063 s]
/proc/loadavg: 2.16 2.05 1.96 5/437 17648
/proc/meminfo: memFree=29578704/32950904 swapFree=56615552/67111528
[pid=17461] ppid=17459 vsize=10544308 CPUtime=3.8 cores=0,2,4,6
/proc/17461/stat : 17461 (java) S 17459 17461 15661 0 -1 4202496 138864 0 1 0 364 16 0 0 25 0 19 0 833616231 10797371392 136814 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17461/statm: 2636077 136816 2231 9 0 2626811 0
[pid=17461/tid=17462] ppid=17459 vsize=10544308 CPUtime=3.08 cores=0,2,4,6
/proc/17461/task/17462/stat : 17462 (java) R 17459 17461 15661 0 -1 4202560 133399 0 1 0 293 15 0 0 21 0 19 0 833616232 10797371392 136817 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 46912505836937 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17461/tid=17466] ppid=17459 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17466/stat : 17466 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616234 10797371392 136819 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17467] ppid=17459 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17467/stat : 17467 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616234 10797371392 136820 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17468] ppid=17459 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17468/stat : 17468 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616234 10797371392 136822 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17469] ppid=17459 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17469/stat : 17469 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616234 10797371392 136823 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17470] ppid=17459 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17470/stat : 17470 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616234 10797371392 136825 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17471] ppid=17459 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17471/stat : 17471 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616234 10797371392 136826 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17472] ppid=17459 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17472/stat : 17472 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616234 10797371392 136828 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17473] ppid=17459 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17473/stat : 17473 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616234 10797371392 136829 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17474] ppid=17459 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17474/stat : 17474 (java) S 17459 17461 15661 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 833616235 10797371392 136831 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290696192 0 0 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17475] ppid=17459 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17475/stat : 17475 (java) S 17459 17461 15661 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833616235 10797371392 136832 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17476] ppid=17459 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17476/stat : 17476 (java) S 17459 17461 15661 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 833616235 10797371392 136834 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 0 0 0 0
[pid=17461/tid=17482] ppid=17459 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17482/stat : 17482 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616237 10797371392 136835 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290703281 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17483] ppid=17459 vsize=10544308 CPUtime=0.36 cores=0,2,4,6
/proc/17461/task/17483/stat : 17483 (java) S 17459 17461 15661 0 -1 4202560 1556 0 0 0 36 0 0 0 15 0 19 0 833616237 10797371392 136837 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 2 0 0 0
[pid=17461/tid=17485] ppid=17459 vsize=10544308 CPUtime=0.34 cores=0,2,4,6
/proc/17461/task/17485/stat : 17485 (java) S 17459 17461 15661 0 -1 4202560 2752 0 0 0 34 0 0 0 15 0 19 0 833616238 10797371392 136838 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 4 0 0 0
[pid=17461/tid=17486] ppid=17459 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17486/stat : 17486 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616238 10797371392 136840 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17487] ppid=17459 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17487/stat : 17487 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833616238 10797371392 136841 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290696192 0 4 0 16800975 18446604451718724608 0 0 -1 4 0 0 0
[pid=17461/tid=17510] ppid=17459 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17510/stat : 17510 (java) S 17459 17461 15661 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833616269 10797371392 136842 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290696192 0 4 0 16800975 18446604451718724608 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.8
Current children cumulated vsize (KiB) 10544308
[startup+6.30109 s]
/proc/loadavg: 2.16 2.05 1.96 3/437 17694
/proc/meminfo: memFree=28628724/32950904 swapFree=56615552/67111528
[pid=17461] ppid=17459 vsize=10544644 CPUtime=7.04 cores=0,2,4,6
/proc/17461/stat : 17461 (java) S 17459 17461 15661 0 -1 4202496 281900 0 1 0 672 32 0 0 25 0 19 0 833616231 10797715456 279840 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17461/statm: 2636161 279841 2232 9 0 2626895 0
[pid=17461/tid=17462] ppid=17459 vsize=10544644 CPUtime=6.29 cores=0,2,4,6
/proc/17461/task/17462/stat : 17462 (java) R 17459 17461 15661 0 -1 4202560 276384 0 1 0 598 31 0 0 25 0 19 0 833616232 10797715456 279842 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 46912505366039 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17461/tid=17466] ppid=17459 vsize=10544644 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17466/stat : 17466 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616234 10797715456 279843 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17467] ppid=17459 vsize=10544644 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17467/stat : 17467 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616234 10797715456 279844 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17468] ppid=17459 vsize=10544644 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17468/stat : 17468 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616234 10797715456 279845 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17469] ppid=17459 vsize=10544644 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17469/stat : 17469 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616234 10797715456 279846 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17470] ppid=17459 vsize=10544644 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17470/stat : 17470 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616234 10797715456 279848 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17471] ppid=17459 vsize=10544644 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17471/stat : 17471 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616234 10797715456 279850 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17472] ppid=17459 vsize=10544644 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17472/stat : 17472 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616234 10797715456 279851 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17473] ppid=17459 vsize=10544644 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17473/stat : 17473 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616234 10797715456 279852 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17474] ppid=17459 vsize=10544644 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17474/stat : 17474 (java) S 17459 17461 15661 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 833616235 10797715456 279853 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290696192 0 0 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17475] ppid=17459 vsize=10544644 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17475/stat : 17475 (java) S 17459 17461 15661 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833616235 10797715456 279855 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17476] ppid=17459 vsize=10544644 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17476/stat : 17476 (java) S 17459 17461 15661 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 833616235 10797715456 279856 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 0 0 0 0
[pid=17461/tid=17482] ppid=17459 vsize=10544644 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17482/stat : 17482 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616237 10797715456 279857 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290703281 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17483] ppid=17459 vsize=10544644 CPUtime=0.38 cores=0,2,4,6
/proc/17461/task/17483/stat : 17483 (java) S 17459 17461 15661 0 -1 4202560 1603 0 0 0 38 0 0 0 15 0 19 0 833616237 10797715456 279858 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 2 0 0 0
[pid=17461/tid=17485] ppid=17459 vsize=10544644 CPUtime=0.35 cores=0,2,4,6
/proc/17461/task/17485/stat : 17485 (java) S 17459 17461 15661 0 -1 4202560 2754 0 0 0 35 0 0 0 15 0 19 0 833616238 10797715456 279859 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 4 0 0 0
################
# More data... #
################
[pid=17461/tid=17510] ppid=17459 vsize=10544520 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17510/stat : 17510 (java) S 17459 17461 15661 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833616269 10797588480 663974 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290696192 0 4 0 16800975 18446604451718724608 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1665.29
Current children cumulated vsize (KiB) 10544520
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/437 17797
/proc/meminfo: memFree=23432548/32950904 swapFree=56615552/67111528
[pid=17461] ppid=17459 vsize=10544520 CPUtime=1725.37 cores=0,2,4,6
/proc/17461/stat : 17461 (java) S 17459 17461 15661 0 -1 4202496 668990 0 1 0 172457 80 0 0 25 0 19 0 833616231 10797588480 666304 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17461/statm: 2636130 666304 2262 9 0 2626864 0
[pid=17461/tid=17462] ppid=17459 vsize=10544520 CPUtime=1690.73 cores=0,2,4,6
/proc/17461/task/17462/stat : 17462 (java) R 17459 17461 15661 0 -1 4202560 574645 0 1 0 169007 66 0 0 25 0 19 0 833616232 10797588480 666304 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 46912505756304 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17461/tid=17466] ppid=17459 vsize=10544520 CPUtime=0.32 cores=0,2,4,6
/proc/17461/task/17466/stat : 17466 (java) S 17459 17461 15661 0 -1 4202560 614 0 0 0 32 0 0 0 15 0 19 0 833616234 10797588480 666304 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 2 0 0 0
[pid=17461/tid=17467] ppid=17459 vsize=10544520 CPUtime=0.39 cores=0,2,4,6
/proc/17461/task/17467/stat : 17467 (java) S 17459 17461 15661 0 -1 4202560 332 0 0 0 39 0 0 0 16 0 19 0 833616234 10797588480 666304 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17468] ppid=17459 vsize=10544520 CPUtime=0.32 cores=0,2,4,6
/proc/17461/task/17468/stat : 17468 (java) S 17459 17461 15661 0 -1 4202560 124 0 0 0 32 0 0 0 16 0 19 0 833616234 10797588480 666304 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 2 0 0 0
[pid=17461/tid=17469] ppid=17459 vsize=10544520 CPUtime=0.38 cores=0,2,4,6
/proc/17461/task/17469/stat : 17469 (java) S 17459 17461 15661 0 -1 4202560 438 0 0 0 38 0 0 0 15 0 19 0 833616234 10797588480 666304 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17470] ppid=17459 vsize=10544520 CPUtime=0.33 cores=0,2,4,6
/proc/17461/task/17470/stat : 17470 (java) S 17459 17461 15661 0 -1 4202560 187 0 0 0 33 0 0 0 16 0 19 0 833616234 10797588480 666304 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 0 0 0 0
[pid=17461/tid=17471] ppid=17459 vsize=10544520 CPUtime=0.33 cores=0,2,4,6
/proc/17461/task/17471/stat : 17471 (java) S 17459 17461 15661 0 -1 4202560 720 0 0 0 33 0 0 0 16 0 19 0 833616234 10797588480 666304 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17472] ppid=17459 vsize=10544520 CPUtime=0.38 cores=0,2,4,6
/proc/17461/task/17472/stat : 17472 (java) S 17459 17461 15661 0 -1 4202560 540 0 0 0 38 0 0 0 15 0 19 0 833616234 10797588480 666304 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17473] ppid=17459 vsize=10544520 CPUtime=0.43 cores=0,2,4,6
/proc/17461/task/17473/stat : 17473 (java) S 17459 17461 15661 0 -1 4202560 617 0 0 0 43 0 0 0 15 0 19 0 833616234 10797588480 666304 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 0 0 0 0
[pid=17461/tid=17474] ppid=17459 vsize=10544520 CPUtime=30.58 cores=0,2,4,6
/proc/17461/task/17474/stat : 17474 (java) S 17459 17461 15661 0 -1 4202560 84778 0 0 0 3048 10 0 0 15 0 19 0 833616235 10797588480 666304 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290696192 0 0 0 16800975 18446604451718724608 0 0 -1 4 0 0 0
[pid=17461/tid=17475] ppid=17459 vsize=10544520 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17475/stat : 17475 (java) S 17459 17461 15661 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 833616235 10797588480 666304 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17476] ppid=17459 vsize=10544520 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17476/stat : 17476 (java) S 17459 17461 15661 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 833616235 10797588480 666304 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 0 0 0 0
[pid=17461/tid=17482] ppid=17459 vsize=10544520 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17482/stat : 17482 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616237 10797588480 666304 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290703281 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17483] ppid=17459 vsize=10544520 CPUtime=0.7 cores=0,2,4,6
/proc/17461/task/17483/stat : 17483 (java) S 17459 17461 15661 0 -1 4202560 1967 0 0 0 70 0 0 0 15 0 19 0 833616237 10797588480 666304 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 2 0 0 0
[pid=17461/tid=17485] ppid=17459 vsize=10544520 CPUtime=0.4 cores=0,2,4,6
/proc/17461/task/17485/stat : 17485 (java) S 17459 17461 15661 0 -1 4202560 2776 0 0 0 40 0 0 0 16 0 19 0 833616238 10797588480 666304 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 4 0 0 0
[pid=17461/tid=17486] ppid=17459 vsize=10544520 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17486/stat : 17486 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616238 10797588480 666304 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17487] ppid=17459 vsize=10544520 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17487/stat : 17487 (java) S 17459 17461 15661 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 833616238 10797588480 666304 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290696192 0 4 0 16800975 18446604451718724608 0 0 -1 0 0 0 0
[pid=17461/tid=17510] ppid=17459 vsize=10544520 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17510/stat : 17510 (java) S 17459 17461 15661 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833616269 10797588480 666304 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290696192 0 4 0 16800975 18446604451718724608 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1725.37
Current children cumulated vsize (KiB) 10544520
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/437 17799
/proc/meminfo: memFree=23421108/32950904 swapFree=56615552/67111528
[pid=17461] ppid=17459 vsize=10544520 CPUtime=1785.44 cores=0,2,4,6
/proc/17461/stat : 17461 (java) S 17459 17461 15661 0 -1 4202496 670731 0 1 0 178464 80 0 0 25 0 19 0 833616231 10797588480 668036 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17461/statm: 2636130 668036 2262 9 0 2626864 0
[pid=17461/tid=17462] ppid=17459 vsize=10544520 CPUtime=1749.43 cores=0,2,4,6
/proc/17461/task/17462/stat : 17462 (java) R 17459 17461 15661 0 -1 4202560 574648 0 1 0 174877 66 0 0 25 0 19 0 833616232 10797588480 668036 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 46912505756304 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17461/tid=17466] ppid=17459 vsize=10544520 CPUtime=0.33 cores=0,2,4,6
/proc/17461/task/17466/stat : 17466 (java) S 17459 17461 15661 0 -1 4202560 614 0 0 0 33 0 0 0 15 0 19 0 833616234 10797588480 668036 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 0 0 0 0
[pid=17461/tid=17467] ppid=17459 vsize=10544520 CPUtime=0.41 cores=0,2,4,6
/proc/17461/task/17467/stat : 17467 (java) S 17459 17461 15661 0 -1 4202560 332 0 0 0 41 0 0 0 15 0 19 0 833616234 10797588480 668036 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17468] ppid=17459 vsize=10544520 CPUtime=0.34 cores=0,2,4,6
/proc/17461/task/17468/stat : 17468 (java) S 17459 17461 15661 0 -1 4202560 124 0 0 0 34 0 0 0 16 0 19 0 833616234 10797588480 668036 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 2 0 0 0
[pid=17461/tid=17469] ppid=17459 vsize=10544520 CPUtime=0.38 cores=0,2,4,6
/proc/17461/task/17469/stat : 17469 (java) S 17459 17461 15661 0 -1 4202560 438 0 0 0 38 0 0 0 15 0 19 0 833616234 10797588480 668036 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17470] ppid=17459 vsize=10544520 CPUtime=0.34 cores=0,2,4,6
/proc/17461/task/17470/stat : 17470 (java) S 17459 17461 15661 0 -1 4202560 187 0 0 0 34 0 0 0 16 0 19 0 833616234 10797588480 668036 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 0 0 0 0
[pid=17461/tid=17471] ppid=17459 vsize=10544520 CPUtime=0.36 cores=0,2,4,6
/proc/17461/task/17471/stat : 17471 (java) S 17459 17461 15661 0 -1 4202560 720 0 0 0 36 0 0 0 16 0 19 0 833616234 10797588480 668036 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17472] ppid=17459 vsize=10544520 CPUtime=0.38 cores=0,2,4,6
/proc/17461/task/17472/stat : 17472 (java) S 17459 17461 15661 0 -1 4202560 540 0 0 0 38 0 0 0 15 0 19 0 833616234 10797588480 668036 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17473] ppid=17459 vsize=10544520 CPUtime=0.43 cores=0,2,4,6
/proc/17461/task/17473/stat : 17473 (java) S 17459 17461 15661 0 -1 4202560 617 0 0 0 43 0 0 0 16 0 19 0 833616234 10797588480 668036 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17474] ppid=17459 vsize=10544520 CPUtime=31.83 cores=0,2,4,6
/proc/17461/task/17474/stat : 17474 (java) S 17459 17461 15661 0 -1 4202560 86514 0 0 0 3173 10 0 0 15 0 19 0 833616235 10797588480 668036 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290696192 0 0 0 16800975 18446604451718724608 0 0 -1 4 0 0 0
[pid=17461/tid=17475] ppid=17459 vsize=10544520 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17475/stat : 17475 (java) S 17459 17461 15661 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 833616235 10797588480 668036 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17476] ppid=17459 vsize=10544520 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17476/stat : 17476 (java) S 17459 17461 15661 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 833616235 10797588480 668036 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 0 0 0 0
[pid=17461/tid=17482] ppid=17459 vsize=10544520 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17482/stat : 17482 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616237 10797588480 668036 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290703281 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17483] ppid=17459 vsize=10544520 CPUtime=0.7 cores=0,2,4,6
/proc/17461/task/17483/stat : 17483 (java) S 17459 17461 15661 0 -1 4202560 1967 0 0 0 70 0 0 0 15 0 19 0 833616237 10797588480 668036 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 2 0 0 0
[pid=17461/tid=17485] ppid=17459 vsize=10544520 CPUtime=0.4 cores=0,2,4,6
/proc/17461/task/17485/stat : 17485 (java) S 17459 17461 15661 0 -1 4202560 2776 0 0 0 40 0 0 0 16 0 19 0 833616238 10797588480 668036 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 4 0 0 0
[pid=17461/tid=17486] ppid=17459 vsize=10544520 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17486/stat : 17486 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616238 10797588480 668036 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17487] ppid=17459 vsize=10544520 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17487/stat : 17487 (java) S 17459 17461 15661 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 833616238 10797588480 668036 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290696192 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17510] ppid=17459 vsize=10544520 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17510/stat : 17510 (java) S 17459 17461 15661 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833616269 10797588480 668036 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290696192 0 4 0 16800975 18446604451718724608 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1785.44
Current children cumulated vsize (KiB) 10544520
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/437 17799
/proc/meminfo: memFree=23403984/32950904 swapFree=56615552/67111528
[pid=17461] ppid=17459 vsize=10544520 CPUtime=1800.07 cores=0,2,4,6
/proc/17461/stat : 17461 (java) S 17459 17461 15661 0 -1 4202496 671321 0 1 0 179927 80 0 0 25 0 19 0 833616231 10797588480 668623 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17461/statm: 2636130 668623 2262 9 0 2626864 0
[pid=17461/tid=17462] ppid=17459 vsize=10544520 CPUtime=1763.4 cores=0,2,4,6
/proc/17461/task/17462/stat : 17462 (java) R 17459 17461 15661 0 -1 4202560 574649 0 1 0 176274 66 0 0 25 0 19 0 833616232 10797588480 668623 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 46912505729667 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17461/tid=17466] ppid=17459 vsize=10544520 CPUtime=0.34 cores=0,2,4,6
/proc/17461/task/17466/stat : 17466 (java) S 17459 17461 15661 0 -1 4202560 614 0 0 0 34 0 0 0 15 0 19 0 833616234 10797588480 668623 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 0 0 0 0
[pid=17461/tid=17467] ppid=17459 vsize=10544520 CPUtime=0.42 cores=0,2,4,6
/proc/17461/task/17467/stat : 17467 (java) S 17459 17461 15661 0 -1 4202560 334 0 0 0 42 0 0 0 15 0 19 0 833616234 10797588480 668623 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17468] ppid=17459 vsize=10544520 CPUtime=0.35 cores=0,2,4,6
/proc/17461/task/17468/stat : 17468 (java) S 17459 17461 15661 0 -1 4202560 124 0 0 0 35 0 0 0 16 0 19 0 833616234 10797588480 668623 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 2 0 0 0
[pid=17461/tid=17469] ppid=17459 vsize=10544520 CPUtime=0.39 cores=0,2,4,6
/proc/17461/task/17469/stat : 17469 (java) S 17459 17461 15661 0 -1 4202560 438 0 0 0 39 0 0 0 16 0 19 0 833616234 10797588480 668623 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17470] ppid=17459 vsize=10544520 CPUtime=0.34 cores=0,2,4,6
/proc/17461/task/17470/stat : 17470 (java) S 17459 17461 15661 0 -1 4202560 187 0 0 0 34 0 0 0 15 0 19 0 833616234 10797588480 668623 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 0 0 0 0
[pid=17461/tid=17471] ppid=17459 vsize=10544520 CPUtime=0.36 cores=0,2,4,6
/proc/17461/task/17471/stat : 17471 (java) S 17459 17461 15661 0 -1 4202560 720 0 0 0 36 0 0 0 15 0 19 0 833616234 10797588480 668623 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17472] ppid=17459 vsize=10544520 CPUtime=0.38 cores=0,2,4,6
/proc/17461/task/17472/stat : 17472 (java) S 17459 17461 15661 0 -1 4202560 540 0 0 0 38 0 0 0 16 0 19 0 833616234 10797588480 668623 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 0 0 0 0
[pid=17461/tid=17473] ppid=17459 vsize=10544520 CPUtime=0.44 cores=0,2,4,6
/proc/17461/task/17473/stat : 17473 (java) S 17459 17461 15661 0 -1 4202560 617 0 0 0 44 0 0 0 16 0 19 0 833616234 10797588480 668623 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17474] ppid=17459 vsize=10544520 CPUtime=32.47 cores=0,2,4,6
/proc/17461/task/17474/stat : 17474 (java) S 17459 17461 15661 0 -1 4202560 87099 0 0 0 3237 10 0 0 15 0 19 0 833616235 10797588480 668623 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290696192 0 0 0 16800975 18446604451718724608 0 0 -1 4 0 0 0
[pid=17461/tid=17475] ppid=17459 vsize=10544520 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17475/stat : 17475 (java) S 17459 17461 15661 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 833616235 10797588480 668623 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17476] ppid=17459 vsize=10544520 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17476/stat : 17476 (java) S 17459 17461 15661 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 833616235 10797588480 668623 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 0 0 0 0
[pid=17461/tid=17482] ppid=17459 vsize=10544520 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17482/stat : 17482 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616237 10797588480 668623 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290703281 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17483] ppid=17459 vsize=10544520 CPUtime=0.7 cores=0,2,4,6
/proc/17461/task/17483/stat : 17483 (java) S 17459 17461 15661 0 -1 4202560 1967 0 0 0 70 0 0 0 15 0 19 0 833616237 10797588480 668623 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 2 0 0 0
[pid=17461/tid=17485] ppid=17459 vsize=10544520 CPUtime=0.4 cores=0,2,4,6
/proc/17461/task/17485/stat : 17485 (java) S 17459 17461 15661 0 -1 4202560 2776 0 0 0 40 0 0 0 16 0 19 0 833616238 10797588480 668623 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 4 0 0 0
[pid=17461/tid=17486] ppid=17459 vsize=10544520 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17486/stat : 17486 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616238 10797588480 668623 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17487] ppid=17459 vsize=10544520 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17487/stat : 17487 (java) S 17459 17461 15661 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 833616238 10797588480 668623 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290696192 0 4 0 16800975 18446604451718724608 0 0 -1 2 0 0 0
[pid=17461/tid=17510] ppid=17459 vsize=10544520 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17510/stat : 17510 (java) S 17459 17461 15661 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833616269 10797588480 668623 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290696192 0 4 0 16800975 18446604451718724608 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 10544520
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1797.02 s]
/proc/loadavg: 2.00 2.00 2.00 3/437 17799
/proc/meminfo: memFree=23403984/32950904 swapFree=56615552/67111528
[pid=17461] ppid=17459 vsize=0 CPUtime=1800.29 cores=0,2,4,6
/proc/17461/stat : 17461 (java) Z 17459 17461 15661 0 -1 4203548 671356 0 1 0 179948 81 0 0 17 0 2 0 833616231 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17461/statm: 0 0 0 0 0 0 0
[pid=17461/tid=17486] ppid=17459 vsize=0 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17486/stat : 17486 (java) R 17459 17461 15661 0 -1 4203588 1 0 0 0 0 0 0 0 18 0 2 0 833616238 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.29
Current children cumulated vsize (KiB) 0
[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/437 17799
/proc/meminfo: memFree=23403984/32950904 swapFree=56615552/67111528
[pid=17461] ppid=17459 vsize=0 CPUtime=1800.37 cores=0,2,4,6
/proc/17461/stat : 17461 (java) Z 17459 17461 15661 0 -1 4203548 671356 0 1 0 179948 89 0 0 17 0 2 0 833616231 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17461/statm: 0 0 0 0 0 0 0
[pid=17461/tid=17486] ppid=17459 vsize=0 CPUtime=0.08 cores=0,2,4,6
/proc/17461/task/17486/stat : 17486 (java) R 17459 17461 15661 0 -1 4203588 1 0 0 0 0 8 0 0 18 0 2 0 833616238 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.37
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1797.12
CPU time (s): 1800.39
CPU user time (s): 1799.48
CPU system time (s): 0.909861
CPU usage (%): 100.182
Max. virtual memory (cumulated for all children) (KiB): 10545544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.48
system time used= 0.909861
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 671356
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= 40727
involuntary context switches= 10474
runsolver used 7.53785 second user time and 15.7906 second system time
The end