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-3457596-1307228676/watcher-3457596-1307228676 -o /tmp/evaluation-result-3457596-1307228676/solver-3457596-1307228676 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457596-1307228676.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: 1.99 2.06 2.01 2/568 4461
/proc/meminfo: memFree=17382844/32951124 swapFree=53733252/67111528
[pid=4461] ppid=4459 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/4461/stat : 4461 (java) R 4459 4461 3030 0 -1 4202496 954 0 0 0 0 0 0 0 23 0 1 0 834468409 23580672 698 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253635896808 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/4461/statm: 5757 699 516 9 0 124 0
[pid=4461/tid=4462] ppid=4459 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4462/stat : 4462 (java) R 4459 4461 3030 0 -1 4202560 6576 0 1 0 0 0 0 0 25 0 2 0 834468409 10694979584 7392 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253640553531 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.100561 s]
/proc/loadavg: 1.99 2.06 2.01 2/568 4461
/proc/meminfo: memFree=17382844/32951124 swapFree=53733252/67111528
[pid=4461] ppid=4459 vsize=10540272 CPUtime=0.1 cores=0,2,4,6
/proc/4461/stat : 4461 (java) S 4459 4461 3030 0 -1 4202496 13054 0 1 0 8 2 0 0 23 0 18 0 834468409 10793238528 12751 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4461/statm: 2635068 12752 2093 9 0 2625802 0
[pid=4461/tid=4462] ppid=4459 vsize=10540272 CPUtime=0.08 cores=0,2,4,6
/proc/4461/task/4462/stat : 4462 (java) R 4459 4461 3030 0 -1 4202560 11146 0 1 0 7 1 0 0 25 0 18 0 834468409 10793238528 12752 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 47628145272344 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540272
[startup+0.203267 s]
/proc/loadavg: 1.99 2.06 2.01 2/568 4461
/proc/meminfo: memFree=17382844/32951124 swapFree=53733252/67111528
[pid=4461] ppid=4459 vsize=10541620 CPUtime=0.28 cores=0,2,4,6
/proc/4461/stat : 4461 (java) S 4459 4461 3030 0 -1 4202496 31260 0 1 0 25 3 0 0 23 0 18 0 834468409 10794618880 30860 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4461/statm: 2635405 30860 2185 9 0 2626139 0
[pid=4461/tid=4462] ppid=4459 vsize=10541620 CPUtime=0.18 cores=0,2,4,6
/proc/4461/task/4462/stat : 4462 (java) R 4459 4461 3030 0 -1 4202560 28895 0 1 0 16 2 0 0 25 0 18 0 834468409 10794618880 30861 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10541620
[startup+0.307564 s]
/proc/loadavg: 1.99 2.06 2.01 2/568 4461
/proc/meminfo: memFree=17382844/32951124 swapFree=53733252/67111528
[pid=4461] ppid=4459 vsize=10542168 CPUtime=0.47 cores=0,2,4,6
/proc/4461/stat : 4461 (java) S 4459 4461 3030 0 -1 4202496 35677 0 1 0 43 4 0 0 23 0 18 0 834468409 10795180032 35204 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4461/statm: 2635542 35208 2200 9 0 2626276 0
[pid=4461/tid=4462] ppid=4459 vsize=10542168 CPUtime=0.29 cores=0,2,4,6
/proc/4461/task/4462/stat : 4462 (java) R 4459 4461 3030 0 -1 4202560 33042 0 1 0 26 3 0 0 18 0 18 0 834468409 10795180032 35210 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 46912505550505 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10542168
[startup+0.70049 s]
/proc/loadavg: 1.99 2.06 2.01 2/568 4461
/proc/meminfo: memFree=17382844/32951124 swapFree=53733252/67111528
[pid=4461] ppid=4459 vsize=10542168 CPUtime=0.86 cores=0,2,4,6
/proc/4461/stat : 4461 (java) S 4459 4461 3030 0 -1 4202496 66815 0 1 0 78 8 0 0 23 0 18 0 834468409 10795180032 66343 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4461/statm: 2635542 66346 2200 9 0 2626276 0
[pid=4461/tid=4462] ppid=4459 vsize=10542168 CPUtime=0.68 cores=0,2,4,6
/proc/4461/task/4462/stat : 4462 (java) R 4459 4461 3030 0 -1 4202560 64179 0 1 0 61 7 0 0 18 0 18 0 834468409 10795180032 66347 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 46912505591477 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 10542168
[startup+1.50135 s]
/proc/loadavg: 2.07 2.07 2.01 3/586 4479
/proc/meminfo: memFree=17002328/32951124 swapFree=53733252/67111528
[pid=4461] ppid=4459 vsize=10542168 CPUtime=1.67 cores=0,2,4,6
/proc/4461/stat : 4461 (java) S 4459 4461 3030 0 -1 4202496 131031 0 1 0 151 16 0 0 23 0 18 0 834468409 10795180032 130558 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4461/statm: 2635542 130561 2200 9 0 2626276 0
[pid=4461/tid=4462] ppid=4459 vsize=10542168 CPUtime=1.48 cores=0,2,4,6
/proc/4461/task/4462/stat : 4462 (java) R 4459 4461 3030 0 -1 4202560 128394 0 1 0 134 14 0 0 19 0 18 0 834468409 10795180032 130562 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 46912505550505 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=4461/tid=4464] ppid=4459 vsize=10542168 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4464/stat : 4464 (java) S 4459 4461 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834468411 10795180032 130564 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 6 0 0 0
[pid=4461/tid=4465] ppid=4459 vsize=10542168 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4465/stat : 4465 (java) S 4459 4461 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834468411 10795180032 130564 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 6 0 0 0
[pid=4461/tid=4466] ppid=4459 vsize=10542168 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4466/stat : 4466 (java) S 4459 4461 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834468411 10795180032 130566 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 6 0 0 0
[pid=4461/tid=4467] ppid=4459 vsize=10542168 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4467/stat : 4467 (java) S 4459 4461 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834468411 10795180032 130568 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 6 0 0 0
[pid=4461/tid=4468] ppid=4459 vsize=10542168 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4468/stat : 4468 (java) S 4459 4461 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834468411 10795180032 130570 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 6 0 0 0
[pid=4461/tid=4469] ppid=4459 vsize=10542168 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4469/stat : 4469 (java) S 4459 4461 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834468411 10795180032 130572 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 6 0 0 0
[pid=4461/tid=4470] ppid=4459 vsize=10542168 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4470/stat : 4470 (java) S 4459 4461 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834468411 10795180032 130574 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 6 0 0 0
[pid=4461/tid=4471] ppid=4459 vsize=10542168 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4471/stat : 4471 (java) S 4459 4461 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834468411 10795180032 130575 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 6 0 0 0
[pid=4461/tid=4472] ppid=4459 vsize=10542168 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4472/stat : 4472 (java) S 4459 4461 3030 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 834468412 10795180032 130577 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652676096 0 0 0 16800975 18446604449308128256 0 0 -1 6 0 0 0
[pid=4461/tid=4473] ppid=4459 vsize=10542168 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4473/stat : 4473 (java) S 4459 4461 3030 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 834468413 10795180032 130579 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 4 0 0 0
[pid=4461/tid=4474] ppid=4459 vsize=10542168 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4474/stat : 4474 (java) S 4459 4461 3030 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 834468413 10795180032 130581 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 4 0 0 0
[pid=4461/tid=4475] ppid=4459 vsize=10542168 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4475/stat : 4475 (java) S 4459 4461 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834468415 10795180032 130583 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652683185 0 4 0 16800975 18446604449308128256 0 0 -1 4 0 0 0
[pid=4461/tid=4476] ppid=4459 vsize=10542168 CPUtime=0.08 cores=0,2,4,6
/proc/4461/task/4476/stat : 4476 (java) S 4459 4461 3030 0 -1 4202560 596 0 0 0 8 0 0 0 18 0 18 0 834468415 10795180032 130585 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 0 0 0 0
[pid=4461/tid=4477] ppid=4459 vsize=10542168 CPUtime=0.08 cores=0,2,4,6
/proc/4461/task/4477/stat : 4477 (java) S 4459 4461 3030 0 -1 4202560 895 0 0 0 8 0 0 0 17 0 18 0 834468415 10795180032 130587 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 6 0 0 0
[pid=4461/tid=4478] ppid=4459 vsize=10542168 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4478/stat : 4478 (java) S 4459 4461 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834468415 10795180032 130589 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 4 0 0 0
[pid=4461/tid=4479] ppid=4459 vsize=10542168 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4479/stat : 4479 (java) S 4459 4461 3030 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 834468415 10795180032 130590 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652676096 0 4 0 16800975 18446604449308128256 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.67
Current children cumulated vsize (KiB) 10542168
[startup+3.10108 s]
/proc/loadavg: 2.07 2.07 2.01 3/586 4479
/proc/meminfo: memFree=16662568/32951124 swapFree=53733252/67111528
[pid=4461] ppid=4459 vsize=10542168 CPUtime=3.26 cores=0,2,4,6
/proc/4461/stat : 4461 (java) S 4459 4461 3030 0 -1 4202496 253054 0 1 0 297 29 0 0 23 0 18 0 834468409 10795180032 252581 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4461/statm: 2635542 252584 2204 9 0 2626276 0
[pid=4461/tid=4462] ppid=4459 vsize=10542168 CPUtime=3.08 cores=0,2,4,6
/proc/4461/task/4462/stat : 4462 (java) R 4459 4461 3030 0 -1 4202560 250414 0 1 0 280 28 0 0 24 0 18 0 834468409 10795180032 252586 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 46912505574896 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=4461/tid=4464] ppid=4459 vsize=10542168 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4464/stat : 4464 (java) S 4459 4461 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834468411 10795180032 252588 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 6 0 0 0
[pid=4461/tid=4465] ppid=4459 vsize=10542168 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4465/stat : 4465 (java) S 4459 4461 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834468411 10795180032 252590 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 6 0 0 0
[pid=4461/tid=4466] ppid=4459 vsize=10542168 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4466/stat : 4466 (java) S 4459 4461 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834468411 10795180032 252591 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 6 0 0 0
[pid=4461/tid=4467] ppid=4459 vsize=10542168 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4467/stat : 4467 (java) S 4459 4461 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834468411 10795180032 252593 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 6 0 0 0
[pid=4461/tid=4468] ppid=4459 vsize=10542168 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4468/stat : 4468 (java) S 4459 4461 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834468411 10795180032 252595 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 6 0 0 0
[pid=4461/tid=4469] ppid=4459 vsize=10542168 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4469/stat : 4469 (java) S 4459 4461 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834468411 10795180032 252597 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 6 0 0 0
[pid=4461/tid=4470] ppid=4459 vsize=10542168 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4470/stat : 4470 (java) S 4459 4461 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834468411 10795180032 252599 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 6 0 0 0
[pid=4461/tid=4471] ppid=4459 vsize=10542168 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4471/stat : 4471 (java) S 4459 4461 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834468411 10795180032 252600 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 6 0 0 0
[pid=4461/tid=4472] ppid=4459 vsize=10542168 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4472/stat : 4472 (java) S 4459 4461 3030 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 834468412 10795180032 252600 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652676096 0 0 0 16800975 18446604449308128256 0 0 -1 6 0 0 0
[pid=4461/tid=4473] ppid=4459 vsize=10542168 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4473/stat : 4473 (java) S 4459 4461 3030 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 834468413 10795180032 252602 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 4 0 0 0
[pid=4461/tid=4474] ppid=4459 vsize=10542168 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4474/stat : 4474 (java) S 4459 4461 3030 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 834468413 10795180032 252604 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 4 0 0 0
[pid=4461/tid=4475] ppid=4459 vsize=10542168 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4475/stat : 4475 (java) S 4459 4461 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834468415 10795180032 252606 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652683185 0 4 0 16800975 18446604449308128256 0 0 -1 4 0 0 0
[pid=4461/tid=4476] ppid=4459 vsize=10542168 CPUtime=0.08 cores=0,2,4,6
/proc/4461/task/4476/stat : 4476 (java) S 4459 4461 3030 0 -1 4202560 600 0 0 0 8 0 0 0 18 0 18 0 834468415 10795180032 252607 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 0 0 0 0
[pid=4461/tid=4477] ppid=4459 vsize=10542168 CPUtime=0.08 cores=0,2,4,6
/proc/4461/task/4477/stat : 4477 (java) S 4459 4461 3030 0 -1 4202560 895 0 0 0 8 0 0 0 17 0 18 0 834468415 10795180032 252609 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 6 0 0 0
[pid=4461/tid=4478] ppid=4459 vsize=10542168 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4478/stat : 4478 (java) S 4459 4461 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834468415 10795180032 252611 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 4 0 0 0
[pid=4461/tid=4479] ppid=4459 vsize=10542168 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4479/stat : 4479 (java) S 4459 4461 3030 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 834468415 10795180032 252613 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652676096 0 4 0 16800975 18446604449308128256 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.26
Current children cumulated vsize (KiB) 10542168
[startup+6.3015 s]
/proc/loadavg: 2.06 2.07 2.01 4/586 4479
/proc/meminfo: memFree=15640328/32951124 swapFree=53733252/67111528
[pid=4461] ppid=4459 vsize=10545360 CPUtime=6.93 cores=0,2,4,6
/proc/4461/stat : 4461 (java) S 4459 4461 3030 0 -1 4202496 523306 0 1 0 636 57 0 0 23 0 18 0 834468409 10798448640 520526 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4461/statm: 2636340 520526 2215 9 0 2627074 0
[pid=4461/tid=4462] ppid=4459 vsize=10545360 CPUtime=6.28 cores=0,2,4,6
/proc/4461/task/4462/stat : 4462 (java) R 4459 4461 3030 0 -1 4202560 514928 0 1 0 572 56 0 0 19 0 18 0 834468409 10798448640 520526 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 46912505800584 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=4461/tid=4464] ppid=4459 vsize=10545360 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4464/stat : 4464 (java) S 4459 4461 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834468411 10798448640 520526 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 6 0 0 0
[pid=4461/tid=4465] ppid=4459 vsize=10545360 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4465/stat : 4465 (java) S 4459 4461 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834468411 10798448640 520526 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 6 0 0 0
[pid=4461/tid=4466] ppid=4459 vsize=10545360 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4466/stat : 4466 (java) S 4459 4461 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834468411 10798448640 520526 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 6 0 0 0
[pid=4461/tid=4467] ppid=4459 vsize=10545360 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4467/stat : 4467 (java) S 4459 4461 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834468411 10798448640 520526 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 6 0 0 0
[pid=4461/tid=4468] ppid=4459 vsize=10545360 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4468/stat : 4468 (java) S 4459 4461 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834468411 10798448640 520526 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 6 0 0 0
[pid=4461/tid=4469] ppid=4459 vsize=10545360 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4469/stat : 4469 (java) S 4459 4461 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834468411 10798448640 520526 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 6 0 0 0
[pid=4461/tid=4470] ppid=4459 vsize=10545360 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4470/stat : 4470 (java) S 4459 4461 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834468411 10798448640 520526 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 6 0 0 0
[pid=4461/tid=4471] ppid=4459 vsize=10545360 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4471/stat : 4471 (java) S 4459 4461 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834468411 10798448640 520526 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 6 0 0 0
[pid=4461/tid=4472] ppid=4459 vsize=10545360 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4472/stat : 4472 (java) S 4459 4461 3030 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 18 0 834468412 10798448640 520526 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652676096 0 0 0 16800975 18446604449308128256 0 0 -1 6 0 0 0
[pid=4461/tid=4473] ppid=4459 vsize=10545360 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4473/stat : 4473 (java) S 4459 4461 3030 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 834468413 10798448640 520526 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 4 0 0 0
[pid=4461/tid=4474] ppid=4459 vsize=10545360 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4474/stat : 4474 (java) S 4459 4461 3030 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 834468413 10798448640 520526 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 4 0 0 0
[pid=4461/tid=4475] ppid=4459 vsize=10545360 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4475/stat : 4475 (java) S 4459 4461 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834468415 10798448640 520526 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652683185 0 4 0 16800975 18446604449308128256 0 0 -1 4 0 0 0
[pid=4461/tid=4476] ppid=4459 vsize=10545360 CPUtime=0.24 cores=0,2,4,6
/proc/4461/task/4476/stat : 4476 (java) S 4459 4461 3030 0 -1 4202560 1023 0 0 0 24 0 0 0 15 0 18 0 834468415 10798448640 520526 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 0 0 0 0
[pid=4461/tid=4477] ppid=4459 vsize=10545360 CPUtime=0.38 cores=0,2,4,6
/proc/4461/task/4477/stat : 4477 (java) S 4459 4461 3030 0 -1 4202560 6203 0 0 0 38 0 0 0 16 0 18 0 834468415 10798448640 520526 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 6 0 0 0
[pid=4461/tid=4478] ppid=4459 vsize=10545360 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4478/stat : 4478 (java) S 4459 4461 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834468415 10798448640 520526 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 4 0 0 0
[pid=4461/tid=4479] ppid=4459 vsize=10545360 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4479/stat : 4479 (java) S 4459 4461 3030 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 834468415 10798448640 520526 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652676096 0 4 0 16800975 18446604449308128256 0 0 -1 0 0 0 0
################
# More data... #
################
/proc/4461/task/4474/stat : 4474 (java) S 4459 4461 3030 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834468413 10799501312 1358763 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 0 0 0 0
[pid=4461/tid=4475] ppid=4459 vsize=10546388 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4475/stat : 4475 (java) S 4459 4461 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834468415 10799501312 1358763 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652683185 0 4 0 16800975 18446604449308128256 0 0 -1 4 0 0 0
[pid=4461/tid=4476] ppid=4459 vsize=10546388 CPUtime=0.79 cores=0,2,4,6
/proc/4461/task/4476/stat : 4476 (java) S 4459 4461 3030 0 -1 4202560 1163 0 0 0 79 0 0 0 15 0 19 0 834468415 10799501312 1358763 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 0 0 0 0
[pid=4461/tid=4477] ppid=4459 vsize=10546388 CPUtime=0.73 cores=0,2,4,6
/proc/4461/task/4477/stat : 4477 (java) S 4459 4461 3030 0 -1 4202560 8338 0 0 0 72 1 0 0 15 0 19 0 834468415 10799501312 1358763 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 6 0 0 0
[pid=4461/tid=4478] ppid=4459 vsize=10546388 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4478/stat : 4478 (java) S 4459 4461 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834468415 10799501312 1358763 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 4 0 0 0
[pid=4461/tid=4479] ppid=4459 vsize=10546388 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4479/stat : 4479 (java) S 4459 4461 3030 0 -1 4202560 94 0 0 0 0 0 0 0 15 0 19 0 834468415 10799501312 1358763 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652676096 0 4 0 16800975 18446604449308128256 0 0 -1 0 0 0 0
[pid=4461/tid=4481] ppid=4459 vsize=10546388 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4481/stat : 4481 (java) S 4459 4461 3030 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834470688 10799501312 1358763 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652676096 0 4 0 16800975 18446604449308128256 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1625.39
Current children cumulated vsize (KiB) 10546388
[startup+1662.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/587 4618
/proc/meminfo: memFree=11980356/32951124 swapFree=53733252/67111528
[pid=4461] ppid=4459 vsize=10546388 CPUtime=1685.92 cores=0,2,4,6
/proc/4461/stat : 4461 (java) S 4459 4461 3030 0 -1 4202496 1376506 0 1 0 168399 193 0 0 23 0 19 0 834468409 10799501312 1365025 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4461/statm: 2636597 1365025 2243 9 0 2627331 0
[pid=4461/tid=4462] ppid=4459 vsize=10546388 CPUtime=1654.03 cores=0,2,4,6
/proc/4461/task/4462/stat : 4462 (java) R 4459 4461 3030 0 -1 4202560 651228 0 1 0 165330 73 0 0 25 0 19 0 834468409 10799501312 1365025 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 46912505998361 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=4461/tid=4464] ppid=4459 vsize=10546388 CPUtime=4.14 cores=0,2,4,6
/proc/4461/task/4464/stat : 4464 (java) S 4459 4461 3030 0 -1 4202560 98666 0 0 0 399 15 0 0 16 0 19 0 834468411 10799501312 1365025 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 0 0 0 0
[pid=4461/tid=4465] ppid=4459 vsize=10546388 CPUtime=3.87 cores=0,2,4,6
/proc/4461/task/4465/stat : 4465 (java) S 4459 4461 3030 0 -1 4202560 89680 0 0 0 372 15 0 0 15 0 19 0 834468411 10799501312 1365025 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 2 0 0 0
[pid=4461/tid=4466] ppid=4459 vsize=10546388 CPUtime=3.11 cores=0,2,4,6
/proc/4461/task/4466/stat : 4466 (java) S 4459 4461 3030 0 -1 4202560 42160 0 0 0 304 7 0 0 16 0 19 0 834468411 10799501312 1365025 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 0 0 0 0
[pid=4461/tid=4467] ppid=4459 vsize=10546388 CPUtime=3.83 cores=0,2,4,6
/proc/4461/task/4467/stat : 4467 (java) S 4459 4461 3030 0 -1 4202560 89690 0 0 0 370 13 0 0 15 0 19 0 834468411 10799501312 1365025 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 4 0 0 0
[pid=4461/tid=4468] ppid=4459 vsize=10546388 CPUtime=3.88 cores=0,2,4,6
/proc/4461/task/4468/stat : 4468 (java) S 4459 4461 3030 0 -1 4202560 91070 0 0 0 372 16 0 0 15 0 19 0 834468411 10799501312 1365025 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 6 0 0 0
[pid=4461/tid=4469] ppid=4459 vsize=10546388 CPUtime=3.8 cores=0,2,4,6
/proc/4461/task/4469/stat : 4469 (java) S 4459 4461 3030 0 -1 4202560 93586 0 0 0 368 12 0 0 15 0 19 0 834468411 10799501312 1365025 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 4 0 0 0
[pid=4461/tid=4470] ppid=4459 vsize=10546388 CPUtime=3.7 cores=0,2,4,6
/proc/4461/task/4470/stat : 4470 (java) S 4459 4461 3030 0 -1 4202560 111608 0 0 0 351 19 0 0 16 0 19 0 834468411 10799501312 1365025 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 4 0 0 0
[pid=4461/tid=4471] ppid=4459 vsize=10546388 CPUtime=3.89 cores=0,2,4,6
/proc/4461/task/4471/stat : 4471 (java) S 4459 4461 3030 0 -1 4202560 97972 0 0 0 374 15 0 0 16 0 19 0 834468411 10799501312 1365025 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 6 0 0 0
[pid=4461/tid=4472] ppid=4459 vsize=10546388 CPUtime=0.02 cores=0,2,4,6
/proc/4461/task/4472/stat : 4472 (java) S 4459 4461 3030 0 -1 4202560 98 0 0 0 1 1 0 0 15 0 19 0 834468412 10799501312 1365025 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652676096 0 0 0 16800975 18446604449308128256 0 0 -1 2 0 0 0
[pid=4461/tid=4473] ppid=4459 vsize=10546388 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4473/stat : 4473 (java) S 4459 4461 3030 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834468413 10799501312 1365025 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 0 0 0 0
[pid=4461/tid=4474] ppid=4459 vsize=10546388 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4474/stat : 4474 (java) S 4459 4461 3030 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834468413 10799501312 1365025 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 0 0 0 0
[pid=4461/tid=4475] ppid=4459 vsize=10546388 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4475/stat : 4475 (java) S 4459 4461 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834468415 10799501312 1365025 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652683185 0 4 0 16800975 18446604449308128256 0 0 -1 4 0 0 0
[pid=4461/tid=4476] ppid=4459 vsize=10546388 CPUtime=0.79 cores=0,2,4,6
/proc/4461/task/4476/stat : 4476 (java) S 4459 4461 3030 0 -1 4202560 1163 0 0 0 79 0 0 0 15 0 19 0 834468415 10799501312 1365025 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 0 0 0 0
[pid=4461/tid=4477] ppid=4459 vsize=10546388 CPUtime=0.73 cores=0,2,4,6
/proc/4461/task/4477/stat : 4477 (java) S 4459 4461 3030 0 -1 4202560 8338 0 0 0 72 1 0 0 15 0 19 0 834468415 10799501312 1365025 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 6 0 0 0
[pid=4461/tid=4478] ppid=4459 vsize=10546388 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4478/stat : 4478 (java) S 4459 4461 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834468415 10799501312 1365025 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 4 0 0 0
[pid=4461/tid=4479] ppid=4459 vsize=10546388 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4479/stat : 4479 (java) S 4459 4461 3030 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 834468415 10799501312 1365025 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652676096 0 4 0 16800975 18446604449308128256 0 0 -1 0 0 0 0
[pid=4461/tid=4481] ppid=4459 vsize=10546388 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4481/stat : 4481 (java) S 4459 4461 3030 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834470688 10799501312 1365025 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652676096 0 4 0 16800975 18446604449308128256 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1685.92
Current children cumulated vsize (KiB) 10546388
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/587 4619
/proc/meminfo: memFree=11944004/32951124 swapFree=53733252/67111528
[pid=4461] ppid=4459 vsize=10546388 CPUtime=1746.69 cores=0,2,4,6
/proc/4461/stat : 4461 (java) S 4459 4461 3030 0 -1 4202496 1377108 0 1 0 174476 193 0 0 23 0 19 0 834468409 10799501312 1365616 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4461/statm: 2636597 1365616 2243 9 0 2627331 0
[pid=4461/tid=4462] ppid=4459 vsize=10546388 CPUtime=1713.69 cores=0,2,4,6
/proc/4461/task/4462/stat : 4462 (java) R 4459 4461 3030 0 -1 4202560 651235 0 1 0 171296 73 0 0 25 0 19 0 834468409 10799501312 1365616 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 46912506199864 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=4461/tid=4464] ppid=4459 vsize=10546388 CPUtime=4.34 cores=0,2,4,6
/proc/4461/task/4464/stat : 4464 (java) S 4459 4461 3030 0 -1 4202560 98793 0 0 0 419 15 0 0 15 0 19 0 834468411 10799501312 1365616 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 2 0 0 0
[pid=4461/tid=4465] ppid=4459 vsize=10546388 CPUtime=3.95 cores=0,2,4,6
/proc/4461/task/4465/stat : 4465 (java) S 4459 4461 3030 0 -1 4202560 89756 0 0 0 380 15 0 0 16 0 19 0 834468411 10799501312 1365616 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 4 0 0 0
[pid=4461/tid=4466] ppid=4459 vsize=10546388 CPUtime=3.29 cores=0,2,4,6
/proc/4461/task/4466/stat : 4466 (java) S 4459 4461 3030 0 -1 4202560 42306 0 0 0 322 7 0 0 16 0 19 0 834468411 10799501312 1365616 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 0 0 0 0
[pid=4461/tid=4467] ppid=4459 vsize=10546388 CPUtime=4.03 cores=0,2,4,6
/proc/4461/task/4467/stat : 4467 (java) S 4459 4461 3030 0 -1 4202560 89801 0 0 0 390 13 0 0 16 0 19 0 834468411 10799501312 1365616 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 2 0 0 0
[pid=4461/tid=4468] ppid=4459 vsize=10546388 CPUtime=3.99 cores=0,2,4,6
/proc/4461/task/4468/stat : 4468 (java) S 4459 4461 3030 0 -1 4202560 91072 0 0 0 383 16 0 0 16 0 19 0 834468411 10799501312 1365616 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 6 0 0 0
[pid=4461/tid=4469] ppid=4459 vsize=10546388 CPUtime=4.04 cores=0,2,4,6
/proc/4461/task/4469/stat : 4469 (java) S 4459 4461 3030 0 -1 4202560 93713 0 0 0 392 12 0 0 16 0 19 0 834468411 10799501312 1365616 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 4 0 0 0
[pid=4461/tid=4470] ppid=4459 vsize=10546388 CPUtime=3.78 cores=0,2,4,6
/proc/4461/task/4470/stat : 4470 (java) S 4459 4461 3030 0 -1 4202560 111608 0 0 0 359 19 0 0 15 0 19 0 834468411 10799501312 1365616 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 6 0 0 0
[pid=4461/tid=4471] ppid=4459 vsize=10546388 CPUtime=3.92 cores=0,2,4,6
/proc/4461/task/4471/stat : 4471 (java) S 4459 4461 3030 0 -1 4202560 97974 0 0 0 377 15 0 0 15 0 19 0 834468411 10799501312 1365616 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 2 0 0 0
[pid=4461/tid=4472] ppid=4459 vsize=10546388 CPUtime=0.03 cores=0,2,4,6
/proc/4461/task/4472/stat : 4472 (java) S 4459 4461 3030 0 -1 4202560 100 0 0 0 2 1 0 0 15 0 19 0 834468412 10799501312 1365616 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652676096 0 0 0 16800975 18446604449308128256 0 0 -1 2 0 0 0
[pid=4461/tid=4473] ppid=4459 vsize=10546388 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4473/stat : 4473 (java) S 4459 4461 3030 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834468413 10799501312 1365616 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 0 0 0 0
[pid=4461/tid=4474] ppid=4459 vsize=10546388 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4474/stat : 4474 (java) S 4459 4461 3030 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834468413 10799501312 1365616 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 0 0 0 0
[pid=4461/tid=4475] ppid=4459 vsize=10546388 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4475/stat : 4475 (java) S 4459 4461 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834468415 10799501312 1365616 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652683185 0 4 0 16800975 18446604449308128256 0 0 -1 4 0 0 0
[pid=4461/tid=4476] ppid=4459 vsize=10546388 CPUtime=0.79 cores=0,2,4,6
/proc/4461/task/4476/stat : 4476 (java) S 4459 4461 3030 0 -1 4202560 1163 0 0 0 79 0 0 0 15 0 19 0 834468415 10799501312 1365616 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 0 0 0 0
[pid=4461/tid=4477] ppid=4459 vsize=10546388 CPUtime=0.73 cores=0,2,4,6
/proc/4461/task/4477/stat : 4477 (java) S 4459 4461 3030 0 -1 4202560 8338 0 0 0 72 1 0 0 15 0 19 0 834468415 10799501312 1365616 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 6 0 0 0
[pid=4461/tid=4478] ppid=4459 vsize=10546388 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4478/stat : 4478 (java) S 4459 4461 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834468415 10799501312 1365616 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 4 0 0 0
[pid=4461/tid=4479] ppid=4459 vsize=10546388 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4479/stat : 4479 (java) S 4459 4461 3030 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 834468415 10799501312 1365616 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652676096 0 4 0 16800975 18446604449308128256 0 0 -1 2 0 0 0
[pid=4461/tid=4481] ppid=4459 vsize=10546388 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4481/stat : 4481 (java) S 4459 4461 3030 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834470688 10799501312 1365616 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652676096 0 4 0 16800975 18446604449308128256 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1746.69
Current children cumulated vsize (KiB) 10546388
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1775.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/587 4621
/proc/meminfo: memFree=11921032/32951124 swapFree=53733252/67111528
[pid=4461] ppid=4459 vsize=10546388 CPUtime=1800.05 cores=0,2,4,6
/proc/4461/stat : 4461 (java) S 4459 4461 3030 0 -1 4202496 1377613 0 1 0 179812 193 0 0 23 0 19 0 834468409 10799501312 1366106 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4461/statm: 2636597 1366106 2243 9 0 2627331 0
[pid=4461/tid=4462] ppid=4459 vsize=10546388 CPUtime=1766.29 cores=0,2,4,6
/proc/4461/task/4462/stat : 4462 (java) R 4459 4461 3030 0 -1 4202560 651242 0 1 0 176556 73 0 0 25 0 19 0 834468409 10799501312 1366106 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 46912505998552 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=4461/tid=4464] ppid=4459 vsize=10546388 CPUtime=4.45 cores=0,2,4,6
/proc/4461/task/4464/stat : 4464 (java) S 4459 4461 3030 0 -1 4202560 98798 0 0 0 430 15 0 0 16 0 19 0 834468411 10799501312 1366106 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 6 0 0 0
[pid=4461/tid=4465] ppid=4459 vsize=10546388 CPUtime=4.01 cores=0,2,4,6
/proc/4461/task/4465/stat : 4465 (java) S 4459 4461 3030 0 -1 4202560 89831 0 0 0 386 15 0 0 15 0 19 0 834468411 10799501312 1366106 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 4 0 0 0
[pid=4461/tid=4466] ppid=4459 vsize=10546388 CPUtime=3.44 cores=0,2,4,6
/proc/4461/task/4466/stat : 4466 (java) S 4459 4461 3030 0 -1 4202560 42452 0 0 0 337 7 0 0 15 0 19 0 834468411 10799501312 1366106 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 0 0 0 0
[pid=4461/tid=4467] ppid=4459 vsize=10546388 CPUtime=4.08 cores=0,2,4,6
/proc/4461/task/4467/stat : 4467 (java) S 4459 4461 3030 0 -1 4202560 89801 0 0 0 395 13 0 0 15 0 19 0 834468411 10799501312 1366106 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 2 0 0 0
[pid=4461/tid=4468] ppid=4459 vsize=10546388 CPUtime=4.02 cores=0,2,4,6
/proc/4461/task/4468/stat : 4468 (java) S 4459 4461 3030 0 -1 4202560 91074 0 0 0 386 16 0 0 16 0 19 0 834468411 10799501312 1366106 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 0 0 0 0
[pid=4461/tid=4469] ppid=4459 vsize=10546388 CPUtime=4.18 cores=0,2,4,6
/proc/4461/task/4469/stat : 4469 (java) S 4459 4461 3030 0 -1 4202560 93771 0 0 0 406 12 0 0 16 0 19 0 834468411 10799501312 1366106 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 2 0 0 0
[pid=4461/tid=4470] ppid=4459 vsize=10546388 CPUtime=3.88 cores=0,2,4,6
/proc/4461/task/4470/stat : 4470 (java) S 4459 4461 3030 0 -1 4202560 111730 0 0 0 369 19 0 0 16 0 19 0 834468411 10799501312 1366106 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 4 0 0 0
[pid=4461/tid=4471] ppid=4459 vsize=10546388 CPUtime=4.05 cores=0,2,4,6
/proc/4461/task/4471/stat : 4471 (java) S 4459 4461 3030 0 -1 4202560 98056 0 0 0 390 15 0 0 15 0 19 0 834468411 10799501312 1366106 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 6 0 0 0
[pid=4461/tid=4472] ppid=4459 vsize=10546388 CPUtime=0.03 cores=0,2,4,6
/proc/4461/task/4472/stat : 4472 (java) S 4459 4461 3030 0 -1 4202560 104 0 0 0 2 1 0 0 15 0 19 0 834468412 10799501312 1366106 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652676096 0 0 0 16800975 18446604449308128256 0 0 -1 2 0 0 0
[pid=4461/tid=4473] ppid=4459 vsize=10546388 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4473/stat : 4473 (java) S 4459 4461 3030 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834468413 10799501312 1366106 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 0 0 0 0
[pid=4461/tid=4474] ppid=4459 vsize=10546388 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4474/stat : 4474 (java) S 4459 4461 3030 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834468413 10799501312 1366106 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 0 0 0 0
[pid=4461/tid=4475] ppid=4459 vsize=10546388 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4475/stat : 4475 (java) S 4459 4461 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834468415 10799501312 1366106 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652683185 0 4 0 16800975 18446604449308128256 0 0 -1 4 0 0 0
[pid=4461/tid=4476] ppid=4459 vsize=10546388 CPUtime=0.79 cores=0,2,4,6
/proc/4461/task/4476/stat : 4476 (java) S 4459 4461 3030 0 -1 4202560 1163 0 0 0 79 0 0 0 15 0 19 0 834468415 10799501312 1366106 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 0 0 0 0
[pid=4461/tid=4477] ppid=4459 vsize=10546388 CPUtime=0.73 cores=0,2,4,6
/proc/4461/task/4477/stat : 4477 (java) S 4459 4461 3030 0 -1 4202560 8338 0 0 0 72 1 0 0 15 0 19 0 834468415 10799501312 1366106 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 6 0 0 0
[pid=4461/tid=4478] ppid=4459 vsize=10546388 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4478/stat : 4478 (java) S 4459 4461 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834468415 10799501312 1366106 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652675481 0 4 0 16800975 18446604449308128256 0 0 -1 4 0 0 0
[pid=4461/tid=4479] ppid=4459 vsize=10546388 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4479/stat : 4479 (java) S 4459 4461 3030 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 834468415 10799501312 1366106 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652676096 0 4 0 16800975 18446604449308128256 0 0 -1 2 0 0 0
[pid=4461/tid=4481] ppid=4459 vsize=10546388 CPUtime=0 cores=0,2,4,6
/proc/4461/task/4481/stat : 4481 (java) S 4459 4461 3030 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834470688 10799501312 1366106 33554432000 1073741824 1073778376 140734875216640 18446744073709551615 253652676096 0 4 0 16800975 18446604449308128256 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 10546388
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1775.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/587 4621
/proc/meminfo: memFree=11921032/32951124 swapFree=53733252/67111528
[pid=4461] ppid=4459 vsize=0 CPUtime=1800.25 cores=0,2,4,6
/proc/4461/stat : 4461 (java) Z 4459 4461 3030 0 -1 4203548 1377640 0 1 0 179814 211 0 0 17 0 2 0 834468409 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4461/statm: 0 0 0 0 0 0 0
[pid=4461/tid=4462] ppid=4459 vsize=0 CPUtime=1766.48 cores=0,2,4,6
/proc/4461/task/4462/stat : 4462 (java) R 4459 4461 3030 0 -1 4203588 651242 0 1 0 176557 91 0 0 25 0 2 0 834468409 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.25
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1775.33
CPU time (s): 1800.29
CPU user time (s): 1798.15
CPU system time (s): 2.14367
CPU usage (%): 101.406
Max. virtual memory (cumulated for all children) (KiB): 10546388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.15
system time used= 2.14367
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1377640
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= 39836
involuntary context switches= 24527
runsolver used 10.8344 second user time and 21.2448 second system time
The end