0.00/0.00 c cpHydra_k_10 version 0.0
90.96/91.82 c CASE TO CLASSIFY:
90.96/91.82 c Case: 0
90.96/91.82 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.198400 | c 15 > 14.658500 | 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
90.96/91.84 c choco : 1801.0
90.96/91.84 c mistral : 1801.0
90.96/91.84 c abscon : 1801.0
90.96/91.84 c
90.96/91.84 c
91.05/91.91 c List of same ones: 12
91.05/91.91 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-10.xml
91.05/91.91 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
91.05/91.92 c choco : 1801.0
91.05/91.92 c mistral : 1800.04
91.05/91.92 c abscon : 331.113
91.05/91.92 c
91.05/91.92 c
91.05/91.92 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-9.xml
91.05/91.92 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
91.05/91.93 c choco : 1801.0
91.05/91.93 c mistral : 1800.09
91.05/91.93 c abscon : 506.936
91.05/91.93 c
91.05/91.93 c
91.05/91.93 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-10.xml
91.05/91.93 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
91.05/91.94 c choco : 1801.0
91.05/91.94 c mistral : 1800.02
91.05/91.94 c abscon : 20.4989
91.05/91.94 c
91.05/91.94 c
91.05/91.94 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-7.xml
91.05/91.94 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
91.05/91.95 c choco : 1801.0
91.05/91.95 c mistral : 1800.04
91.05/91.95 c abscon : 18.3632
91.05/91.95 c
91.05/91.95 c
91.05/91.95 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-10.xml
91.05/91.95 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
91.05/91.96 c choco : 1801.0
91.05/91.96 c mistral : 228.6
91.05/91.96 c abscon : 55.2496
91.05/91.96 c
91.05/91.96 c
91.05/91.96 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-5.xml
91.05/91.96 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
91.05/91.97 c choco : 1801.0
91.05/91.97 c mistral : 44.9202
91.05/91.97 c abscon : 8.17176
91.05/91.97 c
91.05/91.97 c
91.05/91.97 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-8.xml
91.05/91.97 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
91.05/91.98 c choco : 1801.0
91.05/91.98 c mistral : 1800.06
91.05/91.98 c abscon : 19.3081
91.05/91.98 c
91.05/91.98 c
91.05/91.98 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-1.xml
91.05/91.98 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
91.05/91.99 c choco : 1801.0
91.05/91.99 c mistral : 91.75
91.05/91.99 c abscon : 7.97579
91.05/91.99 c
91.05/91.99 c
91.05/91.99 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-9.xml
91.05/91.99 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
91.05/91.99 c choco : 1801.0
91.05/91.99 c mistral : 1800.05
91.05/91.99 c abscon : 19.2911
91.05/91.99 c
91.05/91.99 c
91.05/91.99 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-2.xml
91.05/91.99 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
91.12/92.00 c choco : 1801.0
91.12/92.00 c mistral : 93.34
91.12/92.00 c abscon : 7.92479
91.12/92.00 c
91.12/92.00 c
91.12/92.00 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-3.xml
91.12/92.00 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
91.12/92.02 c choco : 1801.0
91.12/92.02 c mistral : 108.08
91.12/92.02 c abscon : 8.13076
91.12/92.02 c
91.12/92.02 c
91.12/92.02 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-6.xml
91.12/92.02 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
91.12/92.03 c choco : 1801.0
91.12/92.03 c mistral : 41.0328
91.12/92.03 c abscon : 8.14076
91.12/92.03 c
91.12/92.03 c
91.12/92.04 c Length: 12
91.12/92.04 c 5.557570665893508 5.696374926775801 5.954599999999999 5.954599999999999 5.967717391100974 5.97551 5.97551 5.98607 5.99316 5.99672 5.99672 5.99672
91.12/92.04 c
91.12/92.04 c 1.0 0.759834938157991 0.5251860048582776 0.5251860048582776 0.5170744986868615 0.5123732822440777 0.5123732822440777 0.5061372767516228 0.5020348934655381 0.5 0.5 0.5
91.12/92.04 c
91.12/92.04 c solver 0
91.12/92.04 c before 0.0 seconds: {} 0
91.12/92.04 c before 18.0 seconds: {5, 7, 9, 10, 11} 2518
91.12/92.04 c before 36.0 seconds: {2, 3, 5, 6, 7, 8, 9, 10, 11} 4583
91.12/92.04 c before 72.0 seconds: {2, 3, 4, 5, 6, 7, 8, 9, 10, 11} 5100
91.12/92.04 c before 342.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11} 6100
91.12/92.04 c before 522.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11} 6860
91.12/92.04 c
91.12/92.04 c solver 1
91.12/92.04 c before 0.0 seconds: {} 0
91.12/92.04 c before 54.0 seconds: {5, 11} 1012
91.12/92.04 c before 108.0 seconds: {5, 7, 9, 11} 2018
91.12/92.04 c before 126.0 seconds: {5, 7, 9, 10, 11} 2518
91.12/92.04 c before 234.0 seconds: {4, 5, 7, 9, 10, 11} 3035
91.12/92.04 c
91.12/92.04 c solver 2
91.12/92.04 c before 0.0 seconds: {} 0
91.12/92.04 c
91.12/92.04 cTotal time: 42
91.12/92.04 c 756.0 seconds unused
91.12/92.04 c 0 c 6 c 12
91.12/92.04 c 0 c 0 c 6
91.12/92.04 c 0 c 0 c 0
91.12/92.04 c is solver0 dominated by:
91.12/92.04 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)
91.12/92.04 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)
91.12/92.04 c is dominated? false
91.12/92.04 c
91.12/92.04 c is solver1 dominated by:
91.12/92.04 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)
91.12/92.04 c is dominated? true
91.12/92.04 c
91.12/92.04 c is solver2 dominated by:
91.12/92.04 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)
91.12/92.04 c is dominated? true
91.12/92.04 c
91.12/92.04 c Number of non-dominated solvers: 1
91.12/92.05 c remove dominated solvers
91.12/92.05 c solver 0 is not dominated by another solver
91.12/92.05 c solver 2 is dominated by another solver
91.12/92.05 c solver 1 is dominated by another solver
91.12/92.05 c
91.12/92.05 c solver 0: 522.0
91.12/92.05 c
91.12/92.05 c+ 29/29 of 71
91.12/92.05 c
91.12/92.05 c solver 1: 0.0
91.12/92.05 c
91.12/92.05 c solver 2: 0.0
91.12/92.05 c run abscon for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11} 6860
91.12/92.05 c do not run mistral
91.12/92.05 c do not run choco
91.12/92.05 c Starting solver: HOME/cpHydra_k_10/solver/abscon
91.12/92.05 c On Instance: HOME/instance-1087569-1215244722.xml
91.12/92.05 c Running for: 1800 seconds
117.71/119.29 s UNSATISFIABLE
117.71/119.29 d ASSIGNMENTS 0
117.71/119.29 d CHECKS 238659
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1087569-1215244722/watcher-1087569-1215244722 -o /tmp/evaluation-result-1087569-1215244722/solver-1087569-1215244722 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1087569-1215244722.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.07 2.07 2.02 4/82 5680
/proc/meminfo: memFree=1709872/2055920 swapFree=4179604/4192956
[pid=5680] ppid=5678 vsize=18572 CPUtime=0
/proc/5680/stat : 5680 (runsolver) R 5678 5680 5520 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 2003423458 19017728 292 996147200 4194304 4296836 548682068480 18446744073709551615 228774702375 0 0 4096 24578 0 0 0 17 1 0 0
/proc/5680/statm: 4643 292 257 25 0 2626 0
[startup+0.102942 s]
/proc/loadavg: 2.07 2.07 2.02 4/82 5680
/proc/meminfo: memFree=1709872/2055920 swapFree=4179604/4192956
[pid=5680] ppid=5678 vsize=5360 CPUtime=0
/proc/5680/stat : 5680 (hydra) S 5678 5680 5520 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2003423458 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5680/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.202958 s]
/proc/loadavg: 2.07 2.07 2.02 4/82 5680
/proc/meminfo: memFree=1709872/2055920 swapFree=4179604/4192956
[pid=5680] ppid=5678 vsize=5360 CPUtime=0
/proc/5680/stat : 5680 (hydra) S 5678 5680 5520 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2003423458 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5680/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.302989 s]
/proc/loadavg: 2.07 2.07 2.02 4/82 5680
/proc/meminfo: memFree=1709872/2055920 swapFree=4179604/4192956
[pid=5680] ppid=5678 vsize=5360 CPUtime=0
/proc/5680/stat : 5680 (hydra) S 5678 5680 5520 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2003423458 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5680/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701056 s]
/proc/loadavg: 2.07 2.07 2.02 4/82 5680
/proc/meminfo: memFree=1709872/2055920 swapFree=4179604/4192956
[pid=5680] ppid=5678 vsize=5360 CPUtime=0
/proc/5680/stat : 5680 (hydra) S 5678 5680 5520 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2003423458 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5680/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50121 s]
/proc/loadavg: 2.07 2.07 2.02 3/84 5684
/proc/meminfo: memFree=1664608/2055920 swapFree=4179604/4192956
[pid=5680] ppid=5678 vsize=5360 CPUtime=0
/proc/5680/stat : 5680 (hydra) S 5678 5680 5520 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2003423458 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5680/statm: 1340 236 195 169 0 51 0
[pid=5684] ppid=5680 vsize=73348 CPUtime=1.47
/proc/5684/stat : 5684 (xsolve) R 5680 5680 5520 0 -1 4194304 11717 0 0 0 142 5 0 0 25 0 1 0 2003423459 75108352 11610 996147200 134512640 135239763 4294956176 18446744073709551615 135096852 0 0 4096 0 0 0 0 17 1 0 0
/proc/5684/statm: 18337 11610 416 177 0 17240 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 78708
[startup+3.10152 s]
/proc/loadavg: 2.07 2.07 2.02 3/84 5684
/proc/meminfo: memFree=1664480/2055920 swapFree=4179604/4192956
[pid=5680] ppid=5678 vsize=5360 CPUtime=0
/proc/5680/stat : 5680 (hydra) S 5678 5680 5520 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2003423458 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5680/statm: 1340 236 195 169 0 51 0
[pid=5684] ppid=5680 vsize=73348 CPUtime=3.05
/proc/5684/stat : 5684 (xsolve) R 5680 5680 5520 0 -1 4194304 11717 0 0 0 300 5 0 0 25 0 1 0 2003423459 75108352 11610 996147200 134512640 135239763 4294956176 18446744073709551615 134535329 0 0 4096 0 0 0 0 17 1 0 0
/proc/5684/statm: 18337 11610 416 177 0 17240 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 78708
[startup+6.30114 s]
/proc/loadavg: 2.06 2.07 2.02 3/84 5684
/proc/meminfo: memFree=1664672/2055920 swapFree=4179604/4192956
[pid=5680] ppid=5678 vsize=5360 CPUtime=0
/proc/5680/stat : 5680 (hydra) S 5678 5680 5520 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2003423458 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5680/statm: 1340 236 195 169 0 51 0
[pid=5684] ppid=5680 vsize=73348 CPUtime=6.22
/proc/5684/stat : 5684 (xsolve) R 5680 5680 5520 0 -1 4194304 11718 0 0 0 617 5 0 0 25 0 1 0 2003423459 75108352 11611 996147200 134512640 135239763 4294956176 18446744073709551615 134539296 0 0 4096 0 0 0 0 17 1 0 0
/proc/5684/statm: 18337 11611 417 177 0 17240 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 78708
[startup+12.7014 s]
/proc/loadavg: 2.06 2.07 2.01 3/84 5684
/proc/meminfo: memFree=1664672/2055920 swapFree=4179604/4192956
[pid=5680] ppid=5678 vsize=5360 CPUtime=0
/proc/5680/stat : 5680 (hydra) S 5678 5680 5520 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2003423458 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5680/statm: 1340 236 195 169 0 51 0
[pid=5684] ppid=5680 vsize=73348 CPUtime=12.56
/proc/5684/stat : 5684 (xsolve) R 5680 5680 5520 0 -1 4194304 11718 0 0 0 1251 5 0 0 25 0 1 0 2003423459 75108352 11611 996147200 134512640 135239763 4294956176 18446744073709551615 134534768 0 0 4096 0 0 0 0 17 1 0 0
/proc/5684/statm: 18337 11611 417 177 0 17240 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 78708
[startup+25.5029 s]
/proc/loadavg: 2.04 2.06 2.01 3/84 5684
/proc/meminfo: memFree=1664800/2055920 swapFree=4179604/4192956
[pid=5680] ppid=5678 vsize=5360 CPUtime=0
/proc/5680/stat : 5680 (hydra) S 5678 5680 5520 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2003423458 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5680/statm: 1340 236 195 169 0 51 0
[pid=5684] ppid=5680 vsize=73348 CPUtime=25.25
/proc/5684/stat : 5684 (xsolve) R 5680 5680 5520 0 -1 4194304 11718 0 0 0 2520 5 0 0 25 0 1 0 2003423459 75108352 11611 996147200 134512640 135239763 4294956176 18446744073709551615 134543169 0 0 4096 0 0 0 0 17 1 0 0
/proc/5684/statm: 18337 11611 417 177 0 17240 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 78708
[startup+51.1029 s]
/proc/loadavg: 2.03 2.06 2.01 3/84 5684
/proc/meminfo: memFree=1664864/2055920 swapFree=4179604/4192956
[pid=5680] ppid=5678 vsize=5360 CPUtime=0
/proc/5680/stat : 5680 (hydra) S 5678 5680 5520 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2003423458 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5680/statm: 1340 236 195 169 0 51 0
[pid=5684] ppid=5680 vsize=73348 CPUtime=50.63
/proc/5684/stat : 5684 (xsolve) R 5680 5680 5520 0 -1 4194304 11718 0 0 0 5057 6 0 0 25 0 1 0 2003423459 75108352 11611 996147200 134512640 135239763 4294956176 18446744073709551615 134543151 0 0 4096 0 0 0 0 17 1 0 0
/proc/5684/statm: 18337 11611 417 177 0 17240 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 78708
[startup+102.303 s]
/proc/loadavg: 2.01 2.05 2.01 3/104 5708
/proc/meminfo: memFree=1601472/2055920 swapFree=4179604/4192956
[pid=5680] ppid=5678 vsize=5360 CPUtime=85.13
/proc/5680/stat : 5680 (hydra) S 5678 5680 5520 0 -1 4194304 375 12324 0 0 0 0 8505 8 18 0 1 0 2003423458 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5680/statm: 1340 238 196 169 0 51 0
[pid=5688] ppid=5680 vsize=197432 CPUtime=6.03
/proc/5688/stat : 5688 (java) S 5680 5680 5520 0 -1 0 11465 0 2 0 586 17 0 0 18 0 10 0 2003432049 202170368 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5688/statm: 49358 9411 2543 9 0 43941 0
[pid=5698] ppid=5688 vsize=5356 CPUtime=0
/proc/5698/stat : 5698 (abscon) S 5688 5680 5520 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 2003432664 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 228774699844 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/5698/statm: 1339 235 194 169 0 50 0
[pid=5699] ppid=5698 vsize=655728 CPUtime=9.98
/proc/5699/stat : 5699 (java) S 5698 5680 5520 0 -1 0 21805 0 9 0 985 13 0 0 18 0 9 0 2003432664 671465472 21313 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5699/statm: 163932 21313 2008 9 0 158460 0
[pid=5699/tid=5701] ppid=5698 vsize=655728 CPUtime=9.55
/proc/5699/task/5701/stat : 5701 (java) R 5698 5680 5520 0 -1 64 12446 0 9 0 946 9 0 0 25 0 9 0 2003432665 671465472 21313 996147200 134512640 134550740 4294955808 18446744073709551615 4126898232 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5699/tid=5702] ppid=5698 vsize=655728 CPUtime=0.19
/proc/5699/task/5702/stat : 5702 (java) S 5698 5680 5520 0 -1 64 8162 0 0 0 16 3 0 0 16 0 9 0 2003432666 671465472 21313 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=5699/tid=5703] ppid=5698 vsize=655728 CPUtime=0
/proc/5699/task/5703/stat : 5703 (java) S 5698 5680 5520 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003432667 671465472 21313 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5699/tid=5704] ppid=5698 vsize=655728 CPUtime=0
/proc/5699/task/5704/stat : 5704 (java) S 5698 5680 5520 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2003432667 671465472 21313 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5699/tid=5705] ppid=5698 vsize=655728 CPUtime=0
/proc/5699/task/5705/stat : 5705 (java) S 5698 5680 5520 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 2003432668 671465472 21313 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5699/tid=5706] ppid=5698 vsize=655728 CPUtime=0.22
/proc/5699/task/5706/stat : 5706 (java) S 5698 5680 5520 0 -1 64 652 0 0 0 22 0 0 0 15 0 9 0 2003432668 671465472 21313 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5699/tid=5707] ppid=5698 vsize=655728 CPUtime=0
/proc/5699/task/5707/stat : 5707 (java) S 5698 5680 5520 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2003432669 671465472 21313 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5699/tid=5708] ppid=5698 vsize=655728 CPUtime=0
/proc/5699/task/5708/stat : 5708 (java) S 5698 5680 5520 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003432669 671465472 21313 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5700] ppid=5698 vsize=7044 CPUtime=0
/proc/5700/stat : 5700 (translate) S 5698 5680 5520 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2003432665 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 228774871122 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/5700/statm: 1761 213 182 1 0 41 0
[pid=5688/tid=5689] ppid=5680 vsize=197432 CPUtime=4.88
/proc/5688/task/5689/stat : 5689 (java) S 5680 5680 5520 0 -1 64 3858 0 2 0 482 6 0 0 25 0 10 0 2003432050 202170368 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=5688/tid=5690] ppid=5680 vsize=197432 CPUtime=0.92
/proc/5688/task/5690/stat : 5690 (java) S 5680 5680 5520 0 -1 64 6150 0 0 0 82 10 0 0 16 0 10 0 2003432051 202170368 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5688/tid=5691] ppid=5680 vsize=197432 CPUtime=0
/proc/5688/task/5691/stat : 5691 (java) S 5680 5680 5520 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2003432051 202170368 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5688/tid=5692] ppid=5680 vsize=197432 CPUtime=0
/proc/5688/task/5692/stat : 5692 (java) S 5680 5680 5520 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2003432051 202170368 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5688/tid=5693] ppid=5680 vsize=197432 CPUtime=0
/proc/5688/task/5693/stat : 5693 (java) S 5680 5680 5520 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2003432054 202170368 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5688/tid=5694] ppid=5680 vsize=197432 CPUtime=0.21
/proc/5688/task/5694/stat : 5694 (java) S 5680 5680 5520 0 -1 64 650 0 0 0 21 0 0 0 16 0 10 0 2003432054 202170368 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5688/tid=5695] ppid=5680 vsize=197432 CPUtime=0
/proc/5688/task/5695/stat : 5695 (java) S 5680 5680 5520 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2003432054 202170368 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5688/tid=5696] ppid=5680 vsize=197432 CPUtime=0
/proc/5688/task/5696/stat : 5696 (java) S 5680 5680 5520 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 2003432054 202170368 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5688/tid=5697] ppid=5680 vsize=197432 CPUtime=0
/proc/5688/task/5697/stat : 5697 (java) S 5680 5680 5520 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2003432664 202170368 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.14
Current children cumulated vsize (KiB) 870920
Solver just ended. Dumping a history of the last processes samples
[startup+102.408 s]
/proc/loadavg: 2.01 2.05 2.01 3/104 5708
/proc/meminfo: memFree=1601472/2055920 swapFree=4179604/4192956
[pid=5680] ppid=5678 vsize=5360 CPUtime=85.13
/proc/5680/stat : 5680 (hydra) S 5678 5680 5520 0 -1 4194304 375 12324 0 0 0 0 8505 8 18 0 1 0 2003423458 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5680/statm: 1340 238 196 169 0 51 0
[pid=5688] ppid=5680 vsize=197432 CPUtime=6.03
/proc/5688/stat : 5688 (java) S 5680 5680 5520 0 -1 0 11465 0 2 0 586 17 0 0 18 0 10 0 2003432049 202170368 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5688/statm: 49358 9411 2543 9 0 43941 0
[pid=5698] ppid=5688 vsize=5356 CPUtime=0
/proc/5698/stat : 5698 (abscon) S 5688 5680 5520 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 2003432664 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 228774699844 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/5698/statm: 1339 235 194 169 0 50 0
[pid=5699] ppid=5698 vsize=655728 CPUtime=10.08
/proc/5699/stat : 5699 (java) S 5698 5680 5520 0 -1 0 21805 0 9 0 995 13 0 0 18 0 9 0 2003432664 671465472 21313 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5699/statm: 163932 21313 2008 9 0 158460 0
################
# More data... #
################
/proc/5699/task/5704/stat : 5704 (java) S 5698 5680 5520 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2003432667 671465472 27657 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5699/tid=5705] ppid=5698 vsize=655728 CPUtime=0
/proc/5699/task/5705/stat : 5705 (java) S 5698 5680 5520 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 2003432668 671465472 27657 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5699/tid=5706] ppid=5698 vsize=655728 CPUtime=0.29
/proc/5699/task/5706/stat : 5706 (java) S 5698 5680 5520 0 -1 64 688 0 0 0 29 0 0 0 16 0 9 0 2003432668 671465472 27657 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5699/tid=5707] ppid=5698 vsize=655728 CPUtime=0
/proc/5699/task/5707/stat : 5707 (java) S 5698 5680 5520 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2003432669 671465472 27657 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5699/tid=5708] ppid=5698 vsize=655728 CPUtime=0
/proc/5699/task/5708/stat : 5708 (java) S 5698 5680 5520 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003432669 671465472 27657 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5700] ppid=5698 vsize=7044 CPUtime=0
/proc/5700/stat : 5700 (translate) S 5698 5680 5520 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2003432665 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 228774871122 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/5700/statm: 1761 213 182 1 0 41 0
[pid=5688/tid=5689] ppid=5680 vsize=197432 CPUtime=4.88
/proc/5688/task/5689/stat : 5689 (java) S 5680 5680 5520 0 -1 64 3858 0 2 0 482 6 0 0 25 0 10 0 2003432050 202170368 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=5688/tid=5690] ppid=5680 vsize=197432 CPUtime=0.92
/proc/5688/task/5690/stat : 5690 (java) S 5680 5680 5520 0 -1 64 6150 0 0 0 82 10 0 0 16 0 10 0 2003432051 202170368 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5688/tid=5691] ppid=5680 vsize=197432 CPUtime=0
/proc/5688/task/5691/stat : 5691 (java) S 5680 5680 5520 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2003432051 202170368 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5688/tid=5692] ppid=5680 vsize=197432 CPUtime=0
/proc/5688/task/5692/stat : 5692 (java) S 5680 5680 5520 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2003432051 202170368 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5688/tid=5693] ppid=5680 vsize=197432 CPUtime=0
/proc/5688/task/5693/stat : 5693 (java) S 5680 5680 5520 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2003432054 202170368 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5688/tid=5694] ppid=5680 vsize=197432 CPUtime=0.21
/proc/5688/task/5694/stat : 5694 (java) S 5680 5680 5520 0 -1 64 650 0 0 0 21 0 0 0 16 0 10 0 2003432054 202170368 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5688/tid=5695] ppid=5680 vsize=197432 CPUtime=0
/proc/5688/task/5695/stat : 5695 (java) S 5680 5680 5520 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2003432054 202170368 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5688/tid=5696] ppid=5680 vsize=197432 CPUtime=0
/proc/5688/task/5696/stat : 5696 (java) S 5680 5680 5520 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 2003432054 202170368 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5688/tid=5697] ppid=5680 vsize=197432 CPUtime=0
/proc/5688/task/5697/stat : 5697 (java) S 5680 5680 5520 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2003432664 202170368 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 116.93
Current children cumulated vsize (KiB) 870920
[startup+118.802 s]
/proc/loadavg: 2.01 2.04 2.00 3/104 5708
/proc/meminfo: memFree=1549504/2055920 swapFree=4179604/4192956
[pid=5680] ppid=5678 vsize=5360 CPUtime=85.13
/proc/5680/stat : 5680 (hydra) S 5678 5680 5520 0 -1 4194304 375 12324 0 0 0 0 8505 8 18 0 1 0 2003423458 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5680/statm: 1340 238 196 169 0 51 0
[pid=5688] ppid=5680 vsize=197432 CPUtime=6.03
/proc/5688/stat : 5688 (java) S 5680 5680 5520 0 -1 0 11465 0 2 0 586 17 0 0 18 0 10 0 2003432049 202170368 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5688/statm: 49358 9411 2543 9 0 43941 0
[pid=5698] ppid=5688 vsize=5356 CPUtime=0
/proc/5698/stat : 5698 (abscon) S 5688 5680 5520 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 2003432664 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 228774699844 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/5698/statm: 1339 235 194 169 0 50 0
[pid=5699] ppid=5698 vsize=655728 CPUtime=26.15
/proc/5699/stat : 5699 (java) S 5698 5680 5520 0 -1 0 35541 0 9 0 2594 21 0 0 18 0 9 0 2003432664 671465472 34838 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5699/statm: 163932 34838 2616 9 0 158460 0
[pid=5699/tid=5701] ppid=5698 vsize=655728 CPUtime=24.86
/proc/5699/task/5701/stat : 5701 (java) R 5698 5680 5520 0 -1 64 12519 0 9 0 2476 10 0 0 25 0 9 0 2003432665 671465472 34838 996147200 134512640 134550740 4294955808 18446744073709551615 101444709 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5699/tid=5702] ppid=5698 vsize=655728 CPUtime=0.95
/proc/5699/task/5702/stat : 5702 (java) S 5698 5680 5520 0 -1 64 21765 0 0 0 86 9 0 0 16 0 9 0 2003432666 671465472 34838 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5699/tid=5703] ppid=5698 vsize=655728 CPUtime=0
/proc/5699/task/5703/stat : 5703 (java) S 5698 5680 5520 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003432667 671465472 34838 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5699/tid=5704] ppid=5698 vsize=655728 CPUtime=0
/proc/5699/task/5704/stat : 5704 (java) S 5698 5680 5520 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 2003432667 671465472 34838 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5699/tid=5705] ppid=5698 vsize=655728 CPUtime=0
/proc/5699/task/5705/stat : 5705 (java) S 5698 5680 5520 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 2003432668 671465472 34838 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5699/tid=5706] ppid=5698 vsize=655728 CPUtime=0.33
/proc/5699/task/5706/stat : 5706 (java) S 5698 5680 5520 0 -1 64 703 0 0 0 32 1 0 0 15 0 9 0 2003432668 671465472 34838 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5699/tid=5707] ppid=5698 vsize=655728 CPUtime=0
/proc/5699/task/5707/stat : 5707 (java) S 5698 5680 5520 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2003432669 671465472 34838 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5699/tid=5708] ppid=5698 vsize=655728 CPUtime=0
/proc/5699/task/5708/stat : 5708 (java) S 5698 5680 5520 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003432669 671465472 34838 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5700] ppid=5698 vsize=7044 CPUtime=0
/proc/5700/stat : 5700 (translate) S 5698 5680 5520 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2003432665 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 228774871122 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/5700/statm: 1761 213 182 1 0 41 0
[pid=5688/tid=5689] ppid=5680 vsize=197432 CPUtime=4.88
/proc/5688/task/5689/stat : 5689 (java) S 5680 5680 5520 0 -1 64 3858 0 2 0 482 6 0 0 25 0 10 0 2003432050 202170368 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=5688/tid=5690] ppid=5680 vsize=197432 CPUtime=0.92
/proc/5688/task/5690/stat : 5690 (java) S 5680 5680 5520 0 -1 64 6150 0 0 0 82 10 0 0 16 0 10 0 2003432051 202170368 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5688/tid=5691] ppid=5680 vsize=197432 CPUtime=0
/proc/5688/task/5691/stat : 5691 (java) S 5680 5680 5520 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2003432051 202170368 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5688/tid=5692] ppid=5680 vsize=197432 CPUtime=0
/proc/5688/task/5692/stat : 5692 (java) S 5680 5680 5520 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2003432051 202170368 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5688/tid=5693] ppid=5680 vsize=197432 CPUtime=0
/proc/5688/task/5693/stat : 5693 (java) S 5680 5680 5520 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2003432054 202170368 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5688/tid=5694] ppid=5680 vsize=197432 CPUtime=0.21
/proc/5688/task/5694/stat : 5694 (java) S 5680 5680 5520 0 -1 64 650 0 0 0 21 0 0 0 16 0 10 0 2003432054 202170368 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5688/tid=5695] ppid=5680 vsize=197432 CPUtime=0
/proc/5688/task/5695/stat : 5695 (java) S 5680 5680 5520 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2003432054 202170368 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5688/tid=5696] ppid=5680 vsize=197432 CPUtime=0
/proc/5688/task/5696/stat : 5696 (java) S 5680 5680 5520 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 2003432054 202170368 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5688/tid=5697] ppid=5680 vsize=197432 CPUtime=0
/proc/5688/task/5697/stat : 5697 (java) S 5680 5680 5520 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2003432664 202170368 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 117.31
Current children cumulated vsize (KiB) 870920
[startup+119.204 s]
/proc/loadavg: 2.01 2.04 2.00 3/104 5708
/proc/meminfo: memFree=1549504/2055920 swapFree=4179604/4192956
[pid=5680] ppid=5678 vsize=5360 CPUtime=85.13
/proc/5680/stat : 5680 (hydra) S 5678 5680 5520 0 -1 4194304 375 12324 0 0 0 0 8505 8 18 0 1 0 2003423458 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5680/statm: 1340 238 196 169 0 51 0
[pid=5688] ppid=5680 vsize=197432 CPUtime=6.03
/proc/5688/stat : 5688 (java) S 5680 5680 5520 0 -1 0 11465 0 2 0 586 17 0 0 18 0 10 0 2003432049 202170368 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5688/statm: 49358 9411 2543 9 0 43941 0
[pid=5698] ppid=5688 vsize=5356 CPUtime=0
/proc/5698/stat : 5698 (abscon) S 5688 5680 5520 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 2003432664 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 228774699844 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/5698/statm: 1339 235 194 169 0 50 0
[pid=5699] ppid=5698 vsize=656752 CPUtime=26.55
/proc/5699/stat : 5699 (java) S 5698 5680 5520 0 -1 0 38988 0 9 0 2632 23 0 0 18 0 9 0 2003432664 672514048 38278 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5699/statm: 164188 38278 2617 9 0 158716 0
[pid=5699/tid=5701] ppid=5698 vsize=656752 CPUtime=25.18
/proc/5699/task/5701/stat : 5701 (java) R 5698 5680 5520 0 -1 64 12560 0 9 0 2508 10 0 0 25 0 9 0 2003432665 672514048 38278 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5699/tid=5702] ppid=5698 vsize=656752 CPUtime=0.99
/proc/5699/task/5702/stat : 5702 (java) S 5698 5680 5520 0 -1 64 25145 0 0 0 88 11 0 0 16 0 9 0 2003432666 672514048 38278 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5699/tid=5703] ppid=5698 vsize=656752 CPUtime=0
/proc/5699/task/5703/stat : 5703 (java) S 5698 5680 5520 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003432667 672514048 38278 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5699/tid=5704] ppid=5698 vsize=656752 CPUtime=0
/proc/5699/task/5704/stat : 5704 (java) S 5698 5680 5520 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 2003432667 672514048 38278 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5699/tid=5705] ppid=5698 vsize=656752 CPUtime=0
/proc/5699/task/5705/stat : 5705 (java) S 5698 5680 5520 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 2003432668 672514048 38278 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5699/tid=5706] ppid=5698 vsize=656752 CPUtime=0.36
/proc/5699/task/5706/stat : 5706 (java) S 5698 5680 5520 0 -1 64 724 0 0 0 35 1 0 0 15 0 9 0 2003432668 672514048 38278 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5699/tid=5707] ppid=5698 vsize=656752 CPUtime=0
/proc/5699/task/5707/stat : 5707 (java) S 5698 5680 5520 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2003432669 672514048 38278 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5699/tid=5708] ppid=5698 vsize=656752 CPUtime=0
/proc/5699/task/5708/stat : 5708 (java) S 5698 5680 5520 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003432669 672514048 38278 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5700] ppid=5698 vsize=7044 CPUtime=0
/proc/5700/stat : 5700 (translate) S 5698 5680 5520 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2003432665 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 228774871122 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/5700/statm: 1761 213 182 1 0 41 0
[pid=5688/tid=5689] ppid=5680 vsize=197432 CPUtime=4.88
/proc/5688/task/5689/stat : 5689 (java) S 5680 5680 5520 0 -1 64 3858 0 2 0 482 6 0 0 25 0 10 0 2003432050 202170368 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=5688/tid=5690] ppid=5680 vsize=197432 CPUtime=0.92
/proc/5688/task/5690/stat : 5690 (java) S 5680 5680 5520 0 -1 64 6150 0 0 0 82 10 0 0 16 0 10 0 2003432051 202170368 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5688/tid=5691] ppid=5680 vsize=197432 CPUtime=0
/proc/5688/task/5691/stat : 5691 (java) S 5680 5680 5520 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2003432051 202170368 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5688/tid=5692] ppid=5680 vsize=197432 CPUtime=0
/proc/5688/task/5692/stat : 5692 (java) S 5680 5680 5520 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2003432051 202170368 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5688/tid=5693] ppid=5680 vsize=197432 CPUtime=0
/proc/5688/task/5693/stat : 5693 (java) S 5680 5680 5520 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2003432054 202170368 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5688/tid=5694] ppid=5680 vsize=197432 CPUtime=0.21
/proc/5688/task/5694/stat : 5694 (java) S 5680 5680 5520 0 -1 64 650 0 0 0 21 0 0 0 16 0 10 0 2003432054 202170368 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5688/tid=5695] ppid=5680 vsize=197432 CPUtime=0
/proc/5688/task/5695/stat : 5695 (java) S 5680 5680 5520 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2003432054 202170368 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5688/tid=5696] ppid=5680 vsize=197432 CPUtime=0
/proc/5688/task/5696/stat : 5696 (java) S 5680 5680 5520 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 2003432054 202170368 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5688/tid=5697] ppid=5680 vsize=197432 CPUtime=0
/proc/5688/task/5697/stat : 5697 (java) S 5680 5680 5520 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2003432664 202170368 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 117.71
Current children cumulated vsize (KiB) 871944
[startup+119.303 s]
/proc/loadavg: 2.01 2.04 2.00 3/104 5708
/proc/meminfo: memFree=1549504/2055920 swapFree=4179604/4192956
[pid=5680] ppid=5678 vsize=5360 CPUtime=85.13
/proc/5680/stat : 5680 (hydra) S 5678 5680 5520 0 -1 4194304 375 12324 0 0 0 0 8505 8 18 0 1 0 2003423458 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5680/statm: 1340 238 196 169 0 51 0
[pid=5688] ppid=5680 vsize=197432 CPUtime=32.64
/proc/5688/stat : 5688 (java) S 5680 5680 5520 0 -1 0 11533 39602 2 9 586 17 2635 26 18 0 9 0 2003432049 202170368 9413 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5688/statm: 49358 9413 2544 9 0 43941 0
[pid=5688/tid=5689] ppid=5680 vsize=197432 CPUtime=31.49
/proc/5688/task/5689/stat : 5689 (java) S 5680 5680 5520 0 -1 64 3906 39602 2 9 482 6 2635 26 16 0 9 0 2003432050 202170368 9413 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5688/tid=5690] ppid=5680 vsize=197432 CPUtime=27.53
/proc/5688/task/5690/stat : 5690 (java) S 5680 5680 5520 0 -1 64 6161 39602 0 9 82 10 2635 26 16 0 9 0 2003432051 202170368 9413 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5688/tid=5691] ppid=5680 vsize=197432 CPUtime=26.61
/proc/5688/task/5691/stat : 5691 (java) S 5680 5680 5520 0 -1 64 11 39602 0 9 0 0 2635 26 16 0 9 0 2003432051 202170368 9413 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5688/tid=5692] ppid=5680 vsize=197432 CPUtime=26.61
/proc/5688/task/5692/stat : 5692 (java) S 5680 5680 5520 0 -1 64 5 39602 0 9 0 0 2635 26 16 0 9 0 2003432051 202170368 9413 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5688/tid=5693] ppid=5680 vsize=197432 CPUtime=26.61
/proc/5688/task/5693/stat : 5693 (java) S 5680 5680 5520 0 -1 64 1 39602 0 9 0 0 2635 26 18 0 9 0 2003432054 202170368 9413 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5688/tid=5694] ppid=5680 vsize=197432 CPUtime=26.82
/proc/5688/task/5694/stat : 5694 (java) S 5680 5680 5520 0 -1 64 650 39602 0 9 21 0 2635 26 16 0 9 0 2003432054 202170368 9413 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5688/tid=5695] ppid=5680 vsize=197432 CPUtime=26.61
/proc/5688/task/5695/stat : 5695 (java) S 5680 5680 5520 0 -1 64 1 39602 0 9 0 0 2635 26 19 0 9 0 2003432054 202170368 9413 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5688/tid=5696] ppid=5680 vsize=197432 CPUtime=26.61
/proc/5688/task/5696/stat : 5696 (java) S 5680 5680 5520 0 -1 64 12 39602 0 9 0 0 2635 26 15 0 9 0 2003432054 202170368 9413 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 117.77
Current children cumulated vsize (KiB) 202792
Child status: 0
Real time (s): 119.35
CPU time (s): 117.808
CPU user time (s): 117.272
CPU system time (s): 0.535918
CPU usage (%): 98.708
Max. virtual memory (cumulated for all children) (KiB): 871944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 117.272
system time used= 0.535918
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63870
page faults= 11
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12383
involuntary context switches= 17242
runsolver used 0.25696 second user time and 0.541917 second system time
The end