0.00/0.00 c cpHydra_k_10 version 0.0
82.04/82.46 c CASE TO CLASSIFY:
82.04/82.46 c Case: 0
82.04/82.46 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.198400 | c 15 > 14.668800 | c 34 > 67.891400 | c 16 > 2.000000 | c 13 > 2.295360 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.217230 | c 21 > 19.377600 | c 20 > 0.000000 | c 22 > 21.307300 | c 23 > 7.439290 | c 24 > 0.816037 | 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 > 14.183000 | 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 > 19.518400 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
82.04/82.47 c choco : 1801.0
82.04/82.47 c mistral : 1801.0
82.04/82.47 c abscon : 1801.0
82.04/82.47 c
82.04/82.47 c
82.32/82.72 c List of same ones: 12
82.32/82.72 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-10.xml
82.32/82.72 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.234200 | c 15 > 10.695200 | c 34 > 68.320200 | c 16 > 2.000000 | c 13 > 2.980850 | c 14 > -1.000000 | c 11 > 11.287700 | c 12 > 5.027400 | c 21 > 17.599100 | c 20 > 0.000000 | c 22 > 19.026300 | c 23 > 5.725240 | c 24 > 0.784607 | 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 > 15.315100 | 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 > 19.562600 | c 31 > -1.000000 | c 4 > 11.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c
82.32/82.73 c choco : 1801.0
82.32/82.73 c mistral : 1800.04
82.32/82.73 c abscon : 331.113
82.32/82.73 c
82.32/82.73 c
82.32/82.73 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-9.xml
82.32/82.73 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.234200 | c 15 > 10.502800 | c 34 > 68.320200 | c 16 > 2.000000 | c 13 > 2.980850 | c 14 > -1.000000 | c 11 > 11.287700 | c 12 > 5.027400 | c 21 > 17.599100 | c 20 > 0.000000 | c 22 > 19.026300 | c 23 > 5.725240 | c 24 > 0.784607 | 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 > 15.315100 | 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 > 19.562600 | c 31 > -1.000000 | c 4 > 11.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c
82.32/82.74 c choco : 1801.0
82.32/82.74 c mistral : 1800.09
82.32/82.74 c abscon : 506.936
82.32/82.74 c
82.32/82.74 c
82.32/82.74 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-10.xml
82.32/82.74 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.198400 | c 15 > 8.703900 | c 34 > 67.891400 | c 16 > 2.000000 | c 13 > 2.295360 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.217230 | c 21 > 19.377600 | c 20 > 0.000000 | c 22 > 21.307300 | c 23 > 7.439290 | c 24 > 0.816037 | 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 > 14.183000 | 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 > 19.518400 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
82.32/82.75 c choco : 1801.0
82.32/82.75 c mistral : 1800.02
82.32/82.75 c abscon : 20.4989
82.32/82.75 c
82.32/82.75 c
82.32/82.75 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-7.xml
82.32/82.75 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.198400 | c 15 > 8.703900 | c 34 > 67.891400 | c 16 > 2.000000 | c 13 > 2.295360 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.217230 | c 21 > 19.377600 | c 20 > 0.000000 | c 22 > 21.307300 | c 23 > 7.439290 | c 24 > 0.816037 | 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 > 14.183000 | 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 > 19.518400 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
82.32/82.75 c choco : 1801.0
82.32/82.75 c mistral : 1800.04
82.32/82.75 c abscon : 18.3632
82.32/82.75 c
82.32/82.75 c
82.32/82.76 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-10.xml
82.32/82.76 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.026200 | c 15 > 10.630300 | c 34 > 68.212500 | c 16 > 2.000000 | c 13 > 2.978070 | c 14 > -1.000000 | c 11 > 9.965780 | c 12 > 4.909970 | c 21 > 17.164900 | c 20 > 0.000000 | c 22 > 19.026300 | c 23 > 5.546080 | c 24 > 1.046680 | 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 > 13.875700 | 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 > 18.168600 | c 31 > -1.000000 | c 4 > 9.965780 | c 9 > -1.000000 | c 8 > -1.000000 | c
82.32/82.76 c choco : 1801.0
82.32/82.76 c mistral : 228.6
82.32/82.77 c abscon : 55.2496
82.32/82.77 c
82.32/82.77 c
82.32/82.77 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-5.xml
82.32/82.77 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.198400 | c 15 > 8.682990 | c 34 > 67.891400 | c 16 > 2.000000 | c 13 > 2.295360 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.217230 | c 21 > 19.377600 | c 20 > 0.000000 | c 22 > 21.307300 | c 23 > 7.439290 | c 24 > 0.816037 | 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 > 14.183000 | 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 > 19.518400 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
82.32/82.77 c choco : 1801.0
82.32/82.77 c mistral : 44.9202
82.32/82.77 c abscon : 8.17176
82.32/82.77 c
82.32/82.77 c
82.32/82.77 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-8.xml
82.32/82.77 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.198400 | c 15 > 8.682990 | c 34 > 67.891400 | c 16 > 2.000000 | c 13 > 2.295360 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.217230 | c 21 > 19.377600 | c 20 > 0.000000 | c 22 > 21.307300 | c 23 > 7.439290 | c 24 > 0.816037 | 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 > 14.183000 | 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 > 19.518400 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
82.32/82.78 c choco : 1801.0
82.32/82.78 c mistral : 1800.06
82.32/82.78 c abscon : 19.3081
82.32/82.78 c
82.32/82.78 c
82.32/82.78 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-1.xml
82.32/82.78 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.198400 | c 15 > 8.672430 | c 34 > 67.891400 | c 16 > 2.000000 | c 13 > 2.295360 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.217230 | c 21 > 19.377600 | c 20 > 0.000000 | c 22 > 21.307300 | c 23 > 7.439290 | c 24 > 0.816037 | 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 > 14.183000 | 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 > 19.518400 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
82.32/82.79 c choco : 1801.0
82.32/82.79 c mistral : 91.75
82.32/82.79 c abscon : 7.97579
82.32/82.79 c
82.32/82.79 c
82.32/82.79 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-9.xml
82.32/82.79 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.198400 | c 15 > 8.665340 | c 34 > 67.891400 | c 16 > 2.000000 | c 13 > 2.295360 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.217230 | c 21 > 19.377600 | c 20 > 0.000000 | c 22 > 21.307300 | c 23 > 7.439290 | c 24 > 0.816037 | 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 > 14.183000 | 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 > 19.518400 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
82.32/82.80 c choco : 1801.0
82.32/82.80 c mistral : 1800.05
82.32/82.80 c abscon : 19.2911
82.32/82.80 c
82.32/82.80 c
82.32/82.80 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-2.xml
82.32/82.80 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.198400 | c 15 > 8.661780 | c 34 > 67.891400 | c 16 > 2.000000 | c 13 > 2.295360 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.217230 | c 21 > 19.377600 | c 20 > 0.000000 | c 22 > 21.307300 | c 23 > 7.439290 | c 24 > 0.816037 | 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 > 14.183000 | 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 > 19.518400 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
82.40/82.81 c choco : 1801.0
82.40/82.81 c mistral : 93.34
82.40/82.81 c abscon : 7.92479
82.40/82.81 c
82.40/82.81 c
82.40/82.81 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-3.xml
82.40/82.81 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.198400 | c 15 > 8.661780 | c 34 > 67.891400 | c 16 > 2.000000 | c 13 > 2.295360 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.217230 | c 21 > 19.377600 | c 20 > 0.000000 | c 22 > 21.307300 | c 23 > 7.439290 | c 24 > 0.816037 | 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 > 14.183000 | 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 > 19.518400 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
82.40/82.82 c choco : 1801.0
82.40/82.82 c mistral : 108.08
82.40/82.82 c abscon : 8.13076
82.40/82.82 c
82.40/82.82 c
82.40/82.82 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-6.xml
82.40/82.82 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.198400 | c 15 > 8.661780 | c 34 > 67.891400 | c 16 > 2.000000 | c 13 > 2.295360 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.217230 | c 21 > 19.377600 | c 20 > 0.000000 | c 22 > 21.307300 | c 23 > 7.439290 | c 24 > 0.816037 | 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 > 14.183000 | 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 > 19.518400 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
82.40/82.83 c choco : 1801.0
82.40/82.83 c mistral : 41.0328
82.40/82.83 c abscon : 8.14076
82.40/82.83 c
82.40/82.83 c
82.40/82.83 c Length: 12
82.40/82.83 c 5.564920644214075 5.703893478703822 5.964899999999998 5.964899999999998 5.974674708304127 5.985809999999999 5.985809999999999 5.996369999999999 6.003459999999999 6.007019999999999 6.007019999999999 6.007019999999999
82.40/82.83 c
82.40/82.83 c 1.0 0.7608337882702387 0.5250095385509618 0.5250095385509618 0.5189852449618513 0.5122886891309204 0.5122886891309204 0.5060958249144668 0.5020212602246646 0.5 0.5 0.5
82.40/82.84 c
82.40/82.84 c solver 0
82.40/82.84 c before 0.0 seconds: {} 0
82.40/82.84 c before 18.0 seconds: {5, 7, 9, 10, 11} 2518
82.40/82.84 c before 36.0 seconds: {2, 3, 5, 6, 7, 8, 9, 10, 11} 4582
82.40/82.84 c before 72.0 seconds: {2, 3, 4, 5, 6, 7, 8, 9, 10, 11} 5101
82.40/82.84 c before 342.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11} 6101
82.40/82.84 c before 522.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11} 6862
82.40/82.84 c
82.40/82.84 c solver 1
82.40/82.84 c before 0.0 seconds: {} 0
82.40/82.84 c before 54.0 seconds: {5, 11} 1012
82.40/82.84 c before 108.0 seconds: {5, 7, 9, 11} 2018
82.40/82.84 c before 126.0 seconds: {5, 7, 9, 10, 11} 2518
82.40/82.84 c before 234.0 seconds: {4, 5, 7, 9, 10, 11} 3037
82.40/82.84 c
82.40/82.84 c solver 2
82.40/82.84 c before 0.0 seconds: {} 0
82.40/82.84 c
82.40/82.84 cTotal time: 42
82.40/82.84 c 756.0 seconds unused
82.40/82.84 c 0 c 6 c 12
82.40/82.84 c 0 c 0 c 6
82.40/82.84 c 0 c 0 c 0
82.40/82.84 c is solver0 dominated by:
82.40/82.84 c solver 1 (0 solves instances that 1 can't: true) (1 doesn't solve instances that 0 can't: true) (0 is faster than 1: false) (0 is equally as fast as 1: false) (0 < 1: false)
82.40/82.84 c solver 2 (0 solves instances that 2 can't: true) (2 doesn't solve instances that 0 can't: true) (0 is faster than 2: false) (0 is equally as fast as 2: false) (0 < 2: false)
82.40/82.84 c is dominated? false
82.40/82.84 c
82.40/82.84 c is solver1 dominated by:
82.40/82.84 c solver 0 (1 solves instances that 0 can't: false) (0 doesn't solve instances that 1 can't: false) (1 is faster than 0: true) (1 is equally as fast as 0: false) (1 < 0: true)
82.40/82.84 c is dominated? true
82.40/82.84 c
82.40/82.84 c is solver2 dominated by:
82.40/82.84 c solver 0 (2 solves instances that 0 can't: false) (0 doesn't solve instances that 2 can't: false) (2 is faster than 0: true) (2 is equally as fast as 0: false) (2 < 0: true)
82.40/82.84 c is dominated? true
82.40/82.84 c
82.40/82.84 c Number of non-dominated solvers: 1
82.40/82.84 c remove dominated solvers
82.40/82.84 c solver 0 is not dominated by another solver
82.40/82.84 c solver 2 is dominated by another solver
82.40/82.84 c solver 1 is dominated by another solver
82.40/82.84 c
82.40/82.84 c solver 0: 522.0
82.40/82.84 c
82.40/82.84 c+ 29/29 of 71
82.40/82.84 c
82.40/82.84 c solver 1: 0.0
82.40/82.84 c
82.40/82.84 c solver 2: 0.0
82.40/82.84 c run abscon for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11} 6862
82.40/82.84 c do not run mistral
82.40/82.84 c do not run choco
82.40/82.84 c Starting solver: HOME/cpHydra_k_10/solver/abscon
82.40/82.84 c On Instance: HOME/instance-1087611-1215244927.xml
82.40/82.84 c Running for: 1800 seconds
108.50/109.04 s UNSATISFIABLE
108.50/109.04 d ASSIGNMENTS 0
108.50/109.04 d CHECKS 207354
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1087611-1215244927/watcher-1087611-1215244927 -o /tmp/evaluation-result-1087611-1215244927/solver-1087611-1215244927 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1087611-1215244927.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.42 2.64 2.55 3/72 10892
/proc/meminfo: memFree=1800704/2055920 swapFree=4180584/4192956
[pid=10892] ppid=10890 vsize=5360 CPUtime=0
/proc/10892/stat : 10892 (hydra) S 10890 10892 9656 0 -1 4194304 285 0 0 0 0 0 0 0 20 0 1 0 2003442597 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10892/statm: 1340 236 195 169 0 51 0
[pid=10893] ppid=10892 vsize=2536 CPUtime=0
/proc/10893/stat : 10893 (rm) D 10892 10892 9656 0 -1 4194304 121 0 0 0 0 0 0 0 18 0 1 0 2003442598 2596864 91 996147200 4194304 4227748 548682069024 18446744073709551615 231882855465 0 0 4096 0 18446744071563608069 0 0 17 0 0 0
/proc/10893/statm: 634 91 73 8 0 42 0
[startup+0.0449139 s]
/proc/loadavg: 2.42 2.64 2.55 3/72 10892
/proc/meminfo: memFree=1800704/2055920 swapFree=4180584/4192956
[pid=10892] ppid=10890 vsize=5360 CPUtime=0
/proc/10892/stat : 10892 (hydra) S 10890 10892 9656 0 -1 4194304 285 0 0 0 0 0 0 0 20 0 1 0 2003442597 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10892/statm: 1340 236 195 169 0 51 0
[pid=10893] ppid=10892 vsize=2536 CPUtime=0
/proc/10893/stat : 10893 (rm) D 10892 10892 9656 0 -1 4194304 121 0 0 0 0 0 0 0 18 0 1 0 2003442598 2596864 91 996147200 4194304 4227748 548682069024 18446744073709551615 231882855465 0 0 4096 0 18446744071563608069 0 0 17 0 0 0
/proc/10893/statm: 634 91 73 8 0 42 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7896
[startup+0.102039 s]
/proc/loadavg: 2.42 2.64 2.55 3/72 10892
/proc/meminfo: memFree=1800704/2055920 swapFree=4180584/4192956
[pid=10892] ppid=10890 vsize=5360 CPUtime=0
/proc/10892/stat : 10892 (hydra) S 10890 10892 9656 0 -1 4194304 285 0 0 0 0 0 0 0 20 0 1 0 2003442597 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10892/statm: 1340 236 195 169 0 51 0
[pid=10893] ppid=10892 vsize=2536 CPUtime=0
/proc/10893/stat : 10893 (rm) D 10892 10892 9656 0 -1 4194304 121 0 0 0 0 0 0 0 18 0 1 0 2003442598 2596864 91 996147200 4194304 4227748 548682069024 18446744073709551615 231882855465 0 0 4096 0 18446744071563608069 0 0 17 0 0 0
/proc/10893/statm: 634 91 73 8 0 42 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7896
[startup+0.301072 s]
/proc/loadavg: 2.42 2.64 2.55 3/72 10892
/proc/meminfo: memFree=1800704/2055920 swapFree=4180584/4192956
[pid=10892] ppid=10890 vsize=5360 CPUtime=0
/proc/10892/stat : 10892 (hydra) S 10890 10892 9656 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 2003442597 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10892/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701118 s]
/proc/loadavg: 2.42 2.64 2.55 3/72 10892
/proc/meminfo: memFree=1800704/2055920 swapFree=4180584/4192956
[pid=10892] ppid=10890 vsize=5360 CPUtime=0
/proc/10892/stat : 10892 (hydra) S 10890 10892 9656 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 2003442597 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10892/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.5022 s]
/proc/loadavg: 2.42 2.64 2.55 3/74 10896
/proc/meminfo: memFree=1788144/2055920 swapFree=4180584/4192956
[pid=10892] ppid=10890 vsize=5360 CPUtime=0
/proc/10892/stat : 10892 (hydra) S 10890 10892 9656 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 2003442597 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10892/statm: 1340 236 195 169 0 51 0
[pid=10896] ppid=10892 vsize=73348 CPUtime=1.26
/proc/10896/stat : 10896 (xsolve) R 10892 10892 9656 0 -1 4194304 11719 0 0 0 121 5 0 0 25 0 1 0 2003442619 75108352 11612 996147200 134512640 135239763 4294956176 18446744073709551615 134543151 0 0 4096 0 0 0 0 17 0 0 0
/proc/10896/statm: 18337 11612 416 177 0 17240 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 78708
[startup+3.10139 s]
/proc/loadavg: 2.42 2.64 2.55 3/74 10896
/proc/meminfo: memFree=1755888/2055920 swapFree=4180584/4192956
[pid=10892] ppid=10890 vsize=5360 CPUtime=0
/proc/10892/stat : 10892 (hydra) S 10890 10892 9656 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 2003442597 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10892/statm: 1340 236 195 169 0 51 0
[pid=10896] ppid=10892 vsize=73348 CPUtime=2.85
/proc/10896/stat : 10896 (xsolve) R 10892 10892 9656 0 -1 4194304 11719 0 0 0 280 5 0 0 25 0 1 0 2003442619 75108352 11612 996147200 134512640 135239763 4294956176 18446744073709551615 134534753 0 0 4096 0 0 0 0 17 0 0 0
/proc/10896/statm: 18337 11612 416 177 0 17240 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 78708
[startup+6.30177 s]
/proc/loadavg: 2.47 2.64 2.55 2/72 10897
/proc/meminfo: memFree=1827200/2055920 swapFree=4180584/4192956
[pid=10892] ppid=10890 vsize=5360 CPUtime=0
/proc/10892/stat : 10892 (hydra) S 10890 10892 9656 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 2003442597 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10892/statm: 1340 236 195 169 0 51 0
[pid=10896] ppid=10892 vsize=73348 CPUtime=6.03
/proc/10896/stat : 10896 (xsolve) R 10892 10892 9656 0 -1 4194304 11720 0 0 0 598 5 0 0 25 0 1 0 2003442619 75108352 11613 996147200 134512640 135239763 4294956176 18446744073709551615 134541297 0 0 4096 0 0 0 0 17 1 0 0
/proc/10896/statm: 18337 11613 417 177 0 17240 0
Current children cumulated CPU time (s) 6.03
Current children cumulated vsize (KiB) 78708
[startup+12.7015 s]
/proc/loadavg: 2.43 2.63 2.55 3/83 10934
/proc/meminfo: memFree=1813216/2055920 swapFree=4180584/4192956
[pid=10892] ppid=10890 vsize=5360 CPUtime=0
/proc/10892/stat : 10892 (hydra) S 10890 10892 9656 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 2003442597 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10892/statm: 1340 236 195 169 0 51 0
[pid=10896] ppid=10892 vsize=73348 CPUtime=12.4
/proc/10896/stat : 10896 (xsolve) R 10892 10892 9656 0 -1 4194304 11720 0 0 0 1234 6 0 0 25 0 1 0 2003442619 75108352 11613 996147200 134512640 135239763 4294956176 18446744073709551615 134541296 0 0 4096 0 0 0 0 17 1 0 0
/proc/10896/statm: 18337 11613 417 177 0 17240 0
Current children cumulated CPU time (s) 12.4
Current children cumulated vsize (KiB) 78708
[startup+25.501 s]
/proc/loadavg: 2.33 2.60 2.54 3/84 10935
/proc/meminfo: memFree=1780632/2055920 swapFree=4180584/4192956
[pid=10892] ppid=10890 vsize=5360 CPUtime=0
/proc/10892/stat : 10892 (hydra) S 10890 10892 9656 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 2003442597 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10892/statm: 1340 236 195 169 0 51 0
[pid=10896] ppid=10892 vsize=73348 CPUtime=25.2
/proc/10896/stat : 10896 (xsolve) R 10892 10892 9656 0 -1 4194304 11720 0 0 0 2514 6 0 0 25 0 1 0 2003442619 75108352 11613 996147200 134512640 135239763 4294956176 18446744073709551615 134535399 0 0 4096 0 0 0 0 17 1 0 0
/proc/10896/statm: 18337 11613 417 177 0 17240 0
Current children cumulated CPU time (s) 25.2
Current children cumulated vsize (KiB) 78708
[startup+51.1011 s]
/proc/loadavg: 2.37 2.58 2.54 3/84 10935
/proc/meminfo: memFree=1719064/2055920 swapFree=4180584/4192956
[pid=10892] ppid=10890 vsize=5360 CPUtime=0
/proc/10892/stat : 10892 (hydra) S 10890 10892 9656 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 2003442597 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10892/statm: 1340 236 195 169 0 51 0
[pid=10896] ppid=10892 vsize=73348 CPUtime=50.77
/proc/10896/stat : 10896 (xsolve) R 10892 10892 9656 0 -1 4194304 11720 0 0 0 5071 6 0 0 25 0 1 0 2003442619 75108352 11613 996147200 134512640 135239763 4294956176 18446744073709551615 134541297 0 0 4096 0 0 0 0 17 1 0 0
/proc/10896/statm: 18337 11613 417 177 0 17240 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 78708
[startup+102.307 s]
/proc/loadavg: 2.16 2.49 2.51 3/103 10960
/proc/meminfo: memFree=1447928/2055920 swapFree=4180584/4192956
[pid=10892] ppid=10890 vsize=5360 CPUtime=76.72
/proc/10892/stat : 10892 (hydra) S 10890 10892 9656 0 -1 4194304 375 12325 0 0 0 0 7665 7 18 0 1 0 2003442597 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10892/statm: 1340 238 196 169 0 51 0
[pid=10939] ppid=10892 vsize=197436 CPUtime=5.72
/proc/10939/stat : 10939 (java) S 10892 10892 9656 0 -1 0 14012 0 1 0 555 17 0 0 18 0 10 0 2003450304 202174464 9534 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10939/statm: 49359 9534 2543 9 0 43942 0
[pid=10950] ppid=10939 vsize=5356 CPUtime=0
/proc/10950/stat : 10950 (abscon) S 10939 10892 9656 0 -1 4194304 302 0 1 0 0 0 0 0 25 0 1 0 2003450882 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 231882679108 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/10950/statm: 1339 235 194 169 0 50 0
[pid=10951] ppid=10950 vsize=655744 CPUtime=19.38
/proc/10951/stat : 10951 (java) S 10950 10892 9656 0 -1 0 21811 0 4 0 1925 13 0 0 25 0 9 0 2003450884 671481856 21315 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10951/statm: 163936 21315 2008 9 0 158464 0
[pid=10951/tid=10953] ppid=10950 vsize=655744 CPUtime=18.95
/proc/10951/task/10953/stat : 10953 (java) R 10950 10892 9656 0 -1 64 12448 0 4 0 1886 9 0 0 25 0 9 0 2003450885 671481856 21315 996147200 134512640 134550740 4294955808 18446744073709551615 4126899197 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10951/tid=10954] ppid=10950 vsize=655744 CPUtime=0.17
/proc/10951/task/10954/stat : 10954 (java) S 10950 10892 9656 0 -1 64 8163 0 0 0 15 2 0 0 16 0 9 0 2003450886 671481856 21315 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10951/tid=10955] ppid=10950 vsize=655744 CPUtime=0
/proc/10951/task/10955/stat : 10955 (java) S 10950 10892 9656 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003450886 671481856 21315 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10951/tid=10956] ppid=10950 vsize=655744 CPUtime=0
/proc/10951/task/10956/stat : 10956 (java) S 10950 10892 9656 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 2003450886 671481856 21315 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10951/tid=10957] ppid=10950 vsize=655744 CPUtime=0
/proc/10951/task/10957/stat : 10957 (java) S 10950 10892 9656 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003450888 671481856 21315 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10951/tid=10958] ppid=10950 vsize=655744 CPUtime=0.22
/proc/10951/task/10958/stat : 10958 (java) S 10950 10892 9656 0 -1 64 656 0 0 0 22 0 0 0 16 0 9 0 2003450888 671481856 21315 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10951/tid=10959] ppid=10950 vsize=655744 CPUtime=0
/proc/10951/task/10959/stat : 10959 (java) S 10950 10892 9656 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2003450888 671481856 21315 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10951/tid=10960] ppid=10950 vsize=655744 CPUtime=0
/proc/10951/task/10960/stat : 10960 (java) S 10950 10892 9656 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2003450888 671481856 21315 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10952] ppid=10950 vsize=7044 CPUtime=0
/proc/10952/stat : 10952 (translate) S 10950 10892 9656 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2003450884 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 231882850386 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/10952/statm: 1761 213 182 1 0 41 0
[pid=10939/tid=10940] ppid=10892 vsize=197436 CPUtime=4.46
/proc/10939/task/10940/stat : 10940 (java) S 10892 10892 9656 0 -1 64 3995 0 1 0 441 5 0 0 24 0 10 0 2003450306 202174464 9534 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=10939/tid=10941] ppid=10892 vsize=197436 CPUtime=1.04
/proc/10939/task/10941/stat : 10941 (java) S 10892 10892 9656 0 -1 64 8557 0 0 0 94 10 0 0 16 0 10 0 2003450307 202174464 9534 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10939/tid=10942] ppid=10892 vsize=197436 CPUtime=0
/proc/10939/task/10942/stat : 10942 (java) S 10892 10892 9656 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2003450307 202174464 9534 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10939/tid=10943] ppid=10892 vsize=197436 CPUtime=0
/proc/10939/task/10943/stat : 10943 (java) S 10892 10892 9656 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2003450307 202174464 9534 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10939/tid=10944] ppid=10892 vsize=197436 CPUtime=0
/proc/10939/task/10944/stat : 10944 (java) S 10892 10892 9656 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2003450309 202174464 9534 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10939/tid=10945] ppid=10892 vsize=197436 CPUtime=0.19
/proc/10939/task/10945/stat : 10945 (java) S 10892 10892 9656 0 -1 64 651 0 0 0 19 0 0 0 16 0 10 0 2003450309 202174464 9534 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10939/tid=10946] ppid=10892 vsize=197436 CPUtime=0
/proc/10939/task/10946/stat : 10946 (java) S 10892 10892 9656 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2003450309 202174464 9534 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10939/tid=10947] ppid=10892 vsize=197436 CPUtime=0
/proc/10939/task/10947/stat : 10947 (java) S 10892 10892 9656 0 -1 64 15 0 0 0 0 0 0 0 15 0 10 0 2003450309 202174464 9534 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10939/tid=10949] ppid=10892 vsize=197436 CPUtime=0
/proc/10939/task/10949/stat : 10949 (java) S 10892 10892 9656 0 -1 64 70 0 0 0 0 0 0 0 24 0 10 0 2003450882 202174464 9534 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 870940
Solver just ended. Dumping a history of the last processes samples
[startup+105.503 s]
/proc/loadavg: 2.15 2.48 2.50 3/103 10960
/proc/meminfo: memFree=1430264/2055920 swapFree=4180584/4192956
[pid=10892] ppid=10890 vsize=5360 CPUtime=76.72
/proc/10892/stat : 10892 (hydra) S 10890 10892 9656 0 -1 4194304 375 12325 0 0 0 0 7665 7 18 0 1 0 2003442597 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10892/statm: 1340 238 196 169 0 51 0
################
# More data... #
################
[pid=10939/tid=10946] ppid=10892 vsize=197436 CPUtime=0
/proc/10939/task/10946/stat : 10946 (java) S 10892 10892 9656 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2003450309 202174464 9534 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10939/tid=10947] ppid=10892 vsize=197436 CPUtime=0
/proc/10939/task/10947/stat : 10947 (java) S 10892 10892 9656 0 -1 64 15 0 0 0 0 0 0 0 15 0 10 0 2003450309 202174464 9534 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10939/tid=10949] ppid=10892 vsize=197436 CPUtime=0
/proc/10939/task/10949/stat : 10949 (java) S 10892 10892 9656 0 -1 64 70 0 0 0 0 0 0 0 24 0 10 0 2003450882 202174464 9534 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 107.41
Current children cumulated vsize (KiB) 870940
[startup+108.703 s]
/proc/loadavg: 2.15 2.48 2.50 3/103 10960
/proc/meminfo: memFree=1425208/2055920 swapFree=4180584/4192956
[pid=10892] ppid=10890 vsize=5360 CPUtime=76.72
/proc/10892/stat : 10892 (hydra) S 10890 10892 9656 0 -1 4194304 375 12325 0 0 0 0 7665 7 18 0 1 0 2003442597 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10892/statm: 1340 238 196 169 0 51 0
[pid=10939] ppid=10892 vsize=197436 CPUtime=5.72
/proc/10939/stat : 10939 (java) S 10892 10892 9656 0 -1 0 14012 0 1 0 555 17 0 0 18 0 10 0 2003450304 202174464 9534 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10939/statm: 49359 9534 2543 9 0 43942 0
[pid=10950] ppid=10939 vsize=5356 CPUtime=0
/proc/10950/stat : 10950 (abscon) S 10939 10892 9656 0 -1 4194304 302 0 1 0 0 0 0 0 25 0 1 0 2003450882 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 231882679108 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/10950/statm: 1339 235 194 169 0 50 0
[pid=10951] ppid=10950 vsize=655744 CPUtime=25.77
/proc/10951/stat : 10951 (java) S 10950 10892 9656 0 -1 0 35743 0 4 0 2558 19 0 0 25 0 9 0 2003450884 671481856 35036 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10951/statm: 163936 35036 2616 9 0 158464 0
[pid=10951/tid=10953] ppid=10950 vsize=655744 CPUtime=24.54
/proc/10951/task/10953/stat : 10953 (java) R 10950 10892 9656 0 -1 64 12533 0 4 0 2445 9 0 0 25 0 9 0 2003450885 671481856 35036 996147200 134512640 134550740 4294955808 18446744073709551615 4126379304 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10951/tid=10954] ppid=10950 vsize=655744 CPUtime=0.89
/proc/10951/task/10954/stat : 10954 (java) S 10950 10892 9656 0 -1 64 21948 0 0 0 81 8 0 0 16 0 9 0 2003450886 671481856 35036 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10951/tid=10955] ppid=10950 vsize=655744 CPUtime=0
/proc/10951/task/10955/stat : 10955 (java) S 10950 10892 9656 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003450886 671481856 35036 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10951/tid=10956] ppid=10950 vsize=655744 CPUtime=0
/proc/10951/task/10956/stat : 10956 (java) S 10950 10892 9656 0 -1 64 14 0 0 0 0 0 0 0 15 0 9 0 2003450886 671481856 35036 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10951/tid=10957] ppid=10950 vsize=655744 CPUtime=0
/proc/10951/task/10957/stat : 10957 (java) S 10950 10892 9656 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003450888 671481856 35036 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10951/tid=10958] ppid=10950 vsize=655744 CPUtime=0.31
/proc/10951/task/10958/stat : 10958 (java) S 10950 10892 9656 0 -1 64 709 0 0 0 31 0 0 0 15 0 9 0 2003450888 671481856 35036 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10951/tid=10959] ppid=10950 vsize=655744 CPUtime=0
/proc/10951/task/10959/stat : 10959 (java) S 10950 10892 9656 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2003450888 671481856 35036 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10951/tid=10960] ppid=10950 vsize=655744 CPUtime=0
/proc/10951/task/10960/stat : 10960 (java) S 10950 10892 9656 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2003450888 671481856 35036 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10952] ppid=10950 vsize=7044 CPUtime=0
/proc/10952/stat : 10952 (translate) S 10950 10892 9656 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2003450884 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 231882850386 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/10952/statm: 1761 213 182 1 0 41 0
[pid=10939/tid=10940] ppid=10892 vsize=197436 CPUtime=4.46
/proc/10939/task/10940/stat : 10940 (java) S 10892 10892 9656 0 -1 64 3995 0 1 0 441 5 0 0 24 0 10 0 2003450306 202174464 9534 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=10939/tid=10941] ppid=10892 vsize=197436 CPUtime=1.04
/proc/10939/task/10941/stat : 10941 (java) S 10892 10892 9656 0 -1 64 8557 0 0 0 94 10 0 0 16 0 10 0 2003450307 202174464 9534 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10939/tid=10942] ppid=10892 vsize=197436 CPUtime=0
/proc/10939/task/10942/stat : 10942 (java) S 10892 10892 9656 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2003450307 202174464 9534 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10939/tid=10943] ppid=10892 vsize=197436 CPUtime=0
/proc/10939/task/10943/stat : 10943 (java) S 10892 10892 9656 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2003450307 202174464 9534 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10939/tid=10944] ppid=10892 vsize=197436 CPUtime=0
/proc/10939/task/10944/stat : 10944 (java) S 10892 10892 9656 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2003450309 202174464 9534 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10939/tid=10945] ppid=10892 vsize=197436 CPUtime=0.19
/proc/10939/task/10945/stat : 10945 (java) S 10892 10892 9656 0 -1 64 651 0 0 0 19 0 0 0 16 0 10 0 2003450309 202174464 9534 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10939/tid=10946] ppid=10892 vsize=197436 CPUtime=0
/proc/10939/task/10946/stat : 10946 (java) S 10892 10892 9656 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2003450309 202174464 9534 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10939/tid=10947] ppid=10892 vsize=197436 CPUtime=0
/proc/10939/task/10947/stat : 10947 (java) S 10892 10892 9656 0 -1 64 15 0 0 0 0 0 0 0 15 0 10 0 2003450309 202174464 9534 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10939/tid=10949] ppid=10892 vsize=197436 CPUtime=0
/proc/10939/task/10949/stat : 10949 (java) S 10892 10892 9656 0 -1 64 70 0 0 0 0 0 0 0 24 0 10 0 2003450882 202174464 9534 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 108.21
Current children cumulated vsize (KiB) 870940
[startup+108.908 s]
/proc/loadavg: 2.15 2.48 2.50 4/103 10960
/proc/meminfo: memFree=1381816/2055920 swapFree=4180584/4192956
[pid=10892] ppid=10890 vsize=5360 CPUtime=76.72
/proc/10892/stat : 10892 (hydra) S 10890 10892 9656 0 -1 4194304 375 12325 0 0 0 0 7665 7 18 0 1 0 2003442597 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10892/statm: 1340 238 196 169 0 51 0
[pid=10939] ppid=10892 vsize=197436 CPUtime=5.72
/proc/10939/stat : 10939 (java) S 10892 10892 9656 0 -1 0 14012 0 1 0 555 17 0 0 18 0 10 0 2003450304 202174464 9534 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10939/statm: 49359 9534 2543 9 0 43942 0
[pid=10950] ppid=10939 vsize=5356 CPUtime=0
/proc/10950/stat : 10950 (abscon) S 10939 10892 9656 0 -1 4194304 302 0 1 0 0 0 0 0 25 0 1 0 2003450882 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 231882679108 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/10950/statm: 1339 235 194 169 0 50 0
[pid=10951] ppid=10950 vsize=655744 CPUtime=25.98
/proc/10951/stat : 10951 (java) S 10950 10892 9656 0 -1 0 39141 0 4 0 2577 21 0 0 25 0 9 0 2003450884 671481856 38427 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10951/statm: 163936 38427 2617 9 0 158464 0
[pid=10951/tid=10953] ppid=10950 vsize=655744 CPUtime=24.68
/proc/10951/task/10953/stat : 10953 (java) R 10950 10892 9656 0 -1 64 12552 0 4 0 2459 9 0 0 25 0 9 0 2003450885 671481856 38427 996147200 134512640 134550740 4294955808 18446744073709551615 4126900281 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10951/tid=10954] ppid=10950 vsize=655744 CPUtime=0.93
/proc/10951/task/10954/stat : 10954 (java) S 10950 10892 9656 0 -1 64 25307 0 0 0 83 10 0 0 16 0 9 0 2003450886 671481856 38427 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10951/tid=10955] ppid=10950 vsize=655744 CPUtime=0
/proc/10951/task/10955/stat : 10955 (java) S 10950 10892 9656 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003450886 671481856 38427 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10951/tid=10956] ppid=10950 vsize=655744 CPUtime=0
/proc/10951/task/10956/stat : 10956 (java) S 10950 10892 9656 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 2003450886 671481856 38427 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10951/tid=10957] ppid=10950 vsize=655744 CPUtime=0
/proc/10951/task/10957/stat : 10957 (java) S 10950 10892 9656 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003450888 671481856 38427 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10951/tid=10958] ppid=10950 vsize=655744 CPUtime=0.33
/proc/10951/task/10958/stat : 10958 (java) S 10950 10892 9656 0 -1 64 724 0 0 0 33 0 0 0 15 0 9 0 2003450888 671481856 38427 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10951/tid=10959] ppid=10950 vsize=655744 CPUtime=0
/proc/10951/task/10959/stat : 10959 (java) S 10950 10892 9656 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2003450888 671481856 38427 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10951/tid=10960] ppid=10950 vsize=655744 CPUtime=0
/proc/10951/task/10960/stat : 10960 (java) S 10950 10892 9656 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2003450888 671481856 38427 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10952] ppid=10950 vsize=7044 CPUtime=0
/proc/10952/stat : 10952 (translate) S 10950 10892 9656 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2003450884 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 231882850386 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/10952/statm: 1761 213 182 1 0 41 0
[pid=10939/tid=10940] ppid=10892 vsize=197436 CPUtime=4.46
/proc/10939/task/10940/stat : 10940 (java) S 10892 10892 9656 0 -1 64 3995 0 1 0 441 5 0 0 24 0 10 0 2003450306 202174464 9534 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=10939/tid=10941] ppid=10892 vsize=197436 CPUtime=1.04
/proc/10939/task/10941/stat : 10941 (java) S 10892 10892 9656 0 -1 64 8557 0 0 0 94 10 0 0 16 0 10 0 2003450307 202174464 9534 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10939/tid=10942] ppid=10892 vsize=197436 CPUtime=0
/proc/10939/task/10942/stat : 10942 (java) S 10892 10892 9656 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2003450307 202174464 9534 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10939/tid=10943] ppid=10892 vsize=197436 CPUtime=0
/proc/10939/task/10943/stat : 10943 (java) S 10892 10892 9656 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2003450307 202174464 9534 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10939/tid=10944] ppid=10892 vsize=197436 CPUtime=0
/proc/10939/task/10944/stat : 10944 (java) S 10892 10892 9656 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2003450309 202174464 9534 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10939/tid=10945] ppid=10892 vsize=197436 CPUtime=0.19
/proc/10939/task/10945/stat : 10945 (java) S 10892 10892 9656 0 -1 64 651 0 0 0 19 0 0 0 16 0 10 0 2003450309 202174464 9534 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10939/tid=10946] ppid=10892 vsize=197436 CPUtime=0
/proc/10939/task/10946/stat : 10946 (java) S 10892 10892 9656 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2003450309 202174464 9534 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10939/tid=10947] ppid=10892 vsize=197436 CPUtime=0
/proc/10939/task/10947/stat : 10947 (java) S 10892 10892 9656 0 -1 64 15 0 0 0 0 0 0 0 15 0 10 0 2003450309 202174464 9534 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10939/tid=10949] ppid=10892 vsize=197436 CPUtime=0
/proc/10939/task/10949/stat : 10949 (java) S 10892 10892 9656 0 -1 64 70 0 0 0 0 0 0 0 24 0 10 0 2003450882 202174464 9534 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 108.42
Current children cumulated vsize (KiB) 870940
[startup+109.003 s]
/proc/loadavg: 2.15 2.48 2.50 4/103 10960
/proc/meminfo: memFree=1381816/2055920 swapFree=4180584/4192956
[pid=10892] ppid=10890 vsize=5360 CPUtime=76.72
/proc/10892/stat : 10892 (hydra) S 10890 10892 9656 0 -1 4194304 375 12325 0 0 0 0 7665 7 18 0 1 0 2003442597 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10892/statm: 1340 238 196 169 0 51 0
[pid=10939] ppid=10892 vsize=197436 CPUtime=5.72
/proc/10939/stat : 10939 (java) S 10892 10892 9656 0 -1 0 14015 0 1 0 555 17 0 0 18 0 10 0 2003450304 202174464 9534 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10939/statm: 49359 9534 2543 9 0 43942 0
[pid=10950] ppid=10939 vsize=5356 CPUtime=0
/proc/10950/stat : 10950 (abscon) S 10939 10892 9656 0 -1 4194304 302 288 1 0 0 0 0 0 16 0 1 0 2003450882 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 231882679108 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/10950/statm: 1339 235 194 169 0 50 0
[pid=10951] ppid=10950 vsize=655744 CPUtime=26.06
/proc/10951/stat : 10951 (java) S 10950 10892 9656 0 -1 0 39147 0 4 0 2585 21 0 0 25 0 9 0 2003450884 671481856 38432 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10951/statm: 163936 38432 2617 9 0 158464 0
[pid=10951/tid=10953] ppid=10950 vsize=655744 CPUtime=24.76
/proc/10951/task/10953/stat : 10953 (java) S 10950 10892 9656 0 -1 64 12554 0 4 0 2467 9 0 0 25 0 9 0 2003450885 671481856 38432 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10951/tid=10954] ppid=10950 vsize=655744 CPUtime=0.93
/proc/10951/task/10954/stat : 10954 (java) S 10950 10892 9656 0 -1 64 25307 0 0 0 83 10 0 0 16 0 9 0 2003450886 671481856 38432 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10951/tid=10955] ppid=10950 vsize=655744 CPUtime=0
/proc/10951/task/10955/stat : 10955 (java) S 10950 10892 9656 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003450886 671481856 38432 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10951/tid=10956] ppid=10950 vsize=655744 CPUtime=0
/proc/10951/task/10956/stat : 10956 (java) S 10950 10892 9656 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 2003450886 671481856 38432 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10951/tid=10957] ppid=10950 vsize=655744 CPUtime=0
/proc/10951/task/10957/stat : 10957 (java) S 10950 10892 9656 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003450888 671481856 38432 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10951/tid=10958] ppid=10950 vsize=655744 CPUtime=0.33
/proc/10951/task/10958/stat : 10958 (java) S 10950 10892 9656 0 -1 64 728 0 0 0 33 0 0 0 15 0 9 0 2003450888 671481856 38432 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10951/tid=10959] ppid=10950 vsize=655744 CPUtime=0
/proc/10951/task/10959/stat : 10959 (java) S 10950 10892 9656 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2003450888 671481856 38432 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10951/tid=10960] ppid=10950 vsize=655744 CPUtime=0
/proc/10951/task/10960/stat : 10960 (java) S 10950 10892 9656 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2003450888 671481856 38432 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10939/tid=10940] ppid=10892 vsize=197436 CPUtime=4.46
/proc/10939/task/10940/stat : 10940 (java) S 10892 10892 9656 0 -1 64 3998 0 1 0 441 5 0 0 16 0 10 0 2003450306 202174464 9534 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=10939/tid=10941] ppid=10892 vsize=197436 CPUtime=1.04
/proc/10939/task/10941/stat : 10941 (java) S 10892 10892 9656 0 -1 64 8557 0 0 0 94 10 0 0 16 0 10 0 2003450307 202174464 9534 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10939/tid=10942] ppid=10892 vsize=197436 CPUtime=0
/proc/10939/task/10942/stat : 10942 (java) S 10892 10892 9656 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2003450307 202174464 9534 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10939/tid=10943] ppid=10892 vsize=197436 CPUtime=0
/proc/10939/task/10943/stat : 10943 (java) S 10892 10892 9656 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2003450307 202174464 9534 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10939/tid=10944] ppid=10892 vsize=197436 CPUtime=0
/proc/10939/task/10944/stat : 10944 (java) S 10892 10892 9656 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2003450309 202174464 9534 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10939/tid=10945] ppid=10892 vsize=197436 CPUtime=0.19
/proc/10939/task/10945/stat : 10945 (java) S 10892 10892 9656 0 -1 64 651 0 0 0 19 0 0 0 16 0 10 0 2003450309 202174464 9534 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10939/tid=10946] ppid=10892 vsize=197436 CPUtime=0
/proc/10939/task/10946/stat : 10946 (java) S 10892 10892 9656 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2003450309 202174464 9534 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10939/tid=10947] ppid=10892 vsize=197436 CPUtime=0
/proc/10939/task/10947/stat : 10947 (java) S 10892 10892 9656 0 -1 64 15 0 0 0 0 0 0 0 15 0 10 0 2003450309 202174464 9534 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10939/tid=10949] ppid=10892 vsize=197436 CPUtime=0
/proc/10939/task/10949/stat : 10949 (java) S 10892 10892 9656 0 -1 64 70 0 0 0 0 0 0 0 24 0 10 0 2003450882 202174464 9534 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 108.5
Current children cumulated vsize (KiB) 863896
Child status: 0
Real time (s): 109.101
CPU time (s): 108.585
CPU user time (s): 108.076
CPU system time (s): 0.509922
CPU usage (%): 99.5277
Max. virtual memory (cumulated for all children) (KiB): 870940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 108.076
system time used= 0.509922
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66573
page faults= 6
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12266
involuntary context switches= 13791
runsolver used 0.167974 second user time and 0.553915 second system time
The end