0.00/0.00 c cpHydra_k_10 version 0.0
6.83/6.93 c CASE TO CLASSIFY:
6.83/6.93 c Case: 0
6.83/6.93 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 21.051100 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 9.396700 | c 14 > 12.563900 | c 11 > 8.954200 | c 12 > 8.697570 | c 21 > 2.000000 | c 20 > 0.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.276100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.954200 | c 31 > -1.000000 | c 4 > 8.954200 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.83/6.94 c choco : 1801.0
6.83/6.94 c mistral : 1801.0
6.83/6.94 c abscon : 1801.0
6.83/6.94 c
6.83/6.94 c
6.92/7.01 c List of same ones: 10
6.92/7.01 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-32-4.xml
6.92/7.01 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 19.893500 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 8.099220 | c 14 > 11.470700 | c 11 > 8.954200 | c 12 > 7.521510 | c 21 > 2.000000 | c 20 > 0.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.276100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.954200 | c 31 > -1.000000 | c 4 > 8.954200 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.92/7.01 c choco : 1801.0
6.92/7.01 c mistral : 3.82
6.92/7.01 c abscon : 2.82057
6.92/7.01 c
6.92/7.01 c
6.92/7.01 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-33-4.xml
6.92/7.01 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 19.846800 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 7.663050 | c 14 > 11.258000 | c 11 > 9.044390 | c 12 > 7.151360 | c 21 > 2.000000 | c 20 > 0.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.413600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.044400 | c 31 > -1.000000 | c 4 > 9.044390 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.92/7.02 c choco : 1801.0
6.92/7.02 c mistral : 20.05
6.92/7.02 c abscon : 4.68729
6.92/7.02 c
6.92/7.02 c
6.92/7.02 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-34-4.xml
6.92/7.02 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 19.714900 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 7.567570 | c 14 > 11.431000 | c 11 > 9.131860 | c 12 > 6.926300 | c 21 > 2.000000 | c 20 > 0.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.546900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.131900 | c 31 > -1.000000 | c 4 > 9.131860 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.92/7.03 c choco : 1801.0
6.92/7.03 c mistral : 26.38
6.92/7.03 c abscon : 9.93749
6.92/7.03 c
6.92/7.03 c
6.92/7.03 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-35-4.xml
6.92/7.03 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 19.659700 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 7.011290 | c 14 > 11.151700 | c 11 > 9.216750 | c 12 > 6.484070 | c 21 > 2.000000 | c 20 > 0.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.676200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.216700 | c 31 > -1.000000 | c 4 > 9.216750 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.92/7.04 c choco : 1801.0
6.92/7.04 c mistral : 1053.11
6.92/7.04 c abscon : 4.93525
6.92/7.04 c
6.92/7.04 c
6.92/7.04 c /home/eomahony/cpZilla/CSP/ramsey/ramsey3/ramsey-16-3.xml
6.92/7.04 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 20.500500 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 10.992500 | c 14 > 13.532200 | c 11 > 6.906890 | c 12 > 11.311300 | c 21 > 1.732050 | c 20 > 0.000000 | c 22 > 1.732050 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 9.129280 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.491850 | c 31 > -1.000000 | c 4 > 6.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.92/7.05 c choco : 11.33
6.92/7.05 c mistral : 0.71
6.92/7.05 c abscon : 1.44378
6.92/7.05 c
6.92/7.05 c
6.92/7.05 c /home/eomahony/cpZilla/CSP/ramsey/ramsey3/ramsey-15-3.xml
6.92/7.05 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 20.572500 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 10.863200 | c 14 > 13.762900 | c 11 > 6.714250 | c 12 > 11.623500 | c 21 > 1.732050 | c 20 > 0.000000 | c 22 > 1.732050 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.829720 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.299210 | c 31 > -1.000000 | c 4 > 6.714250 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.92/7.06 c choco : 2.57
6.92/7.06 c mistral : 0.23
6.92/7.06 c abscon : 1.16082
6.92/7.06 c
6.92/7.06 c
6.92/7.06 c /home/eomahony/cpZilla/CSP/schurrLemma/lemma-24-3.xml
6.92/7.06 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 17.531800 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 8.088490 | c 14 > 10.597100 | c 11 > 4.584960 | c 12 > 9.666960 | c 21 > 1.732050 | c 20 > 0.000000 | c 22 > 1.732050 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.044390 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 6.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.92/7.07 c choco : 7.04
6.92/7.07 c mistral : 0.39
6.92/7.07 c abscon : 1.11383
6.92/7.07 c
6.92/7.07 c
6.92/7.07 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-30-4.xml
6.92/7.07 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 15.187400 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 3.029710 | c 14 > 8.285400 | c 11 > 8.764870 | c 12 > 4.249850 | c 21 > 2.000000 | c 20 > 0.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.987300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.764900 | c 31 > -1.000000 | c 4 > 8.764870 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.92/7.07 c choco : 6.47
6.92/7.07 c mistral : 0.41
6.92/7.07 c abscon : 2.32765
6.92/7.07 c
6.92/7.07 c
6.92/7.07 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-25-4.xml
6.92/7.07 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 14.462300 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 2.824500 | c 14 > 8.022370 | c 11 > 8.228820 | c 12 > 3.986710 | c 21 > 2.000000 | c 20 > 0.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.167400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.228800 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.92/7.08 c choco : 4.54
6.92/7.08 c mistral : 0.22
6.92/7.08 c abscon : 1.44478
6.92/7.08 c
6.92/7.08 c
6.92/7.08 c /home/eomahony/cpZilla/CSP/schurrLemma/lemma-66-4.xml
6.92/7.08 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 14.540600 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 4.542180 | c 14 > 6.209450 | c 11 > 6.044390 | c 12 > 5.198780 | c 21 > 2.000000 | c 20 > 0.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.044400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.044390 | c 31 > -1.000000 | c 4 > 6.044390 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.92/7.09 c choco : 2.93
6.92/7.09 c mistral : 1800.03
6.92/7.09 c abscon : 753.112
6.92/7.09 c
6.92/7.09 c
6.92/7.09 c Length: 10
6.92/7.09 c 2.3667901203951316 2.931779621458612 3.117698333867471 3.8583567983145364 5.925463856526339 6.440745375296247 10.367692357675358 10.6395604432843 11.49919858508844 12.204712554800299
7.10/7.27 c
7.10/7.27 c 1.0 0.9456892930971421 0.9290848783550187 0.8683465191473786 0.7343598559790935 0.7071599286678127 0.5514893842765534 0.5432107190070244 0.5185951940813375 0.5
7.10/7.27 c
7.10/7.27 c solver 0
7.10/7.27 c before 0.0 seconds: {} 0
7.10/7.27 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8} 6797
7.10/7.27 c before 756.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7297
7.10/7.27 c
7.10/7.27 c solver 1
7.10/7.27 c before 0.0 seconds: {} 0
7.10/7.27 c before 18.0 seconds: {0, 4, 5, 6, 7, 8} 4054
7.10/7.27 c before 36.0 seconds: {0, 1, 2, 4, 5, 6, 7, 8} 5929
7.10/7.28 c before 1062.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8} 6797
7.10/7.28 c
7.10/7.28 c solver 2
7.10/7.28 c before 0.0 seconds: {} 0
7.10/7.28 c before 18.0 seconds: {4, 5, 6, 7, 8, 9} 3554
7.10/7.28 c
7.10/7.28 cTotal time: 102
7.10/7.28 c run abscon for 756.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7297
7.10/7.28 c run mistral for 36.0 seconds {0, 1, 2, 4, 5, 6, 7, 8} 5929
7.10/7.28 c run choco for 18.0 seconds {4, 5, 6, 7, 8, 9} 3554
7.10/7.28 c Starting solver: HOME/cpHydra_k_10/solver/abscon
7.10/7.28 c On Instance: HOME/instance-1051954-1215055108.xml
7.10/7.28 c Running for: 756 seconds
10.86/11.10 s SAT
10.86/11.10 v 1 3 3 1 3 0 1 0 0 0 1 1 2 1 2 0 2 0 3 3 3 0 3 1 2 2 2 2 0 2 0 2 3 3 0 0 2 1 0 2 0 0 1 2 1 3 1 2 1 2 2 3 1 0 1 0 0 2 1 3 0 0 2 0 2 3 2 2 1 1 0 0 1 2 1 2 3 1 0 1 2 1 3 3 3 1 0 3 2 0 0 1 0 1 1 1 0 2 1 2 2 1 0 0 0 0 2 1 2 1 3 0 2 0 3 2 2 1 0 3 2 1 0 2 0 0 1 3 3 1 1 2 1 2 2 0 1 0 1 0 2 2 1 0 2 2 0 2 2 3 3 2 3 1 0 0 3 0 1 2 0 2 0 1 0 1 2 3 1 1 3 0 3 1 2 2 1 2 1 0 1 1 1 3 0 0 3 0 3 2 2 3 0 2 3 3 0 0 0 2 3 2 0 2 1 2 1 3 3 3 0 3 0 2 2 1 1 0 1 0 3 2 0 0 3 2 0 2 3 1 0 1 2 1 3 1 2 0 1 0 2 0 2 2 2 3 1 2 3 2 0 2 1 0 0 3 0 1 0 1 3 0 1 1 2 0 2 1 3 0 3 1 1 2 1 0 1 2 2 1 0 3 0 1 0 1 3 1 0 3 3 0 1 2 0 2 3 0 2 0 1 3 2 1 1 1 1 2 2 0 0 0 1 1 0 1 0 3 0 2 1 2 3 2 2 1 3 2 0 2 2 3 0 0 2 2 0 0 3 1 3 0 2 0 0 2 0 3 1 0 1 3 3 1 0 2 0 3 3 1 1 0 1 3 2 2 0 3 1 3 3 1 1 2 1 0 2 3 3 0 3 1 3 0 3 2 2 2 3 0 1 2 2 2 1 3 2 0 3 3 1 1 0 1 2 1 0 1 3 1 0 2 2 3 3 2 0 3 0 0 0 0 0 2 2 2 3 2 2 1 1 3 1 2 2 1 0 3 0 1 3 1 2 1 1 2 0 3 0 2 0 1 2 2 1 0 2 3 1 2 1 2 0 2 1 2 0 3 0 2 2 0 2 2 1 1 3 3 0 1 0 1 1 0 3 3 0 1 0 1 0 3 1 0 3 0
10.86/11.10 d ASSIGNMENTS 2938
10.86/11.10 d CHECKS 174510
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1051954-1215055108/watcher-1051954-1215055108 -o /tmp/evaluation-result-1051954-1215055108/solver-1051954-1215055108 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1051954-1215055108.xml
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): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.06 2.02 2.11 4/82 17458
/proc/meminfo: memFree=1499448/2055924 swapFree=4177432/4192956
[pid=17458] ppid=17456 vsize=18572 CPUtime=0
/proc/17458/stat : 17458 (runsolver) R 17456 17458 13828 0 -1 4194368 15 0 0 0 0 0 0 0 19 0 1 0 661240387 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 230264175306 0 0 4096 24578 0 0 0 17 1 0 0
/proc/17458/statm: 4643 292 257 25 0 2626 0
[startup+0.100365 s]
/proc/loadavg: 2.06 2.02 2.11 4/82 17458
/proc/meminfo: memFree=1499448/2055924 swapFree=4177432/4192956
[pid=17458] ppid=17456 vsize=5360 CPUtime=0
/proc/17458/stat : 17458 (hydra) S 17456 17458 13828 0 -1 4194304 330 247 0 0 0 0 0 0 17 0 1 0 661240387 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17458/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.201385 s]
/proc/loadavg: 2.06 2.02 2.11 4/82 17458
/proc/meminfo: memFree=1499448/2055924 swapFree=4177432/4192956
[pid=17458] ppid=17456 vsize=5360 CPUtime=0
/proc/17458/stat : 17458 (hydra) S 17456 17458 13828 0 -1 4194304 330 247 0 0 0 0 0 0 17 0 1 0 661240387 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17458/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301402 s]
/proc/loadavg: 2.06 2.02 2.11 4/82 17458
/proc/meminfo: memFree=1499448/2055924 swapFree=4177432/4192956
[pid=17458] ppid=17456 vsize=5360 CPUtime=0
/proc/17458/stat : 17458 (hydra) S 17456 17458 13828 0 -1 4194304 330 247 0 0 0 0 0 0 17 0 1 0 661240387 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17458/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701478 s]
/proc/loadavg: 2.06 2.02 2.11 4/82 17458
/proc/meminfo: memFree=1499448/2055924 swapFree=4177432/4192956
[pid=17458] ppid=17456 vsize=5360 CPUtime=0
/proc/17458/stat : 17458 (hydra) S 17456 17458 13828 0 -1 4194304 330 247 0 0 0 0 0 0 17 0 1 0 661240387 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17458/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50163 s]
/proc/loadavg: 2.06 2.01 2.11 3/84 17462
/proc/meminfo: memFree=1492776/2055924 swapFree=4177432/4192956
[pid=17458] ppid=17456 vsize=5360 CPUtime=0
/proc/17458/stat : 17458 (hydra) S 17456 17458 13828 0 -1 4194304 330 247 0 0 0 0 0 0 17 0 1 0 661240387 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17458/statm: 1340 236 195 169 0 51 0
[pid=17462] ppid=17458 vsize=10904 CPUtime=1.47
/proc/17462/stat : 17462 (xsolve) R 17458 17458 13828 0 -1 4194304 2062 0 0 0 146 1 0 0 25 0 1 0 661240388 11165696 2021 996147200 134512640 135239763 4294956176 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/17462/statm: 2726 2021 413 177 0 1629 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 16264
[startup+3.10292 s]
/proc/loadavg: 2.06 2.01 2.11 3/92 17474
/proc/meminfo: memFree=1491688/2055924 swapFree=4177432/4192956
[pid=17458] ppid=17456 vsize=5360 CPUtime=1.71
/proc/17458/stat : 17458 (hydra) S 17456 17458 13828 0 -1 4194304 375 2658 0 0 0 0 169 2 19 0 1 0 661240387 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17458/statm: 1340 238 196 169 0 51 0
[pid=17466] ppid=17458 vsize=196984 CPUtime=1.35
/proc/17466/stat : 17466 (java) S 17458 17458 13828 0 -1 0 5170 0 1 0 129 6 0 0 18 0 9 0 661240561 201711616 4326 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17466/statm: 49246 4326 1678 9 0 43829 0
[pid=17466/tid=17467] ppid=17458 vsize=196984 CPUtime=1.02
/proc/17466/task/17467/stat : 17467 (java) R 17458 17458 13828 0 -1 64 2768 0 1 0 100 2 0 0 25 0 9 0 661240562 201711616 4326 996147200 134512640 134550740 4294955968 18446744073709551615 4126443189 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17466/tid=17468] ppid=17458 vsize=196984 CPUtime=0.15
/proc/17466/task/17468/stat : 17468 (java) S 17458 17458 13828 0 -1 64 1067 0 0 0 13 2 0 0 16 0 9 0 661240563 201711616 4326 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17466/tid=17469] ppid=17458 vsize=196984 CPUtime=0
/proc/17466/task/17469/stat : 17469 (java) S 17458 17458 13828 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 661240563 201711616 4326 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17466/tid=17470] ppid=17458 vsize=196984 CPUtime=0
/proc/17466/task/17470/stat : 17470 (java) S 17458 17458 13828 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 661240563 201711616 4326 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17466/tid=17471] ppid=17458 vsize=196984 CPUtime=0
/proc/17466/task/17471/stat : 17471 (java) S 17458 17458 13828 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 661240565 201711616 4326 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17466/tid=17472] ppid=17458 vsize=196984 CPUtime=0.14
/proc/17466/task/17472/stat : 17472 (java) S 17458 17458 13828 0 -1 64 610 0 0 0 14 0 0 0 16 0 9 0 661240565 201711616 4326 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17466/tid=17473] ppid=17458 vsize=196984 CPUtime=0
/proc/17466/task/17473/stat : 17473 (java) S 17458 17458 13828 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 661240565 201711616 4326 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17466/tid=17474] ppid=17458 vsize=196984 CPUtime=0
/proc/17466/task/17474/stat : 17474 (java) S 17458 17458 13828 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 661240565 201711616 4326 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 202344
[startup+6.30315 s]
/proc/loadavg: 2.21 2.05 2.12 3/92 17474
/proc/meminfo: memFree=1476776/2055924 swapFree=4177432/4192956
[pid=17458] ppid=17456 vsize=5360 CPUtime=1.71
/proc/17458/stat : 17458 (hydra) S 17456 17458 13828 0 -1 4194304 375 2658 0 0 0 0 169 2 19 0 1 0 661240387 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17458/statm: 1340 238 196 169 0 51 0
[pid=17466] ppid=17458 vsize=197092 CPUtime=4.52
/proc/17466/stat : 17466 (java) S 17458 17458 13828 0 -1 0 10384 0 1 0 439 13 0 0 18 0 9 0 661240561 201822208 8610 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17466/statm: 49273 8610 2540 9 0 43856 0
[pid=17466/tid=17467] ppid=17458 vsize=197092 CPUtime=3.56
/proc/17466/task/17467/stat : 17467 (java) R 17458 17458 13828 0 -1 64 3614 0 1 0 352 4 0 0 25 0 9 0 661240562 201822208 8610 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17466/tid=17468] ppid=17458 vsize=197092 CPUtime=0.78
/proc/17466/task/17468/stat : 17468 (java) S 17458 17458 13828 0 -1 64 5419 0 0 0 70 8 0 0 15 0 9 0 661240563 201822208 8610 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17466/tid=17469] ppid=17458 vsize=197092 CPUtime=0
/proc/17466/task/17469/stat : 17469 (java) S 17458 17458 13828 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 661240563 201822208 8610 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17466/tid=17470] ppid=17458 vsize=197092 CPUtime=0
/proc/17466/task/17470/stat : 17470 (java) S 17458 17458 13828 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 661240563 201822208 8610 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17466/tid=17471] ppid=17458 vsize=197092 CPUtime=0
/proc/17466/task/17471/stat : 17471 (java) S 17458 17458 13828 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 661240565 201822208 8610 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17466/tid=17472] ppid=17458 vsize=197092 CPUtime=0.16
/proc/17466/task/17472/stat : 17472 (java) S 17458 17458 13828 0 -1 64 626 0 0 0 16 0 0 0 16 0 9 0 661240565 201822208 8610 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17466/tid=17473] ppid=17458 vsize=197092 CPUtime=0
/proc/17466/task/17473/stat : 17473 (java) S 17458 17458 13828 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 661240565 201822208 8610 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17466/tid=17474] ppid=17458 vsize=197092 CPUtime=0
/proc/17466/task/17474/stat : 17474 (java) S 17458 17458 13828 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 661240565 201822208 8610 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 202452
Solver just ended. Dumping a history of the last processes samples
[startup+6.40254 s]
/proc/loadavg: 2.21 2.05 2.12 3/92 17474
/proc/meminfo: memFree=1476776/2055924 swapFree=4177432/4192956
[pid=17458] ppid=17456 vsize=5360 CPUtime=1.71
/proc/17458/stat : 17458 (hydra) S 17456 17458 13828 0 -1 4194304 375 2658 0 0 0 0 169 2 19 0 1 0 661240387 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17458/statm: 1340 238 196 169 0 51 0
[pid=17466] ppid=17458 vsize=197092 CPUtime=4.61
/proc/17466/stat : 17466 (java) S 17458 17458 13828 0 -1 0 10498 0 1 0 448 13 0 0 18 0 9 0 661240561 201822208 8705 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17466/statm: 49273 8705 2540 9 0 43856 0
[pid=17466/tid=17467] ppid=17458 vsize=197092 CPUtime=3.64
/proc/17466/task/17467/stat : 17467 (java) R 17458 17458 13828 0 -1 64 3633 0 1 0 360 4 0 0 25 0 9 0 661240562 201822208 8705 996147200 134512640 134550740 4294955968 18446744073709551615 4126649829 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17466/tid=17468] ppid=17458 vsize=197092 CPUtime=0.79
/proc/17466/task/17468/stat : 17468 (java) S 17458 17458 13828 0 -1 64 5514 0 0 0 71 8 0 0 16 0 9 0 661240563 201822208 8705 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17466/tid=17469] ppid=17458 vsize=197092 CPUtime=0
/proc/17466/task/17469/stat : 17469 (java) S 17458 17458 13828 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 661240563 201822208 8705 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17466/tid=17470] ppid=17458 vsize=197092 CPUtime=0
/proc/17466/task/17470/stat : 17470 (java) S 17458 17458 13828 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 661240563 201822208 8705 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17466/tid=17471] ppid=17458 vsize=197092 CPUtime=0
/proc/17466/task/17471/stat : 17471 (java) S 17458 17458 13828 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 661240565 201822208 8705 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17466/tid=17472] ppid=17458 vsize=197092 CPUtime=0.16
/proc/17466/task/17472/stat : 17472 (java) S 17458 17458 13828 0 -1 64 626 0 0 0 16 0 0 0 16 0 9 0 661240565 201822208 8705 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17466/tid=17473] ppid=17458 vsize=197092 CPUtime=0
/proc/17466/task/17473/stat : 17473 (java) S 17458 17458 13828 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 661240565 201822208 8705 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17466/tid=17474] ppid=17458 vsize=197092 CPUtime=0
/proc/17466/task/17474/stat : 17474 (java) S 17458 17458 13828 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 661240565 201822208 8705 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 202452
[startup+9.60213 s]
/proc/loadavg: 2.21 2.05 2.12 3/104 17486
/proc/meminfo: memFree=1421696/2055924 swapFree=4177432/4192956
[pid=17458] ppid=17456 vsize=5360 CPUtime=1.71
/proc/17458/stat : 17458 (hydra) S 17456 17458 13828 0 -1 4194304 375 2658 0 0 0 0 169 2 19 0 1 0 661240387 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17458/statm: 1340 238 196 169 0 51 0
[pid=17466] ppid=17458 vsize=197416 CPUtime=5.47
/proc/17466/stat : 17466 (java) S 17458 17458 13828 0 -1 0 13832 0 1 0 531 16 0 0 18 0 10 0 661240561 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17466/statm: 49354 9386 2543 9 0 43937 0
[pid=17476] ppid=17466 vsize=5356 CPUtime=0
/proc/17476/stat : 17476 (abscon) S 17466 17458 13828 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 661241115 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 230266823492 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/17476/statm: 1339 237 196 169 0 50 0
[pid=17477] ppid=17476 vsize=655940 CPUtime=2.28
/proc/17477/stat : 17477 (java) S 17476 17458 13828 0 -1 0 18347 0 1 0 197 31 0 0 20 0 9 0 661241116 671682560 17663 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17477/statm: 163985 17663 2615 9 0 158513 0
[pid=17477/tid=17479] ppid=17476 vsize=655940 CPUtime=1.82
/proc/17477/task/17479/stat : 17479 (java) R 17476 17458 13828 0 -1 64 12522 0 1 0 153 29 0 0 25 0 9 0 661241117 671682560 17663 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17477/tid=17480] ppid=17476 vsize=655940 CPUtime=0.2
/proc/17477/task/17480/stat : 17480 (java) S 17476 17458 13828 0 -1 64 4579 0 0 0 19 1 0 0 16 0 9 0 661241118 671682560 17663 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17477/tid=17481] ppid=17476 vsize=655940 CPUtime=0
/proc/17477/task/17481/stat : 17481 (java) S 17476 17458 13828 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 661241118 671682560 17663 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17477/tid=17482] ppid=17476 vsize=655940 CPUtime=0
/proc/17477/task/17482/stat : 17482 (java) S 17476 17458 13828 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 661241118 671682560 17663 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17477/tid=17483] ppid=17476 vsize=655940 CPUtime=0
/proc/17477/task/17483/stat : 17483 (java) S 17476 17458 13828 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 661241120 671682560 17663 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17477/tid=17484] ppid=17476 vsize=655940 CPUtime=0.24
/proc/17477/task/17484/stat : 17484 (java) S 17476 17458 13828 0 -1 64 700 0 0 0 24 0 0 0 15 0 9 0 661241120 671682560 17663 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17477/tid=17485] ppid=17476 vsize=655940 CPUtime=0
/proc/17477/task/17485/stat : 17485 (java) S 17476 17458 13828 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 661241120 671682560 17663 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17477/tid=17486] ppid=17476 vsize=655940 CPUtime=0
/proc/17477/task/17486/stat : 17486 (java) S 17476 17458 13828 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 661241120 671682560 17663 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17478] ppid=17476 vsize=7044 CPUtime=0
/proc/17478/stat : 17478 (translate) S 17476 17458 13828 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 661241116 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 230266994770 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/17478/statm: 1761 213 182 1 0 41 0
[pid=17466/tid=17467] ppid=17458 vsize=197416 CPUtime=4.2
/proc/17466/task/17467/stat : 17467 (java) S 17458 17458 13828 0 -1 64 3853 0 1 0 415 5 0 0 24 0 10 0 661240562 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=17466/tid=17468] ppid=17458 vsize=197416 CPUtime=1.05
/proc/17466/task/17468/stat : 17468 (java) S 17458 17458 13828 0 -1 64 8538 0 0 0 95 10 0 0 16 0 10 0 661240563 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17466/tid=17469] ppid=17458 vsize=197416 CPUtime=0
/proc/17466/task/17469/stat : 17469 (java) S 17458 17458 13828 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 661240563 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17466/tid=17470] ppid=17458 vsize=197416 CPUtime=0
/proc/17466/task/17470/stat : 17470 (java) S 17458 17458 13828 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 661240563 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17466/tid=17471] ppid=17458 vsize=197416 CPUtime=0
/proc/17466/task/17471/stat : 17471 (java) S 17458 17458 13828 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 661240565 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17466/tid=17472] ppid=17458 vsize=197416 CPUtime=0.19
/proc/17466/task/17472/stat : 17472 (java) S 17458 17458 13828 0 -1 64 641 0 0 0 19 0 0 0 16 0 10 0 661240565 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/17477/task/17482/stat : 17482 (java) S 17476 17458 13828 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 661241118 671682560 17733 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17477/tid=17483] ppid=17476 vsize=655940 CPUtime=0
/proc/17477/task/17483/stat : 17483 (java) S 17476 17458 13828 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 661241120 671682560 17733 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17477/tid=17484] ppid=17476 vsize=655940 CPUtime=0.31
/proc/17477/task/17484/stat : 17484 (java) S 17476 17458 13828 0 -1 64 739 0 0 0 31 0 0 0 15 0 9 0 661241120 671682560 17733 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17477/tid=17485] ppid=17476 vsize=655940 CPUtime=0
/proc/17477/task/17485/stat : 17485 (java) S 17476 17458 13828 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 661241120 671682560 17733 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17477/tid=17486] ppid=17476 vsize=655940 CPUtime=0
/proc/17477/task/17486/stat : 17486 (java) S 17476 17458 13828 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 661241120 671682560 17733 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17478] ppid=17476 vsize=7044 CPUtime=0
/proc/17478/stat : 17478 (translate) S 17476 17458 13828 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 661241116 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 230266994770 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/17478/statm: 1761 213 182 1 0 41 0
[pid=17466/tid=17467] ppid=17458 vsize=197416 CPUtime=4.2
/proc/17466/task/17467/stat : 17467 (java) S 17458 17458 13828 0 -1 64 3853 0 1 0 415 5 0 0 24 0 10 0 661240562 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=17466/tid=17468] ppid=17458 vsize=197416 CPUtime=1.05
/proc/17466/task/17468/stat : 17468 (java) S 17458 17458 13828 0 -1 64 8538 0 0 0 95 10 0 0 16 0 10 0 661240563 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17466/tid=17469] ppid=17458 vsize=197416 CPUtime=0
/proc/17466/task/17469/stat : 17469 (java) S 17458 17458 13828 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 661240563 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17466/tid=17470] ppid=17458 vsize=197416 CPUtime=0
/proc/17466/task/17470/stat : 17470 (java) S 17458 17458 13828 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 661240563 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17466/tid=17471] ppid=17458 vsize=197416 CPUtime=0
/proc/17466/task/17471/stat : 17471 (java) S 17458 17458 13828 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 661240565 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17466/tid=17472] ppid=17458 vsize=197416 CPUtime=0.19
/proc/17466/task/17472/stat : 17472 (java) S 17458 17458 13828 0 -1 64 641 0 0 0 19 0 0 0 16 0 10 0 661240565 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17466/tid=17473] ppid=17458 vsize=197416 CPUtime=0
/proc/17466/task/17473/stat : 17473 (java) S 17458 17458 13828 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 661240565 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17466/tid=17474] ppid=17458 vsize=197416 CPUtime=0
/proc/17466/task/17474/stat : 17474 (java) S 17458 17458 13828 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 661240565 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17466/tid=17475] ppid=17458 vsize=197416 CPUtime=0
/proc/17466/task/17475/stat : 17475 (java) S 17458 17458 13828 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 661241115 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10.27
Current children cumulated vsize (KiB) 871116
[startup+10.8023 s]
/proc/loadavg: 2.21 2.05 2.12 3/104 17486
/proc/meminfo: memFree=1409088/2055924 swapFree=4177432/4192956
[pid=17458] ppid=17456 vsize=5360 CPUtime=1.71
/proc/17458/stat : 17458 (hydra) S 17456 17458 13828 0 -1 4194304 375 2658 0 0 0 0 169 2 19 0 1 0 661240387 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17458/statm: 1340 238 196 169 0 51 0
[pid=17466] ppid=17458 vsize=197416 CPUtime=5.47
/proc/17466/stat : 17466 (java) S 17458 17458 13828 0 -1 0 13832 0 1 0 531 16 0 0 18 0 10 0 661240561 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17466/statm: 49354 9386 2543 9 0 43937 0
[pid=17476] ppid=17466 vsize=5356 CPUtime=0
/proc/17476/stat : 17476 (abscon) S 17466 17458 13828 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 661241115 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 230266823492 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/17476/statm: 1339 237 196 169 0 50 0
[pid=17477] ppid=17476 vsize=655940 CPUtime=3.48
/proc/17477/stat : 17477 (java) S 17476 17458 13828 0 -1 0 18423 0 1 0 316 32 0 0 20 0 9 0 661241116 671682560 17738 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17477/statm: 163985 17738 2616 9 0 158513 0
[pid=17477/tid=17479] ppid=17476 vsize=655940 CPUtime=2.94
/proc/17477/task/17479/stat : 17479 (java) R 17476 17458 13828 0 -1 64 12554 0 1 0 264 30 0 0 25 0 9 0 661241117 671682560 17738 996147200 134512640 134550740 4294955808 18446744073709551615 4127152821 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17477/tid=17480] ppid=17476 vsize=655940 CPUtime=0.2
/proc/17477/task/17480/stat : 17480 (java) S 17476 17458 13828 0 -1 64 4579 0 0 0 19 1 0 0 17 0 9 0 661241118 671682560 17738 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17477/tid=17481] ppid=17476 vsize=655940 CPUtime=0
/proc/17477/task/17481/stat : 17481 (java) S 17476 17458 13828 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 661241118 671682560 17738 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17477/tid=17482] ppid=17476 vsize=655940 CPUtime=0
/proc/17477/task/17482/stat : 17482 (java) S 17476 17458 13828 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 661241118 671682560 17738 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17477/tid=17483] ppid=17476 vsize=655940 CPUtime=0
/proc/17477/task/17483/stat : 17483 (java) S 17476 17458 13828 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 661241120 671682560 17738 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17477/tid=17484] ppid=17476 vsize=655940 CPUtime=0.31
/proc/17477/task/17484/stat : 17484 (java) S 17476 17458 13828 0 -1 64 744 0 0 0 31 0 0 0 15 0 9 0 661241120 671682560 17738 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17477/tid=17485] ppid=17476 vsize=655940 CPUtime=0
/proc/17477/task/17485/stat : 17485 (java) S 17476 17458 13828 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 661241120 671682560 17738 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17477/tid=17486] ppid=17476 vsize=655940 CPUtime=0
/proc/17477/task/17486/stat : 17486 (java) S 17476 17458 13828 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 661241120 671682560 17738 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17478] ppid=17476 vsize=7044 CPUtime=0
/proc/17478/stat : 17478 (translate) S 17476 17458 13828 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 661241116 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 230266994770 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/17478/statm: 1761 213 182 1 0 41 0
[pid=17466/tid=17467] ppid=17458 vsize=197416 CPUtime=4.2
/proc/17466/task/17467/stat : 17467 (java) S 17458 17458 13828 0 -1 64 3853 0 1 0 415 5 0 0 24 0 10 0 661240562 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=17466/tid=17468] ppid=17458 vsize=197416 CPUtime=1.05
/proc/17466/task/17468/stat : 17468 (java) S 17458 17458 13828 0 -1 64 8538 0 0 0 95 10 0 0 16 0 10 0 661240563 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17466/tid=17469] ppid=17458 vsize=197416 CPUtime=0
/proc/17466/task/17469/stat : 17469 (java) S 17458 17458 13828 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 661240563 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17466/tid=17470] ppid=17458 vsize=197416 CPUtime=0
/proc/17466/task/17470/stat : 17470 (java) S 17458 17458 13828 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 661240563 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17466/tid=17471] ppid=17458 vsize=197416 CPUtime=0
/proc/17466/task/17471/stat : 17471 (java) S 17458 17458 13828 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 661240565 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17466/tid=17472] ppid=17458 vsize=197416 CPUtime=0.19
/proc/17466/task/17472/stat : 17472 (java) S 17458 17458 13828 0 -1 64 641 0 0 0 19 0 0 0 16 0 10 0 661240565 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17466/tid=17473] ppid=17458 vsize=197416 CPUtime=0
/proc/17466/task/17473/stat : 17473 (java) S 17458 17458 13828 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 661240565 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17466/tid=17474] ppid=17458 vsize=197416 CPUtime=0
/proc/17466/task/17474/stat : 17474 (java) S 17458 17458 13828 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 661240565 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17466/tid=17475] ppid=17458 vsize=197416 CPUtime=0
/proc/17466/task/17475/stat : 17475 (java) S 17458 17458 13828 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 661241115 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10.66
Current children cumulated vsize (KiB) 871116
[startup+11.0024 s]
/proc/loadavg: 2.27 2.06 2.12 3/104 17486
/proc/meminfo: memFree=1408960/2055924 swapFree=4177432/4192956
[pid=17458] ppid=17456 vsize=5360 CPUtime=1.71
/proc/17458/stat : 17458 (hydra) S 17456 17458 13828 0 -1 4194304 375 2658 0 0 0 0 169 2 19 0 1 0 661240387 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17458/statm: 1340 238 196 169 0 51 0
[pid=17466] ppid=17458 vsize=197416 CPUtime=5.47
/proc/17466/stat : 17466 (java) S 17458 17458 13828 0 -1 0 13832 0 1 0 531 16 0 0 18 0 10 0 661240561 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17466/statm: 49354 9386 2543 9 0 43937 0
[pid=17476] ppid=17466 vsize=5356 CPUtime=0
/proc/17476/stat : 17476 (abscon) S 17466 17458 13828 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 661241115 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 230266823492 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/17476/statm: 1339 237 196 169 0 50 0
[pid=17477] ppid=17476 vsize=655940 CPUtime=3.68
/proc/17477/stat : 17477 (java) S 17476 17458 13828 0 -1 0 18427 0 1 0 336 32 0 0 20 0 9 0 661241116 671682560 17742 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17477/statm: 163985 17742 2616 9 0 158513 0
[pid=17477/tid=17479] ppid=17476 vsize=655940 CPUtime=3.13
/proc/17477/task/17479/stat : 17479 (java) R 17476 17458 13828 0 -1 64 12554 0 1 0 283 30 0 0 25 0 9 0 661241117 671682560 17742 996147200 134512640 134550740 4294955808 18446744073709551615 4127173883 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17477/tid=17480] ppid=17476 vsize=655940 CPUtime=0.2
/proc/17477/task/17480/stat : 17480 (java) S 17476 17458 13828 0 -1 64 4579 0 0 0 19 1 0 0 17 0 9 0 661241118 671682560 17742 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17477/tid=17481] ppid=17476 vsize=655940 CPUtime=0
/proc/17477/task/17481/stat : 17481 (java) S 17476 17458 13828 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 661241118 671682560 17742 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17477/tid=17482] ppid=17476 vsize=655940 CPUtime=0
/proc/17477/task/17482/stat : 17482 (java) S 17476 17458 13828 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 661241118 671682560 17742 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17477/tid=17483] ppid=17476 vsize=655940 CPUtime=0
/proc/17477/task/17483/stat : 17483 (java) S 17476 17458 13828 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 661241120 671682560 17742 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17477/tid=17484] ppid=17476 vsize=655940 CPUtime=0.32
/proc/17477/task/17484/stat : 17484 (java) S 17476 17458 13828 0 -1 64 748 0 0 0 32 0 0 0 15 0 9 0 661241120 671682560 17742 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17477/tid=17485] ppid=17476 vsize=655940 CPUtime=0
/proc/17477/task/17485/stat : 17485 (java) S 17476 17458 13828 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 661241120 671682560 17742 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17477/tid=17486] ppid=17476 vsize=655940 CPUtime=0
/proc/17477/task/17486/stat : 17486 (java) S 17476 17458 13828 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 661241120 671682560 17742 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17478] ppid=17476 vsize=7044 CPUtime=0
/proc/17478/stat : 17478 (translate) S 17476 17458 13828 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 661241116 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 230266994770 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/17478/statm: 1761 213 182 1 0 41 0
[pid=17466/tid=17467] ppid=17458 vsize=197416 CPUtime=4.2
/proc/17466/task/17467/stat : 17467 (java) S 17458 17458 13828 0 -1 64 3853 0 1 0 415 5 0 0 24 0 10 0 661240562 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=17466/tid=17468] ppid=17458 vsize=197416 CPUtime=1.05
/proc/17466/task/17468/stat : 17468 (java) S 17458 17458 13828 0 -1 64 8538 0 0 0 95 10 0 0 16 0 10 0 661240563 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17466/tid=17469] ppid=17458 vsize=197416 CPUtime=0
/proc/17466/task/17469/stat : 17469 (java) S 17458 17458 13828 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 661240563 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17466/tid=17470] ppid=17458 vsize=197416 CPUtime=0
/proc/17466/task/17470/stat : 17470 (java) S 17458 17458 13828 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 661240563 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17466/tid=17471] ppid=17458 vsize=197416 CPUtime=0
/proc/17466/task/17471/stat : 17471 (java) S 17458 17458 13828 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 661240565 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17466/tid=17472] ppid=17458 vsize=197416 CPUtime=0.19
/proc/17466/task/17472/stat : 17472 (java) S 17458 17458 13828 0 -1 64 641 0 0 0 19 0 0 0 16 0 10 0 661240565 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17466/tid=17473] ppid=17458 vsize=197416 CPUtime=0
/proc/17466/task/17473/stat : 17473 (java) S 17458 17458 13828 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 661240565 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17466/tid=17474] ppid=17458 vsize=197416 CPUtime=0
/proc/17466/task/17474/stat : 17474 (java) S 17458 17458 13828 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 661240565 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17466/tid=17475] ppid=17458 vsize=197416 CPUtime=0
/proc/17466/task/17475/stat : 17475 (java) S 17458 17458 13828 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 661241115 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10.86
Current children cumulated vsize (KiB) 871116
[startup+11.1074 s]
/proc/loadavg: 2.27 2.06 2.12 3/104 17486
/proc/meminfo: memFree=1408960/2055924 swapFree=4177432/4192956
[pid=17458] ppid=17456 vsize=5360 CPUtime=1.71
/proc/17458/stat : 17458 (hydra) S 17456 17458 13828 0 -1 4194304 375 2658 0 0 0 0 169 2 19 0 1 0 661240387 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17458/statm: 1340 238 196 169 0 51 0
[pid=17466] ppid=17458 vsize=197416 CPUtime=9.26
/proc/17466/stat : 17466 (java) S 17458 17458 13828 0 -1 0 13947 19043 1 1 531 17 344 34 18 0 9 0 661240561 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17466/statm: 49354 9388 2544 9 0 43937 0
[pid=17466/tid=17467] ppid=17458 vsize=197416 CPUtime=7.99
/proc/17466/task/17467/stat : 17467 (java) S 17458 17458 13828 0 -1 64 3916 19043 1 1 416 5 344 34 16 0 9 0 661240562 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17466/tid=17468] ppid=17458 vsize=197416 CPUtime=4.83
/proc/17466/task/17468/stat : 17468 (java) S 17458 17458 13828 0 -1 64 8551 19043 0 1 95 10 344 34 16 0 9 0 661240563 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17466/tid=17469] ppid=17458 vsize=197416 CPUtime=3.78
/proc/17466/task/17469/stat : 17469 (java) S 17458 17458 13828 0 -1 64 11 19043 0 1 0 0 344 34 16 0 9 0 661240563 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17466/tid=17470] ppid=17458 vsize=197416 CPUtime=3.78
/proc/17466/task/17470/stat : 17470 (java) S 17458 17458 13828 0 -1 64 5 19043 0 1 0 0 344 34 15 0 9 0 661240563 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17466/tid=17471] ppid=17458 vsize=197416 CPUtime=3.78
/proc/17466/task/17471/stat : 17471 (java) S 17458 17458 13828 0 -1 64 0 19043 0 1 0 0 344 34 18 0 9 0 661240565 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17466/tid=17472] ppid=17458 vsize=197416 CPUtime=3.97
/proc/17466/task/17472/stat : 17472 (java) S 17458 17458 13828 0 -1 64 667 19043 0 1 19 0 344 34 16 0 9 0 661240565 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17466/tid=17473] ppid=17458 vsize=197416 CPUtime=3.78
/proc/17466/task/17473/stat : 17473 (java) S 17458 17458 13828 0 -1 64 1 19043 0 1 0 0 344 34 19 0 9 0 661240565 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17466/tid=17474] ppid=17458 vsize=197416 CPUtime=3.78
/proc/17466/task/17474/stat : 17474 (java) S 17458 17458 13828 0 -1 64 6 19043 0 1 0 0 344 34 15 0 9 0 661240565 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 10.97
Current children cumulated vsize (KiB) 202776
Child status: 0
Real time (s): 11.1249
CPU time (s): 11.0083
CPU user time (s): 10.4554
CPU system time (s): 0.552915
CPU usage (%): 98.9525
Max. virtual memory (cumulated for all children) (KiB): 871212
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.4554
system time used= 0.552915
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36062
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11307
involuntary context switches= 12691
runsolver used 0.033994 second user time and 0.086986 second system time
The end