0.00/0.00 c cpHydra_k_10 version 0.0
31.96/32.43 c CASE TO CLASSIFY:
31.96/32.43 c Case: 0
31.96/32.43 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.220100 | c 15 > 14.640500 | 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
31.96/32.44 c choco : 1801.0
31.96/32.44 c mistral : 1801.0
31.96/32.44 c abscon : 1801.0
31.96/32.44 c
31.96/32.44 c
32.05/32.52 c List of same ones: 10
32.05/32.52 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-10.xml
32.05/32.52 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
32.05/32.53 c choco : 1801.0
32.05/32.53 c mistral : 1800.05
32.05/32.53 c abscon : 156.38
32.05/32.53 c
32.05/32.53 c
32.05/32.53 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-9.xml
32.05/32.53 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
32.05/32.54 c choco : 1801.0
32.05/32.54 c mistral : 1800.06
32.05/32.54 c abscon : 441.864
32.05/32.54 c
32.05/32.54 c
32.05/32.54 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-8.xml
32.05/32.54 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
32.05/32.55 c choco : 1801.0
32.05/32.55 c mistral : 1800.07
32.05/32.55 c abscon : 349.37
32.05/32.55 c
32.05/32.55 c
32.05/32.55 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-10.xml
32.05/32.55 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
32.05/32.56 c choco : 1801.0
32.05/32.56 c mistral : 228.6
32.05/32.56 c abscon : 55.2496
32.05/32.56 c
32.05/32.56 c
32.05/32.56 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-10.xml
32.05/32.56 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
32.05/32.57 c choco : 1801.0
32.05/32.57 c mistral : 1800.04
32.05/32.57 c abscon : 331.113
32.05/32.57 c
32.05/32.57 c
32.05/32.57 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-1.xml
32.05/32.57 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
32.05/32.58 c choco : 1801.0
32.05/32.58 c mistral : 1800.03
32.05/32.58 c abscon : 20.0829
32.05/32.58 c
32.05/32.58 c
32.05/32.58 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-9.xml
32.05/32.58 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
32.05/32.59 c choco : 1801.0
32.05/32.59 c mistral : 1800.03
32.05/32.59 c abscon : 129.181
32.05/32.59 c
32.05/32.59 c
32.05/32.59 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-9.xml
32.05/32.59 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
32.05/32.60 c choco : 1801.0
32.05/32.60 c mistral : 1800.09
32.05/32.60 c abscon : 506.936
32.05/32.60 c
32.05/32.60 c
32.05/32.60 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-8.xml
32.05/32.60 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
32.13/32.60 c choco : 1801.0
32.13/32.60 c mistral : 1800.02
32.13/32.60 c abscon : 85.215
32.13/32.60 c
32.13/32.60 c
32.13/32.61 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-10.xml
32.13/32.61 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
32.13/32.62 c choco : 1801.0
32.13/32.62 c mistral : 81.4206
32.13/32.62 c abscon : 52.605
32.13/32.62 c
32.13/32.62 c
32.13/32.62 c Length: 10
32.13/32.62 c 3.7608999999999995 3.9513999999999996 4.077299999999999 4.46221601048638 4.499645253128739 4.593399999999999 4.639792591726595 4.669258678206208 4.796932753775166 4.862310059418772
32.13/32.62 c
32.13/32.62 c 1.0 0.8525439146393011 0.7768389369943481 0.6109691748545695 0.5985419012778761 0.5695249652663766 0.5561826919646544 0.5480282575797005 0.5152933461517771 0.5
32.13/32.62 c
32.13/32.62 c solver 0
32.13/32.62 c before 0.0 seconds: {} 0
32.13/32.62 c before 36.0 seconds: {5} 569
32.13/32.62 c before 54.0 seconds: {5, 9} 1069
32.13/32.62 c before 72.0 seconds: {3, 5, 9} 1680
32.13/32.62 c before 90.0 seconds: {3, 5, 8, 9} 2195
32.13/32.62 c before 144.0 seconds: {3, 5, 6, 8, 9} 2751
32.13/32.62 c before 162.0 seconds: {0, 3, 5, 6, 8, 9} 3751
32.13/32.62 c before 342.0 seconds: {0, 3, 4, 5, 6, 8, 9} 4350
32.13/32.62 c before 360.0 seconds: {0, 2, 3, 4, 5, 6, 8, 9} 5127
32.13/32.62 c before 450.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9} 5979
32.13/32.62 c before 522.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6527
32.13/32.62 c
32.13/32.62 c solver 1
32.13/32.62 c before 0.0 seconds: {} 0
32.13/32.62 c before 90.0 seconds: {9} 500
32.13/32.62 c before 234.0 seconds: {3, 9} 1110
32.13/32.62 c
32.13/32.62 c solver 2
32.13/32.63 c before 0.0 seconds: {} 0
32.13/32.63 c
32.13/32.63 cTotal time: 42
32.13/32.63 c 756.0 seconds unused
32.13/32.63 c 0 c 8 c 10
32.13/32.63 c 0 c 0 c 2
32.13/32.63 c 0 c 0 c 0
32.13/32.63 c is solver0 dominated by:
32.13/32.63 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)
32.13/32.63 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)
32.13/32.63 c is dominated? false
32.13/32.63 c
32.13/32.63 c is solver1 dominated by:
32.13/32.63 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)
32.13/32.63 c is dominated? true
32.13/32.63 c
32.13/32.63 c is solver2 dominated by:
32.13/32.63 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)
32.13/32.63 c is dominated? true
32.13/32.63 c
32.13/32.63 c Number of non-dominated solvers: 1
32.13/32.63 c remove dominated solvers
32.13/32.63 c solver 0 is not dominated by another solver
32.13/32.63 c solver 2 is dominated by another solver
32.13/32.63 c solver 1 is dominated by another solver
32.13/32.63 c
32.13/32.63 c solver 0: 522.0
32.13/32.63 c
32.13/32.63 c+ 29/29 of 71
32.13/32.63 c
32.13/32.63 c solver 1: 0.0
32.13/32.63 c
32.13/32.63 c solver 2: 0.0
32.13/32.63 c run abscon for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6527
32.13/32.64 c do not run mistral
32.13/32.64 c do not run choco
32.13/32.64 c Starting solver: HOME/cpHydra_k_10/solver/abscon
32.13/32.64 c On Instance: HOME/instance-1086015-1215236900.xml
32.13/32.64 c Running for: 1800 seconds
1259.31/1260.83 s SAT
1259.31/1260.83 v -2160 2532 -2280 -2696 2400 -2624 2380 2628 -2408 -2696 -2356 -2132 -2548 2260 -2604 -2592 -2692 2344 2736 -2160 -2384 -2684 -2268 -2152 -2648 2400 -2736 2296 2424 2160 -2492 -2736 -2420 -2340 -2696 -2616 -2184 2160 2440 2568 -2692 -2720 -2236 -2456 2140 -2300 -2328 -2608 2120 -2480 2400 -2444 -2664 2336 2440 2180 -2208 2592 -2736 2588 2572 2620 -2468 -2616 2676 -2456 -2696 -2352 -2380 2224 -2660 -2680 2728 -2612 -2120 -2692 -2512 -2664 -2320 2148 -2316 -2352 -2176 2632 -2508 2260 -2724 -2368 -2160 2680 2664 -2472 -2200 2600 2688 2528 2544 2300 2236 -2120 2732 -2260 2368 -2684 -2120 2316 -2540 2600 -2268 -2680 2256 -2256 2600 -2532 -2172 -2600 2696 -2332 -2576 2376 2488 -2696 2580 -2152 2256 2600 2444 -2644 -2640 -2548 2256 -2160 -2512 -2484 2168 -2304 -2344 2496 2508 -2316 -2416 -2736 2244 -2192 -2144 2552 2716 2508 -2428 -2252 2304 -2136 -2400 -2160 -2452 -2412 -2292 -2508 -2588 -2736 -2412 -2608 -2168 2120 -2424 -2672 2636 2548 2684 -2160 2640 -2512 -2144 -2436 2736 -2560 -2600 2592 -2632 -2264 -2392 -2524 -2184 -2368 2672 -2464 -2476 -2696 -2124 -2264 -2524 -2120 -2548 -2160 -2736 2568 2432 2120 -2716 -2248 2652 -2228 2640 -2708 -2736 -2324 -2736 -2144 2396 -2372 -2228 2572 -2696 -2652 -2408 -2488 -2220 -2696 2516 2368 2720 -2300 2544 -2552 2320 -2284 2168 2692 2368 -2700 -2380 -2628 -2340 2336 -2176 -2376 2680 -2388 2400 2276 2368 -2672 -2368 -2660 -2472 -2216 2120 2460 -2612 2644 2408 -2688 2120 2324 2640 -2412 -2472 2696 -2404 -2388 2180 -2160 2348 -2412 -2284 2220 -2244 -2196 -2416 -2668 2236 2324 -2368 2404 2160 2164 -2668 -2560 2300 2480 2160 -2188 -2464 -2668 2552 2144 -2392 2592 2308 2728 -2352 -2160 2460 -2240 2632 2628 -2736 -2488 2504 -2724 2448 -2556 -2160 -2688 2516 -2696 2484 -2616 2244 2660 2120 -2240 2608 2172 -2208 2624 2368 -2652 -2696 -2236 -2712 -2380 2568 -2276 -2244 -2384 -2564 2532 2272 -2732 -2220 -2428 -2340 -2168 2384 2328 -2156 2316 2120 -2704 2620 -2404 -2260 -2400 -2280 -2660 2248 -2640 -2628 2424 -2684 -2296 -2500 -2588 -2232 -2160 2352 -2472 2736 2120 2640 2676 2308 2396 -2736 -2276 2668 -2452 2120 2244 2216 -2252 -2312 -2120 -2680 2680 2508 2128 2664 2520 2136 2488 -2696 2728 -2324 2272 -2464 -2268 2228 -2556 2296 2368 2172 -2160 -2176 -2296 2632 2172 -2432 -2380 2164 -2704 -2160 -2324 -2364 2120 -2396 2696 -2496 -2736 -2348 -2496 2640 -2340 -2664 -2224 -2292 -2696 2252 2496 -2556 -2468 -2456 -2300 -2284 2584 -2640 -2560 2720 -2136 -2468 2552 2604 2696 2556 -2532 2352 2440 -2212 2572 -2396 -2696 -2120 -2328 -2160 2120 2532 -2372 2680 -2692 2176 2408 2580 2432 -2580 -2428 2636 2292 -2284 -2596 2672 -2564 2240 2224 -2736 -2344 2176 2572 -2712 2696 -2700 -2220 2300 2592 -2300 2492 2392 -2316 2188 -2676 -2512 2240 -2400 -2440 -2260 -2320 2296 -2160 2228 -2132 -2608 2660 -2512 -2220 -2164 2696 -2272 -2212 -2696 2564 2120 -2292 -2344 -2168 2444 2724 -2652 -2360 -2388 2240 -2696 -2720 2684 2508 2628 2236 -2400 -2708 -2220 -2492 -2148 2592 -2268 2584 -2732 -2372 -2528 2160 -2572 2512 2600 -2584 2216 -2648 -2296 -2720 -2508 -2680 2628 2348 -2356 -2592 2356 2164 -2652 2300 2124 -2340 2524 2624 -2348 -2612 -2680 -2572 -2240 -2636 -2480 -2576 -2196 2148 2420 -2576 2728 -2212 2120 2660 2220 2208 2204 -2736 2256 -2160 -2240 2652 -2212 -2736 2404 -2468 -2308 2148 2292 -2160 -2696 -2160 2516 2728 -2376 2264 2608 -2448 -2696 2576 -2616 -2140 -2736 2312 -2688 2440 2364 2284 2164 -2200 2572 2160 -2536 -2168 -2200 2644 -2460 -2688 -2492 -2184 -2700 2396 2456 2248 -2624 2716 -2428 -2188 2408 2628 -2292 2584 -2552 2256 -2736 2208 2136 -2344 2324 -2268 -2628 2708 -2640 -2456 -2196 -2640 2336 2496 2140 -2696 2356 2332 -2684 2696 2308 -2396 -2648 2304 2120 -2652 2524 -2372 -2612 -2348 -2736 -2692 -2404 -2276 2136 2496 2144 -2632 -2736 -2500 2676 -2188 -2660 -2440 -2716 -2440 2260 2164 2676 2408 2688 -2256 2284 -2240 -2636 2128 2688 -2696 2736 -2332 2668 2424 -2616 2316 -2524 -2248 2128 -2704 2284 -2520 -2736 2552 2736 2212 -2676 -2220 2312 -2196 -2576 2636 -2696 2596 -2724 2540 2552 2332 -2624 2660 2292 2172 -2300 -2680 -2596 2120 2120 -2204 -2132 2396 2360 -2272 -2532 2584 -2216 -2192 -2712 -2360 -2276 2340 -2120 2688 2248 2312 -2300 -2688 -2608 2264 2244 2212 -2196 2708 -2276 -2672 2316 -2228 2680 -2732 -2692 -2248 2352 2508 -2468 -2196 -2404 -2652 -2484 -2624 -2240 -2428 -2608 2120 2176 -2356 2120 -2696 -2304 2352 -2528 -2328 2644 -2696 2696 2736 2452 -2216 -2160 2124 2736 -2696 2212 -2452 -2696 -2432 2364 -2628 -2380 -2500 2548 2132 -2736 -2440 2304 -2136 -2260 2668 -2296 -2692 -2360 -2260 2356 -2548 -2260 2120 2252 -2640 2292 -2204 -2160 -2328 -2172 -2496 -2176 2228 2400 -2148 -2660 2160 -2404 -2224 2164 -2736 -2212 -2736 -2184 2120 -2120 -2220 2148 2484 2500 2656 -2440 2212 -2600 -2656 -2560 2536 -2492 2164 2468 -2160 -2360 -2424 -2712 2664 -2684 -2200 -2604 2468 2648 2200 -2492 -2612 -2536 2188 2392 2612 -2340 -2536 -2172 -2664 2696 -2736 -2444 -2340 -2504 2364 -2612 2244 -2176 2236 -2280 -2552 2164 -2524 2736 2336 -2124 2528 -2672 2184 2544 2736 -2312 2188 -2120 2284 2628 2340 -2160 2168 2696 2628 -2160 -2124 -2736 2416 2444 2312 2560 -2696 -2120 2312 2288 2192 2596 -2296 -2624 -2196 -2136 -2160 2668 2328 -2432 -2156 -2188 2120 2708 -2216 -2696 2296 2680 2256 -2560 2332 2560 -2736 2184 2256 2672 2664 -2204 -2204 2352 2128 -2316 2600 -2588 -2708 -2668 2692 -2304 2704 -2424 2388 2676 2476 -2720 -2352 2700 2636 -2200 -2668 2120 2264 2120 2728 2276 -2552 -2696 2488 -2420 2480 2148 2264 -2160 -2160 -2228 2176 2696 2540 -2584 -2420 -2512 2188 -2316 2556 -2684 2372 2592 -2552 -2520 2172 -2268 2324 2176 -2608 -2736 2256 2332 -2604 2120 -2620 -2416 -2224 -2292 -2584 2252 -2732 -2676 -2552 -2360 2120 -2624 2580 -2160 2620 -2276 -2320 2360 -2228 -2176 -2688 2592 -2160 2460 -2288 -2160 2588 2668 -2188 2648 2684 -2692 2356 2632 2720 -2176 2412 -2344 2588 2320 -2460 -2732 -2620 2392 2160 -2384 -2668 2144 -2696 -2160 2664 2392 2120 2176 -2468 2468 2628 -2160 2716 2444 2204 -2736 2208 2336 -2728 -2688 -2352 2328 -2572 -2476 2120 2456 -2160 -2516 -2592 2240 -2160 -2640 -2160 2696 -2716 2344 2340 -2252 2356 -2652 -2120 2288 -2736 2732 2604 2260 2448 -2460 2360 2624 -2532 -2120 -2160 -2568 -2392 -2184 -2120 -2224 2680 -2276 2600 -2736 -2232 2260 -2164 2568 -2708 -2664 -2120 -2292 2264 -2504 2672 -2464 -2332 -2576 2724 -2516 2288 -2632 2312 2296 2620 2340 -2508 2336 -2500 -2248 -2464 -2628 -2228 -2132 2256 -2392 -2696 2560 2720 -2160 -2128 -2604 2696 -2736 2616 -2696 2400 -2252 2384 -2492 -2312 -2568 -2584 2676 -2364 -2204 -2252 2668 2592 -2536 -2448 2180 -2696 -2188 2460 -2484 -2640 -2668 2504 -2368 -2704 -2724 -2340 2252 2736 -2660 -2244 -2148 2500 -2440 -2208 2224 2164 2688 2612 2436 -2328 -2480 -2208 -2256 2624 -2404 -2304 2272 2268 -2168 -2708 2120 -2708 -2300 -2428 2248 -2516 2716 -2644 -2304 -2464 -2736 -2144 -2328 -2552 -2568 -2136 -2372 -2560 -2640 -2460 -2352 -2188 -2584 -2184 2380 2444 -2512 2692 2696 -2176 -2212 2160 2688 -2536 2440 2708 -2696 -2632 -2280 2680 2572 2408 2308 2188 2548 -2624 -2544 2536 2700 2428 2464 2260 2736 -2736 2516 2120 -2668 2156 -2692 2188 2264 2660 -2296 -2596 -2208 -2216 2544 -2156 -2216 2180 -2668 -2284 2132 -2420 2556 -2736 2660 -2120 -2540 -2280 2244 2160 2252 -2288 2444 -2600 -2452 2368 2572 -2160 -2188 -2644 2252 -2120 -2656 -2640 -2228 -2268 -2668 -2160 2528 2132 2680 -2204 -2280 -2696 2736 -2160 2724 2600 -2736 -2400 2124 2384 2420 2540 2172 2652 2652 2228 2588 -2532 2600 2424 2600 -2448 2140 2496 -2384 -2664 -2176 -2476 2572 2664 -2172 -2728 2120 2164 2160 2728 2700 2384 2272 -2520 2296 -2184 -2400 2232 2356 2124 2728 -2364 2676 2620 -2624 2252 -2436 -2736 -2136 2388 -2500 -2668 -2396 2632 -2132 -2120 -2328 -2384 2676 -2736 -2704 -2432 -2472 -2504 -2120 2356 2576 -2508 -2712 2664 2460 -2612 2172 2360 -2280 -2396 -2160 2588 -2288 2380 -2556 -2200 -2596 -2632 -2340 2148 2324 2344 -2736 -2484 -2564 2600 -2260 -2668 2204 2200 -2300 -2160 -2680 2120 -2704 2436 -2612 2716 -2696 2700 -2696 -2452 2508 -2720 -2468 -2616 2120 -2500 -2480 -2376 -2620 -2568 -2160 -2692 -2520 -2532 -2372 2124 -2172 -2544 -2160 -2176 -2300 -2512 2648 -2132 -2364 -2216 -2676 -2696 -2612 -2560 -2348 2736 -2584 2564 -2160 2472 -2504 -2420 2720 -2664 -2228 -2668 -2432 -2164 -2696 2180 2716 2220 -2696 2124 2356 2120 -2188 2236 2120 -2272 -2420 -2312 2120 2252 -2696 2484 2672 -2184 2396 2572 -2160 2424 2232 -2736 2468 -2384 -2736 -2320 -2624 -2260 2148 -2200 -2708 -2172 2216 2140 2260 -2504
1259.31/1260.84 d ASSIGNMENTS 18052
1259.31/1260.84 d CHECKS 3099210569
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1086015-1215236900/watcher-1086015-1215236900 -o /tmp/evaluation-result-1086015-1215236900/solver-1086015-1215236900 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1086015-1215236900.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.00 2.15 2.13 4/84 20608
/proc/meminfo: memFree=1177656/2055920 swapFree=4179680/4192956
[pid=20608] ppid=20606 vsize=18572 CPUtime=0
/proc/20608/stat : 20608 (runsolver) R 20606 20608 17302 0 -1 4194368 15 0 0 0 0 0 0 0 21 0 1 0 2002662731 19017728 292 996147200 4194304 4296836 548682068480 18446744073709551615 234211568935 0 0 4096 24578 0 0 0 17 1 0 0
/proc/20608/statm: 4643 292 257 25 0 2626 0
[startup+0.0832259 s]
/proc/loadavg: 2.00 2.15 2.13 4/84 20608
/proc/meminfo: memFree=1177656/2055920 swapFree=4179680/4192956
[pid=20608] ppid=20606 vsize=5360 CPUtime=0
/proc/20608/stat : 20608 (hydra) S 20606 20608 17302 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2002662731 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20608/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.102224 s]
/proc/loadavg: 2.00 2.15 2.13 4/84 20608
/proc/meminfo: memFree=1177656/2055920 swapFree=4179680/4192956
[pid=20608] ppid=20606 vsize=5360 CPUtime=0
/proc/20608/stat : 20608 (hydra) S 20606 20608 17302 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2002662731 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20608/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.302272 s]
/proc/loadavg: 2.00 2.15 2.13 4/84 20608
/proc/meminfo: memFree=1177656/2055920 swapFree=4179680/4192956
[pid=20608] ppid=20606 vsize=5360 CPUtime=0
/proc/20608/stat : 20608 (hydra) S 20606 20608 17302 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2002662731 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20608/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.702361 s]
/proc/loadavg: 2.00 2.15 2.13 4/84 20608
/proc/meminfo: memFree=1177656/2055920 swapFree=4179680/4192956
[pid=20608] ppid=20606 vsize=5360 CPUtime=0
/proc/20608/stat : 20608 (hydra) S 20606 20608 17302 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2002662731 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20608/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50152 s]
/proc/loadavg: 2.00 2.15 2.13 3/86 20612
/proc/meminfo: memFree=1162920/2055920 swapFree=4179680/4192956
[pid=20608] ppid=20606 vsize=5360 CPUtime=0
/proc/20608/stat : 20608 (hydra) S 20606 20608 17302 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2002662731 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20608/statm: 1340 236 195 169 0 51 0
[pid=20612] ppid=20608 vsize=67336 CPUtime=1.46
/proc/20612/stat : 20612 (xsolve) R 20608 20608 17302 0 -1 4194304 11403 0 0 0 138 8 0 0 25 0 1 0 2002662733 68952064 11166 996147200 134512640 135239763 4294956176 18446744073709551615 134535397 0 0 4096 0 0 0 0 17 1 0 0
/proc/20612/statm: 16834 11166 416 177 0 15737 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 72696
[startup+3.10184 s]
/proc/loadavg: 2.00 2.15 2.13 3/86 20612
/proc/meminfo: memFree=1133544/2055920 swapFree=4179680/4192956
[pid=20608] ppid=20606 vsize=5360 CPUtime=0
/proc/20608/stat : 20608 (hydra) S 20606 20608 17302 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2002662731 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20608/statm: 1340 236 195 169 0 51 0
[pid=20612] ppid=20608 vsize=67336 CPUtime=3.04
/proc/20612/stat : 20612 (xsolve) R 20608 20608 17302 0 -1 4194304 11403 0 0 0 295 9 0 0 25 0 1 0 2002662733 68952064 11166 996147200 134512640 135239763 4294956176 18446744073709551615 134535329 0 0 4096 0 0 0 0 17 1 0 0
/proc/20612/statm: 16834 11166 416 177 0 15737 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 72696
[startup+6.30151 s]
/proc/loadavg: 2.00 2.14 2.13 3/86 20612
/proc/meminfo: memFree=1137960/2055920 swapFree=4179680/4192956
[pid=20608] ppid=20606 vsize=5360 CPUtime=0
/proc/20608/stat : 20608 (hydra) S 20606 20608 17302 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2002662731 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20608/statm: 1340 236 195 169 0 51 0
[pid=20612] ppid=20608 vsize=67336 CPUtime=6.21
/proc/20612/stat : 20612 (xsolve) R 20608 20608 17302 0 -1 4194304 11403 0 0 0 612 9 0 0 25 0 1 0 2002662733 68952064 11166 996147200 134512640 135239763 4294956176 18446744073709551615 134532177 0 0 4096 0 0 0 0 17 1 0 0
/proc/20612/statm: 16834 11166 416 177 0 15737 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 72696
[startup+12.7018 s]
/proc/loadavg: 2.00 2.14 2.13 3/86 20612
/proc/meminfo: memFree=1134248/2055920 swapFree=4179680/4192956
[pid=20608] ppid=20606 vsize=5360 CPUtime=0
/proc/20608/stat : 20608 (hydra) S 20606 20608 17302 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2002662731 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20608/statm: 1340 236 195 169 0 51 0
[pid=20612] ppid=20608 vsize=67336 CPUtime=12.55
/proc/20612/stat : 20612 (xsolve) R 20608 20608 17302 0 -1 4194304 11403 0 0 0 1246 9 0 0 25 0 1 0 2002662733 68952064 11166 996147200 134512640 135239763 4294956176 18446744073709551615 134541333 0 0 4096 0 0 0 0 17 1 0 0
/proc/20612/statm: 16834 11166 416 177 0 15737 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 72696
[startup+25.5025 s]
/proc/loadavg: 2.00 2.13 2.12 3/86 20612
/proc/meminfo: memFree=1134440/2055920 swapFree=4179680/4192956
[pid=20608] ppid=20606 vsize=5360 CPUtime=0
/proc/20608/stat : 20608 (hydra) S 20606 20608 17302 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2002662731 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20608/statm: 1340 236 195 169 0 51 0
[pid=20612] ppid=20608 vsize=67336 CPUtime=25.22
/proc/20612/stat : 20612 (xsolve) R 20608 20608 17302 0 -1 4194304 11404 0 0 0 2513 9 0 0 25 0 1 0 2002662733 68952064 11167 996147200 134512640 135239763 4294956176 18446744073709551615 134532191 0 0 4096 0 0 0 0 17 1 0 0
/proc/20612/statm: 16834 11167 417 177 0 15737 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 72696
[startup+51.1038 s]
/proc/loadavg: 2.00 2.12 2.12 3/106 20636
/proc/meminfo: memFree=1069696/2055920 swapFree=4179680/4192956
[pid=20608] ppid=20606 vsize=5360 CPUtime=26.23
/proc/20608/stat : 20608 (hydra) S 20606 20608 17302 0 -1 4194304 375 12006 0 2 0 0 2613 10 18 0 1 0 2002662731 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20608/statm: 1340 238 196 169 0 51 0
[pid=20616] ppid=20608 vsize=197348 CPUtime=5.93
/proc/20616/stat : 20616 (java) S 20608 20608 17302 0 -1 0 11432 0 1 0 574 19 0 0 18 0 10 0 2002665389 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20616/statm: 49337 9403 2543 9 0 43920 0
[pid=20626] ppid=20616 vsize=5356 CPUtime=0
/proc/20626/stat : 20626 (abscon) S 20616 20608 17302 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 2002665996 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 234211566404 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/20626/statm: 1339 235 194 169 0 50 0
[pid=20627] ppid=20626 vsize=655728 CPUtime=18.4
/proc/20627/stat : 20627 (java) S 20626 20608 17302 0 -1 0 22105 0 1 0 1826 14 0 0 18 0 9 0 2002665997 671465472 21605 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20627/statm: 163932 21605 2008 9 0 158460 0
[pid=20627/tid=20629] ppid=20626 vsize=655728 CPUtime=17.85
/proc/20627/task/20629/stat : 20629 (java) R 20626 20608 17302 0 -1 64 12455 0 1 0 1775 10 0 0 25 0 9 0 2002665997 671465472 21605 996147200 134512640 134550740 4294955808 18446744073709551615 4126899308 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20630] ppid=20626 vsize=655728 CPUtime=0.31
/proc/20627/task/20630/stat : 20630 (java) S 20626 20608 17302 0 -1 64 8449 0 0 0 28 3 0 0 16 0 9 0 2002665999 671465472 21605 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20631] ppid=20626 vsize=655728 CPUtime=0
/proc/20627/task/20631/stat : 20631 (java) S 20626 20608 17302 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002665999 671465472 21605 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20632] ppid=20626 vsize=655728 CPUtime=0
/proc/20627/task/20632/stat : 20632 (java) S 20626 20608 17302 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002665999 671465472 21605 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20633] ppid=20626 vsize=655728 CPUtime=0
/proc/20627/task/20633/stat : 20633 (java) S 20626 20608 17302 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 2002666001 671465472 21605 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20634] ppid=20626 vsize=655728 CPUtime=0.22
/proc/20627/task/20634/stat : 20634 (java) S 20626 20608 17302 0 -1 64 656 0 0 0 22 0 0 0 15 0 9 0 2002666001 671465472 21605 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20635] ppid=20626 vsize=655728 CPUtime=0
/proc/20627/task/20635/stat : 20635 (java) S 20626 20608 17302 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2002666001 671465472 21605 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20636] ppid=20626 vsize=655728 CPUtime=0
/proc/20627/task/20636/stat : 20636 (java) S 20626 20608 17302 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002666001 671465472 21605 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20628] ppid=20626 vsize=7044 CPUtime=0
/proc/20628/stat : 20628 (translate) S 20626 20608 17302 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2002665997 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 234211737682 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/20628/statm: 1761 213 182 1 0 41 0
[pid=20616/tid=20617] ppid=20608 vsize=197348 CPUtime=4.68
/proc/20616/task/20617/stat : 20617 (java) S 20608 20608 17302 0 -1 64 3856 0 1 0 463 5 0 0 25 0 10 0 2002665390 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=20616/tid=20618] ppid=20608 vsize=197348 CPUtime=0.98
/proc/20616/task/20618/stat : 20618 (java) S 20608 20608 17302 0 -1 64 6122 0 0 0 87 11 0 0 16 0 10 0 2002665391 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20619] ppid=20608 vsize=197348 CPUtime=0
/proc/20616/task/20619/stat : 20619 (java) S 20608 20608 17302 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002665391 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20620] ppid=20608 vsize=197348 CPUtime=0
/proc/20616/task/20620/stat : 20620 (java) S 20608 20608 17302 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2002665391 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20621] ppid=20608 vsize=197348 CPUtime=0
/proc/20616/task/20621/stat : 20621 (java) S 20608 20608 17302 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2002665393 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20622] ppid=20608 vsize=197348 CPUtime=0.21
/proc/20616/task/20622/stat : 20622 (java) S 20608 20608 17302 0 -1 64 645 0 0 0 21 0 0 0 16 0 10 0 2002665393 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20623] ppid=20608 vsize=197348 CPUtime=0
/proc/20616/task/20623/stat : 20623 (java) S 20608 20608 17302 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2002665393 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20624] ppid=20608 vsize=197348 CPUtime=0
/proc/20616/task/20624/stat : 20624 (java) S 20608 20608 17302 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 2002665394 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20616/tid=20625] ppid=20608 vsize=197348 CPUtime=0
/proc/20616/task/20625/stat : 20625 (java) S 20608 20608 17302 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 2002665996 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.56
Current children cumulated vsize (KiB) 870836
[startup+102.308 s]
/proc/loadavg: 2.04 2.11 2.11 3/106 20636
/proc/meminfo: memFree=1007040/2055920 swapFree=4179680/4192956
[pid=20608] ppid=20606 vsize=5360 CPUtime=26.23
/proc/20608/stat : 20608 (hydra) S 20606 20608 17302 0 -1 4194304 375 12006 0 2 0 0 2613 10 18 0 1 0 2002662731 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20608/statm: 1340 238 196 169 0 51 0
[pid=20616] ppid=20608 vsize=197348 CPUtime=5.93
/proc/20616/stat : 20616 (java) S 20608 20608 17302 0 -1 0 11432 0 1 0 574 19 0 0 18 0 10 0 2002665389 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20616/statm: 49337 9403 2543 9 0 43920 0
[pid=20626] ppid=20616 vsize=5356 CPUtime=0
/proc/20626/stat : 20626 (abscon) S 20616 20608 17302 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 2002665996 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 234211566404 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/20626/statm: 1339 235 194 169 0 50 0
[pid=20627] ppid=20626 vsize=655728 CPUtime=69.43
/proc/20627/stat : 20627 (java) S 20626 20608 17302 0 -1 0 38519 0 1 0 6918 25 0 0 18 0 9 0 2002665997 671465472 37788 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20627/statm: 163932 37788 2617 9 0 158460 0
[pid=20627/tid=20629] ppid=20626 vsize=655728 CPUtime=67.72
/proc/20627/task/20629/stat : 20629 (java) R 20626 20608 17302 0 -1 64 12567 0 1 0 6761 11 0 0 25 0 9 0 2002665997 671465472 37788 996147200 134512640 134550740 4294955808 18446744073709551615 4126899304 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20630] ppid=20626 vsize=655728 CPUtime=1.28
/proc/20627/task/20630/stat : 20630 (java) S 20626 20608 17302 0 -1 64 24642 0 0 0 116 12 0 0 16 0 9 0 2002665999 671465472 37788 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20631] ppid=20626 vsize=655728 CPUtime=0
/proc/20627/task/20631/stat : 20631 (java) S 20626 20608 17302 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002665999 671465472 37788 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20632] ppid=20626 vsize=655728 CPUtime=0
/proc/20627/task/20632/stat : 20632 (java) S 20626 20608 17302 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 2002665999 671465472 37788 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20633] ppid=20626 vsize=655728 CPUtime=0
/proc/20627/task/20633/stat : 20633 (java) S 20626 20608 17302 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 2002666001 671465472 37788 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20634] ppid=20626 vsize=655728 CPUtime=0.39
/proc/20627/task/20634/stat : 20634 (java) S 20626 20608 17302 0 -1 64 751 0 0 0 38 1 0 0 15 0 9 0 2002666001 671465472 37788 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20635] ppid=20626 vsize=655728 CPUtime=0
/proc/20627/task/20635/stat : 20635 (java) S 20626 20608 17302 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2002666001 671465472 37788 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
################
# More data... #
################
[pid=20616/tid=20623] ppid=20608 vsize=197348 CPUtime=0
/proc/20616/task/20623/stat : 20623 (java) S 20608 20608 17302 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2002665393 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20624] ppid=20608 vsize=197348 CPUtime=0
/proc/20616/task/20624/stat : 20624 (java) S 20608 20608 17302 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 2002665394 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20616/tid=20625] ppid=20608 vsize=197348 CPUtime=0
/proc/20616/task/20625/stat : 20625 (java) S 20608 20608 17302 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 2002665996 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1258.45
Current children cumulated vsize (KiB) 870836
[startup+1260.3 s]
/proc/loadavg: 2.34 2.45 2.25 3/103 20726
/proc/meminfo: memFree=1258968/2055920 swapFree=4179680/4192956
[pid=20608] ppid=20606 vsize=5360 CPUtime=26.23
/proc/20608/stat : 20608 (hydra) S 20606 20608 17302 0 -1 4194304 375 12006 0 2 0 0 2613 10 18 0 1 0 2002662731 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20608/statm: 1340 238 196 169 0 51 0
[pid=20616] ppid=20608 vsize=197348 CPUtime=5.93
/proc/20616/stat : 20616 (java) S 20608 20608 17302 0 -1 0 11432 0 1 0 574 19 0 0 18 0 10 0 2002665389 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20616/statm: 49337 9403 2543 9 0 43920 0
[pid=20626] ppid=20616 vsize=5356 CPUtime=0
/proc/20626/stat : 20626 (abscon) S 20616 20608 17302 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 2002665996 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 234211566404 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/20626/statm: 1339 235 194 169 0 50 0
[pid=20627] ppid=20626 vsize=655728 CPUtime=1226.69
/proc/20627/stat : 20627 (java) S 20626 20608 17302 0 -1 0 38559 0 1 0 122594 75 0 0 18 0 9 0 2002665997 671465472 37809 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20627/statm: 163932 37809 2617 9 0 158460 0
[pid=20627/tid=20629] ppid=20626 vsize=655728 CPUtime=1224.94
/proc/20627/task/20629/stat : 20629 (java) R 20626 20608 17302 0 -1 64 12581 0 1 0 122433 61 0 0 25 0 9 0 2002665997 671465472 37809 996147200 134512640 134550740 4294955808 18446744073709551615 4126899202 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20630] ppid=20626 vsize=655728 CPUtime=1.28
/proc/20627/task/20630/stat : 20630 (java) S 20626 20608 17302 0 -1 64 24642 0 0 0 116 12 0 0 16 0 9 0 2002665999 671465472 37809 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20631] ppid=20626 vsize=655728 CPUtime=0
/proc/20627/task/20631/stat : 20631 (java) S 20626 20608 17302 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002665999 671465472 37809 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20632] ppid=20626 vsize=655728 CPUtime=0
/proc/20627/task/20632/stat : 20632 (java) S 20626 20608 17302 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 2002665999 671465472 37809 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20633] ppid=20626 vsize=655728 CPUtime=0
/proc/20627/task/20633/stat : 20633 (java) S 20626 20608 17302 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 2002666001 671465472 37809 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20634] ppid=20626 vsize=655728 CPUtime=0.44
/proc/20627/task/20634/stat : 20634 (java) S 20626 20608 17302 0 -1 64 777 0 0 0 43 1 0 0 16 0 9 0 2002666001 671465472 37809 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20635] ppid=20626 vsize=655728 CPUtime=0
/proc/20627/task/20635/stat : 20635 (java) S 20626 20608 17302 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2002666001 671465472 37809 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20636] ppid=20626 vsize=655728 CPUtime=0
/proc/20627/task/20636/stat : 20636 (java) S 20626 20608 17302 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002666001 671465472 37809 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20628] ppid=20626 vsize=7044 CPUtime=0
/proc/20628/stat : 20628 (translate) S 20626 20608 17302 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2002665997 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 234211737682 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/20628/statm: 1761 213 182 1 0 41 0
[pid=20616/tid=20617] ppid=20608 vsize=197348 CPUtime=4.68
/proc/20616/task/20617/stat : 20617 (java) S 20608 20608 17302 0 -1 64 3856 0 1 0 463 5 0 0 25 0 10 0 2002665390 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=20616/tid=20618] ppid=20608 vsize=197348 CPUtime=0.98
/proc/20616/task/20618/stat : 20618 (java) S 20608 20608 17302 0 -1 64 6122 0 0 0 87 11 0 0 16 0 10 0 2002665391 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20619] ppid=20608 vsize=197348 CPUtime=0
/proc/20616/task/20619/stat : 20619 (java) S 20608 20608 17302 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002665391 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20620] ppid=20608 vsize=197348 CPUtime=0
/proc/20616/task/20620/stat : 20620 (java) S 20608 20608 17302 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2002665391 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20621] ppid=20608 vsize=197348 CPUtime=0
/proc/20616/task/20621/stat : 20621 (java) S 20608 20608 17302 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2002665393 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20622] ppid=20608 vsize=197348 CPUtime=0.21
/proc/20616/task/20622/stat : 20622 (java) S 20608 20608 17302 0 -1 64 645 0 0 0 21 0 0 0 16 0 10 0 2002665393 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20623] ppid=20608 vsize=197348 CPUtime=0
/proc/20616/task/20623/stat : 20623 (java) S 20608 20608 17302 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2002665393 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20624] ppid=20608 vsize=197348 CPUtime=0
/proc/20616/task/20624/stat : 20624 (java) S 20608 20608 17302 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 2002665394 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20616/tid=20625] ppid=20608 vsize=197348 CPUtime=0
/proc/20616/task/20625/stat : 20625 (java) S 20608 20608 17302 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 2002665996 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1258.85
Current children cumulated vsize (KiB) 870836
[startup+1260.7 s]
/proc/loadavg: 2.34 2.45 2.25 3/103 20726
/proc/meminfo: memFree=1258968/2055920 swapFree=4179680/4192956
[pid=20608] ppid=20606 vsize=5360 CPUtime=26.23
/proc/20608/stat : 20608 (hydra) S 20606 20608 17302 0 -1 4194304 375 12006 0 2 0 0 2613 10 18 0 1 0 2002662731 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20608/statm: 1340 238 196 169 0 51 0
[pid=20616] ppid=20608 vsize=197348 CPUtime=5.93
/proc/20616/stat : 20616 (java) S 20608 20608 17302 0 -1 0 11432 0 1 0 574 19 0 0 18 0 10 0 2002665389 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20616/statm: 49337 9403 2543 9 0 43920 0
[pid=20626] ppid=20616 vsize=5356 CPUtime=0
/proc/20626/stat : 20626 (abscon) S 20616 20608 17302 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 2002665996 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 234211566404 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/20626/statm: 1339 235 194 169 0 50 0
[pid=20627] ppid=20626 vsize=655728 CPUtime=1227.07
/proc/20627/stat : 20627 (java) S 20626 20608 17302 0 -1 0 38562 0 1 0 122632 75 0 0 18 0 9 0 2002665997 671465472 37812 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20627/statm: 163932 37812 2617 9 0 158460 0
[pid=20627/tid=20629] ppid=20626 vsize=655728 CPUtime=1225.31
/proc/20627/task/20629/stat : 20629 (java) R 20626 20608 17302 0 -1 64 12583 0 1 0 122470 61 0 0 22 0 9 0 2002665997 671465472 37812 996147200 134512640 134550740 4294955808 18446744073709551615 4127506323 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20630] ppid=20626 vsize=655728 CPUtime=1.28
/proc/20627/task/20630/stat : 20630 (java) S 20626 20608 17302 0 -1 64 24642 0 0 0 116 12 0 0 16 0 9 0 2002665999 671465472 37812 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20631] ppid=20626 vsize=655728 CPUtime=0
/proc/20627/task/20631/stat : 20631 (java) S 20626 20608 17302 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002665999 671465472 37812 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20632] ppid=20626 vsize=655728 CPUtime=0
/proc/20627/task/20632/stat : 20632 (java) S 20626 20608 17302 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 2002665999 671465472 37812 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20633] ppid=20626 vsize=655728 CPUtime=0
/proc/20627/task/20633/stat : 20633 (java) S 20626 20608 17302 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 2002666001 671465472 37812 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20634] ppid=20626 vsize=655728 CPUtime=0.45
/proc/20627/task/20634/stat : 20634 (java) S 20626 20608 17302 0 -1 64 778 0 0 0 44 1 0 0 16 0 9 0 2002666001 671465472 37812 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20635] ppid=20626 vsize=655728 CPUtime=0
/proc/20627/task/20635/stat : 20635 (java) S 20626 20608 17302 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2002666001 671465472 37812 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20636] ppid=20626 vsize=655728 CPUtime=0
/proc/20627/task/20636/stat : 20636 (java) S 20626 20608 17302 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002666001 671465472 37812 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20628] ppid=20626 vsize=7044 CPUtime=0
/proc/20628/stat : 20628 (translate) S 20626 20608 17302 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2002665997 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 234211737682 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/20628/statm: 1761 213 182 1 0 41 0
[pid=20616/tid=20617] ppid=20608 vsize=197348 CPUtime=4.68
/proc/20616/task/20617/stat : 20617 (java) S 20608 20608 17302 0 -1 64 3856 0 1 0 463 5 0 0 25 0 10 0 2002665390 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=20616/tid=20618] ppid=20608 vsize=197348 CPUtime=0.98
/proc/20616/task/20618/stat : 20618 (java) S 20608 20608 17302 0 -1 64 6122 0 0 0 87 11 0 0 16 0 10 0 2002665391 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20619] ppid=20608 vsize=197348 CPUtime=0
/proc/20616/task/20619/stat : 20619 (java) S 20608 20608 17302 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002665391 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20620] ppid=20608 vsize=197348 CPUtime=0
/proc/20616/task/20620/stat : 20620 (java) S 20608 20608 17302 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2002665391 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20621] ppid=20608 vsize=197348 CPUtime=0
/proc/20616/task/20621/stat : 20621 (java) S 20608 20608 17302 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2002665393 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20622] ppid=20608 vsize=197348 CPUtime=0.21
/proc/20616/task/20622/stat : 20622 (java) S 20608 20608 17302 0 -1 64 645 0 0 0 21 0 0 0 16 0 10 0 2002665393 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20623] ppid=20608 vsize=197348 CPUtime=0
/proc/20616/task/20623/stat : 20623 (java) S 20608 20608 17302 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2002665393 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20624] ppid=20608 vsize=197348 CPUtime=0
/proc/20616/task/20624/stat : 20624 (java) S 20608 20608 17302 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 2002665394 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20616/tid=20625] ppid=20608 vsize=197348 CPUtime=0
/proc/20616/task/20625/stat : 20625 (java) S 20608 20608 17302 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 2002665996 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1259.23
Current children cumulated vsize (KiB) 870836
[startup+1260.8 s]
/proc/loadavg: 2.34 2.45 2.25 3/103 20726
/proc/meminfo: memFree=1258968/2055920 swapFree=4179680/4192956
[pid=20608] ppid=20606 vsize=5360 CPUtime=26.23
/proc/20608/stat : 20608 (hydra) S 20606 20608 17302 0 -1 4194304 375 12006 0 2 0 0 2613 10 18 0 1 0 2002662731 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20608/statm: 1340 238 196 169 0 51 0
[pid=20616] ppid=20608 vsize=197348 CPUtime=5.93
/proc/20616/stat : 20616 (java) S 20608 20608 17302 0 -1 0 11451 0 1 0 574 19 0 0 18 0 10 0 2002665389 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20616/statm: 49337 9403 2543 9 0 43920 0
[pid=20626] ppid=20616 vsize=5356 CPUtime=0
/proc/20626/stat : 20626 (abscon) S 20616 20608 17302 0 -1 4194304 303 290 0 0 0 0 0 0 16 0 1 0 2002665996 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 234211566404 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/20626/statm: 1339 235 194 169 0 50 0
[pid=20627] ppid=20626 vsize=655728 CPUtime=1227.15
/proc/20627/stat : 20627 (java) S 20626 20608 17302 0 -1 0 38568 0 1 0 122640 75 0 0 18 0 9 0 2002665997 671465472 37817 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20627/statm: 163932 37817 2617 9 0 158460 0
[pid=20627/tid=20629] ppid=20626 vsize=655728 CPUtime=1225.39
/proc/20627/task/20629/stat : 20629 (java) S 20626 20608 17302 0 -1 64 12585 0 1 0 122478 61 0 0 23 0 9 0 2002665997 671465472 37817 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20630] ppid=20626 vsize=655728 CPUtime=1.28
/proc/20627/task/20630/stat : 20630 (java) S 20626 20608 17302 0 -1 64 24642 0 0 0 116 12 0 0 16 0 9 0 2002665999 671465472 37817 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20631] ppid=20626 vsize=655728 CPUtime=0
/proc/20627/task/20631/stat : 20631 (java) S 20626 20608 17302 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002665999 671465472 37817 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20632] ppid=20626 vsize=655728 CPUtime=0
/proc/20627/task/20632/stat : 20632 (java) S 20626 20608 17302 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 2002665999 671465472 37817 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20633] ppid=20626 vsize=655728 CPUtime=0
/proc/20627/task/20633/stat : 20633 (java) S 20626 20608 17302 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 2002666001 671465472 37817 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20634] ppid=20626 vsize=655728 CPUtime=0.45
/proc/20627/task/20634/stat : 20634 (java) S 20626 20608 17302 0 -1 64 782 0 0 0 44 1 0 0 15 0 9 0 2002666001 671465472 37817 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20635] ppid=20626 vsize=655728 CPUtime=0
/proc/20627/task/20635/stat : 20635 (java) S 20626 20608 17302 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2002666001 671465472 37817 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20636] ppid=20626 vsize=655728 CPUtime=0
/proc/20627/task/20636/stat : 20636 (java) S 20626 20608 17302 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002666001 671465472 37817 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20617] ppid=20608 vsize=197348 CPUtime=4.68
/proc/20616/task/20617/stat : 20617 (java) S 20608 20608 17302 0 -1 64 3875 0 1 0 463 5 0 0 16 0 10 0 2002665390 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=20616/tid=20618] ppid=20608 vsize=197348 CPUtime=0.98
/proc/20616/task/20618/stat : 20618 (java) S 20608 20608 17302 0 -1 64 6122 0 0 0 87 11 0 0 16 0 10 0 2002665391 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20619] ppid=20608 vsize=197348 CPUtime=0
/proc/20616/task/20619/stat : 20619 (java) S 20608 20608 17302 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002665391 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20620] ppid=20608 vsize=197348 CPUtime=0
/proc/20616/task/20620/stat : 20620 (java) S 20608 20608 17302 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2002665391 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20621] ppid=20608 vsize=197348 CPUtime=0
/proc/20616/task/20621/stat : 20621 (java) S 20608 20608 17302 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2002665393 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20622] ppid=20608 vsize=197348 CPUtime=0.21
/proc/20616/task/20622/stat : 20622 (java) S 20608 20608 17302 0 -1 64 645 0 0 0 21 0 0 0 16 0 10 0 2002665393 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20623] ppid=20608 vsize=197348 CPUtime=0
/proc/20616/task/20623/stat : 20623 (java) S 20608 20608 17302 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2002665393 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20624] ppid=20608 vsize=197348 CPUtime=0
/proc/20616/task/20624/stat : 20624 (java) S 20608 20608 17302 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 2002665394 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20616/tid=20625] ppid=20608 vsize=197348 CPUtime=0
/proc/20616/task/20625/stat : 20625 (java) S 20608 20608 17302 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 2002665996 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1259.31
Current children cumulated vsize (KiB) 863792
Child status: 0
Real time (s): 1260.85
CPU time (s): 1259.39
CPU user time (s): 1258.29
CPU system time (s): 1.10483
CPU usage (%): 99.8841
Max. virtual memory (cumulated for all children) (KiB): 870836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1258.29
system time used= 1.10483
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63150
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= 61483
involuntary context switches= 54440
runsolver used 5.32719 second user time and 12.7871 second system time
The end
Begin job on node54 at 2008-07-05 07:48:20
IDJOB=1086015
IDBENCH=57740
IDSOLVER=365
FILE ID=node54/1086015-1215236900
PBS_JOBID= 7881830
Free space on /tmp= 66520 MiB
SOLVER NAME= cpHydra k_10
BENCH NAME= CPAI08/csp/fapp/fapp12/normalized-fapp12-1500-10.xml
COMMAND LINE= HOME/cpHydra_k_10/hydra BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1086015-1215236900/watcher-1086015-1215236900 -o /tmp/evaluation-result-1086015-1215236900/solver-1086015-1215236900 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1086015-1215236900.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 029bcf31114915c1681378a4f18ed14e
RANDOM SEED=57583273
node54.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.279
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.279
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: 1178072 kB
Buffers: 5228 kB
Cached: 109956 kB
SwapCached: 6536 kB
Active: 776800 kB
Inactive: 44612 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1178072 kB
SwapTotal: 4192956 kB
SwapFree: 4179680 kB
Dirty: 27892 kB
Writeback: 0 kB
Mapped: 717640 kB
Slab: 40188 kB
Committed_AS: 4639612 kB
PageTables: 3164 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66496 MiB
End job on node54 at 2008-07-05 08:09:22