0.00/0.00 c cpHydra_k_10 version 0.0
53.11/53.64 c CASE TO CLASSIFY:
53.11/53.64 c Case: 0
53.11/53.65 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 41.728300 | c 15 > 11.979100 | c 34 > 67.602400 | c 16 > 2.000000 | c 13 > 2.104910 | c 14 > -1.000000 | c 11 > 8.643860 | c 12 > 3.908330 | c 21 > 26.150400 | c 20 > 0.000000 | c 22 > 26.457500 | c 23 > 13.855100 | c 24 > 10.880500 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.552200 | 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.061400 | c 31 > -1.000000 | c 4 > 8.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
53.11/53.66 c choco : 1801.0
53.11/53.66 c mistral : 1801.0
53.11/53.66 c abscon : 1801.0
53.11/53.66 c
53.11/53.66 c
53.21/53.73 c List of same ones: 10
53.21/53.73 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-7.xml
53.21/53.73 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.209600 | c 15 > 7.409390 | c 34 > 68.285400 | c 16 > 2.000000 | c 13 > 3.875670 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 5.068670 | c 21 > 23.968700 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 10.376600 | c 24 > 3.683900 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.519900 | 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 > 17.617400 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c
53.21/53.74 c choco : 289.36
53.21/53.74 c mistral : 69.4914
53.21/53.74 c abscon : 8.48671
53.21/53.74 c
53.21/53.74 c
53.21/53.74 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-1.xml
53.21/53.74 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.209600 | c 15 > 7.339850 | c 34 > 68.285400 | c 16 > 2.000000 | c 13 > 3.875670 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 5.068670 | c 21 > 23.968700 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 10.376600 | c 24 > 3.683900 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.519900 | 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 > 17.617400 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c
53.21/53.75 c choco : 165.46
53.21/53.75 c mistral : 105.964
53.21/53.75 c abscon : 5.62414
53.21/53.75 c
53.21/53.75 c
53.21/53.75 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-3.xml
53.21/53.75 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.209600 | c 15 > 7.339850 | c 34 > 68.285400 | c 16 > 2.000000 | c 13 > 3.875670 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 5.068670 | c 21 > 23.968700 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 10.376600 | c 24 > 3.683900 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.519900 | 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 > 17.617400 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c
53.21/53.76 c choco : 241.66
53.21/53.76 c mistral : 109.272
53.21/53.76 c abscon : 5.81612
53.21/53.76 c
53.21/53.76 c
53.21/53.76 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-6.xml
53.21/53.76 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.209600 | c 15 > 7.266790 | c 34 > 68.285400 | c 16 > 2.000000 | c 13 > 3.875670 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 5.068670 | c 21 > 23.968700 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 10.376600 | c 24 > 3.683900 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.519900 | 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 > 17.617400 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c
53.21/53.77 c choco : 222.88
53.21/53.77 c mistral : 87.2887
53.21/53.77 c abscon : 8.36073
53.21/53.77 c
53.21/53.77 c
53.21/53.77 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-8.xml
53.21/53.77 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.209600 | c 15 > 7.266790 | c 34 > 68.285400 | c 16 > 2.000000 | c 13 > 3.875670 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 5.068670 | c 21 > 23.968700 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 10.376600 | c 24 > 3.683900 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.519900 | 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 > 17.617400 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c
53.21/53.78 c choco : 258.16
53.21/53.78 c mistral : 67.8027
53.21/53.78 c abscon : 8.5677
53.21/53.78 c
53.21/53.78 c
53.21/53.78 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-10.xml
53.21/53.78 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.209600 | c 15 > 7.238400 | c 34 > 68.285400 | c 16 > 2.000000 | c 13 > 3.875670 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 5.068670 | c 21 > 23.968700 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 10.376600 | c 24 > 3.683900 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.519900 | 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 > 17.617400 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c
53.21/53.79 c choco : 162.09
53.21/53.79 c mistral : 106.35
53.21/53.79 c abscon : 8.83866
53.21/53.79 c
53.21/53.79 c
53.21/53.79 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-5.xml
53.21/53.79 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.209600 | c 15 > 7.219170 | c 34 > 68.285400 | c 16 > 2.000000 | c 13 > 3.875670 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 5.068670 | c 21 > 23.968700 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 10.376600 | c 24 > 3.683900 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.519900 | 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 > 17.617400 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c
53.30/53.80 c choco : 123.79
53.30/53.80 c mistral : 119.313
53.30/53.80 c abscon : 5.86111
53.30/53.81 c
53.30/53.81 c
53.30/53.81 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-9.xml
53.30/53.81 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.209600 | c 15 > 7.199670 | c 34 > 68.285400 | c 16 > 2.000000 | c 13 > 3.875670 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 5.068670 | c 21 > 23.968700 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 10.376600 | c 24 > 3.683900 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.519900 | 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 > 17.617400 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c
53.30/53.81 c choco : 1801.0
53.30/53.81 c mistral : 47.8137
53.30/53.81 c abscon : 8.48171
53.30/53.81 c
53.30/53.81 c
53.30/53.81 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-2.xml
53.30/53.81 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.209600 | c 15 > 7.189820 | c 34 > 68.285400 | c 16 > 2.000000 | c 13 > 3.875670 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 5.068670 | c 21 > 23.968700 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 10.376600 | c 24 > 3.683900 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.519900 | 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 > 17.617400 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c
53.30/53.82 c choco : 178.61
53.30/53.82 c mistral : 98.855
53.30/53.82 c abscon : 5.66214
53.30/53.82 c
53.30/53.82 c
53.30/53.82 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-0.xml
53.30/53.82 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.209600 | c 15 > 7.159870 | c 34 > 68.285400 | c 16 > 2.000000 | c 13 > 3.875670 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 5.068670 | c 21 > 23.968700 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 10.376600 | c 24 > 3.683900 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.519900 | 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 > 17.617400 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c
53.30/53.83 c choco : 159.33
53.30/53.83 c mistral : 105.658
53.30/53.83 c abscon : 5.68613
53.30/53.83 c
53.30/53.83 c
53.30/53.83 c Length: 10
53.30/53.83 c 10.067324396894143 10.099079739793128 10.099079739793128 10.1328493803224 10.1328493803224 10.14608335852806 10.155082699471238 10.164237411291614 10.168872796264099 10.183012757583095
53.30/53.84 c
53.30/53.84 c 1.0 0.784627338256968 0.784627338256968 0.6384097222670584 0.6384097222670584 0.594959906400038 0.5686422123211041 0.5441562202592727 0.53254504742927 0.5
53.30/53.84 c
53.30/53.84 c solver 0
53.30/53.84 c before 0.0 seconds: {} 0
53.30/53.84 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6586
53.30/53.84 c
53.30/53.84 c solver 1
53.30/53.84 c before 0.0 seconds: {} 0
53.30/53.84 c before 54.0 seconds: {7} 544
53.30/53.84 c before 72.0 seconds: {0, 4, 7} 2182
53.30/53.84 c before 90.0 seconds: {0, 3, 4, 7} 2820
53.30/53.84 c before 108.0 seconds: {0, 1, 3, 4, 5, 7, 8, 9} 5233
53.30/53.84 c before 126.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6586
53.30/53.84 c
53.30/53.84 c solver 2
53.30/53.84 c before 0.0 seconds: {} 0
53.30/53.84 c before 126.0 seconds: {6} 568
53.30/53.84 c before 162.0 seconds: {6, 9} 1068
53.30/53.84 c before 180.0 seconds: {1, 5, 6, 8, 9} 2980
53.30/53.84 c before 234.0 seconds: {1, 3, 5, 6, 8, 9} 3619
53.30/53.84 c before 252.0 seconds: {1, 2, 3, 5, 6, 8, 9} 4403
53.30/53.84 c before 270.0 seconds: {1, 2, 3, 4, 5, 6, 8, 9} 5042
53.30/53.84 c before 306.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9} 6042
53.30/53.84 c
53.30/53.84 cTotal time: 25
53.30/53.84 c 450.0 seconds unused
53.30/53.84 c 0 c 0 c 1
53.30/53.84 c 0 c 0 c 1
53.30/53.84 c 0 c 0 c 0
53.30/53.84 c is solver0 dominated by:
53.30/53.84 c solver 1 (0 solves instances that 1 can't: false) (1 doesn't solve instances that 0 can't: true) (0 is faster than 1: true) (0 is equally as fast as 1: false) (0 < 1: false)
53.30/53.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: true) (0 is equally as fast as 2: false) (0 < 2: false)
53.30/53.84 c is dominated? false
53.30/53.84 c
53.30/53.84 c is solver1 dominated by:
53.30/53.84 c solver 0 (1 solves instances that 0 can't: false) (0 doesn't solve instances that 1 can't: true) (1 is faster than 0: false) (1 is equally as fast as 0: false) (1 < 0: true)
53.30/53.84 c is dominated? true
53.30/53.84 c
53.30/53.84 c is solver2 dominated by:
53.30/53.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: false) (2 is equally as fast as 0: false) (2 < 0: true)
53.30/53.84 c is dominated? true
53.30/53.84 c
53.30/53.84 c Number of non-dominated solvers: 1
53.30/53.85 c remove dominated solvers
53.30/53.85 c solver 0 is not dominated by another solver
53.30/53.85 c solver 2 is dominated by another solver
53.30/53.85 c solver 1 is dominated by another solver
53.30/53.85 c
53.30/53.85 c solver 0: 18.0
53.30/53.85 c
53.30/53.85 c+ 1/1 of 99
53.30/53.85 c
53.30/53.85 c solver 1: 0.0
53.30/53.85 c
53.30/53.85 c solver 2: 0.0
53.30/53.85 c run abscon for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6586
53.30/53.85 c do not run mistral
53.30/53.85 c do not run choco
53.30/53.85 c Starting solver: HOME/cpHydra_k_10/solver/abscon
53.30/53.85 c On Instance: HOME/instance-1086855-1215241569.xml
53.30/53.85 c Running for: 1800 seconds
204.01/204.67 s SAT
204.01/204.67 v -2496 2360 1300 -1960 -1764 1352 -2600 2600 -2036 2228 2320 2332 2212 -2528 -2396 -2176 -1584 -2560 2488 -1360 -1656 -2420 -2600 -1336 2600 -2560 -1760 -1256 -2312 -1696 -2460 2196 1792 -2036 -2264 -1260 -1244 -1908 2488 -2304 -2600 -2296 -2600 -2600 -2444 -2288 -2088 -1792 -2600 -2192 -1640 -1944 -2496 -1380 -1672 -1484 -1336 -1988 -1308 2540 -2404 1812 -1924 -2560 -2240 1988 -1700 -2600 1608 -1748 1808 -2380 -1420 -2084 2004 -1700 2556 -2004 -2560 -1216 2268 -1204 -2360 -2248 -1312 1624 -1796 -2384 -1452 2184 1852 1888 -2464 -2396 -2388 1412 -2280 -2292 -2600 -2560 1204 -1804 -1284 -1768 -1664 1244 -2204 -2448 -1204 -2240 -1396 1932 -1920 1316 -1256 -1648 -1204 -1328 -1544 -1284 1608 -2172 -1320 1204 -2296 -1992 -1296 -1424 -2184 -1452 -1608 1376 -1440 -2420 -2560 -1288 1492 -1204 -1720 -2260 -2600 2272 -2356 -1992 -1836 -2352 -1244 -2452 -1648 -1740 -1204 -2044 -1272 -1304 1536 1236 1624 -2600 1948 -1996 -1808 -1576 -1300 -2456 -2600 -1740 1952 -1392 -2460 -2504 -1704 -2560 1544 -1340 -2224 -1372 -2560 2060 2524 -2084 -2220 -2368 -2428 -1700 -2200 -2520 -1324 -2580 -1668 1972 -1412 -1460 -2488 -1892 -1884 -1300 -2600 -1768 -2276 -1204 -1244 -1340 -1336 2048 -2484 2408 -1332 1204 -1480 -2168 -2560 -1328 -1524 1648 -1420 2104 -2600 -1444 1204 -1244 -1832 -1348 -2560 -1740 1708 -1380 -1844 -1356 -2560 2400 -1544 -1584 -1728 -1452 -1868 -1244 -1244 -1204 -1964 -2244 -2560 -1276 -1688 -1484 1380 -2208 -1352 -2076 -2560 -1384 1260 -2600 -1300 -2144 -1244 -2448 -2588 -1292 -2424 -1260 -2600 -1420 -2068 -2560 1836 1832 2504 -1332 -1356 -2560 -2492 2312 -1708 2316 -2044 2560 1204 -1608 -1852 -1220 -2448 -2516 -1492 -2256 -1452 -2468 -2152 1396 -1296 -2348 -1780 1724 -2216 -1244 -1812 1444 2180 -1688 2220 -2548 -1892 -2600 2380 -1756 -2108 -2560 -1368 2304 -1600 -2600 -1232 -2560 2260 -2560 -2356 -1244 1888 -2600 -1864 1504 -1584 -2560 -2004 -1664 -2336 -1364 1544 1340 -1244 -1964 -2464 1928 -1648 -2144 -1984 -2316 1380 -1204 -2560 -1504 -1764 -1968 1744 2100 -2600 1244 -1928 -1372 -1244 -2548 -2456 -1272 -1704 -2400 -1820 2356 -1520 1824 1464 -1712 1204 -2344 2220 2600 1948 -2560 -2560 -1244 -1412 -1244 -1876 1584 -2020 -1964 -2500 -2044 1852 -1500 -2328 1244 2060 1356 -1264 1400 1484 -2420 -1284 2588 -1392 -1928 -2032 -1216 -1204 -1324 -2280 2156 1728 -1244 -1796 -1932
204.01/204.67 d ASSIGNMENTS 568
204.01/204.67 d CHECKS 306239401
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1086855-1215241569/watcher-1086855-1215241569 -o /tmp/evaluation-result-1086855-1215241569/solver-1086855-1215241569 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1086855-1215241569.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: 1.92 1.98 1.99 4/72 28974
/proc/meminfo: memFree=1633256/2055920 swapFree=4181096/4192956
[pid=28974] ppid=28972 vsize=18572 CPUtime=0
/proc/28974/stat : 28974 (runsolver) R 28972 28974 27932 0 -1 4194368 15 0 0 0 0 0 0 0 21 0 1 0 161968278 19017728 292 996147200 4194304 4296836 548682068480 18446744073709551615 212218735911 0 0 4096 24578 0 0 0 17 1 0 0
/proc/28974/statm: 4643 292 257 25 0 2626 0
[startup+0.0734359 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 28974
/proc/meminfo: memFree=1633256/2055920 swapFree=4181096/4192956
[pid=28974] ppid=28972 vsize=5360 CPUtime=0
/proc/28974/stat : 28974 (hydra) S 28972 28974 27932 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 161968278 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 212218733380 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28974/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101431 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 28974
/proc/meminfo: memFree=1633256/2055920 swapFree=4181096/4192956
[pid=28974] ppid=28972 vsize=5360 CPUtime=0
/proc/28974/stat : 28974 (hydra) S 28972 28974 27932 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 161968278 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 212218733380 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28974/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301451 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 28974
/proc/meminfo: memFree=1633256/2055920 swapFree=4181096/4192956
[pid=28974] ppid=28972 vsize=5360 CPUtime=0
/proc/28974/stat : 28974 (hydra) S 28972 28974 27932 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 161968278 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 212218733380 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28974/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701494 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 28974
/proc/meminfo: memFree=1633256/2055920 swapFree=4181096/4192956
[pid=28974] ppid=28972 vsize=5360 CPUtime=0
/proc/28974/stat : 28974 (hydra) S 28972 28974 27932 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 161968278 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 212218733380 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28974/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50158 s]
/proc/loadavg: 1.92 1.98 1.99 3/74 28978
/proc/meminfo: memFree=1621976/2055920 swapFree=4181096/4192956
[pid=28974] ppid=28972 vsize=5360 CPUtime=0
/proc/28974/stat : 28974 (hydra) S 28972 28974 27932 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 161968278 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 212218733380 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28974/statm: 1340 236 195 169 0 51 0
[pid=28978] ppid=28974 vsize=17416 CPUtime=1.47
/proc/28978/stat : 28978 (xsolve) R 28974 28974 27932 0 -1 4194304 3191 0 0 0 146 1 0 0 25 0 1 0 161968279 17833984 3150 996147200 134512640 135239763 4294956176 18446744073709551615 134538511 0 0 4096 0 0 0 0 17 1 0 0
/proc/28978/statm: 4354 3150 417 177 0 3257 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 22776
[startup+3.10175 s]
/proc/loadavg: 1.92 1.98 1.99 3/74 28978
/proc/meminfo: memFree=1621848/2055920 swapFree=4181096/4192956
[pid=28974] ppid=28972 vsize=5360 CPUtime=0
/proc/28974/stat : 28974 (hydra) S 28972 28974 27932 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 161968278 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 212218733380 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28974/statm: 1340 236 195 169 0 51 0
[pid=28978] ppid=28974 vsize=17416 CPUtime=3.05
/proc/28978/stat : 28978 (xsolve) R 28974 28974 27932 0 -1 4194304 3191 0 0 0 304 1 0 0 25 0 1 0 161968279 17833984 3150 996147200 134512640 135239763 4294956176 18446744073709551615 134543111 0 0 4096 0 0 0 0 17 1 0 0
/proc/28978/statm: 4354 3150 417 177 0 3257 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 22776
[startup+6.30108 s]
/proc/loadavg: 2.09 2.02 2.01 3/74 28978
/proc/meminfo: memFree=1621976/2055920 swapFree=4181096/4192956
[pid=28974] ppid=28972 vsize=5360 CPUtime=0
/proc/28974/stat : 28974 (hydra) S 28972 28974 27932 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 161968278 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 212218733380 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28974/statm: 1340 236 195 169 0 51 0
[pid=28978] ppid=28974 vsize=17416 CPUtime=6.22
/proc/28978/stat : 28978 (xsolve) R 28974 28974 27932 0 -1 4194304 3191 0 0 0 621 1 0 0 25 0 1 0 161968279 17833984 3150 996147200 134512640 135239763 4294956176 18446744073709551615 134534752 0 0 4096 0 0 0 0 17 1 0 0
/proc/28978/statm: 4354 3150 417 177 0 3257 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 22776
[startup+12.7018 s]
/proc/loadavg: 2.08 2.02 2.00 3/74 28978
/proc/meminfo: memFree=1621912/2055920 swapFree=4181096/4192956
[pid=28974] ppid=28972 vsize=5360 CPUtime=0
/proc/28974/stat : 28974 (hydra) S 28972 28974 27932 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 161968278 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 212218733380 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28974/statm: 1340 236 195 169 0 51 0
[pid=28978] ppid=28974 vsize=17416 CPUtime=12.57
/proc/28978/stat : 28978 (xsolve) R 28974 28974 27932 0 -1 4194304 3191 0 0 0 1256 1 0 0 25 0 1 0 161968279 17833984 3150 996147200 134512640 135239763 4294956176 18446744073709551615 134543166 0 0 4096 0 0 0 0 17 1 0 0
/proc/28978/statm: 4354 3150 417 177 0 3257 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 22776
[startup+25.5011 s]
/proc/loadavg: 2.06 2.01 2.00 3/74 28978
/proc/meminfo: memFree=1622040/2055920 swapFree=4181096/4192956
[pid=28974] ppid=28972 vsize=5360 CPUtime=0
/proc/28974/stat : 28974 (hydra) S 28972 28974 27932 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 161968278 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 212218733380 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28974/statm: 1340 236 195 169 0 51 0
[pid=28978] ppid=28974 vsize=17416 CPUtime=25.27
/proc/28978/stat : 28978 (xsolve) R 28974 28974 27932 0 -1 4194304 3191 0 0 0 2526 1 0 0 25 0 1 0 161968279 17833984 3150 996147200 134512640 135239763 4294956176 18446744073709551615 134532177 0 0 4096 0 0 0 0 17 1 0 0
/proc/28978/statm: 4354 3150 417 177 0 3257 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 22776
[startup+51.1018 s]
/proc/loadavg: 2.04 2.01 2.00 3/82 28990
/proc/meminfo: memFree=1617240/2055920 swapFree=4181096/4192956
[pid=28974] ppid=28972 vsize=5360 CPUtime=47.06
/proc/28974/stat : 28974 (hydra) S 28972 28974 27932 0 -1 4194304 375 3790 0 0 0 0 4704 2 18 0 1 0 161968278 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 212218733380 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28974/statm: 1340 238 196 169 0 51 0
[pid=28982] ppid=28974 vsize=197000 CPUtime=3.58
/proc/28982/stat : 28982 (java) S 28974 28974 27932 0 -1 0 8427 0 1 0 346 12 0 0 18 0 9 0 161973026 201728000 6974 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28982/statm: 49250 6974 2540 9 0 43833 0
[pid=28982/tid=28983] ppid=28974 vsize=197000 CPUtime=2.8
/proc/28982/task/28983/stat : 28983 (java) R 28974 28974 27932 0 -1 64 3215 0 1 0 277 3 0 0 25 0 9 0 161973027 201728000 6974 996147200 134512640 134550740 4294955968 18446744073709551615 4126444964 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28982/tid=28984] ppid=28974 vsize=197000 CPUtime=0.56
/proc/28982/task/28984/stat : 28984 (java) S 28974 28974 27932 0 -1 64 3859 0 0 0 49 7 0 0 16 0 9 0 161973028 201728000 6974 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28982/tid=28985] ppid=28974 vsize=197000 CPUtime=0
/proc/28982/task/28985/stat : 28985 (java) S 28974 28974 27932 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 161973028 201728000 6974 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28982/tid=28986] ppid=28974 vsize=197000 CPUtime=0
/proc/28982/task/28986/stat : 28986 (java) S 28974 28974 27932 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 161973028 201728000 6974 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28982/tid=28987] ppid=28974 vsize=197000 CPUtime=0
/proc/28982/task/28987/stat : 28987 (java) S 28974 28974 27932 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 161973031 201728000 6974 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28982/tid=28988] ppid=28974 vsize=197000 CPUtime=0.18
/proc/28982/task/28988/stat : 28988 (java) S 28974 28974 27932 0 -1 64 629 0 0 0 18 0 0 0 16 0 9 0 161973031 201728000 6974 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28982/tid=28989] ppid=28974 vsize=197000 CPUtime=0
/proc/28982/task/28989/stat : 28989 (java) S 28974 28974 27932 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 161973031 201728000 6974 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28982/tid=28990] ppid=28974 vsize=197000 CPUtime=0
/proc/28982/task/28990/stat : 28990 (java) S 28974 28974 27932 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 161973031 201728000 6974 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 202360
[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/94 29002
/proc/meminfo: memFree=1525048/2055920 swapFree=4181096/4192956
[pid=28974] ppid=28972 vsize=5360 CPUtime=47.06
/proc/28974/stat : 28974 (hydra) S 28972 28974 27932 0 -1 4194304 375 3790 0 0 0 0 4704 2 18 0 1 0 161968278 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 212218733380 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28974/statm: 1340 238 196 169 0 51 0
[pid=28982] ppid=28974 vsize=197436 CPUtime=6.28
/proc/28982/stat : 28982 (java) S 28974 28974 27932 0 -1 0 11452 0 1 0 609 19 0 0 18 0 10 0 161973026 202174464 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28982/statm: 49359 9390 2543 9 0 43942 0
[pid=28992] ppid=28982 vsize=5356 CPUtime=0
/proc/28992/stat : 28992 (abscon) S 28982 28974 27932 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 161973664 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 212218733380 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/28992/statm: 1339 235 194 169 0 50 0
[pid=28993] ppid=28992 vsize=655876 CPUtime=48.41
/proc/28993/stat : 28993 (java) S 28992 28974 27932 0 -1 0 23116 0 1 0 4826 15 0 0 18 0 9 0 161973665 671617024 22401 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28993/statm: 163969 22401 2617 9 0 158497 0
[pid=28993/tid=28995] ppid=28992 vsize=655876 CPUtime=47.78
/proc/28993/task/28995/stat : 28995 (java) R 28992 28974 27932 0 -1 64 12555 0 1 0 4769 9 0 0 25 0 9 0 161973666 671617024 22401 996147200 134512640 134550740 4294955808 18446744073709551615 4126881627 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28993/tid=28996] ppid=28992 vsize=655876 CPUtime=0.26
/proc/28993/task/28996/stat : 28996 (java) S 28992 28974 27932 0 -1 64 9263 0 0 0 22 4 0 0 16 0 9 0 161973667 671617024 22401 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28993/tid=28997] ppid=28992 vsize=655876 CPUtime=0
/proc/28993/task/28997/stat : 28997 (java) S 28992 28974 27932 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 161973667 671617024 22401 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28993/tid=28998] ppid=28992 vsize=655876 CPUtime=0
/proc/28993/task/28998/stat : 28998 (java) S 28992 28974 27932 0 -1 64 20 0 0 0 0 0 0 0 15 0 9 0 161973667 671617024 22401 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28993/tid=28999] ppid=28992 vsize=655876 CPUtime=0
/proc/28993/task/28999/stat : 28999 (java) S 28992 28974 27932 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 161973669 671617024 22401 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28993/tid=29000] ppid=28992 vsize=655876 CPUtime=0.33
/proc/28993/task/29000/stat : 29000 (java) S 28992 28974 27932 0 -1 64 738 0 0 0 33 0 0 0 16 0 9 0 161973669 671617024 22401 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28993/tid=29001] ppid=28992 vsize=655876 CPUtime=0
/proc/28993/task/29001/stat : 29001 (java) S 28992 28974 27932 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 161973669 671617024 22401 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28993/tid=29002] ppid=28992 vsize=655876 CPUtime=0
/proc/28993/task/29002/stat : 29002 (java) S 28992 28974 27932 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 161973669 671617024 22401 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28994] ppid=28992 vsize=7044 CPUtime=0
/proc/28994/stat : 28994 (translate) S 28992 28974 27932 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 161973665 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 212218904658 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/28994/statm: 1761 213 182 1 0 41 0
[pid=28982/tid=28983] ppid=28974 vsize=197436 CPUtime=5.02
/proc/28982/task/28983/stat : 28983 (java) S 28974 28974 27932 0 -1 64 3858 0 1 0 496 6 0 0 25 0 10 0 161973027 202174464 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=28982/tid=28984] ppid=28974 vsize=197436 CPUtime=1.01
/proc/28982/task/28984/stat : 28984 (java) S 28974 28974 27932 0 -1 64 6141 0 0 0 90 11 0 0 16 0 10 0 161973028 202174464 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28982/tid=28985] ppid=28974 vsize=197436 CPUtime=0
/proc/28982/task/28985/stat : 28985 (java) S 28974 28974 27932 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 161973028 202174464 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28982/tid=28986] ppid=28974 vsize=197436 CPUtime=0
/proc/28982/task/28986/stat : 28986 (java) S 28974 28974 27932 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 161973028 202174464 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28982/tid=28987] ppid=28974 vsize=197436 CPUtime=0
/proc/28982/task/28987/stat : 28987 (java) S 28974 28974 27932 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 161973031 202174464 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28982/tid=28988] ppid=28974 vsize=197436 CPUtime=0.22
/proc/28982/task/28988/stat : 28988 (java) S 28974 28974 27932 0 -1 64 647 0 0 0 22 0 0 0 15 0 10 0 161973031 202174464 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28982/tid=28989] ppid=28974 vsize=197436 CPUtime=0
/proc/28982/task/28989/stat : 28989 (java) S 28974 28974 27932 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 161973031 202174464 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28982/tid=28990] ppid=28974 vsize=197436 CPUtime=0
/proc/28982/task/28990/stat : 28990 (java) S 28974 28974 27932 0 -1 64 10 0 0 0 0 0 0 0 15 0 10 0 161973031 202174464 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28982/tid=28991] ppid=28974 vsize=197436 CPUtime=0
/proc/28982/task/28991/stat : 28991 (java) S 28974 28974 27932 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 161973664 202174464 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.75
Current children cumulated vsize (KiB) 871072
[startup+162.303 s]
################
# More data... #
################
/proc/28993/task/28998/stat : 28998 (java) S 28992 28974 27932 0 -1 64 20 0 0 0 0 0 0 0 15 0 9 0 161973667 671617024 22411 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28993/tid=28999] ppid=28992 vsize=655876 CPUtime=0
/proc/28993/task/28999/stat : 28999 (java) S 28992 28974 27932 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 161973669 671617024 22411 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28993/tid=29000] ppid=28992 vsize=655876 CPUtime=0.36
/proc/28993/task/29000/stat : 29000 (java) S 28992 28974 27932 0 -1 64 754 0 0 0 35 1 0 0 15 0 9 0 161973669 671617024 22411 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28993/tid=29001] ppid=28992 vsize=655876 CPUtime=0
/proc/28993/task/29001/stat : 29001 (java) S 28992 28974 27932 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 161973669 671617024 22411 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28993/tid=29002] ppid=28992 vsize=655876 CPUtime=0
/proc/28993/task/29002/stat : 29002 (java) S 28992 28974 27932 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 161973669 671617024 22411 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28994] ppid=28992 vsize=7044 CPUtime=0
/proc/28994/stat : 28994 (translate) S 28992 28974 27932 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 161973665 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 212218904658 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/28994/statm: 1761 213 182 1 0 41 0
[pid=28982/tid=28983] ppid=28974 vsize=197436 CPUtime=5.02
/proc/28982/task/28983/stat : 28983 (java) S 28974 28974 27932 0 -1 64 3858 0 1 0 496 6 0 0 25 0 10 0 161973027 202174464 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=28982/tid=28984] ppid=28974 vsize=197436 CPUtime=1.01
/proc/28982/task/28984/stat : 28984 (java) S 28974 28974 27932 0 -1 64 6141 0 0 0 90 11 0 0 16 0 10 0 161973028 202174464 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28982/tid=28985] ppid=28974 vsize=197436 CPUtime=0
/proc/28982/task/28985/stat : 28985 (java) S 28974 28974 27932 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 161973028 202174464 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28982/tid=28986] ppid=28974 vsize=197436 CPUtime=0
/proc/28982/task/28986/stat : 28986 (java) S 28974 28974 27932 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 161973028 202174464 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28982/tid=28987] ppid=28974 vsize=197436 CPUtime=0
/proc/28982/task/28987/stat : 28987 (java) S 28974 28974 27932 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 161973031 202174464 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28982/tid=28988] ppid=28974 vsize=197436 CPUtime=0.22
/proc/28982/task/28988/stat : 28988 (java) S 28974 28974 27932 0 -1 64 647 0 0 0 22 0 0 0 15 0 10 0 161973031 202174464 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28982/tid=28989] ppid=28974 vsize=197436 CPUtime=0
/proc/28982/task/28989/stat : 28989 (java) S 28974 28974 27932 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 161973031 202174464 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28982/tid=28990] ppid=28974 vsize=197436 CPUtime=0
/proc/28982/task/28990/stat : 28990 (java) S 28974 28974 27932 0 -1 64 10 0 0 0 0 0 0 0 15 0 10 0 161973031 202174464 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28982/tid=28991] ppid=28974 vsize=197436 CPUtime=0
/proc/28982/task/28991/stat : 28991 (java) S 28974 28974 27932 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 161973664 202174464 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 202.51
Current children cumulated vsize (KiB) 871072
[startup+203.904 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 29002
/proc/meminfo: memFree=1524792/2055920 swapFree=4181096/4192956
[pid=28974] ppid=28972 vsize=5360 CPUtime=47.06
/proc/28974/stat : 28974 (hydra) S 28972 28974 27932 0 -1 4194304 375 3790 0 0 0 0 4704 2 18 0 1 0 161968278 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 212218733380 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28974/statm: 1340 238 196 169 0 51 0
[pid=28982] ppid=28974 vsize=197436 CPUtime=6.28
/proc/28982/stat : 28982 (java) S 28974 28974 27932 0 -1 0 11452 0 1 0 609 19 0 0 18 0 10 0 161973026 202174464 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28982/statm: 49359 9390 2543 9 0 43942 0
[pid=28992] ppid=28982 vsize=5356 CPUtime=0
/proc/28992/stat : 28992 (abscon) S 28982 28974 27932 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 161973664 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 212218733380 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/28992/statm: 1339 235 194 169 0 50 0
[pid=28993] ppid=28992 vsize=655876 CPUtime=149.97
/proc/28993/stat : 28993 (java) S 28992 28974 27932 0 -1 0 23141 0 1 0 14982 15 0 0 18 0 9 0 161973665 671617024 22415 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28993/statm: 163969 22415 2617 9 0 158497 0
[pid=28993/tid=28995] ppid=28992 vsize=655876 CPUtime=149.31
/proc/28993/task/28995/stat : 28995 (java) R 28992 28974 27932 0 -1 64 12560 0 1 0 14922 9 0 0 25 0 9 0 161973666 671617024 22415 996147200 134512640 134550740 4294955808 18446744073709551615 4126881592 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28993/tid=28996] ppid=28992 vsize=655876 CPUtime=0.26
/proc/28993/task/28996/stat : 28996 (java) S 28992 28974 27932 0 -1 64 9263 0 0 0 22 4 0 0 16 0 9 0 161973667 671617024 22415 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28993/tid=28997] ppid=28992 vsize=655876 CPUtime=0
/proc/28993/task/28997/stat : 28997 (java) S 28992 28974 27932 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 161973667 671617024 22415 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28993/tid=28998] ppid=28992 vsize=655876 CPUtime=0
/proc/28993/task/28998/stat : 28998 (java) S 28992 28974 27932 0 -1 64 20 0 0 0 0 0 0 0 15 0 9 0 161973667 671617024 22415 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28993/tid=28999] ppid=28992 vsize=655876 CPUtime=0
/proc/28993/task/28999/stat : 28999 (java) S 28992 28974 27932 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 161973669 671617024 22415 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28993/tid=29000] ppid=28992 vsize=655876 CPUtime=0.37
/proc/28993/task/29000/stat : 29000 (java) S 28992 28974 27932 0 -1 64 758 0 0 0 36 1 0 0 16 0 9 0 161973669 671617024 22415 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28993/tid=29001] ppid=28992 vsize=655876 CPUtime=0
/proc/28993/task/29001/stat : 29001 (java) S 28992 28974 27932 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 161973669 671617024 22415 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28993/tid=29002] ppid=28992 vsize=655876 CPUtime=0
/proc/28993/task/29002/stat : 29002 (java) S 28992 28974 27932 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 161973669 671617024 22415 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28994] ppid=28992 vsize=7044 CPUtime=0
/proc/28994/stat : 28994 (translate) S 28992 28974 27932 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 161973665 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 212218904658 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/28994/statm: 1761 213 182 1 0 41 0
[pid=28982/tid=28983] ppid=28974 vsize=197436 CPUtime=5.02
/proc/28982/task/28983/stat : 28983 (java) S 28974 28974 27932 0 -1 64 3858 0 1 0 496 6 0 0 25 0 10 0 161973027 202174464 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=28982/tid=28984] ppid=28974 vsize=197436 CPUtime=1.01
/proc/28982/task/28984/stat : 28984 (java) S 28974 28974 27932 0 -1 64 6141 0 0 0 90 11 0 0 16 0 10 0 161973028 202174464 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28982/tid=28985] ppid=28974 vsize=197436 CPUtime=0
/proc/28982/task/28985/stat : 28985 (java) S 28974 28974 27932 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 161973028 202174464 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28982/tid=28986] ppid=28974 vsize=197436 CPUtime=0
/proc/28982/task/28986/stat : 28986 (java) S 28974 28974 27932 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 161973028 202174464 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28982/tid=28987] ppid=28974 vsize=197436 CPUtime=0
/proc/28982/task/28987/stat : 28987 (java) S 28974 28974 27932 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 161973031 202174464 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28982/tid=28988] ppid=28974 vsize=197436 CPUtime=0.22
/proc/28982/task/28988/stat : 28988 (java) S 28974 28974 27932 0 -1 64 647 0 0 0 22 0 0 0 15 0 10 0 161973031 202174464 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28982/tid=28989] ppid=28974 vsize=197436 CPUtime=0
/proc/28982/task/28989/stat : 28989 (java) S 28974 28974 27932 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 161973031 202174464 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28982/tid=28990] ppid=28974 vsize=197436 CPUtime=0
/proc/28982/task/28990/stat : 28990 (java) S 28974 28974 27932 0 -1 64 10 0 0 0 0 0 0 0 15 0 10 0 161973031 202174464 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28982/tid=28991] ppid=28974 vsize=197436 CPUtime=0
/proc/28982/task/28991/stat : 28991 (java) S 28974 28974 27932 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 161973664 202174464 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 203.31
Current children cumulated vsize (KiB) 871072
[startup+204.304 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 29002
/proc/meminfo: memFree=1524792/2055920 swapFree=4181096/4192956
[pid=28974] ppid=28972 vsize=5360 CPUtime=47.06
/proc/28974/stat : 28974 (hydra) S 28972 28974 27932 0 -1 4194304 375 3790 0 0 0 0 4704 2 18 0 1 0 161968278 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 212218733380 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28974/statm: 1340 238 196 169 0 51 0
[pid=28982] ppid=28974 vsize=197436 CPUtime=6.28
/proc/28982/stat : 28982 (java) S 28974 28974 27932 0 -1 0 11452 0 1 0 609 19 0 0 18 0 10 0 161973026 202174464 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28982/statm: 49359 9390 2543 9 0 43942 0
[pid=28992] ppid=28982 vsize=5356 CPUtime=0
/proc/28992/stat : 28992 (abscon) S 28982 28974 27932 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 161973664 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 212218733380 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/28992/statm: 1339 235 194 169 0 50 0
[pid=28993] ppid=28992 vsize=655876 CPUtime=150.37
/proc/28993/stat : 28993 (java) S 28992 28974 27932 0 -1 0 23145 0 1 0 15022 15 0 0 18 0 9 0 161973665 671617024 22418 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28993/statm: 163969 22418 2617 9 0 158497 0
[pid=28993/tid=28995] ppid=28992 vsize=655876 CPUtime=149.71
/proc/28993/task/28995/stat : 28995 (java) R 28992 28974 27932 0 -1 64 12561 0 1 0 14962 9 0 0 25 0 9 0 161973666 671617024 22418 996147200 134512640 134550740 4294955808 18446744073709551615 4127290156 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28993/tid=28996] ppid=28992 vsize=655876 CPUtime=0.26
/proc/28993/task/28996/stat : 28996 (java) S 28992 28974 27932 0 -1 64 9263 0 0 0 22 4 0 0 17 0 9 0 161973667 671617024 22418 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28993/tid=28997] ppid=28992 vsize=655876 CPUtime=0
/proc/28993/task/28997/stat : 28997 (java) S 28992 28974 27932 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 161973667 671617024 22418 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28993/tid=28998] ppid=28992 vsize=655876 CPUtime=0
/proc/28993/task/28998/stat : 28998 (java) S 28992 28974 27932 0 -1 64 20 0 0 0 0 0 0 0 15 0 9 0 161973667 671617024 22418 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28993/tid=28999] ppid=28992 vsize=655876 CPUtime=0
/proc/28993/task/28999/stat : 28999 (java) S 28992 28974 27932 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 161973669 671617024 22418 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28993/tid=29000] ppid=28992 vsize=655876 CPUtime=0.37
/proc/28993/task/29000/stat : 29000 (java) S 28992 28974 27932 0 -1 64 761 0 0 0 36 1 0 0 15 0 9 0 161973669 671617024 22418 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28993/tid=29001] ppid=28992 vsize=655876 CPUtime=0
/proc/28993/task/29001/stat : 29001 (java) S 28992 28974 27932 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 161973669 671617024 22418 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28993/tid=29002] ppid=28992 vsize=655876 CPUtime=0
/proc/28993/task/29002/stat : 29002 (java) S 28992 28974 27932 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 161973669 671617024 22418 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28994] ppid=28992 vsize=7044 CPUtime=0
/proc/28994/stat : 28994 (translate) S 28992 28974 27932 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 161973665 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 212218904658 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/28994/statm: 1761 213 182 1 0 41 0
[pid=28982/tid=28983] ppid=28974 vsize=197436 CPUtime=5.02
/proc/28982/task/28983/stat : 28983 (java) S 28974 28974 27932 0 -1 64 3858 0 1 0 496 6 0 0 25 0 10 0 161973027 202174464 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=28982/tid=28984] ppid=28974 vsize=197436 CPUtime=1.01
/proc/28982/task/28984/stat : 28984 (java) S 28974 28974 27932 0 -1 64 6141 0 0 0 90 11 0 0 16 0 10 0 161973028 202174464 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28982/tid=28985] ppid=28974 vsize=197436 CPUtime=0
/proc/28982/task/28985/stat : 28985 (java) S 28974 28974 27932 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 161973028 202174464 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28982/tid=28986] ppid=28974 vsize=197436 CPUtime=0
/proc/28982/task/28986/stat : 28986 (java) S 28974 28974 27932 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 161973028 202174464 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28982/tid=28987] ppid=28974 vsize=197436 CPUtime=0
/proc/28982/task/28987/stat : 28987 (java) S 28974 28974 27932 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 161973031 202174464 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28982/tid=28988] ppid=28974 vsize=197436 CPUtime=0.22
/proc/28982/task/28988/stat : 28988 (java) S 28974 28974 27932 0 -1 64 647 0 0 0 22 0 0 0 15 0 10 0 161973031 202174464 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28982/tid=28989] ppid=28974 vsize=197436 CPUtime=0
/proc/28982/task/28989/stat : 28989 (java) S 28974 28974 27932 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 161973031 202174464 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28982/tid=28990] ppid=28974 vsize=197436 CPUtime=0
/proc/28982/task/28990/stat : 28990 (java) S 28974 28974 27932 0 -1 64 10 0 0 0 0 0 0 0 15 0 10 0 161973031 202174464 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28982/tid=28991] ppid=28974 vsize=197436 CPUtime=0
/proc/28982/task/28991/stat : 28991 (java) S 28974 28974 27932 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 161973664 202174464 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 203.71
Current children cumulated vsize (KiB) 871072
[startup+204.703 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 29002
/proc/meminfo: memFree=1524792/2055920 swapFree=4181096/4192956
[pid=28974] ppid=28972 vsize=5360 CPUtime=47.06
/proc/28974/stat : 28974 (hydra) S 28972 28974 27932 0 -1 4194304 375 3790 0 0 0 0 4704 2 18 0 1 0 161968278 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 212218733380 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28974/statm: 1340 238 196 169 0 51 0
[pid=28982] ppid=28974 vsize=197436 CPUtime=157.01
/proc/28982/stat : 28982 (java) S 28974 28974 27932 0 -1 0 11524 23761 1 1 609 19 15055 18 18 0 9 0 161973026 202174464 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28982/statm: 49359 9392 2544 9 0 43942 0
[pid=28982/tid=28983] ppid=28974 vsize=197436 CPUtime=155.75
/proc/28982/task/28983/stat : 28983 (java) S 28974 28974 27932 0 -1 64 3910 23761 1 1 496 6 15055 18 16 0 9 0 161973027 202174464 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28982/tid=28984] ppid=28974 vsize=197436 CPUtime=151.74
/proc/28982/task/28984/stat : 28984 (java) S 28974 28974 27932 0 -1 64 6150 23761 0 1 90 11 15055 18 16 0 9 0 161973028 202174464 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28982/tid=28985] ppid=28974 vsize=197436 CPUtime=150.73
/proc/28982/task/28985/stat : 28985 (java) S 28974 28974 27932 0 -1 64 11 23761 0 1 0 0 15055 18 16 0 9 0 161973028 202174464 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28982/tid=28986] ppid=28974 vsize=197436 CPUtime=150.73
/proc/28982/task/28986/stat : 28986 (java) S 28974 28974 27932 0 -1 64 5 23761 0 1 0 0 15055 18 16 0 9 0 161973028 202174464 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28982/tid=28987] ppid=28974 vsize=197436 CPUtime=150.73
/proc/28982/task/28987/stat : 28987 (java) S 28974 28974 27932 0 -1 64 1 23761 0 1 0 0 15055 18 18 0 9 0 161973031 202174464 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28982/tid=28988] ppid=28974 vsize=197436 CPUtime=150.95
/proc/28982/task/28988/stat : 28988 (java) S 28974 28974 27932 0 -1 64 647 23761 0 1 22 0 15055 18 15 0 9 0 161973031 202174464 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28982/tid=28989] ppid=28974 vsize=197436 CPUtime=150.73
/proc/28982/task/28989/stat : 28989 (java) S 28974 28974 27932 0 -1 64 0 23761 0 1 0 0 15055 18 19 0 9 0 161973031 202174464 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28982/tid=28990] ppid=28974 vsize=197436 CPUtime=150.73
/proc/28982/task/28990/stat : 28990 (java) S 28974 28974 27932 0 -1 64 10 23761 0 1 0 0 15055 18 15 0 9 0 161973031 202174464 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 204.07
Current children cumulated vsize (KiB) 202796
Child status: 0
Real time (s): 204.728
CPU time (s): 204.111
CPU user time (s): 203.695
CPU system time (s): 0.415936
CPU usage (%): 99.6984
Max. virtual memory (cumulated for all children) (KiB): 871072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 203.695
system time used= 0.415936
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39491
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16940
involuntary context switches= 16731
runsolver used 0.558915 second user time and 1.87971 second system time
The end