0.00/0.00 c cpHydra_k_10 version 0.0
35.73/36.18 c CASE TO CLASSIFY:
35.73/36.18 c Case: 0
35.73/36.19 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.220100 | c 15 > 14.645000 | c 34 > 68.428900 | c 16 > 2.000000 | c 13 > 2.862710 | c 14 > -1.000000 | c 11 > 10.550700 | c 12 > 5.082310 | c 21 > 17.067800 | c 20 > 0.000000 | c 22 > 17.606800 | c 23 > 5.375360 | c 24 > 0.786959 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.633100 | 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.737200 | c 31 > -1.000000 | c 4 > 10.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
35.73/36.20 c choco : 1801.0
35.73/36.20 c mistral : 1801.0
35.73/36.20 c abscon : 1801.0
35.73/36.20 c
35.73/36.20 c
35.83/36.28 c List of same ones: 10
35.83/36.28 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-10.xml
35.83/36.28 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.220100 | c 15 > 10.879600 | c 34 > 68.428900 | c 16 > 2.000000 | c 13 > 2.862710 | c 14 > -1.000000 | c 11 > 10.550700 | c 12 > 5.082310 | c 21 > 17.067800 | c 20 > 0.000000 | c 22 > 17.606800 | c 23 > 5.375360 | c 24 > 0.786959 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.633100 | 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.737200 | c 31 > -1.000000 | c 4 > 10.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
35.83/36.29 c choco : 1801.0
35.83/36.29 c mistral : 1800.05
35.83/36.29 c abscon : 156.38
35.83/36.29 c
35.83/36.29 c
35.83/36.29 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-9.xml
35.83/36.29 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.220100 | c 15 > 10.689100 | c 34 > 68.428900 | c 16 > 2.000000 | c 13 > 2.862710 | c 14 > -1.000000 | c 11 > 10.550700 | c 12 > 5.082310 | c 21 > 17.067800 | c 20 > 0.000000 | c 22 > 17.606800 | c 23 > 5.375360 | c 24 > 0.786959 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.633100 | 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.737200 | c 31 > -1.000000 | c 4 > 10.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
35.83/36.30 c choco : 1801.0
35.83/36.30 c mistral : 1800.06
35.83/36.30 c abscon : 441.864
35.83/36.30 c
35.83/36.30 c
35.83/36.30 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-8.xml
35.83/36.30 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.220100 | c 15 > 10.563200 | c 34 > 68.428900 | c 16 > 2.000000 | c 13 > 2.862710 | c 14 > -1.000000 | c 11 > 10.550700 | c 12 > 5.082310 | c 21 > 17.067800 | c 20 > 0.000000 | c 22 > 17.606800 | c 23 > 5.375360 | c 24 > 0.786959 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.633100 | 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.737200 | c 31 > -1.000000 | c 4 > 10.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
35.92/36.31 c choco : 1801.0
35.92/36.31 c mistral : 1800.07
35.92/36.31 c abscon : 349.37
35.92/36.31 c
35.92/36.31 c
35.92/36.31 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-10.xml
35.92/36.31 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.026200 | c 15 > 10.630300 | c 34 > 68.212500 | c 16 > 2.000000 | c 13 > 2.978070 | c 14 > -1.000000 | c 11 > 9.965780 | c 12 > 4.909970 | c 21 > 17.164900 | c 20 > 0.000000 | c 22 > 19.026300 | c 23 > 5.546080 | c 24 > 1.046680 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.875700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.168600 | c 31 > -1.000000 | c 4 > 9.965780 | c 9 > -1.000000 | c 8 > -1.000000 | c
35.92/36.32 c choco : 1801.0
35.92/36.32 c mistral : 228.6
35.92/36.32 c abscon : 55.2496
35.92/36.32 c
35.92/36.32 c
35.92/36.32 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-10.xml
35.92/36.32 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.234200 | c 15 > 10.695200 | c 34 > 68.320200 | c 16 > 2.000000 | c 13 > 2.980850 | c 14 > -1.000000 | c 11 > 11.287700 | c 12 > 5.027400 | c 21 > 17.599100 | c 20 > 0.000000 | c 22 > 19.026300 | c 23 > 5.725240 | c 24 > 0.784607 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.315100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.562600 | c 31 > -1.000000 | c 4 > 11.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c
35.92/36.33 c choco : 1801.0
35.92/36.33 c mistral : 1800.04
35.92/36.33 c abscon : 331.113
35.92/36.33 c
35.92/36.33 c
35.92/36.33 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-1.xml
35.92/36.33 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.220100 | c 15 > 10.047100 | c 34 > 68.428900 | c 16 > 2.000000 | c 13 > 2.862710 | c 14 > -1.000000 | c 11 > 10.550700 | c 12 > 5.082310 | c 21 > 17.067800 | c 20 > 0.000000 | c 22 > 17.606800 | c 23 > 5.375360 | c 24 > 0.786959 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.633100 | 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.737200 | c 31 > -1.000000 | c 4 > 10.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
35.92/36.34 c choco : 1801.0
35.92/36.34 c mistral : 1800.03
35.92/36.34 c abscon : 20.0829
35.92/36.34 c
35.92/36.34 c
35.92/36.34 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-9.xml
35.92/36.34 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.026200 | c 15 > 10.433600 | c 34 > 68.212500 | c 16 > 2.000000 | c 13 > 2.978070 | c 14 > -1.000000 | c 11 > 9.965780 | c 12 > 4.909970 | c 21 > 17.164900 | c 20 > 0.000000 | c 22 > 19.026300 | c 23 > 5.546080 | c 24 > 1.046680 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.875700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.168600 | c 31 > -1.000000 | c 4 > 9.965780 | c 9 > -1.000000 | c 8 > -1.000000 | c
35.92/36.35 c choco : 1801.0
35.92/36.35 c mistral : 1800.03
35.92/36.35 c abscon : 129.181
35.92/36.35 c
35.92/36.35 c
35.92/36.35 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-9.xml
35.92/36.35 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.234200 | c 15 > 10.502800 | c 34 > 68.320200 | c 16 > 2.000000 | c 13 > 2.980850 | c 14 > -1.000000 | c 11 > 11.287700 | c 12 > 5.027400 | c 21 > 17.599100 | c 20 > 0.000000 | c 22 > 19.026300 | c 23 > 5.725240 | c 24 > 0.784607 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.315100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.562600 | c 31 > -1.000000 | c 4 > 11.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c
35.92/36.35 c choco : 1801.0
35.92/36.35 c mistral : 1800.09
35.92/36.35 c abscon : 506.936
35.92/36.35 c
35.92/36.35 c
35.92/36.35 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-8.xml
35.92/36.35 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.026200 | c 15 > 10.260900 | c 34 > 68.212500 | c 16 > 2.000000 | c 13 > 2.978070 | c 14 > -1.000000 | c 11 > 9.965780 | c 12 > 4.909970 | c 21 > 17.164900 | c 20 > 0.000000 | c 22 > 19.026300 | c 23 > 5.546080 | c 24 > 1.046680 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.875700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.168600 | c 31 > -1.000000 | c 4 > 9.965780 | c 9 > -1.000000 | c 8 > -1.000000 | c
35.92/36.36 c choco : 1801.0
35.92/36.36 c mistral : 1800.02
35.92/36.36 c abscon : 85.215
35.92/36.36 c
35.92/36.36 c
35.92/36.36 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-10.xml
35.92/36.36 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.995800 | c 15 > 11.340400 | c 34 > 68.373000 | c 16 > 2.000000 | c 13 > 2.976840 | c 14 > -1.000000 | c 11 > 10.287700 | c 12 > 4.876490 | c 21 > 14.266700 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 3.758320 | c 24 > 0.752014 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.164200 | 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.956900 | c 31 > -1.000000 | c 4 > 10.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c
35.92/36.37 c choco : 1801.0
35.92/36.37 c mistral : 81.4206
35.92/36.37 c abscon : 52.605
35.92/36.37 c
35.92/36.37 c
35.92/36.38 c Length: 10
35.92/36.38 c 3.7653999999999996 3.9558999999999997 4.081799999999999 4.466260603037063 4.50359138399611 4.597899999999999 4.643873129645231 4.673246853527426 4.8010416051353895 4.865365378255263
35.92/36.38 c
35.92/36.38 c 1.0 0.8523788369606939 0.7766113145255257 0.6108115885055675 0.5984067305054148 0.5692031488027864 0.5559765309170712 0.5478427518486775 0.5150598339535649 0.5
35.92/36.38 c
35.92/36.38 c solver 0
35.92/36.38 c before 0.0 seconds: {} 0
35.92/36.38 c before 36.0 seconds: {5} 569
35.92/36.38 c before 54.0 seconds: {5, 9} 1069
35.92/36.38 c before 72.0 seconds: {3, 5, 9} 1680
35.92/36.38 c before 90.0 seconds: {3, 5, 8, 9} 2195
35.92/36.38 c before 144.0 seconds: {3, 5, 6, 8, 9} 2751
35.92/36.38 c before 162.0 seconds: {0, 3, 5, 6, 8, 9} 3751
35.92/36.38 c before 342.0 seconds: {0, 3, 4, 5, 6, 8, 9} 4349
35.92/36.38 c before 360.0 seconds: {0, 2, 3, 4, 5, 6, 8, 9} 5126
35.92/36.38 c before 450.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9} 5978
35.92/36.38 c before 522.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6526
35.92/36.38 c
35.92/36.38 c solver 1
35.92/36.38 c before 0.0 seconds: {} 0
35.92/36.38 c before 90.0 seconds: {9} 500
35.92/36.38 c before 234.0 seconds: {3, 9} 1110
35.92/36.38 c
35.92/36.38 c solver 2
35.92/36.38 c before 0.0 seconds: {} 0
35.92/36.38 c
35.92/36.38 cTotal time: 42
35.92/36.38 c 756.0 seconds unused
35.92/36.38 c 0 c 8 c 10
35.92/36.38 c 0 c 0 c 2
35.92/36.38 c 0 c 0 c 0
35.92/36.38 c is solver0 dominated by:
35.92/36.38 c solver 1 (0 solves instances that 1 can't: true) (1 doesn't solve instances that 0 can't: true) (0 is faster than 1: false) (0 is equally as fast as 1: false) (0 < 1: false)
35.92/36.38 c solver 2 (0 solves instances that 2 can't: true) (2 doesn't solve instances that 0 can't: true) (0 is faster than 2: false) (0 is equally as fast as 2: false) (0 < 2: false)
35.92/36.38 c is dominated? false
35.92/36.38 c
35.92/36.38 c is solver1 dominated by:
35.92/36.38 c solver 0 (1 solves instances that 0 can't: false) (0 doesn't solve instances that 1 can't: false) (1 is faster than 0: true) (1 is equally as fast as 0: false) (1 < 0: true)
35.92/36.38 c is dominated? true
35.92/36.38 c
35.92/36.38 c is solver2 dominated by:
35.92/36.38 c solver 0 (2 solves instances that 0 can't: false) (0 doesn't solve instances that 2 can't: false) (2 is faster than 0: true) (2 is equally as fast as 0: false) (2 < 0: true)
35.92/36.38 c is dominated? true
35.92/36.38 c
35.92/36.38 c Number of non-dominated solvers: 1
35.92/36.38 c remove dominated solvers
35.92/36.39 c solver 0 is not dominated by another solver
35.92/36.39 c solver 2 is dominated by another solver
35.92/36.39 c solver 1 is dominated by another solver
35.92/36.39 c
35.92/36.39 c solver 0: 522.0
35.92/36.39 c
35.92/36.39 c+ 29/29 of 71
35.92/36.39 c
35.92/36.39 c solver 1: 0.0
35.92/36.39 c
35.92/36.39 c solver 2: 0.0
35.92/36.39 c run abscon for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6526
35.92/36.39 c do not run mistral
35.92/36.39 c do not run choco
35.92/36.39 c Starting solver: HOME/cpHydra_k_10/solver/abscon
35.92/36.39 c On Instance: HOME/instance-1085994-1215236747.xml
35.92/36.39 c Running for: 1800 seconds
317.10/317.72 s SAT
317.10/317.72 v -2216 -2544 2120 2496 -2332 -2660 2360 -2736 -2348 2388 2204 2148 2468 -2256 2664 -2664 -2736 -2316 -2684 2228 -2220 2644 2160 -2244 2720 2424 2640 -2160 -2488 -2348 -2516 -2376 -2352 -2468 -2696 -2660 -2184 -2164 -2328 -2600 2608 -2696 2352 -2532 -2156 2248 -2368 -2696 2256 -2396 2460 -2504 2680 -2408 -2736 2160 -2260 2660 -2584 2464 2600 -2368 -2396 -2388 2680 -2436 2616 2212 2128 -2136 2660 -2668 -2716 -2612 2184 -2692 -2556 -2732 -2376 2232 -2128 -2336 2148 2732 2516 2252 -2636 2372 -2160 2652 2620 -2620 -2252 -2724 -2736 2452 2684 -2196 2176 -2152 -2660 -2160 2192 2664 -2444 -2380 2328 2480 2312 -2576 -2232 -2148 -2616 2472 -2244 2628 -2736 -2356 -2348 -2376 -2544 -2668 2684 2168 -2304 2520 -2724 2588 2612 -2524 -2328 2212 2436 -2360 2120 -2192 2448 -2664 -2460 2248 2440 -2656 -2272 -2204 2120 2624 2720 -2572 -2360 -2236 -2376 -2164 2340 -2132 -2524 -2488 2148 -2428 2696 2608 -2244 -2688 2252 -2120 2396 -2696 -2536 2684 2544 -2144 -2668 2516 -2160 2464 2736 -2588 -2584 -2488 2568 -2252 -2256 2460 2120 -2340 -2696 -2448 2508 2600 2200 2200 2160 -2176 2484 2280 2348 2412 -2580 2204 2576 -2220 2568 2228 2692 2696 2492 2184 -2708 -2144 2432 2420 2212 2684 -2540 -2620 -2384 -2572 -2200 -2696 2364 2396 2536 -2292 2340 2516 -2368 -2304 -2416 -2716 -2244 2496 2372 -2504 -2320 -2184 -2220 2188 -2532 -2216 2356 -2340 2308 2608 2216 -2664 2396 -2544 -2160 2312 2680 -2616 2412 -2688 -2184 -2416 -2676 2248 2432 -2668 -2384 -2372 2148 -2160 -2372 2384 2164 -2264 -2124 -2160 2336 2576 2280 -2256 -2348 2596 -2272 -2144 2660 -2724 -2284 2272 2488 2320 -2432 2724 -2424 -2132 2272 -2696 2192 2696 -2284 -2164 2404 -2144 -2628 -2648 2700 2480 -2496 -2704 2516 2552 -2216 -2696 -2552 2640 -2696 2560 -2268 -2648 -2344 2152 2680 2372 2212 -2620 2344 -2656 2664 2160 2612 2424 -2736 -2216 2252 -2120 2696 -2596 2216 2676 2120 -2428 -2428 2180 -2508 2380 2604 -2300 -2288 -2632 -2596 -2400 2384 -2284 -2232 2636 -2212 -2696 2624 2548 -2624 -2344 2460 2564 -2264 2160 -2396 -2440 2708 -2120 2636 2616 -2160 -2456 2404 -2168 -2736 -2360 2336 -2136 -2120 -2272 -2400 -2248 2692 -2660 2548 -2376 -2668 -2540 -2128 2696 2556 2696 2304 2188 -2400 -2496 -2160 -2420 -2200 -2412 -2164 2180 -2124 -2288 2620 2204 -2436 2172 2240 2516 -2160 -2208 2456 2132 -2548 -2388 2500 2536 2304 -2524 -2696 2252 -2600 -2160 2420 -2720 2272 2540 -2652 2588 -2440 -2344 2296 2464 -2624 -2700 -2700 -2164 2596 -2736 -2736 2644 2604 2476 -2424 2312 2208 2436 2484 -2696 -2124 -2188 -2696 2248 2640 2492 -2708 -2736 -2264 2288 2328 2676 2736 -2428 -2720 2180 -2120 -2520 -2696 -2532 -2312 -2196 2732 2376 -2124 2656 -2736 -2440 2580 -2120 2328 -2692 2260 -2544 2232 -2388 2416 -2716 2484 -2208 -2288 -2380 2288 -2272 -2368 -2692 2272 -2412 -2500 2536 2464 -2180 -2160 2736 -2284 2124 2576 -2672 2124 -2260 2312 2128 -2164 -2684 2648 -2464 2420 -2160 2336 2680 2676 -2636 -2628 2304 2172 -2676 -2268 -2280 -2456 2588 2120 -2384 -2732 -2272 2520 -2592 -2724 2480 2736 2380 -2188 2616 -2244 2668 2308 -2640 2712 -2120 -2568 -2428 -2332 -2160 -2696 -2432 -2148 -2244 2632 -2652 -2256 -2736 2736 -2560 2160 2548 -2356 -2520 2564 -2200 2332 2696 -2488 2160 -2136 2660 -2284 2252 2124 2660 2124 -2180 -2212 -2676 2232 -2572 -2160 2400 2200 2152 2128 -2160 2656 2640 -2692 2596 -2460 2128 2628 -2736 -2588 2384 -2736 -2128 2640 2356 -2676 -2472 2248 2320 2200 -2272 2472 2132 -2540 -2208 2192 2584 2348 -2652 2484 -2256 -2736 2424 2484 -2360 -2620 2344 -2460 -2204 -2452 -2736 2240 2648 -2584 -2204 -2624 2224 -2608 -2300 -2160 2312 -2628 2648 2480 2480 2280 -2600 -2420 -2496 -2120 2660 2368 2380 -2492 -2696 2344 2148 -2472 2416 2380 2572 -2572 2344 -2616 2308 2680 2724 -2452 -2264 2200 2476 -2336 -2620 -2616 2504 2664 -2192 2632 2500 2736 -2620 -2160 -2208 -2696 2256 -2580 2504 2212 2272 -2564 2120 2736 -2688 -2468 -2348 2648 2260 -2616 -2400 2736 -2312 -2168 -2692 -2344 2572 -2392 -2652 2648 2276 2604 -2212 -2216 -2200 -2512 2560 -2696 2600 2532 -2596 -2588 -2232 -2640 2688 2396 -2136 -2296 -2668 2680 -2120 2172 2212 2164 -2120 -2420 -2256 -2724 -2612 2220 -2208 -2736 -2300 2208 2332 2268 -2528 -2264 -2244 -2428 -2512 2696 -2120 -2264 2160 -2312 -2736 -2340 2496 2292 -2352 -2736 -2624 -2700 2196 2232 -2444 2388 -2160 2124 2640 -2500 -2624 -2224 2412 -2576 2200 2160 -2408 -2504 2544 2160 -2132 -2532 -2256 -2696 2696 2736 2736 -2692 -2212 -2404 -2160 2652 2336 -2280 2456 2652 -2192 -2360 -2472 2360 -2556 2500 2192 2704 2396 2276 2120 -2160 2672 -2356 -2404 -2244 -2368 -2160 2436 -2308 -2156 2220 2708 -2308 -2228 2216 -2368 -2120 -2492 -2248 2196 -2340 -2320 -2620 2140 -2164 -2292 -2160 -2736 2204 -2160 -2484 -2632 2184 -2192 2164 2120 -2400 -2612 2356 -2252 -2584 -2700 2584 -2624 2400 2172 2556 -2200 2372 -2388 -2736 -2624 2660 -2172 -2736 2552 2736 2232 -2496 -2520 -2592 2192 2120 2684 -2220 2536 2188 2440 2432 -2692 2320 -2480 2708 2120 -2616 2256 -2168 2120 2232 -2592 -2236 -2736 -2692 -2160 2196 -2684 2620 2192 2688 -2696 -2252 -2396 -2120 -2144 2700 -2120 2168 -2160 2736 -2696 2296 2496 2736 2400 2276 -2384 -2576 -2692 2372 -2172 2288 2224 2588 -2272 2664 2168 -2200 2164 -2692 2308 2476 2120 2152 -2732 2480 -2260 -2120 2200 -2676 -2364 -2652 -2532 -2684 -2616 -2236 2316 -2652 -2680 2216 -2120 -2160 -2168 2348 2716 2736 2648 -2668 2584 2240 2640 -2380 2348 -2492 2568 -2696 -2160 2700 2528 2172 2688 2236 -2376 -2160 -2736 2360 -2528 -2444 -2556 -2388 2580 -2200 -2152 2196 2288 2456 -2260 -2612 -2500 -2664 -2384 2544 -2372 2244 2492 2660 -2448 -2696 -2556 -2548 2120 -2268 2380 2124 2576 -2736 2200 2332 -2648 -2188 -2624 -2324 -2456 -2444 -2572 2120 -2696 2568 -2592 -2336 2168 -2660 -2656 -2144 2700 2240 -2380 -2660 2120 2568 -2636 2628 -2120 -2736 -2400 -2200 -2608 -2640 -2240 2684 -2628 -2580 -2428 2608 2716 -2160 2652 -2160 -2668 2320 2612 2684 2592 -2120 -2136 2336 -2696 -2444 2724 -2276 -2556 2436 2240 -2160 -2348 -2468 2628 -2304 2736 -2556 -2176 -2296 -2344 -2276 -2728 -2604 -2360 -2232 -2696 2516 -2176 -2364 2176 2548 -2552 -2328 2120 2652 2144 2568 2676 -2280 2392 2460 -2524 -2560 -2180 -2156 2596 -2364 2656 2244 2584 -2360 -2328 2424 -2584 -2160 2160 -2536 -2296 2172 -2236 -2232 -2720 -2172 2652 -2696 2128 -2304 -2188 -2648 2732 -2664 -2320 2312 2176 2444 -2580 -2456 -2404 -2632 -2620 2512 2408 2536 -2192 2188 -2644 2384 -2428 -2228 -2696 -2260 2404 2608 2268 -2160 -2160 -2400 -2700 2624 2572 -2172 -2128 -2460 2600 2684 -2616 -2724 -2336 2188 2356 -2484 2192 2588 2724 2676 2344 2184 2352 2432 -2568 -2452 -2308 -2180 -2668 -2308 -2736 2684 -2688 2520 -2728 2408 -2520 -2700 -2168 -2168 -2164 -2696 -2336 2436 2652 -2376 -2352 -2348 -2160 -2736 -2600 2496 -2204 -2696 -2160 -2252 -2504 -2316 2260 -2232 2156 -2168 2684 2208 2668 -2408 -2592 -2384 -2452 -2704 -2608 -2168 -2420 2500 2216 -2356 -2476 2644 -2208 2288 2520 2628 -2372 -2360 -2212 -2660 2376 -2160 2492 -2552 2692 -2572 -2240 -2312 -2240 -2644 -2552 -2316 2616 -2428 -2736 -2248 -2664 -2696 -2268 2332 2280 -2532 2628 2668 -2500 2728 -2512 2688 2140 2628 2696 -2556 -2220 -2716 -2128 -2716 -2252 2308 -2600 -2164 -2460 2220 2120 -2720 -2320 -2304 -2196 -2668 -2376 2160 2400 2592 -2736 -2672 2240 -2696 -2280 -2164 -2332 -2220 2220 2128 2612 -2284 2216 2636 2276 -2188 -2624 -2280 2120 -2656 -2720 -2228 2160 2696 -2340 -2560 2132 2716 -2232 -2184 -2692 2480 -2120 2504 2728 -2684 -2368 2120 -2440 -2132 2544 -2292 -2652 2652 2332 -2476 2320 -2676 -2440 -2660 2328 -2140 2492 2408 2560 2140 2324 2584 -2672 -2172 -2696 -2172 -2120 -2464 -2564 2608 -2428 -2232 2684 -2316 -2160 -2512 2256 -2388 2248 -2612 -2204 2384 2696 2652 -2320 -2528 -2696 2164 2388 2696 -2664 2408 2388 2176 -2256 2248 -2528 2576 2708 2640 -2296 2636 2392 -2120 2188 -2656 2428 2660 -2612 2484 -2736 -2120 2132 2328 -2528 -2192 -2724 -2148 -2344 -2560 2288 -2644 2652 -2368 -2192 -2360 -2416 2680 2464 -2696 2680 2224 -2708 -2240 2120 -2520 -2288 -2736 -2140 2480 2472 -2532 -2452 -2732 2640 -2452 -2524 -2436 -2676 2388 2424 -2308 2368 -2500 -2224 2712 -2540 2228 -2528 2544 -2476 2292 2120 -2252 -2612 -2128 -2160 -2388 2612 -2620 -2292 -2420 -2324 -2696 -2664 -2512 -2532 2152 -2348 2660 -2500 -2328 -2444 2680 -2364 2704 2620 -2252 -2688 -2392 -2536 2584 -2168 -2716 -2344 -2204 2120 -2508 -2528 2160 2132 -2680 2168 -2524 -2324 -2736 2168 -2696 -2168 -2692 2416 -2448 2512 2132 2400 -2148 -2736 -2632 2352 -2704 -2620 -2624 -2232 2280 -2184 -2680 -2232 2180 -2188 -2156 -2488
317.10/317.72 d ASSIGNMENTS 12620
317.10/317.72 d CHECKS 576084481
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1085994-1215236747/watcher-1085994-1215236747 -o /tmp/evaluation-result-1085994-1215236747/solver-1085994-1215236747 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1085994-1215236747.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.09 2.08 2.02 4/81 32014
/proc/meminfo: memFree=1205864/2055920 swapFree=4180436/4192956
[pid=32014] ppid=32012 vsize=5260 CPUtime=0
/proc/32014/stat : 32014 (hydra) R 32012 32014 30380 0 -1 4194304 68 0 0 0 0 0 0 0 20 0 1 0 2002643479 5386240 51 996147200 4194304 4889804 548682068816 18446744073709551615 231959754889 0 0 4096 0 0 0 0 17 1 0 0
/proc/32014/statm: 1315 51 37 169 0 14 0
[startup+0.036939 s]
/proc/loadavg: 2.09 2.08 2.02 4/81 32014
/proc/meminfo: memFree=1205864/2055920 swapFree=4180436/4192956
[pid=32014] ppid=32012 vsize=5360 CPUtime=0
/proc/32014/stat : 32014 (hydra) S 32012 32014 30380 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2002643479 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32014/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101942 s]
/proc/loadavg: 2.09 2.08 2.02 4/81 32014
/proc/meminfo: memFree=1205864/2055920 swapFree=4180436/4192956
[pid=32014] ppid=32012 vsize=5360 CPUtime=0
/proc/32014/stat : 32014 (hydra) S 32012 32014 30380 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2002643479 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32014/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.30197 s]
/proc/loadavg: 2.09 2.08 2.02 4/81 32014
/proc/meminfo: memFree=1205864/2055920 swapFree=4180436/4192956
[pid=32014] ppid=32012 vsize=5360 CPUtime=0
/proc/32014/stat : 32014 (hydra) S 32012 32014 30380 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2002643479 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32014/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.702025 s]
/proc/loadavg: 2.09 2.08 2.02 4/81 32014
/proc/meminfo: memFree=1205864/2055920 swapFree=4180436/4192956
[pid=32014] ppid=32012 vsize=5360 CPUtime=0
/proc/32014/stat : 32014 (hydra) S 32012 32014 30380 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2002643479 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32014/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50112 s]
/proc/loadavg: 2.09 2.08 2.02 3/83 32018
/proc/meminfo: memFree=1191128/2055920 swapFree=4180436/4192956
[pid=32014] ppid=32012 vsize=5360 CPUtime=0
/proc/32014/stat : 32014 (hydra) S 32012 32014 30380 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2002643479 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32014/statm: 1340 236 195 169 0 51 0
[pid=32018] ppid=32014 vsize=67348 CPUtime=1.47
/proc/32018/stat : 32018 (xsolve) R 32014 32014 30380 0 -1 4194304 11404 0 0 0 141 6 0 0 25 0 1 0 2002643480 68964352 11167 996147200 134512640 135239763 4294956176 18446744073709551615 134543144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32018/statm: 16837 11167 416 177 0 15740 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 72708
[startup+3.10234 s]
/proc/loadavg: 2.09 2.08 2.02 3/83 32018
/proc/meminfo: memFree=1161304/2055920 swapFree=4180436/4192956
[pid=32014] ppid=32012 vsize=5360 CPUtime=0
/proc/32014/stat : 32014 (hydra) S 32012 32014 30380 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2002643479 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32014/statm: 1340 236 195 169 0 51 0
[pid=32018] ppid=32014 vsize=67348 CPUtime=3.04
/proc/32018/stat : 32018 (xsolve) R 32014 32014 30380 0 -1 4194304 11404 0 0 0 297 7 0 0 25 0 1 0 2002643480 68964352 11167 996147200 134512640 135239763 4294956176 18446744073709551615 134532177 0 0 4096 0 0 0 0 17 1 0 0
/proc/32018/statm: 16837 11167 416 177 0 15740 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 72708
[startup+6.30178 s]
/proc/loadavg: 2.09 2.08 2.02 3/83 32018
/proc/meminfo: memFree=1162328/2055920 swapFree=4180436/4192956
[pid=32014] ppid=32012 vsize=5360 CPUtime=0
/proc/32014/stat : 32014 (hydra) S 32012 32014 30380 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2002643479 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32014/statm: 1340 236 195 169 0 51 0
[pid=32018] ppid=32014 vsize=67348 CPUtime=6.21
/proc/32018/stat : 32018 (xsolve) R 32014 32014 30380 0 -1 4194304 11404 0 0 0 614 7 0 0 25 0 1 0 2002643480 68964352 11167 996147200 134512640 135239763 4294956176 18446744073709551615 134538580 0 0 4096 0 0 0 0 17 1 0 0
/proc/32018/statm: 16837 11167 416 177 0 15740 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 72708
[startup+12.7016 s]
/proc/loadavg: 2.07 2.08 2.02 3/83 32018
/proc/meminfo: memFree=1162456/2055920 swapFree=4180436/4192956
[pid=32014] ppid=32012 vsize=5360 CPUtime=0
/proc/32014/stat : 32014 (hydra) S 32012 32014 30380 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2002643479 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32014/statm: 1340 236 195 169 0 51 0
[pid=32018] ppid=32014 vsize=67348 CPUtime=12.56
/proc/32018/stat : 32018 (xsolve) R 32014 32014 30380 0 -1 4194304 11404 0 0 0 1249 7 0 0 25 0 1 0 2002643480 68964352 11167 996147200 134512640 135239763 4294956176 18446744073709551615 134532177 0 0 4096 0 0 0 0 17 1 0 0
/proc/32018/statm: 16837 11167 416 177 0 15740 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 72708
[startup+25.5014 s]
/proc/loadavg: 2.06 2.07 2.02 3/83 32018
/proc/meminfo: memFree=1162584/2055920 swapFree=4180436/4192956
[pid=32014] ppid=32012 vsize=5360 CPUtime=0
/proc/32014/stat : 32014 (hydra) S 32012 32014 30380 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2002643479 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32014/statm: 1340 236 195 169 0 51 0
[pid=32018] ppid=32014 vsize=67348 CPUtime=25.24
/proc/32018/stat : 32018 (xsolve) R 32014 32014 30380 0 -1 4194304 11405 0 0 0 2517 7 0 0 25 0 1 0 2002643480 68964352 11168 996147200 134512640 135239763 4294956176 18446744073709551615 134532191 0 0 4096 0 0 0 0 17 1 0 0
/proc/32018/statm: 16837 11168 417 177 0 15740 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 72708
[startup+51.1029 s]
/proc/loadavg: 2.04 2.07 2.01 3/103 32042
/proc/meminfo: memFree=1098744/2055920 swapFree=4180436/4192956
[pid=32014] ppid=32012 vsize=5360 CPUtime=29.95
/proc/32014/stat : 32014 (hydra) S 32012 32014 30380 0 -1 4194304 375 12009 0 0 0 0 2986 9 18 0 1 0 2002643479 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32014/statm: 1340 238 196 169 0 51 0
[pid=32022] ppid=32014 vsize=197432 CPUtime=6.04
/proc/32022/stat : 32022 (java) S 32014 32014 30380 0 -1 0 11420 0 1 0 587 17 0 0 18 0 10 0 2002646503 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32022/statm: 49358 9344 2543 9 0 43941 0
[pid=32032] ppid=32022 vsize=5356 CPUtime=0
/proc/32032/stat : 32032 (abscon) S 32022 32014 30380 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 2002647118 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 231962370884 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/32032/statm: 1339 235 194 169 0 50 0
[pid=32033] ppid=32032 vsize=655708 CPUtime=14.67
/proc/32033/stat : 32033 (java) S 32032 32014 30380 0 -1 0 22119 0 1 0 1454 13 0 0 18 0 9 0 2002647119 671444992 21619 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32033/statm: 163927 21619 2008 9 0 158455 0
[pid=32033/tid=32035] ppid=32032 vsize=655708 CPUtime=14.13
/proc/32033/task/32035/stat : 32035 (java) R 32032 32014 30380 0 -1 64 12454 0 1 0 1404 9 0 0 25 0 9 0 2002647120 671444992 21619 996147200 134512640 134550740 4294955808 18446744073709551615 4126899184 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32033/tid=32036] ppid=32032 vsize=655708 CPUtime=0.3
/proc/32033/task/32036/stat : 32036 (java) S 32032 32014 30380 0 -1 64 8465 0 0 0 27 3 0 0 16 0 9 0 2002647121 671444992 21619 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32033/tid=32037] ppid=32032 vsize=655708 CPUtime=0
/proc/32033/task/32037/stat : 32037 (java) S 32032 32014 30380 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 2002647121 671444992 21619 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32033/tid=32038] ppid=32032 vsize=655708 CPUtime=0
/proc/32033/task/32038/stat : 32038 (java) S 32032 32014 30380 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002647121 671444992 21619 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32033/tid=32039] ppid=32032 vsize=655708 CPUtime=0
/proc/32033/task/32039/stat : 32039 (java) S 32032 32014 30380 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 2002647123 671444992 21619 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32033/tid=32040] ppid=32032 vsize=655708 CPUtime=0.22
/proc/32033/task/32040/stat : 32040 (java) S 32032 32014 30380 0 -1 64 655 0 0 0 22 0 0 0 16 0 9 0 2002647123 671444992 21619 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32033/tid=32041] ppid=32032 vsize=655708 CPUtime=0
/proc/32033/task/32041/stat : 32041 (java) S 32032 32014 30380 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2002647123 671444992 21619 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32033/tid=32042] ppid=32032 vsize=655708 CPUtime=0
/proc/32033/task/32042/stat : 32042 (java) S 32032 32014 30380 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002647123 671444992 21619 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32034] ppid=32032 vsize=7044 CPUtime=0
/proc/32034/stat : 32034 (translate) S 32032 32014 30380 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2002647119 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 231962542162 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/32034/statm: 1761 213 182 1 0 41 0
[pid=32022/tid=32023] ppid=32014 vsize=197432 CPUtime=4.85
/proc/32022/task/32023/stat : 32023 (java) S 32014 32014 30380 0 -1 64 3858 0 1 0 480 5 0 0 25 0 10 0 2002646504 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=32022/tid=32024] ppid=32014 vsize=197432 CPUtime=0.93
/proc/32022/task/32024/stat : 32024 (java) S 32014 32014 30380 0 -1 64 6114 0 0 0 84 9 0 0 16 0 10 0 2002646505 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32022/tid=32025] ppid=32014 vsize=197432 CPUtime=0
/proc/32022/task/32025/stat : 32025 (java) S 32014 32014 30380 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002646505 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32022/tid=32026] ppid=32014 vsize=197432 CPUtime=0
/proc/32022/task/32026/stat : 32026 (java) S 32014 32014 30380 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2002646505 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32022/tid=32027] ppid=32014 vsize=197432 CPUtime=0
/proc/32022/task/32027/stat : 32027 (java) S 32014 32014 30380 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2002646507 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32022/tid=32028] ppid=32014 vsize=197432 CPUtime=0.21
/proc/32022/task/32028/stat : 32028 (java) S 32014 32014 30380 0 -1 64 644 0 0 0 21 0 0 0 16 0 10 0 2002646507 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32022/tid=32029] ppid=32014 vsize=197432 CPUtime=0
/proc/32022/task/32029/stat : 32029 (java) S 32014 32014 30380 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2002646507 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32022/tid=32030] ppid=32014 vsize=197432 CPUtime=0
/proc/32022/task/32030/stat : 32030 (java) S 32014 32014 30380 0 -1 64 10 0 0 0 0 0 0 0 15 0 10 0 2002646507 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32022/tid=32031] ppid=32014 vsize=197432 CPUtime=0
/proc/32022/task/32031/stat : 32031 (java) S 32014 32014 30380 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2002647118 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 870900
[startup+102.308 s]
/proc/loadavg: 2.01 2.05 2.01 3/103 32042
/proc/meminfo: memFree=1035256/2055920 swapFree=4180436/4192956
[pid=32014] ppid=32012 vsize=5360 CPUtime=29.95
/proc/32014/stat : 32014 (hydra) S 32012 32014 30380 0 -1 4194304 375 12009 0 0 0 0 2986 9 18 0 1 0 2002643479 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32014/statm: 1340 238 196 169 0 51 0
[pid=32022] ppid=32014 vsize=197432 CPUtime=6.04
/proc/32022/stat : 32022 (java) S 32014 32014 30380 0 -1 0 11420 0 1 0 587 17 0 0 18 0 10 0 2002646503 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32022/statm: 49358 9344 2543 9 0 43941 0
[pid=32032] ppid=32022 vsize=5356 CPUtime=0
/proc/32032/stat : 32032 (abscon) S 32022 32014 30380 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 2002647118 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 231962370884 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/32032/statm: 1339 235 194 169 0 50 0
[pid=32033] ppid=32032 vsize=655708 CPUtime=65.86
/proc/32033/stat : 32033 (java) S 32032 32014 30380 0 -1 0 38753 0 1 0 6564 22 0 0 18 0 9 0 2002647119 671444992 38018 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32033/statm: 163927 38018 2617 9 0 158455 0
[pid=32033/tid=32035] ppid=32032 vsize=655708 CPUtime=64.21
/proc/32033/task/32035/stat : 32035 (java) R 32032 32014 30380 0 -1 64 12570 0 1 0 6410 11 0 0 25 0 9 0 2002647120 671444992 38018 996147200 134512640 134550740 4294955808 18446744073709551615 4127389587 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32033/tid=32036] ppid=32032 vsize=655708 CPUtime=1.21
/proc/32033/task/32036/stat : 32036 (java) S 32032 32014 30380 0 -1 64 24869 0 0 0 113 8 0 0 16 0 9 0 2002647121 671444992 38018 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32033/tid=32037] ppid=32032 vsize=655708 CPUtime=0
/proc/32033/task/32037/stat : 32037 (java) S 32032 32014 30380 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 2002647121 671444992 38018 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32033/tid=32038] ppid=32032 vsize=655708 CPUtime=0
/proc/32033/task/32038/stat : 32038 (java) S 32032 32014 30380 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 2002647121 671444992 38018 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32033/tid=32039] ppid=32032 vsize=655708 CPUtime=0
/proc/32033/task/32039/stat : 32039 (java) S 32032 32014 30380 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 2002647123 671444992 38018 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32033/tid=32040] ppid=32032 vsize=655708 CPUtime=0.4
/proc/32033/task/32040/stat : 32040 (java) S 32032 32014 30380 0 -1 64 755 0 0 0 39 1 0 0 16 0 9 0 2002647123 671444992 38018 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32033/tid=32041] ppid=32032 vsize=655708 CPUtime=0
/proc/32033/task/32041/stat : 32041 (java) S 32032 32014 30380 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2002647123 671444992 38018 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
################
# More data... #
################
/proc/32033/task/32042/stat : 32042 (java) S 32032 32014 30380 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002647123 671444992 38039 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32034] ppid=32032 vsize=7044 CPUtime=0
/proc/32034/stat : 32034 (translate) S 32032 32014 30380 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2002647119 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 231962542162 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/32034/statm: 1761 213 182 1 0 41 0
[pid=32022/tid=32023] ppid=32014 vsize=197432 CPUtime=4.85
/proc/32022/task/32023/stat : 32023 (java) S 32014 32014 30380 0 -1 64 3858 0 1 0 480 5 0 0 25 0 10 0 2002646504 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=32022/tid=32024] ppid=32014 vsize=197432 CPUtime=0.93
/proc/32022/task/32024/stat : 32024 (java) S 32014 32014 30380 0 -1 64 6114 0 0 0 84 9 0 0 16 0 10 0 2002646505 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32022/tid=32025] ppid=32014 vsize=197432 CPUtime=0
/proc/32022/task/32025/stat : 32025 (java) S 32014 32014 30380 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002646505 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32022/tid=32026] ppid=32014 vsize=197432 CPUtime=0
/proc/32022/task/32026/stat : 32026 (java) S 32014 32014 30380 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2002646505 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32022/tid=32027] ppid=32014 vsize=197432 CPUtime=0
/proc/32022/task/32027/stat : 32027 (java) S 32014 32014 30380 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2002646507 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32022/tid=32028] ppid=32014 vsize=197432 CPUtime=0.21
/proc/32022/task/32028/stat : 32028 (java) S 32014 32014 30380 0 -1 64 644 0 0 0 21 0 0 0 16 0 10 0 2002646507 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32022/tid=32029] ppid=32014 vsize=197432 CPUtime=0
/proc/32022/task/32029/stat : 32029 (java) S 32014 32014 30380 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2002646507 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32022/tid=32030] ppid=32014 vsize=197432 CPUtime=0
/proc/32022/task/32030/stat : 32030 (java) S 32014 32014 30380 0 -1 64 10 0 0 0 0 0 0 0 15 0 10 0 2002646507 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32022/tid=32031] ppid=32014 vsize=197432 CPUtime=0
/proc/32022/task/32031/stat : 32031 (java) S 32014 32014 30380 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2002647118 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 314.55
Current children cumulated vsize (KiB) 870900
[startup+316.703 s]
/proc/loadavg: 2.27 2.14 2.04 3/103 32044
/proc/meminfo: memFree=1034488/2055920 swapFree=4180436/4192956
[pid=32014] ppid=32012 vsize=5360 CPUtime=29.95
/proc/32014/stat : 32014 (hydra) S 32012 32014 30380 0 -1 4194304 375 12009 0 0 0 0 2986 9 18 0 1 0 2002643479 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32014/statm: 1340 238 196 169 0 51 0
[pid=32022] ppid=32014 vsize=197432 CPUtime=6.04
/proc/32022/stat : 32022 (java) S 32014 32014 30380 0 -1 0 11420 0 1 0 587 17 0 0 18 0 10 0 2002646503 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32022/statm: 49358 9344 2543 9 0 43941 0
[pid=32032] ppid=32022 vsize=5356 CPUtime=0
/proc/32032/stat : 32032 (abscon) S 32022 32014 30380 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 2002647118 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 231962370884 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/32032/statm: 1339 235 194 169 0 50 0
[pid=32033] ppid=32032 vsize=655708 CPUtime=280.17
/proc/32033/stat : 32033 (java) S 32032 32014 30380 0 -1 0 38792 0 1 0 27994 23 0 0 18 0 9 0 2002647119 671444992 38039 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32033/statm: 163927 38039 2617 9 0 158455 0
[pid=32033/tid=32035] ppid=32032 vsize=655708 CPUtime=278.47
/proc/32033/task/32035/stat : 32035 (java) R 32032 32014 30380 0 -1 64 12575 0 1 0 27835 12 0 0 25 0 9 0 2002647120 671444992 38039 996147200 134512640 134550740 4294955808 18446744073709551615 4127389584 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32033/tid=32036] ppid=32032 vsize=655708 CPUtime=1.21
/proc/32033/task/32036/stat : 32036 (java) S 32032 32014 30380 0 -1 64 24869 0 0 0 113 8 0 0 16 0 9 0 2002647121 671444992 38039 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32033/tid=32037] ppid=32032 vsize=655708 CPUtime=0
/proc/32033/task/32037/stat : 32037 (java) S 32032 32014 30380 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 2002647121 671444992 38039 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32033/tid=32038] ppid=32032 vsize=655708 CPUtime=0
/proc/32033/task/32038/stat : 32038 (java) S 32032 32014 30380 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 2002647121 671444992 38039 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32033/tid=32039] ppid=32032 vsize=655708 CPUtime=0
/proc/32033/task/32039/stat : 32039 (java) S 32032 32014 30380 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 2002647123 671444992 38039 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32033/tid=32040] ppid=32032 vsize=655708 CPUtime=0.45
/proc/32033/task/32040/stat : 32040 (java) S 32032 32014 30380 0 -1 64 789 0 0 0 44 1 0 0 16 0 9 0 2002647123 671444992 38039 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32033/tid=32041] ppid=32032 vsize=655708 CPUtime=0
/proc/32033/task/32041/stat : 32041 (java) S 32032 32014 30380 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2002647123 671444992 38039 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32033/tid=32042] ppid=32032 vsize=655708 CPUtime=0
/proc/32033/task/32042/stat : 32042 (java) S 32032 32014 30380 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002647123 671444992 38039 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32034] ppid=32032 vsize=7044 CPUtime=0
/proc/32034/stat : 32034 (translate) S 32032 32014 30380 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2002647119 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 231962542162 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/32034/statm: 1761 213 182 1 0 41 0
[pid=32022/tid=32023] ppid=32014 vsize=197432 CPUtime=4.85
/proc/32022/task/32023/stat : 32023 (java) S 32014 32014 30380 0 -1 64 3858 0 1 0 480 5 0 0 25 0 10 0 2002646504 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=32022/tid=32024] ppid=32014 vsize=197432 CPUtime=0.93
/proc/32022/task/32024/stat : 32024 (java) S 32014 32014 30380 0 -1 64 6114 0 0 0 84 9 0 0 16 0 10 0 2002646505 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32022/tid=32025] ppid=32014 vsize=197432 CPUtime=0
/proc/32022/task/32025/stat : 32025 (java) S 32014 32014 30380 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002646505 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32022/tid=32026] ppid=32014 vsize=197432 CPUtime=0
/proc/32022/task/32026/stat : 32026 (java) S 32014 32014 30380 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2002646505 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32022/tid=32027] ppid=32014 vsize=197432 CPUtime=0
/proc/32022/task/32027/stat : 32027 (java) S 32014 32014 30380 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2002646507 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32022/tid=32028] ppid=32014 vsize=197432 CPUtime=0.21
/proc/32022/task/32028/stat : 32028 (java) S 32014 32014 30380 0 -1 64 644 0 0 0 21 0 0 0 16 0 10 0 2002646507 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32022/tid=32029] ppid=32014 vsize=197432 CPUtime=0
/proc/32022/task/32029/stat : 32029 (java) S 32014 32014 30380 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2002646507 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32022/tid=32030] ppid=32014 vsize=197432 CPUtime=0
/proc/32022/task/32030/stat : 32030 (java) S 32014 32014 30380 0 -1 64 10 0 0 0 0 0 0 0 15 0 10 0 2002646507 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32022/tid=32031] ppid=32014 vsize=197432 CPUtime=0
/proc/32022/task/32031/stat : 32031 (java) S 32014 32014 30380 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2002647118 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 316.16
Current children cumulated vsize (KiB) 870900
[startup+317.503 s]
/proc/loadavg: 2.27 2.14 2.04 3/103 32044
/proc/meminfo: memFree=1034488/2055920 swapFree=4180436/4192956
[pid=32014] ppid=32012 vsize=5360 CPUtime=29.95
/proc/32014/stat : 32014 (hydra) S 32012 32014 30380 0 -1 4194304 375 12009 0 0 0 0 2986 9 18 0 1 0 2002643479 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32014/statm: 1340 238 196 169 0 51 0
[pid=32022] ppid=32014 vsize=197432 CPUtime=6.04
/proc/32022/stat : 32022 (java) S 32014 32014 30380 0 -1 0 11420 0 1 0 587 17 0 0 18 0 10 0 2002646503 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32022/statm: 49358 9344 2543 9 0 43941 0
[pid=32032] ppid=32022 vsize=5356 CPUtime=0
/proc/32032/stat : 32032 (abscon) S 32022 32014 30380 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 2002647118 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 231962370884 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/32032/statm: 1339 235 194 169 0 50 0
[pid=32033] ppid=32032 vsize=655708 CPUtime=280.96
/proc/32033/stat : 32033 (java) S 32032 32014 30380 0 -1 0 38792 0 1 0 28073 23 0 0 18 0 9 0 2002647119 671444992 38039 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32033/statm: 163927 38039 2617 9 0 158455 0
[pid=32033/tid=32035] ppid=32032 vsize=655708 CPUtime=279.27
/proc/32033/task/32035/stat : 32035 (java) R 32032 32014 30380 0 -1 64 12575 0 1 0 27915 12 0 0 25 0 9 0 2002647120 671444992 38039 996147200 134512640 134550740 4294955808 18446744073709551615 4127341918 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32033/tid=32036] ppid=32032 vsize=655708 CPUtime=1.21
/proc/32033/task/32036/stat : 32036 (java) S 32032 32014 30380 0 -1 64 24869 0 0 0 113 8 0 0 16 0 9 0 2002647121 671444992 38039 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32033/tid=32037] ppid=32032 vsize=655708 CPUtime=0
/proc/32033/task/32037/stat : 32037 (java) S 32032 32014 30380 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 2002647121 671444992 38039 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32033/tid=32038] ppid=32032 vsize=655708 CPUtime=0
/proc/32033/task/32038/stat : 32038 (java) S 32032 32014 30380 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 2002647121 671444992 38039 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32033/tid=32039] ppid=32032 vsize=655708 CPUtime=0
/proc/32033/task/32039/stat : 32039 (java) S 32032 32014 30380 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 2002647123 671444992 38039 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32033/tid=32040] ppid=32032 vsize=655708 CPUtime=0.45
/proc/32033/task/32040/stat : 32040 (java) S 32032 32014 30380 0 -1 64 789 0 0 0 44 1 0 0 16 0 9 0 2002647123 671444992 38039 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32033/tid=32041] ppid=32032 vsize=655708 CPUtime=0
/proc/32033/task/32041/stat : 32041 (java) S 32032 32014 30380 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2002647123 671444992 38039 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32033/tid=32042] ppid=32032 vsize=655708 CPUtime=0
/proc/32033/task/32042/stat : 32042 (java) S 32032 32014 30380 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002647123 671444992 38039 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32034] ppid=32032 vsize=7044 CPUtime=0
/proc/32034/stat : 32034 (translate) S 32032 32014 30380 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2002647119 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 231962542162 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/32034/statm: 1761 213 182 1 0 41 0
[pid=32022/tid=32023] ppid=32014 vsize=197432 CPUtime=4.85
/proc/32022/task/32023/stat : 32023 (java) S 32014 32014 30380 0 -1 64 3858 0 1 0 480 5 0 0 25 0 10 0 2002646504 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=32022/tid=32024] ppid=32014 vsize=197432 CPUtime=0.93
/proc/32022/task/32024/stat : 32024 (java) S 32014 32014 30380 0 -1 64 6114 0 0 0 84 9 0 0 16 0 10 0 2002646505 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32022/tid=32025] ppid=32014 vsize=197432 CPUtime=0
/proc/32022/task/32025/stat : 32025 (java) S 32014 32014 30380 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002646505 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32022/tid=32026] ppid=32014 vsize=197432 CPUtime=0
/proc/32022/task/32026/stat : 32026 (java) S 32014 32014 30380 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2002646505 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32022/tid=32027] ppid=32014 vsize=197432 CPUtime=0
/proc/32022/task/32027/stat : 32027 (java) S 32014 32014 30380 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2002646507 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32022/tid=32028] ppid=32014 vsize=197432 CPUtime=0.21
/proc/32022/task/32028/stat : 32028 (java) S 32014 32014 30380 0 -1 64 644 0 0 0 21 0 0 0 16 0 10 0 2002646507 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32022/tid=32029] ppid=32014 vsize=197432 CPUtime=0
/proc/32022/task/32029/stat : 32029 (java) S 32014 32014 30380 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2002646507 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32022/tid=32030] ppid=32014 vsize=197432 CPUtime=0
/proc/32022/task/32030/stat : 32030 (java) S 32014 32014 30380 0 -1 64 10 0 0 0 0 0 0 0 15 0 10 0 2002646507 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32022/tid=32031] ppid=32014 vsize=197432 CPUtime=0
/proc/32022/task/32031/stat : 32031 (java) S 32014 32014 30380 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2002647118 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 316.95
Current children cumulated vsize (KiB) 870900
[startup+317.703 s]
/proc/loadavg: 2.27 2.14 2.04 3/103 32044
/proc/meminfo: memFree=1034488/2055920 swapFree=4180436/4192956
[pid=32014] ppid=32012 vsize=5360 CPUtime=29.95
/proc/32014/stat : 32014 (hydra) S 32012 32014 30380 0 -1 4194304 375 12009 0 0 0 0 2986 9 18 0 1 0 2002643479 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32014/statm: 1340 238 196 169 0 51 0
[pid=32022] ppid=32014 vsize=197432 CPUtime=6.04
/proc/32022/stat : 32022 (java) S 32014 32014 30380 0 -1 0 11440 0 1 0 587 17 0 0 18 0 10 0 2002646503 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32022/statm: 49358 9344 2543 9 0 43941 0
[pid=32032] ppid=32022 vsize=5356 CPUtime=0
/proc/32032/stat : 32032 (abscon) S 32022 32014 30380 0 -1 4194304 303 290 0 0 0 0 0 0 16 0 1 0 2002647118 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 231962370884 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/32032/statm: 1339 235 194 169 0 50 0
[pid=32033] ppid=32032 vsize=0 CPUtime=281.11
/proc/32033/stat : 32033 (java) Z 32032 32014 30380 0 -1 12 38805 0 1 0 28087 24 0 0 16 0 2 0 2002647119 0 0 996147200 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32033/statm: 0 0 0 0 0 0 0
[pid=32022/tid=32023] ppid=32014 vsize=197432 CPUtime=4.86
/proc/32022/task/32023/stat : 32023 (java) S 32014 32014 30380 0 -1 64 3878 0 1 0 481 5 0 0 16 0 10 0 2002646504 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=32022/tid=32024] ppid=32014 vsize=197432 CPUtime=0.93
/proc/32022/task/32024/stat : 32024 (java) S 32014 32014 30380 0 -1 64 6114 0 0 0 84 9 0 0 16 0 10 0 2002646505 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32022/tid=32025] ppid=32014 vsize=197432 CPUtime=0
/proc/32022/task/32025/stat : 32025 (java) S 32014 32014 30380 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002646505 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32022/tid=32026] ppid=32014 vsize=197432 CPUtime=0
/proc/32022/task/32026/stat : 32026 (java) S 32014 32014 30380 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2002646505 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32022/tid=32027] ppid=32014 vsize=197432 CPUtime=0
/proc/32022/task/32027/stat : 32027 (java) S 32014 32014 30380 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2002646507 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32022/tid=32028] ppid=32014 vsize=197432 CPUtime=0.21
/proc/32022/task/32028/stat : 32028 (java) S 32014 32014 30380 0 -1 64 644 0 0 0 21 0 0 0 16 0 10 0 2002646507 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32022/tid=32029] ppid=32014 vsize=197432 CPUtime=0
/proc/32022/task/32029/stat : 32029 (java) S 32014 32014 30380 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2002646507 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32022/tid=32030] ppid=32014 vsize=197432 CPUtime=0
/proc/32022/task/32030/stat : 32030 (java) S 32014 32014 30380 0 -1 64 10 0 0 0 0 0 0 0 15 0 10 0 2002646507 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32022/tid=32031] ppid=32014 vsize=197432 CPUtime=0
/proc/32022/task/32031/stat : 32031 (java) S 32014 32014 30380 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2002647118 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 317.1
Current children cumulated vsize (KiB) 208148
Child status: 0
Real time (s): 317.744
CPU time (s): 317.161
CPU user time (s): 316.619
CPU system time (s): 0.541917
CPU usage (%): 99.8165
Max. virtual memory (cumulated for all children) (KiB): 870900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 316.619
system time used= 0.541917
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63351
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= 23108
involuntary context switches= 25878
runsolver used 1.70874 second user time and 2.57261 second system time
The end
Begin job on node71 at 2008-07-05 07:45:47
IDJOB=1085994
IDBENCH=57738
IDSOLVER=365
FILE ID=node71/1085994-1215236747
PBS_JOBID= 7881853
Free space on /tmp= 66508 MiB
SOLVER NAME= cpHydra k_10
BENCH NAME= CPAI08/csp/fapp/fapp12/normalized-fapp12-1500-9.xml
COMMAND LINE= HOME/cpHydra_k_10/hydra BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1085994-1215236747/watcher-1085994-1215236747 -o /tmp/evaluation-result-1085994-1215236747/solver-1085994-1215236747 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1085994-1215236747.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= a935103af39bd284c54c6d98a149f42a
RANDOM SEED=1601279085
node71.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.209
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.209
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1206344 kB
Buffers: 17276 kB
Cached: 173760 kB
SwapCached: 6572 kB
Active: 749328 kB
Inactive: 43380 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1206344 kB
SwapTotal: 4192956 kB
SwapFree: 4180436 kB
Dirty: 27800 kB
Writeback: 0 kB
Mapped: 617720 kB
Slab: 40728 kB
Committed_AS: 5033664 kB
PageTables: 3088 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66484 MiB
End job on node71 at 2008-07-05 07:51:05