0.00/0.00 c cpHydra_k_10 version 0.0
46.42/46.73 c CASE TO CLASSIFY:
46.42/46.73 c Case: 0
46.42/46.73 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 41.728300 | c 15 > 11.983300 | 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
46.42/46.74 c choco : 1801.0
46.42/46.74 c mistral : 1801.0
46.42/46.74 c abscon : 1801.0
46.42/46.74 c
46.42/46.74 c
46.51/46.81 c List of same ones: 10
46.51/46.81 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-7.xml
46.51/46.81 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
46.51/46.82 c choco : 289.36
46.51/46.82 c mistral : 69.4914
46.51/46.82 c abscon : 8.48671
46.51/46.82 c
46.51/46.82 c
46.51/46.82 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-1.xml
46.51/46.82 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
46.51/46.83 c choco : 165.46
46.51/46.83 c mistral : 105.964
46.51/46.83 c abscon : 5.62414
46.51/46.83 c
46.51/46.83 c
46.51/46.83 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-3.xml
46.51/46.83 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
46.51/46.84 c choco : 241.66
46.51/46.84 c mistral : 109.272
46.51/46.84 c abscon : 5.81612
46.51/46.84 c
46.51/46.84 c
46.51/46.84 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-6.xml
46.51/46.84 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
46.51/46.84 c choco : 222.88
46.51/46.84 c mistral : 87.2887
46.51/46.84 c abscon : 8.36073
46.51/46.84 c
46.51/46.84 c
46.51/46.84 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-8.xml
46.51/46.84 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
46.51/46.85 c choco : 258.16
46.51/46.85 c mistral : 67.8027
46.51/46.85 c abscon : 8.5677
46.51/46.85 c
46.51/46.85 c
46.51/46.85 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-10.xml
46.51/46.85 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
46.51/46.86 c choco : 162.09
46.51/46.86 c mistral : 106.35
46.51/46.86 c abscon : 8.83866
46.51/46.86 c
46.51/46.86 c
46.51/46.86 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-5.xml
46.51/46.86 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
46.51/46.87 c choco : 123.79
46.51/46.87 c mistral : 119.313
46.51/46.87 c abscon : 5.86111
46.51/46.87 c
46.51/46.87 c
46.51/46.87 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-9.xml
46.51/46.87 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
46.51/46.88 c choco : 1801.0
46.51/46.88 c mistral : 47.8137
46.51/46.88 c abscon : 8.48171
46.51/46.88 c
46.51/46.88 c
46.51/46.88 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-2.xml
46.51/46.88 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
46.51/46.89 c choco : 178.61
46.51/46.89 c mistral : 98.855
46.51/46.89 c abscon : 5.66214
46.51/46.89 c
46.51/46.89 c
46.51/46.89 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-0.xml
46.51/46.89 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
46.51/46.89 c choco : 159.33
46.51/46.89 c mistral : 105.658
46.51/46.89 c abscon : 5.68613
46.51/46.89 c
46.51/46.89 c
46.57/46.90 c Length: 10
46.57/46.90 c 10.069231535539345 10.101009797574697 10.101009797574697 10.134803284144198 10.134803284144198 10.14804646413289 10.157052017445812 10.166213011987308 10.170851564082529 10.185001128772644
46.57/46.90 c
46.57/46.90 c 1.0 0.7846240328096163 0.7846240328096163 0.6384070618415514 0.6384070618415514 0.5949578730435703 0.5686406528109104 0.5441551640926734 0.5325442506741725 0.5
46.57/46.90 c
46.57/46.90 c solver 0
46.57/46.90 c before 0.0 seconds: {} 0
46.57/46.90 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6586
46.57/46.90 c
46.57/46.90 c solver 1
46.57/46.90 c before 0.0 seconds: {} 0
46.57/46.90 c before 54.0 seconds: {7} 544
46.57/46.90 c before 72.0 seconds: {0, 4, 7} 2182
46.57/46.90 c before 90.0 seconds: {0, 3, 4, 7} 2820
46.57/46.90 c before 108.0 seconds: {0, 1, 3, 4, 5, 7, 8, 9} 5233
46.57/46.90 c before 126.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6586
46.57/46.90 c
46.57/46.90 c solver 2
46.57/46.90 c before 0.0 seconds: {} 0
46.57/46.90 c before 126.0 seconds: {6} 568
46.57/46.90 c before 162.0 seconds: {6, 9} 1068
46.57/46.90 c before 180.0 seconds: {1, 5, 6, 8, 9} 2980
46.57/46.90 c before 234.0 seconds: {1, 3, 5, 6, 8, 9} 3619
46.57/46.90 c before 252.0 seconds: {1, 2, 3, 5, 6, 8, 9} 4403
46.57/46.90 c before 270.0 seconds: {1, 2, 3, 4, 5, 6, 8, 9} 5042
46.57/46.90 c before 306.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9} 6042
46.57/46.90 c
46.57/46.90 cTotal time: 25
46.57/46.91 c 450.0 seconds unused
46.57/46.91 c 0 c 0 c 1
46.57/46.91 c 0 c 0 c 1
46.57/46.91 c 0 c 0 c 0
46.57/46.91 c is solver0 dominated by:
46.57/46.91 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)
46.57/46.91 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)
46.57/46.91 c is dominated? false
46.57/46.91 c
46.57/46.91 c is solver1 dominated by:
46.57/46.91 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)
46.57/46.91 c is dominated? true
46.57/46.91 c
46.57/46.91 c is solver2 dominated by:
46.57/46.91 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)
46.57/46.91 c is dominated? true
46.57/46.91 c
46.57/46.91 c Number of non-dominated solvers: 1
46.57/46.91 c remove dominated solvers
46.57/46.91 c solver 0 is not dominated by another solver
46.57/46.91 c solver 2 is dominated by another solver
46.57/46.91 c solver 1 is dominated by another solver
46.57/46.91 c
46.57/46.91 c solver 0: 18.0
46.57/46.91 c
46.57/46.91 c+ 1/1 of 99
46.57/46.91 c
46.57/46.91 c solver 1: 0.0
46.57/46.91 c
46.57/46.91 c solver 2: 0.0
46.57/46.91 c run abscon for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6586
46.57/46.91 c do not run mistral
46.57/46.91 c do not run choco
46.57/46.91 c Starting solver: HOME/cpHydra_k_10/solver/abscon
46.57/46.91 c On Instance: HOME/instance-1086834-1215241421.xml
46.57/46.91 c Running for: 1800 seconds
192.08/194.57 s SAT
192.08/194.57 v 2492 2380 1304 -1992 1792 -1360 -2600 2600 2076 2288 2312 -2356 -2252 -2600 2392 2176 -1588 -2500 -2560 -1336 -1636 -2416 2540 -1328 2600 -2560 -1800 -1248 -2232 -1676 2428 -2260 -1816 -2040 2276 -1264 -1244 -1936 2488 -2316 -2600 -2312 -2600 2440 -2440 -2288 -2068 -1792 -2600 -2188 -1632 -1992 -2464 -1376 1724 -1456 -1344 -2052 -1296 2540 2400 -1880 -1916 -2580 2144 1948 -1636 -2600 1628 -1736 -1840 -2376 1420 -2064 1996 -1696 2556 -1972 -2524 -1204 -2248 -1216 -2400 -2248 -1288 1624 1820 -2380 -1416 -2192 1840 1884 -2600 -2472 -2560 -1416 -2272 -2316 -2600 -2560 1204 -1800 -1288 -1768 1664 -1204 -2200 -2448 -1204 -2208 -1332 -1960 1952 -1324 -1244 -1696 -1204 -1316 -1524 -1264 1588 2212 -1296 1204 -2292 -2044 -1296 -1392 -2192 -1480 1656 -1384 -1428 -2420 -2560 -1280 1476 -1204 1760 -2260 2564 2272 2352 -1992 -1860 -2380 -1244 -2416 -1668 -1676 -1244 -2008 -1248 -1244 1532 -1236 1620 -2600 1908 -2000 -1808 -1572 -1276 -2504 -2600 -1736 -1952 -1400 -2452 2504 1728 -2560 1548 -1316 -2232 -1376 -2560 2064 -2444 -1972 -2200 -2424 -2424 1680 -2168 -2600 -1328 -2580 -1708 2000 -1392 -1480 -2488 -1912 -1872 -1296 -2600 -1800 -2276 -1244 -1284 -1256 -1336 2028 -2484 -2600 -1316 1244 -1528 -2244 -2560 1320 -1516 -1588 -1428 -2160 -2600 -1436 1244 -1256 -1856 -1256 -2560 -1720 1748 -1380 -1832 1408 -2560 2420 -1580 -1556 -1708 -1436 -1896 -1244 -1268 -1204 -1956 -2240 -2480 -1276 -1744 -1476 -1388 2284 -1336 -2116 -2560 -1352 -1260 -2600 1288 -2152 -1244 2448 -2600 -1452 -2420 1248 -2600 -1420 -2048 -2560 -1872 -1832 -2560 -1412 -1372 -2560 -2456 2340 -1696 -2316 -2024 -2560 1204 -1628 -1872 -1220 -2560 2516 -1520 -2252 1432 -2464 -2148 -1368 -1288 -2600 -1800 -1832 -2216 -1244 -1812 -1416 -2240 -1668 -2212 -2560 1864 -2600 2380 -1708 2008 -2560 -1356 2316 -1592 2524 -1520 -2560 2252 -2560 -2512 -1244 1940 -2600 -1820 1484 -1660 -2560 -1968 -1692 2272 -1348 1516 1336 -1244 -2012 -2464 1900 -1628 -2120 -2032 -2320 -1460 -1204 -2560 -1540 -1760 -1960 1768 2072 -2460 1244 -1924 -1356 -1204 -2528 -2452 -1480 -1652 -2360 -1840 2360 1488 1860 1444 1764 -1204 -2276 2220 -2600 -2012 -2560 -2484 -1204 -1376 -1244 1912 1564 2024 -1956 -2468 -2012 -1852 -1520 2384 -1244 2032 -1364 -1204 1388 1476 -2412 1308 2568 -1296 -1920 -2084 -1208 -1204 -1308 -2104 -2220 -1704 -1224 -1748 -1904
192.08/194.57 d ASSIGNMENTS 575
192.08/194.57 d CHECKS 300834354
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1086834-1215241421/watcher-1086834-1215241421 -o /tmp/evaluation-result-1086834-1215241421/solver-1086834-1215241421 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1086834-1215241421.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
[startup+0 s]
/proc/loadavg: 1.99 1.98 1.99 4/74 25000
/proc/meminfo: memFree=1617864/2055920 swapFree=4179812/4192956
[pid=25000] ppid=24998 vsize=18572 CPUtime=0
/proc/25000/stat : 25000 (runsolver) R 24998 23935 23935 0 -1 4194368 1 0 0 0 0 0 0 0 19 0 1 0 679869814 19017728 290 996147200 4194304 4296836 548682068480 18446744073709551615 249069890237 0 0 4096 24578 0 0 0 17 1 0 0
/proc/25000/statm: 4643 290 255 25 0 2626 0
Current StackSize limit: 10240 KiB
[startup+0.0381521 s]
/proc/loadavg: 1.99 1.98 1.99 4/74 25000
/proc/meminfo: memFree=1617864/2055920 swapFree=4179812/4192956
[pid=25000] ppid=24998 vsize=5360 CPUtime=0
/proc/25000/stat : 25000 (hydra) S 24998 25000 23935 0 -1 4194304 330 247 0 0 0 0 0 0 20 0 1 0 679869814 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25000/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.102156 s]
/proc/loadavg: 1.99 1.98 1.99 4/74 25000
/proc/meminfo: memFree=1617864/2055920 swapFree=4179812/4192956
[pid=25000] ppid=24998 vsize=5360 CPUtime=0
/proc/25000/stat : 25000 (hydra) S 24998 25000 23935 0 -1 4194304 330 247 0 0 0 0 0 0 20 0 1 0 679869814 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25000/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301177 s]
/proc/loadavg: 1.99 1.98 1.99 4/74 25000
/proc/meminfo: memFree=1617864/2055920 swapFree=4179812/4192956
[pid=25000] ppid=24998 vsize=5360 CPUtime=0
/proc/25000/stat : 25000 (hydra) S 24998 25000 23935 0 -1 4194304 330 247 0 0 0 0 0 0 20 0 1 0 679869814 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25000/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.702218 s]
/proc/loadavg: 1.99 1.98 1.99 4/74 25000
/proc/meminfo: memFree=1617864/2055920 swapFree=4179812/4192956
[pid=25000] ppid=24998 vsize=5360 CPUtime=0
/proc/25000/stat : 25000 (hydra) S 24998 25000 23935 0 -1 4194304 330 247 0 0 0 0 0 0 20 0 1 0 679869814 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25000/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.5023 s]
/proc/loadavg: 1.99 1.98 1.99 3/76 25004
/proc/meminfo: memFree=1606584/2055920 swapFree=4179812/4192956
[pid=25000] ppid=24998 vsize=5360 CPUtime=0
/proc/25000/stat : 25000 (hydra) S 24998 25000 23935 0 -1 4194304 330 247 0 0 0 0 0 0 20 0 1 0 679869814 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25000/statm: 1340 236 195 169 0 51 0
[pid=25004] ppid=25000 vsize=17416 CPUtime=1.48
/proc/25004/stat : 25004 (xsolve) R 25000 25000 23935 0 -1 4194304 3192 0 0 0 147 1 0 0 25 0 1 0 679869815 17833984 3151 996147200 134512640 135239763 4294956176 18446744073709551615 134543111 0 0 4096 0 0 0 0 17 0 0 0
/proc/25004/statm: 4354 3151 417 177 0 3257 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 22776
[startup+3.10145 s]
/proc/loadavg: 1.99 1.98 1.99 3/76 25004
/proc/meminfo: memFree=1606456/2055920 swapFree=4179812/4192956
[pid=25000] ppid=24998 vsize=5360 CPUtime=0
/proc/25000/stat : 25000 (hydra) S 24998 25000 23935 0 -1 4194304 330 247 0 0 0 0 0 0 20 0 1 0 679869814 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25000/statm: 1340 236 195 169 0 51 0
[pid=25004] ppid=25000 vsize=17416 CPUtime=3.07
/proc/25004/stat : 25004 (xsolve) R 25000 25000 23935 0 -1 4194304 3192 0 0 0 306 1 0 0 25 0 1 0 679869815 17833984 3151 996147200 134512640 135239763 4294956176 18446744073709551615 134539297 0 0 4096 0 0 0 0 17 0 0 0
/proc/25004/statm: 4354 3151 417 177 0 3257 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 22776
[startup+6.30177 s]
/proc/loadavg: 1.99 1.98 1.99 3/76 25004
/proc/meminfo: memFree=1605632/2055920 swapFree=4179812/4192956
[pid=25000] ppid=24998 vsize=5360 CPUtime=0
/proc/25000/stat : 25000 (hydra) S 24998 25000 23935 0 -1 4194304 330 247 0 0 0 0 0 0 20 0 1 0 679869814 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25000/statm: 1340 236 195 169 0 51 0
[pid=25004] ppid=25000 vsize=17416 CPUtime=6.24
/proc/25004/stat : 25004 (xsolve) R 25000 25000 23935 0 -1 4194304 3192 0 0 0 623 1 0 0 25 0 1 0 679869815 17833984 3151 996147200 134512640 135239763 4294956176 18446744073709551615 134820073 0 0 4096 0 0 0 0 17 0 0 0
/proc/25004/statm: 4354 3151 417 177 0 3257 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 22776
[startup+12.7014 s]
/proc/loadavg: 2.06 2.00 2.00 3/76 25004
/proc/meminfo: memFree=1606472/2055920 swapFree=4179812/4192956
[pid=25000] ppid=24998 vsize=5360 CPUtime=0
/proc/25000/stat : 25000 (hydra) S 24998 25000 23935 0 -1 4194304 330 247 0 0 0 0 0 0 20 0 1 0 679869814 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25000/statm: 1340 236 195 169 0 51 0
[pid=25004] ppid=25000 vsize=17416 CPUtime=12.61
/proc/25004/stat : 25004 (xsolve) R 25000 25000 23935 0 -1 4194304 3192 0 0 0 1260 1 0 0 25 0 1 0 679869815 17833984 3151 996147200 134512640 135239763 4294956176 18446744073709551615 134532176 0 0 4096 0 0 0 0 17 0 0 0
/proc/25004/statm: 4354 3151 417 177 0 3257 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 22776
[startup+25.5027 s]
/proc/loadavg: 2.05 2.00 2.00 3/76 25004
/proc/meminfo: memFree=1606600/2055920 swapFree=4179812/4192956
[pid=25000] ppid=24998 vsize=5360 CPUtime=0
/proc/25000/stat : 25000 (hydra) S 24998 25000 23935 0 -1 4194304 330 247 0 0 0 0 0 0 20 0 1 0 679869814 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25000/statm: 1340 236 195 169 0 51 0
[pid=25004] ppid=25000 vsize=17416 CPUtime=25.37
/proc/25004/stat : 25004 (xsolve) R 25000 25000 23935 0 -1 4194304 3192 0 0 0 2535 2 0 0 25 0 1 0 679869815 17833984 3151 996147200 134512640 135239763 4294956176 18446744073709551615 134534768 0 0 4096 0 0 0 0 17 0 0 0
/proc/25004/statm: 4354 3151 417 177 0 3257 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 22776
[startup+51.1022 s]
/proc/loadavg: 2.11 2.02 2.00 3/96 25028
/proc/meminfo: memFree=1545960/2055920 swapFree=4179812/4192956
[pid=25000] ppid=24998 vsize=5360 CPUtime=41.13
/proc/25000/stat : 25000 (hydra) S 24998 25000 23935 0 -1 4194304 375 3788 0 2 0 0 4111 2 18 0 1 0 679869814 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25000/statm: 1340 238 196 169 0 51 0
[pid=25008] ppid=25000 vsize=197344 CPUtime=5.47
/proc/25008/stat : 25008 (java) S 25000 25000 23935 0 -1 0 11426 0 1 0 531 16 0 0 19 0 10 0 679873952 202080256 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25008/statm: 49336 9403 2543 9 0 43919 0
[pid=25018] ppid=25008 vsize=5356 CPUtime=0
/proc/25018/stat : 25018 (abscon) S 25008 25000 23935 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 679874506 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 249069888324 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/25018/statm: 1339 235 194 169 0 50 0
[pid=25019] ppid=25018 vsize=655888 CPUtime=4.1
/proc/25019/stat : 25019 (java) S 25018 25000 23935 0 -1 0 13324 0 1 0 402 8 0 0 25 0 9 0 679874507 671629312 12832 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25019/statm: 163972 12832 1994 9 0 158500 0
[pid=25019/tid=25021] ppid=25018 vsize=655888 CPUtime=3.9
/proc/25019/task/25021/stat : 25021 (java) R 25018 25000 23935 0 -1 64 12123 0 1 0 384 6 0 0 25 0 9 0 679874508 671629312 12832 996147200 134512640 134550740 4294955808 18446744073709551615 4126878903 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25019/tid=25022] ppid=25018 vsize=655888 CPUtime=0
/proc/25019/task/25022/stat : 25022 (java) S 25018 25000 23935 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 679874509 671629312 12832 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25023] ppid=25018 vsize=655888 CPUtime=0
/proc/25019/task/25023/stat : 25023 (java) S 25018 25000 23935 0 -1 64 10 0 0 0 0 0 0 0 25 0 9 0 679874509 671629312 12832 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25024] ppid=25018 vsize=655888 CPUtime=0
/proc/25019/task/25024/stat : 25024 (java) S 25018 25000 23935 0 -1 64 4 0 0 0 0 0 0 0 25 0 9 0 679874509 671629312 12832 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25025] ppid=25018 vsize=655888 CPUtime=0
/proc/25019/task/25025/stat : 25025 (java) S 25018 25000 23935 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 679874511 671629312 12832 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25026] ppid=25018 vsize=655888 CPUtime=0.18
/proc/25019/task/25026/stat : 25026 (java) S 25018 25000 23935 0 -1 64 655 0 0 0 18 0 0 0 15 0 9 0 679874511 671629312 12832 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25019/tid=25027] ppid=25018 vsize=655888 CPUtime=0
/proc/25019/task/25027/stat : 25027 (java) S 25018 25000 23935 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 679874511 671629312 12832 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25028] ppid=25018 vsize=655888 CPUtime=0
/proc/25019/task/25028/stat : 25028 (java) S 25018 25000 23935 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 679874511 671629312 12832 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25020] ppid=25018 vsize=7044 CPUtime=0
/proc/25020/stat : 25020 (translate) S 25018 25000 23935 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 679874507 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 249070059602 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/25020/statm: 1761 213 182 1 0 41 0
[pid=25008/tid=25009] ppid=25000 vsize=197344 CPUtime=4.37
/proc/25008/task/25009/stat : 25009 (java) S 25000 25000 23935 0 -1 64 3857 0 1 0 432 5 0 0 24 0 10 0 679873953 202080256 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=25008/tid=25010] ppid=25000 vsize=197344 CPUtime=0.86
/proc/25008/task/25010/stat : 25010 (java) S 25000 25000 23935 0 -1 64 6119 0 0 0 78 8 0 0 16 0 10 0 679873955 202080256 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25008/tid=25011] ppid=25000 vsize=197344 CPUtime=0
/proc/25008/task/25011/stat : 25011 (java) S 25000 25000 23935 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 679873955 202080256 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25008/tid=25012] ppid=25000 vsize=197344 CPUtime=0
/proc/25008/task/25012/stat : 25012 (java) S 25000 25000 23935 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 679873955 202080256 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25008/tid=25013] ppid=25000 vsize=197344 CPUtime=0
/proc/25008/task/25013/stat : 25013 (java) S 25000 25000 23935 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 679873957 202080256 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25008/tid=25014] ppid=25000 vsize=197344 CPUtime=0.2
/proc/25008/task/25014/stat : 25014 (java) S 25000 25000 23935 0 -1 64 648 0 0 0 20 0 0 0 16 0 10 0 679873957 202080256 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25008/tid=25015] ppid=25000 vsize=197344 CPUtime=0
/proc/25008/task/25015/stat : 25015 (java) S 25000 25000 23935 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 679873957 202080256 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25008/tid=25016] ppid=25000 vsize=197344 CPUtime=0
/proc/25008/task/25016/stat : 25016 (java) S 25000 25000 23935 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 679873957 202080256 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25008/tid=25017] ppid=25000 vsize=197344 CPUtime=0
/proc/25008/task/25017/stat : 25017 (java) S 25000 25000 23935 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 679874506 202080256 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 870992
[startup+102.307 s]
/proc/loadavg: 2.04 2.01 2.00 3/96 25028
/proc/meminfo: memFree=1509032/2055920 swapFree=4179812/4192956
[pid=25000] ppid=24998 vsize=5360 CPUtime=41.13
/proc/25000/stat : 25000 (hydra) S 24998 25000 23935 0 -1 4194304 375 3788 0 2 0 0 4111 2 18 0 1 0 679869814 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25000/statm: 1340 238 196 169 0 51 0
[pid=25008] ppid=25000 vsize=197344 CPUtime=5.47
/proc/25008/stat : 25008 (java) S 25000 25000 23935 0 -1 0 11432 0 1 0 531 16 0 0 19 0 10 0 679873952 202080256 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25008/statm: 49336 9403 2543 9 0 43919 0
[pid=25018] ppid=25008 vsize=5356 CPUtime=0
/proc/25018/stat : 25018 (abscon) S 25008 25000 23935 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 679874506 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 249069888324 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/25018/statm: 1339 235 194 169 0 50 0
[pid=25019] ppid=25018 vsize=655888 CPUtime=54.58
/proc/25019/stat : 25019 (java) S 25018 25000 23935 0 -1 0 23111 0 1 0 5445 13 0 0 25 0 9 0 679874507 671629312 22394 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25019/statm: 163972 22394 2617 9 0 158500 0
[pid=25019/tid=25021] ppid=25018 vsize=655888 CPUtime=54
/proc/25019/task/25021/stat : 25021 (java) R 25018 25000 23935 0 -1 64 12554 0 1 0 5393 7 0 0 25 0 9 0 679874508 671629312 22394 996147200 134512640 134550740 4294955808 18446744073709551615 4126881627 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25019/tid=25022] ppid=25018 vsize=655888 CPUtime=0.23
/proc/25019/task/25022/stat : 25022 (java) S 25018 25000 23935 0 -1 64 9252 0 0 0 20 3 0 0 17 0 9 0 679874509 671629312 22394 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25019/tid=25023] ppid=25018 vsize=655888 CPUtime=0
/proc/25019/task/25023/stat : 25023 (java) S 25018 25000 23935 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 679874509 671629312 22394 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25019/tid=25024] ppid=25018 vsize=655888 CPUtime=0
/proc/25019/task/25024/stat : 25024 (java) S 25018 25000 23935 0 -1 64 20 0 0 0 0 0 0 0 15 0 9 0 679874509 671629312 22394 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25019/tid=25025] ppid=25018 vsize=655888 CPUtime=0
/proc/25019/task/25025/stat : 25025 (java) S 25018 25000 23935 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 679874511 671629312 22394 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25026] ppid=25018 vsize=655888 CPUtime=0.32
/proc/25019/task/25026/stat : 25026 (java) S 25018 25000 23935 0 -1 64 745 0 0 0 31 1 0 0 15 0 9 0 679874511 671629312 22394 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25019/tid=25027] ppid=25018 vsize=655888 CPUtime=0
/proc/25019/task/25027/stat : 25027 (java) S 25018 25000 23935 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 679874511 671629312 22394 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
################
# More data... #
################
/proc/25008/task/25016/stat : 25016 (java) S 25000 25000 23935 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 679873957 202080256 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25008/tid=25017] ppid=25000 vsize=197344 CPUtime=0
/proc/25008/task/25017/stat : 25017 (java) S 25000 25000 23935 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 679874506 202080256 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 189.51
Current children cumulated vsize (KiB) 870992
[startup+193.502 s]
/proc/loadavg: 2.01 2.00 2.00 3/96 25028
/proc/meminfo: memFree=1508840/2055920 swapFree=4179812/4192956
[pid=25000] ppid=24998 vsize=5360 CPUtime=41.13
/proc/25000/stat : 25000 (hydra) S 24998 25000 23935 0 -1 4194304 375 3788 0 2 0 0 4111 2 18 0 1 0 679869814 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25000/statm: 1340 238 196 169 0 51 0
[pid=25008] ppid=25000 vsize=197344 CPUtime=5.47
/proc/25008/stat : 25008 (java) S 25000 25000 23935 0 -1 0 11432 0 1 0 531 16 0 0 19 0 10 0 679873952 202080256 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25008/statm: 49336 9403 2543 9 0 43919 0
[pid=25018] ppid=25008 vsize=5356 CPUtime=0
/proc/25018/stat : 25018 (abscon) S 25008 25000 23935 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 679874506 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 249069888324 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/25018/statm: 1339 235 194 169 0 50 0
[pid=25019] ppid=25018 vsize=655888 CPUtime=144.49
/proc/25019/stat : 25019 (java) S 25018 25000 23935 0 -1 0 23123 0 1 0 14436 13 0 0 25 0 9 0 679874507 671629312 22399 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25019/statm: 163972 22399 2617 9 0 158500 0
[pid=25019/tid=25021] ppid=25018 vsize=655888 CPUtime=143.9
/proc/25019/task/25021/stat : 25021 (java) R 25018 25000 23935 0 -1 64 12557 0 1 0 14383 7 0 0 25 0 9 0 679874508 671629312 22399 996147200 134512640 134550740 4294955808 18446744073709551615 4126878896 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25019/tid=25022] ppid=25018 vsize=655888 CPUtime=0.23
/proc/25019/task/25022/stat : 25022 (java) S 25018 25000 23935 0 -1 64 9252 0 0 0 20 3 0 0 16 0 9 0 679874509 671629312 22399 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25019/tid=25023] ppid=25018 vsize=655888 CPUtime=0
/proc/25019/task/25023/stat : 25023 (java) S 25018 25000 23935 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 679874509 671629312 22399 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25019/tid=25024] ppid=25018 vsize=655888 CPUtime=0
/proc/25019/task/25024/stat : 25024 (java) S 25018 25000 23935 0 -1 64 20 0 0 0 0 0 0 0 15 0 9 0 679874509 671629312 22399 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25019/tid=25025] ppid=25018 vsize=655888 CPUtime=0
/proc/25019/task/25025/stat : 25025 (java) S 25018 25000 23935 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 679874511 671629312 22399 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25026] ppid=25018 vsize=655888 CPUtime=0.33
/proc/25019/task/25026/stat : 25026 (java) S 25018 25000 23935 0 -1 64 754 0 0 0 32 1 0 0 16 0 9 0 679874511 671629312 22399 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25019/tid=25027] ppid=25018 vsize=655888 CPUtime=0
/proc/25019/task/25027/stat : 25027 (java) S 25018 25000 23935 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 679874511 671629312 22399 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25028] ppid=25018 vsize=655888 CPUtime=0
/proc/25019/task/25028/stat : 25028 (java) S 25018 25000 23935 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 679874511 671629312 22399 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25020] ppid=25018 vsize=7044 CPUtime=0
/proc/25020/stat : 25020 (translate) S 25018 25000 23935 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 679874507 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 249070059602 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/25020/statm: 1761 213 182 1 0 41 0
[pid=25008/tid=25009] ppid=25000 vsize=197344 CPUtime=4.37
/proc/25008/task/25009/stat : 25009 (java) S 25000 25000 23935 0 -1 64 3857 0 1 0 432 5 0 0 24 0 10 0 679873953 202080256 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=25008/tid=25010] ppid=25000 vsize=197344 CPUtime=0.86
/proc/25008/task/25010/stat : 25010 (java) S 25000 25000 23935 0 -1 64 6119 0 0 0 78 8 0 0 16 0 10 0 679873955 202080256 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25008/tid=25011] ppid=25000 vsize=197344 CPUtime=0
/proc/25008/task/25011/stat : 25011 (java) S 25000 25000 23935 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 679873955 202080256 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25008/tid=25012] ppid=25000 vsize=197344 CPUtime=0
/proc/25008/task/25012/stat : 25012 (java) S 25000 25000 23935 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 679873955 202080256 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25008/tid=25013] ppid=25000 vsize=197344 CPUtime=0
/proc/25008/task/25013/stat : 25013 (java) S 25000 25000 23935 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 679873957 202080256 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25008/tid=25014] ppid=25000 vsize=197344 CPUtime=0.2
/proc/25008/task/25014/stat : 25014 (java) S 25000 25000 23935 0 -1 64 648 0 0 0 20 0 0 0 16 0 10 0 679873957 202080256 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25008/tid=25015] ppid=25000 vsize=197344 CPUtime=0
/proc/25008/task/25015/stat : 25015 (java) S 25000 25000 23935 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 679873957 202080256 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25008/tid=25016] ppid=25000 vsize=197344 CPUtime=0
/proc/25008/task/25016/stat : 25016 (java) S 25000 25000 23935 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 679873957 202080256 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25008/tid=25017] ppid=25000 vsize=197344 CPUtime=0
/proc/25008/task/25017/stat : 25017 (java) S 25000 25000 23935 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 679874506 202080256 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 191.09
Current children cumulated vsize (KiB) 870992
[startup+194.302 s]
/proc/loadavg: 2.01 2.00 2.00 3/96 25028
/proc/meminfo: memFree=1508840/2055920 swapFree=4179812/4192956
[pid=25000] ppid=24998 vsize=5360 CPUtime=41.13
/proc/25000/stat : 25000 (hydra) S 24998 25000 23935 0 -1 4194304 375 3788 0 2 0 0 4111 2 18 0 1 0 679869814 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25000/statm: 1340 238 196 169 0 51 0
[pid=25008] ppid=25000 vsize=197344 CPUtime=5.47
/proc/25008/stat : 25008 (java) S 25000 25000 23935 0 -1 0 11432 0 1 0 531 16 0 0 19 0 10 0 679873952 202080256 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25008/statm: 49336 9403 2543 9 0 43919 0
[pid=25018] ppid=25008 vsize=5356 CPUtime=0
/proc/25018/stat : 25018 (abscon) S 25008 25000 23935 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 679874506 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 249069888324 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/25018/statm: 1339 235 194 169 0 50 0
[pid=25019] ppid=25018 vsize=655888 CPUtime=145.28
/proc/25019/stat : 25019 (java) S 25018 25000 23935 0 -1 0 23132 0 1 0 14515 13 0 0 25 0 9 0 679874507 671629312 22407 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25019/statm: 163972 22407 2617 9 0 158500 0
[pid=25019/tid=25021] ppid=25018 vsize=655888 CPUtime=144.67
/proc/25019/task/25021/stat : 25021 (java) R 25018 25000 23935 0 -1 64 12558 0 1 0 14460 7 0 0 25 0 9 0 679874508 671629312 22407 996147200 134512640 134550740 4294955808 18446744073709551615 4125960198 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25019/tid=25022] ppid=25018 vsize=655888 CPUtime=0.23
/proc/25019/task/25022/stat : 25022 (java) S 25018 25000 23935 0 -1 64 9252 0 0 0 20 3 0 0 16 0 9 0 679874509 671629312 22407 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25019/tid=25023] ppid=25018 vsize=655888 CPUtime=0
/proc/25019/task/25023/stat : 25023 (java) S 25018 25000 23935 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 679874509 671629312 22407 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25019/tid=25024] ppid=25018 vsize=655888 CPUtime=0
/proc/25019/task/25024/stat : 25024 (java) S 25018 25000 23935 0 -1 64 20 0 0 0 0 0 0 0 15 0 9 0 679874509 671629312 22407 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25019/tid=25025] ppid=25018 vsize=655888 CPUtime=0
/proc/25019/task/25025/stat : 25025 (java) S 25018 25000 23935 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 679874511 671629312 22407 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25026] ppid=25018 vsize=655888 CPUtime=0.35
/proc/25019/task/25026/stat : 25026 (java) S 25018 25000 23935 0 -1 64 762 0 0 0 34 1 0 0 15 0 9 0 679874511 671629312 22407 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25019/tid=25027] ppid=25018 vsize=655888 CPUtime=0
/proc/25019/task/25027/stat : 25027 (java) S 25018 25000 23935 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 679874511 671629312 22407 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25028] ppid=25018 vsize=655888 CPUtime=0
/proc/25019/task/25028/stat : 25028 (java) S 25018 25000 23935 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 679874511 671629312 22407 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25020] ppid=25018 vsize=7044 CPUtime=0
/proc/25020/stat : 25020 (translate) S 25018 25000 23935 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 679874507 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 249070059602 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/25020/statm: 1761 213 182 1 0 41 0
[pid=25008/tid=25009] ppid=25000 vsize=197344 CPUtime=4.37
/proc/25008/task/25009/stat : 25009 (java) S 25000 25000 23935 0 -1 64 3857 0 1 0 432 5 0 0 24 0 10 0 679873953 202080256 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=25008/tid=25010] ppid=25000 vsize=197344 CPUtime=0.86
/proc/25008/task/25010/stat : 25010 (java) S 25000 25000 23935 0 -1 64 6119 0 0 0 78 8 0 0 16 0 10 0 679873955 202080256 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25008/tid=25011] ppid=25000 vsize=197344 CPUtime=0
/proc/25008/task/25011/stat : 25011 (java) S 25000 25000 23935 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 679873955 202080256 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25008/tid=25012] ppid=25000 vsize=197344 CPUtime=0
/proc/25008/task/25012/stat : 25012 (java) S 25000 25000 23935 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 679873955 202080256 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25008/tid=25013] ppid=25000 vsize=197344 CPUtime=0
/proc/25008/task/25013/stat : 25013 (java) S 25000 25000 23935 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 679873957 202080256 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25008/tid=25014] ppid=25000 vsize=197344 CPUtime=0.2
/proc/25008/task/25014/stat : 25014 (java) S 25000 25000 23935 0 -1 64 648 0 0 0 20 0 0 0 16 0 10 0 679873957 202080256 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25008/tid=25015] ppid=25000 vsize=197344 CPUtime=0
/proc/25008/task/25015/stat : 25015 (java) S 25000 25000 23935 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 679873957 202080256 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25008/tid=25016] ppid=25000 vsize=197344 CPUtime=0
/proc/25008/task/25016/stat : 25016 (java) S 25000 25000 23935 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 679873957 202080256 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25008/tid=25017] ppid=25000 vsize=197344 CPUtime=0
/proc/25008/task/25017/stat : 25017 (java) S 25000 25000 23935 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 679874506 202080256 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 191.88
Current children cumulated vsize (KiB) 870992
[startup+194.502 s]
/proc/loadavg: 2.01 2.00 2.00 3/96 25028
/proc/meminfo: memFree=1508840/2055920 swapFree=4179812/4192956
[pid=25000] ppid=24998 vsize=5360 CPUtime=41.13
/proc/25000/stat : 25000 (hydra) S 24998 25000 23935 0 -1 4194304 375 3788 0 2 0 0 4111 2 18 0 1 0 679869814 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25000/statm: 1340 238 196 169 0 51 0
[pid=25008] ppid=25000 vsize=197344 CPUtime=5.47
/proc/25008/stat : 25008 (java) S 25000 25000 23935 0 -1 0 11432 0 1 0 531 16 0 0 19 0 10 0 679873952 202080256 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25008/statm: 49336 9403 2543 9 0 43919 0
[pid=25018] ppid=25008 vsize=5356 CPUtime=0
/proc/25018/stat : 25018 (abscon) S 25008 25000 23935 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 679874506 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 249069888324 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/25018/statm: 1339 235 194 169 0 50 0
[pid=25019] ppid=25018 vsize=655888 CPUtime=145.48
/proc/25019/stat : 25019 (java) S 25018 25000 23935 0 -1 0 23132 0 1 0 14535 13 0 0 25 0 9 0 679874507 671629312 22407 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25019/statm: 163972 22407 2617 9 0 158500 0
[pid=25019/tid=25021] ppid=25018 vsize=655888 CPUtime=144.87
/proc/25019/task/25021/stat : 25021 (java) R 25018 25000 23935 0 -1 64 12558 0 1 0 14480 7 0 0 25 0 9 0 679874508 671629312 22407 996147200 134512640 134550740 4294955808 18446744073709551615 4127115821 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25019/tid=25022] ppid=25018 vsize=655888 CPUtime=0.23
/proc/25019/task/25022/stat : 25022 (java) S 25018 25000 23935 0 -1 64 9252 0 0 0 20 3 0 0 17 0 9 0 679874509 671629312 22407 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25019/tid=25023] ppid=25018 vsize=655888 CPUtime=0
/proc/25019/task/25023/stat : 25023 (java) S 25018 25000 23935 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 679874509 671629312 22407 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25019/tid=25024] ppid=25018 vsize=655888 CPUtime=0
/proc/25019/task/25024/stat : 25024 (java) S 25018 25000 23935 0 -1 64 20 0 0 0 0 0 0 0 15 0 9 0 679874509 671629312 22407 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25019/tid=25025] ppid=25018 vsize=655888 CPUtime=0
/proc/25019/task/25025/stat : 25025 (java) S 25018 25000 23935 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 679874511 671629312 22407 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25026] ppid=25018 vsize=655888 CPUtime=0.35
/proc/25019/task/25026/stat : 25026 (java) S 25018 25000 23935 0 -1 64 762 0 0 0 34 1 0 0 15 0 9 0 679874511 671629312 22407 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25019/tid=25027] ppid=25018 vsize=655888 CPUtime=0
/proc/25019/task/25027/stat : 25027 (java) S 25018 25000 23935 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 679874511 671629312 22407 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25028] ppid=25018 vsize=655888 CPUtime=0
/proc/25019/task/25028/stat : 25028 (java) S 25018 25000 23935 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 679874511 671629312 22407 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25020] ppid=25018 vsize=7044 CPUtime=0
/proc/25020/stat : 25020 (translate) S 25018 25000 23935 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 679874507 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 249070059602 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/25020/statm: 1761 213 182 1 0 41 0
[pid=25008/tid=25009] ppid=25000 vsize=197344 CPUtime=4.37
/proc/25008/task/25009/stat : 25009 (java) S 25000 25000 23935 0 -1 64 3857 0 1 0 432 5 0 0 24 0 10 0 679873953 202080256 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=25008/tid=25010] ppid=25000 vsize=197344 CPUtime=0.86
/proc/25008/task/25010/stat : 25010 (java) S 25000 25000 23935 0 -1 64 6119 0 0 0 78 8 0 0 16 0 10 0 679873955 202080256 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25008/tid=25011] ppid=25000 vsize=197344 CPUtime=0
/proc/25008/task/25011/stat : 25011 (java) S 25000 25000 23935 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 679873955 202080256 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25008/tid=25012] ppid=25000 vsize=197344 CPUtime=0
/proc/25008/task/25012/stat : 25012 (java) S 25000 25000 23935 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 679873955 202080256 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25008/tid=25013] ppid=25000 vsize=197344 CPUtime=0
/proc/25008/task/25013/stat : 25013 (java) S 25000 25000 23935 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 679873957 202080256 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25008/tid=25014] ppid=25000 vsize=197344 CPUtime=0.2
/proc/25008/task/25014/stat : 25014 (java) S 25000 25000 23935 0 -1 64 648 0 0 0 20 0 0 0 16 0 10 0 679873957 202080256 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25008/tid=25015] ppid=25000 vsize=197344 CPUtime=0
/proc/25008/task/25015/stat : 25015 (java) S 25000 25000 23935 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 679873957 202080256 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25008/tid=25016] ppid=25000 vsize=197344 CPUtime=0
/proc/25008/task/25016/stat : 25016 (java) S 25000 25000 23935 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 679873957 202080256 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25008/tid=25017] ppid=25000 vsize=197344 CPUtime=0
/proc/25008/task/25017/stat : 25017 (java) S 25000 25000 23935 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 679874506 202080256 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 192.08
Current children cumulated vsize (KiB) 870992
Child status: 0
Real time (s): 194.59
CPU time (s): 192.196
CPU user time (s): 191.839
CPU system time (s): 0.356945
CPU usage (%): 98.7695
Max. virtual memory (cumulated for all children) (KiB): 870992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 191.839
system time used= 0.356945
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39466
page faults= 4
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17168
involuntary context switches= 14991
runsolver used 0.699893 second user time and 1.55876 second system time
The end