0.00/0.00 c cpHydra_k_10 version 0.0
63.92/64.55 c CASE TO CLASSIFY:
63.92/64.55 c Case: 0
63.92/64.55 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.234200 | c 15 > 15.348700 | 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
63.92/64.56 c choco : 1801.0
63.92/64.56 c mistral : 1801.0
63.92/64.56 c abscon : 1801.0
63.92/64.56 c
63.92/64.56 c
64.21/64.86 c List of same ones: 10
64.21/64.86 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-10.xml
64.21/64.86 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
64.21/64.87 c choco : 1801.0
64.21/64.87 c mistral : 1800.04
64.21/64.87 c abscon : 331.113
64.21/64.87 c
64.21/64.87 c
64.21/64.87 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-9.xml
64.21/64.87 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
64.21/64.88 c choco : 1801.0
64.21/64.88 c mistral : 1800.09
64.21/64.88 c abscon : 506.936
64.21/64.88 c
64.21/64.88 c
64.21/64.88 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-10.xml
64.21/64.88 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
64.21/64.89 c choco : 1801.0
64.21/64.89 c mistral : 1800.05
64.21/64.89 c abscon : 156.38
64.21/64.89 c
64.21/64.89 c
64.21/64.89 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-9.xml
64.21/64.89 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
64.21/64.90 c choco : 1801.0
64.21/64.90 c mistral : 1800.06
64.21/64.90 c abscon : 441.864
64.21/64.90 c
64.21/64.90 c
64.21/64.90 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-8.xml
64.21/64.90 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
64.30/64.91 c choco : 1801.0
64.30/64.91 c mistral : 1800.07
64.30/64.91 c abscon : 349.37
64.30/64.91 c
64.30/64.91 c
64.30/64.91 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-3.xml
64.30/64.91 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.234200 | c 15 > 10.001400 | 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
64.30/64.92 c choco : 1801.0
64.30/64.92 c mistral : 1800.08
64.30/64.92 c abscon : 15.1547
64.30/64.92 c
64.30/64.92 c
64.30/64.92 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-2.xml
64.30/64.92 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.234200 | c 15 > 9.977280 | 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
64.30/64.93 c choco : 1801.0
64.30/64.93 c mistral : 1800.08
64.30/64.93 c abscon : 12.863
64.30/64.93 c
64.30/64.93 c
64.30/64.93 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-10.xml
64.30/64.93 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
64.30/64.94 c choco : 1801.0
64.30/64.94 c mistral : 228.6
64.30/64.94 c abscon : 55.2496
64.30/64.94 c
64.30/64.94 c
64.30/64.94 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-9.xml
64.30/64.94 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
64.30/64.95 c choco : 1801.0
64.30/64.95 c mistral : 1800.03
64.30/64.95 c abscon : 129.181
64.30/64.95 c
64.30/64.95 c
64.30/64.95 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-1.xml
64.30/64.95 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.234200 | c 15 > 9.658210 | 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
64.30/64.96 c choco : 1801.0
64.30/64.96 c mistral : 1800.05
64.30/64.96 c abscon : 13.29
64.30/64.96 c
64.30/64.96 c
64.30/64.96 c Length: 10
64.30/64.96 c 4.653499999999999 4.8458999999999985 4.965306649543812 5.137439778138912 5.251897329918397 5.347299999999999 5.371419999999999 5.489200571943877 5.659172410258321 5.690489999999999
64.30/64.96 c
64.30/64.96 c 1.0 0.8434996217636394 0.768826049761266 0.6818132006521128 0.6340944319604966 0.599142588066721 0.5909077958413822 0.5537433762608153 0.50766587508156 0.5
64.30/64.96 c
64.30/64.96 c solver 0
64.30/64.96 c before 0.0 seconds: {} 0
64.30/64.96 c before 18.0 seconds: {5, 6, 9} 1690
64.30/64.96 c before 72.0 seconds: {5, 6, 7, 9} 2243
64.30/64.96 c before 144.0 seconds: {5, 6, 7, 8, 9} 2751
64.30/64.96 c before 162.0 seconds: {2, 5, 6, 7, 8, 9} 3520
64.30/64.97 c before 342.0 seconds: {0, 2, 5, 6, 7, 8, 9} 4520
64.30/64.97 c before 360.0 seconds: {0, 2, 4, 5, 6, 7, 8, 9} 5154
64.30/64.97 c before 450.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9} 5836
64.30/64.97 c before 522.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6679
64.30/64.97 c
64.30/64.97 c solver 1
64.30/64.97 c before 0.0 seconds: {} 0
64.30/64.97 c before 234.0 seconds: {7} 553
64.30/64.97 c
64.30/64.97 c solver 2
64.30/64.97 c before 0.0 seconds: {} 0
64.30/64.97 c
64.30/64.97 cTotal time: 42
64.30/64.97 c 756.0 seconds unused
64.30/64.97 c 0 c 9 c 10
64.30/64.97 c 0 c 0 c 1
64.30/64.97 c 0 c 0 c 0
64.30/64.97 c is solver0 dominated by:
64.30/64.97 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)
64.30/64.97 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)
64.30/64.97 c is dominated? false
64.30/64.97 c
64.30/64.97 c is solver1 dominated by:
64.30/64.97 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)
64.30/64.97 c is dominated? true
64.30/64.97 c
64.30/64.97 c is solver2 dominated by:
64.30/64.97 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)
64.30/64.97 c is dominated? true
64.30/64.97 c
64.30/64.97 c Number of non-dominated solvers: 1
64.30/64.97 c remove dominated solvers
64.30/64.97 c solver 0 is not dominated by another solver
64.30/64.97 c solver 2 is dominated by another solver
64.30/64.97 c solver 1 is dominated by another solver
64.30/64.97 c
64.30/64.97 c solver 0: 522.0
64.30/64.97 c
64.30/64.97 c+ 29/29 of 71
64.30/64.97 c
64.30/64.97 c solver 1: 0.0
64.30/64.97 c
64.30/64.97 c solver 2: 0.0
64.30/64.97 c run abscon for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6679
64.30/64.97 c do not run mistral
64.30/64.97 c do not run choco
64.30/64.97 c Starting solver: HOME/cpHydra_k_10/solver/abscon
64.30/64.97 c On Instance: HOME/instance-1087233-1215243168.xml
64.30/64.97 c Running for: 1800 seconds
1010.68/1011.86 s SAT
1010.68/1011.86 v 2020 -2020 2660 -2624 2568 2156 2060 2248 -2740 -2080 2536 -2060 2600 -2032 2548 -2412 2636 2336 -2068 2128 -2020 -2548 -2512 -2060 2380 2020 2632 -2740 2736 -2156 2444 -2640 -2108 -2316 -2604 -2584 2540 -2208 -2656 2092 2656 -2188 -2504 -2284 -2676 -2700 2700 2136 2428 2156 2084 -2468 -2480 -2740 2196 2060 2724 -2412 2516 -2276 2240 -2612 2560 2416 -2332 -2716 -2620 -2588 2036 -2700 -2724 2500 -2364 -2528 -2432 -2656 -2132 -2024 -2260 -2632 2604 2608 -2596 -2332 -2572 -2484 2160 -2420 -2648 2512 -2156 2580 2552 -2640 -2600 2060 2392 2276 -2176 -2664 -2352 -2260 -2292 -2096 2208 2504 2668 -2436 -2620 2140 2048 -2648 2020 -2204 -2380 2424 2060 -2020 2684 2240 -2740 -2464 -2408 2700 2280 2520 2488 -2632 -2096 -2548 2280 -2680 -2100 2332 -2588 -2200 -2644 -2612 2440 -2192 -2540 2700 -2624 -2604 -2064 -2716 -2700 2020 -2592 2128 -2084 2700 -2348 -2596 -2444 -2480 -2072 -2708 -2500 -2308 -2480 -2660 2536 -2672 -2508 2328 2428 2320 2740 -2504 2208 -2172 -2132 -2736 2120 2312 -2312 -2476 -2700 2020 -2628 2628 -2232 -2520 -2508 2532 -2104 -2512 2232 -2352 -2020 2208 -2636 2060 2640 -2652 2244 2156 -2172 -2460 2604 2692 -2700 -2636 2096 -2144 -2552 2676 2056 2032 2556 2156 2096 -2244 2412 -2564 -2640 -2364 -2568 -2240 -2288 -2716 -2452 -2616 -2060 -2400 -2132 2616 2112 2724 -2600 -2548 -2420 -2256 -2700 -2240 2040 -2040 -2068 -2700 2740 -2700 -2340 -2548 -2184 -2704 2380 2460 -2636 2580 -2532 -2280 -2560 -2472 2280 2700 -2368 -2272 -2560 -2416 -2344 -2060 2428 -2328 2212 2628 2740 -2512 2328 -2580 -2484 -2128 -2444 2492 2124 2020 2236 -2100 2404 2700 2088 -2488 -2164 -2556 2608 2564 2596 2616 -2516 -2468 -2044 -2644 -2596 2692 -2592 2548 -2304 -2336 -2112 2300 -2640 -2092 -2636 -2496 -2152 2404 -2700 -2280 2576 2220 -2116 -2604 -2056 -2676 2028 2480 2532 2172 -2364 2424 -2512 2588 2036 2252 -2316 -2144 -2308 -2528 -2664 -2684 -2396 -2616 -2084 -2608 -2080 2596 -2616 -2032 -2676 -2740 2704 2728 2580 -2616 -2244 -2028 -2600 2020 2524 -2348 2360 -2680 -2664 2348 2444 2740 -2140 2684 -2660 -2228 2640 -2372 -2088 2560 2380 2632 -2536 2196 -2100 2684 -2180 2684 2584 -2700 2740 2552 -2128 2680 -2152 2288 -2120 2472 -2352 -2292 -2580 2020 -2152 2228 2128 2252 -2376 2616 2608 2600 -2664 -2740 -2504 -2692 -2244 2220 2676 -2740 -2424 -2700 2072 -2296 2188 2664 2256 2676 2060 2192 2496 -2496 -2660 2040 -2588 -2572 -2276 2240 2736 -2468 -2100 2680 -2204 -2456 -2616 2660 -2320 2060 -2532 -2336 -2128 2600 2444 -2156 -2700 -2700 -2728 -2624 -2124 2512 2728 -2380 -2640 2072 -2068 2460 -2084 2612 2080 2624 2296 -2656 -2288 -2488 2348 2640 -2508 2104 2296 -2684 -2096 2272 -2060 -2708 -2320 -2112 -2740 -2240 -2400 2476 -2636 -2352 2296 2576 2244 2240 -2400 -2584 2464 -2448 -2228 -2584 -2020 -2196 2528 -2468 2492 2420 2464 2156 2516 2152 2180 2204 -2120 -2304 -2536 2160 -2324 -2556 -2156 -2068 -2092 2508 2060 2428 -2296 -2672 2308 2264 -2616 -2144 -2032 -2112 2612 2444 -2292 -2736 2060 2360 -2308 2576 -2476 2700 -2176 2040 -2520 -2676 -2388 2020 2660 -2356 2044 2204 -2568 2496 2676 -2028 -2020 2636 -2620 2668 2388 2508 -2636 2164 -2160 -2672 -2060 -2508 -2388 2132 -2472 2324 2532 2300 2604 -2472 -2740 -2116 2416 2616 2700 -2076 -2184 2272 2060 -2740 2348 2540 2088 2528 2216 -2556 -2684 2108 2284 2256 2384 -2456 -2544 2488 2676 -2360 2120 -2488 2412 2188 2420 2376 2544 2252 2472 -2416 -2668 2632 2616 -2328 2520 -2096 2340 -2208 2020 2180 -2740 -2592 2112 -2428 2460 -2116 -2348 2280 -2364 2496 -2076 -2060 -2388 -2060 -2740 -2036 -2652 2636 2652 -2244 -2492 2268 2280 2432 -2740 2344 2040 -2700 2392 -2404 -2616 2020 2720 -2648 -2412 -2312 -2100 2316 -2688 -2696 2068 -2664 2508 2468 2360 -2736 -2712 -2328 -2488 2692 2364 2412 -2112 2020 -2636 2656 2628 -2076 2700 -2284 -2180 -2248 2520 -2060 2724 -2332 -2352 -2468 -2388 2604 2060 -2740 -2540 -2248 2252 2340 2444 -2432 -2532 2112 -2240 2292 2068 -2636 -2556 -2728 -2332 2724 -2060 2692 -2256 -2028 2500 2448 -2732 -2480 -2296 2096 -2364 -2304 2148 2620 2556 -2228 2384 -2668 2124 2392 2168 -2472 -2192 -2736 2280 -2104 2656 2400 -2640 -2116 2700 2576 2424 -2188 -2316 2468 2512 -2592 -2200 -2404 2700 2628 2264 2528 2576 2596 2628 -2444 2108 -2116 -2088 2236 -2048 -2656 -2312 2736 -2248 2692 -2408 2020 2048 2128 -2344 -2700 2284 2672 2160 -2120 2108 -2404 2124 2576 2060 2664 -2724 -2740 2188 -2072 -2240 -2416 -2388 -2340 -2468 2652 2136 2604 -2268 2620 2060 -2412 2032 2096 -2168 2076 -2532 -2740 -2660 -2740 -2440 -2520 2692 -2352 2556 2740 2360 2480 2728 2380 -2208 2092 -2740 -2632 -2404 -2328 2152 -2292 -2216 -2136 -2616 -2520 2020 2104 2132 -2684 -2312 -2128 2644 2556 -2700 2212 2380 2048 2184 2488 -2124 2600 2596 -2516 2628 2172 -2220 -2052 -2356 -2628 2252 -2300 -2600 2576 2328 2700 -2716 2700 2504 -2652 2332 2148 2020 2580 -2160 -2664 2700 2252 2208 2624 2512 -2192 2324 2700 -2020 2668 -2324 -2520 2108 2288 -2380 -2204 2648 -2660 -2560 2332 -2264 2072 2156 -2040 -2200 -2288 2636 -2700 -2152 2584 -2352 2268 -2704 2704 2200 2208 2208 -2020 -2412 -2304 -2252 -2380 -2600 -2144 -2064 -2740 -2200 -2060 -2080 -2700 -2052 -2624 -2496 -2068 -2084 -2284 2072 -2724 -2516 -2664 -2444 -2724 2172 2372 -2020 2644 2248 -2484 -2556 2696 -2740 2704 2516 -2376 2724 2432 2644 2324 2540 -2136 -2280 2148 -2100 -2288 2060 -2328 -2084 2616 -2196 2620 -2028 -2676 2548 -2428 2576 -2268 2676 -2220 2584 2676 -2336 -2684 -2112 2020 -2244 -2132 -2376 -2060 -2304 -2732 2308 2364 -2020 -2412 -2444 2620 2320 -2700 2216 -2696 -2532 -2620 -2588 -2312 -2560 2580 2244 -2452 2672 2312 -2064 2160 -2196 2020 -2468 -2724 -2676 -2204 -2200 -2700 2696 -2696 -2700 2456 2684 -2416 2440 -2372 -2696 -2656 -2104 -2740 2500 -2716 -2616 -2700 -2168 -2088 2584 2532 2036 -2304 2648 2060 -2212 -2652 2228 2572 -2684 2516 -2276 2688 2740 -2124 2468 2464 2688 2612 2176 2676 -2736 -2044 -2348 -2468 -2196 -2324 -2156 2356 -2160 2216 -2740 -2148 -2100 2684 -2684 2476 -2060 -2180 -2640 -2584 -2380 -2688 2452 -2656 2032 -2352 -2468 -2684 2340 -2684 -2572 -2660 -2732 -2160 -2672 2536 -2168 -2316 -2140 -2048 2696 -2308 2148 2060 2224 -2264 2512 2088 2628 2700 2056 -2580 -2164 2392 -2220 -2624 -2144 2296 -2556 2660 -2548 2608 -2696 2240 -2512 -2324 -2036 -2292 2292 -2600 -2504 -2116 -2276 -2072 2228 -2304 -2200 2176 2556 2632 -2216 -2252 -2524 -2336 -2564 2064 2524 2716 2588 2036 -2572 -2616 -2048 -2060 -2624 -2560 2096 -2348 -2700 -2740 2632 -2228 -2512 -2020 -2084 -2200 2500 -2472 2472 -2656 2404 2312 -2020 -2148 2148 -2660 2660 -2128 -2380 2524 -2228 2740 2144 -2380 2648 -2428 2548 2076 -2664 2596 2388 -2592 -2260 -2664 -2516 2448 2472 -2664 -2476 2492 -2620 2096 2292 -2156 -2576 -2700 -2740 2428 -2740 -2660 2632 -2472 2632 -2740 -2584 2580 2668 -2552 -2712 2296 -2512 -2640 -2664 2632 -2532 2020 2176 2516 -2632 2588 2492 -2200 2672 2084 2460 2020 2404 -2076 2272 -2164 2196 -2368 -2312 -2264 -2148 -2168 -2564 -2648 -2740 -2580 2680 2108 -2632 2168 -2696 2644 2424 -2384 -2132 -2712 2512 -2264 -2060 2152 2576 -2740 -2140 2696 -2540 2220 -2708 -2212 2644 2196 -2544 -2192 2048 -2540 -2284 2440 -2376 2660 2700 -2544 -2020 -2136 -2580 -2260 2572 2536 2032 2632 2176 2620 2060 2048 -2064 2736 -2688 -2396 -2400 -2312 2592 -2372 -2360 -2268 2044 2224 2284 -2584 -2372 -2260 2420 2328 -2684 -2084 -2160 2668 2588 -2076 -2652 2020 2576 2740 2460 -2444 2064 2664 2676 2288 -2208 -2088 -2740 -2020 -2188 -2740 -2700 -2512 2200 -2564 -2092 -2192 -2364 2060 -2264 2060 -2580 -2480 2092 -2552 2076 -2264 2692 2704 -2212 2632 2636 2060 2508 -2380 2492 -2444 2224 -2112 2056 2020 2240 2232 -2668 -2300 2280 2032 -2624 -2208 -2024 2448 2448 2468 -2296 -2616 -2516 2096 -2660 2064 2540 2480 2468 2332 2696 2416 -2024 2324 -2468 2668 2072 -2740 -2560 2164 2536 2180 2516 2072 2412 2708 -2376 2436 2540 -2020 2700 2088 2640 2564 -2212 -2280 2204 -2060 -2484 2436 2656 -2484 2568 -2292 2284 2552 -2700 2308 2092 -2072 2076 2452 -2060 2068 2272 -2704 -2324 2204 2064 -2044 -2696 2060 2520 -2020 -2472 -2740 -2608 2580 -2724 2356 2676 -2688 -2260 -2240 -2280 2676 -2296 2376 2200 2344 -2636 -2108 2320 -2620 -2072 -2300 -2320 -2340 2496 -2072 -2288 2300 2596 2184 -2484 -2620 2200 -2648 -2168 2444 -2428 -2188 -2344 2640 2624 2248 2664 -2620 2716 2696 -2492 -2208 2260 2336 -2272 -2060 2680 -2168 -2492 -2600 2480 -2488 -2688 -2572 2740 -2564 -2736 -2164 -2548 -2200 2576 2288 2628 2468 -2244 -2700 -2580 -2060 -2568 -2272 2604 2124 -2692 -2076 2060 2648 -2588 2448 -2672 -2084 2232 -2492 -2664 -2432 -2372 2232 -2224 2220 2436 -2164 2252 2488 2508 -2628 -2576 -2372 -2232 -2500 -2596 2532 2136 2224 2540 2456 2536 2452 2488 -2720 2116 -2088 -2036 -2592 -2628 2740 2572 -2740 2468 2536 -2580 2596 2628 -2324 -2500 -2060 -2496 2676 -2548 2156 -2724 -2668 2684 2328 2512 2020 -2316 2508 -2032 -2020 2672 2020 -2392 2080 -2316 2612 -2364 -2700 2032 -2696 2468 -2724 -2584 2232 -2500 2640 2588 -2480 -2060 2740 -2512 2264 -2740 -2304 2496 -2588 -2460 -2108 -2600 -2368 2696 -2676 -2308 2052 -2720 -2320 2740 -2528 -2220 -2304 -2592 -2576 -2460 -2460 2432 2584 -2728 2416 -2496 -2248 -2684 2488 2060 2704 -2732 -2156 2128 2140 -2420 -2704 2272 2716 -2700 -2136 2700 2472 -2716 -2104 -2740 2180 2396 2512 -2420 -2232 -2392 -2316 -2660 -2360 -2200 2680 -2696 2508 -2164 -2156 -2336 -2060 2104 2724 2624 2372 -2264 2280 2652 2660 2296 2372 -2632 2032 -2672 2700 -2216 -2268 -2740 -2208 2104 -2060 2404 2464 2156 -2520 2720 2340 -2352 -2388 2672 2052 -2704 -2704 -2560 2100 -2344 2648 2024 -2348 -2700 -2612 -2316 2672 -2020 2612 -2156 2268 -2080 -2572 -2612 2556 -2424 -2468 2020 -2132 2696 -2740 2316 -2580 -2268 2184 2716 2448 2716 2492 -2408 -2196 -2464 2308 -2248 2460 2524 -2156 2088 2104 -2352 2656 -2504 2060 -2260 -2020 -2624 2060 -2740 -2732 2156 -2716 -2420 -2024 2328 2180 -2700 2356 -2700 2168 -2512 2236 2488 2420 2404 2020 2172 -2636 2736 -2152 2116 2652 -2700 -2588 2352 -2664 2644 -2076 -2320 -2240 -2144 2700 2488 2152 2500 2528 -2392 -2584 -2028 2032 -2460 2596 2208 -2660 -2380 2020 -2740 -2196 -2280 2684 -2300 -2672 -2320 -2192 -2416 -2212 2284 2728 -2392 -2596 -2020 -2192 2716 -2148 2068 -2420 2032 -2740 -2740 2300 2472 -2700 -2136 -2108 2304 2384 -2384 -2260 2320 -2576 -2172 -2180 -2076 2136 -2680 2580 2060 -2700 2420 -2084 -2612 -2740 -2740 -2348 -2116 -2320 2580 -2724 -2068 2564 2468 2092 -2644 -2700 -2412 2592 -2248 -2532 -2044 -2088 -2036 -2740 -2504 2512 2368 2660 -2200 2060 2192 -2216 2408 2320 -2740 -2660 -2464 2404 2156 -2700 2700 -2260 -2640 -2020 2468 2020 -2696 2516 -2676 2456 2692 2080 -2700 -2176 2436 2356 -2492 -2700 2680 -2652 2516 2140 2468 2600 2228 2512 -2700 2092 -2332 2660 -2740 -2236 -2060 -2620 -2700 2652 2640 2688 2656 -2036 -2300 -2520 2204 2352 2104 -2048 -2540 2496 2616 -2620 -2700 2624 2028 -2612 -2672 -2688 -2072 2300 2228 -2060 -2352 2620 2540 -2420 -2020 2252 2300 2620 2188 2136 2608 -2040 -2176 2540 -2404 2196 2280 -2580 2172 -2700 -2480 -2716 -2368 -2696 -2096 2656 -2132 -2072 2104 2520 2700 -2676 -2620 -2608 -2540 -2700 -2600 -2116 -2416 -2576 2072 -2040 -2484 2088 -2740 2532 -2256 -2688 -2152 -2352 -2104 -2740 2208 -2660 -2628 -2596 -2324 2604 -2560 2140 2384 2148 -2208 2284 -2484 -2496 -2428 2060 -2112 -2632 -2076 2604 2304 -2572 -2508 2600 -2696 2508 -2084 -2556 -2124 -2560 2024 -2356 2104 2700 -2124 2740 -2128 -2096 -2464 -2552 -2724 2120 2256 -2064 -2132 -2508 -2544 -2196 -2740 2552 -2604 -2612 2296 2560 -2204 -2636 -2448 2080 2608 -2684 -2432 2700 -2312 -2524 -2100 -2068 -2504 2060 2620 2724 -2724 2164 -2740 -2684 2464 2020 2428 2144 2020 -2592 2076 -2352 2064 2268 -2664 2020 -2028 -2536 -2236 2548 -2620 2480 -2160 -2032 -2060 -2248 -2724 2312 -2248 2700 2340 2560 -2500 -2648 2576 -2060 -2740 2696 -2092 -2456 2700 -2196 2032 -2120 -2264 2588 -2688 -2320 -2392 2536 -2344 -2288 -2028 2604 2572 -2616 -2700 -2532 -2560 -2148 -2172 -2676 2492 -2188 -2632 2072 2700 2116 -2060 -2236 2152 -2340 -2644 -2356 2520 2136 2464 -2212 2564 2620 2148 2208 -2572 -2232 2452 -2028 -2536 -2456 -2524 2244 2064 -2216 2020 2452 -2556 -2540 -2668 2704 2172 2064 2080 -2140 2212 -2060 2620 -2728 2224 2132 -2440 2648 -2072 -2708 -2376 2692 2552 2676 2668 2684 2496 -2432 -2052 -2720 2256 2472 2048 2164 -2672 2088 2580 -2140 -2468 -2296 2228 2428 -2536 2424 2392 2252 2284 2428 2692 -2620 -2512 -2072 -2088 -2304 2376 2020 -2248 -2400 -2168 -2116 -2024 2564 2564 -2420 -2684 2532 -2592 2596 -2556 -2192 -2700 2536 2380 2088 -2652 -2636 -2144 2372 -2596 -2124 -2320 2100 2064 2572 2388 -2060 2352 2096 -2576 2324 -2240 2432 2692 -2740 -2428 -2552 2356 -2024 -2460 -2432 -2220 -2716 2188 -2056 2428 -2480 -2308 -2156 -2520 -2708 2528 -2652 -2572 -2264 2700 -2604 -2504 -2600 -2728 2468 2072 -2608 2676 -2200 2700 -2340 2660 -2248 -2636 -2444 2600 2204 2204 -2336 -2416 -2344 -2612 -2292 -2564 -2240 -2612 2040 -2656 -2116 2184 -2592 2364 2060 2508 2700 -2656 -2524 -2576 -2544 -2360 2188 -2544 2292 2172 2600 -2020 2268 -2060 2652 -2064 2092 2388 2020 -2420 -2612 -2224 2704 2664 -2064 -2572 -2456 -2508 -2604 -2736 -2496 2340 2732 -2152 2324 2456 -2300 2656 2656 2368 -2444 -2092 -2456 2636 -2644 2532 -2724 2676 2580 2616 -2392 2212 -2580 2252 2168 -2340 -2116 -2024 -2660 -2656 2256 -2268 2628 -2368 -2200 -2072 -2100 2472 -2624 -2324 -2076 2660 -2208 -2080 -2608 2616 -2308 2484 -2552 -2732 -2420 -2176 2296 -2260 2336 2060 2336 2320 -2700 -2360 -2256 -2740 2168 -2272 -2296 -2472 -2372 2636 2476 2408 2648 -2460 2632 -2452 2092 -2688 -2164 -2068 -2364 -2060 2656 -2368 -2428 -2080 2704 2124 -2700 2448 2600 2596 2500 -2324 2408 2020 2240 -2420 2420 2700 2556 -2348 2060 2476 2340 -2132 2616 2284 -2476 2132 -2692 -2484 -2180 2168 -2700 -2712 2056 -2496 -2296 2340 -2620 2384 -2676 -2544 -2200 -2392 -2068 -2344 -2624 2560 -2732 2224 -2588 -2104 2240 -2124 2652 2196 -2688 -2300 -2476 -2060 2692 -2292 -2220 2672 -2664 -2392 -2696 -2536 -2300 -2064 2180 2668 2596 -2700 -2520 -2528 2116 -2132 -2240 -2064 -2500 -2540 -2360 2532 2312 -2740 2188 -2588 -2092 2556 -2740 -2164 -2188 -2688 -2356 -2088 -2472 -2632 -2164 2116 -2600 -2440 2060 2556 -2536 -2684 2436 -2336 -2408
1010.68/1011.86 d ASSIGNMENTS 47660
1010.68/1011.86 d CHECKS 1953875820
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1087233-1215243168/watcher-1087233-1215243168 -o /tmp/evaluation-result-1087233-1215243168/solver-1087233-1215243168 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1087233-1215243168.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.06 2.03 2.00 4/72 15309
/proc/meminfo: memFree=1745872/2055920 swapFree=4180700/4192956
[pid=15309] ppid=15307 vsize=5256 CPUtime=0
/proc/15309/stat : 15309 (hydra) R 15307 15309 13280 0 -1 4194304 63 0 0 0 0 0 0 0 21 0 1 0 2003288238 5382144 48 996147200 4194304 4889804 548682068816 18446744073709551615 246403875206 0 0 4096 0 0 0 0 17 1 0 0
/proc/15309/statm: 1314 48 37 169 0 13 0
[startup+0.0991681 s]
/proc/loadavg: 2.06 2.03 2.00 4/72 15309
/proc/meminfo: memFree=1745872/2055920 swapFree=4180700/4192956
[pid=15309] ppid=15307 vsize=5360 CPUtime=0
/proc/15309/stat : 15309 (hydra) S 15307 15309 13280 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2003288238 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15309/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101121 s]
/proc/loadavg: 2.06 2.03 2.00 4/72 15309
/proc/meminfo: memFree=1745872/2055920 swapFree=4180700/4192956
[pid=15309] ppid=15307 vsize=5360 CPUtime=0
/proc/15309/stat : 15309 (hydra) S 15307 15309 13280 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2003288238 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15309/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301168 s]
/proc/loadavg: 2.06 2.03 2.00 4/72 15309
/proc/meminfo: memFree=1745872/2055920 swapFree=4180700/4192956
[pid=15309] ppid=15307 vsize=5360 CPUtime=0
/proc/15309/stat : 15309 (hydra) S 15307 15309 13280 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2003288238 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15309/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701236 s]
/proc/loadavg: 2.06 2.03 2.00 4/72 15309
/proc/meminfo: memFree=1745872/2055920 swapFree=4180700/4192956
[pid=15309] ppid=15307 vsize=5360 CPUtime=0
/proc/15309/stat : 15309 (hydra) S 15307 15309 13280 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2003288238 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15309/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50137 s]
/proc/loadavg: 2.05 2.03 2.00 3/74 15313
/proc/meminfo: memFree=1730880/2055920 swapFree=4180700/4192956
[pid=15309] ppid=15307 vsize=5360 CPUtime=0
/proc/15309/stat : 15309 (hydra) S 15307 15309 13280 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2003288238 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15309/statm: 1340 236 195 169 0 51 0
[pid=15313] ppid=15309 vsize=25296 CPUtime=1.45
/proc/15313/stat : 15313 (xsolve) R 15309 15309 13280 0 -1 4194304 5750 0 0 0 141 4 0 0 25 0 1 0 2003288240 25903104 5513 996147200 134512640 135239763 4294956176 18446744073709551615 134554348 0 0 4096 0 0 0 0 17 1 0 0
/proc/15313/statm: 6324 5513 379 177 0 5227 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 30656
[startup+3.10165 s]
/proc/loadavg: 2.05 2.03 2.00 3/74 15313
/proc/meminfo: memFree=1698112/2055920 swapFree=4180700/4192956
[pid=15309] ppid=15307 vsize=5360 CPUtime=0
/proc/15309/stat : 15309 (hydra) S 15307 15309 13280 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2003288238 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15309/statm: 1340 236 195 169 0 51 0
[pid=15313] ppid=15309 vsize=106900 CPUtime=3.05
/proc/15313/stat : 15313 (xsolve) R 15309 15309 13280 0 -1 4194304 18398 0 0 0 294 11 0 0 25 0 1 0 2003288240 109465600 18095 996147200 134512640 135239763 4294956176 18446744073709551615 134534787 0 0 4096 0 0 0 0 17 1 0 0
/proc/15313/statm: 26725 18095 417 177 0 25628 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 112260
[startup+6.30124 s]
/proc/loadavg: 2.05 2.03 2.00 3/74 15313
/proc/meminfo: memFree=1674632/2055920 swapFree=4180700/4192956
[pid=15309] ppid=15307 vsize=5360 CPUtime=0
/proc/15309/stat : 15309 (hydra) S 15307 15309 13280 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2003288238 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15309/statm: 1340 236 195 169 0 51 0
[pid=15313] ppid=15309 vsize=106900 CPUtime=6.22
/proc/15313/stat : 15313 (xsolve) R 15309 15309 13280 0 -1 4194304 18398 0 0 0 611 11 0 0 25 0 1 0 2003288240 109465600 18095 996147200 134512640 135239763 4294956176 18446744073709551615 134535744 0 0 4096 0 0 0 0 17 1 0 0
/proc/15313/statm: 26725 18095 417 177 0 25628 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 112260
[startup+12.7014 s]
/proc/loadavg: 2.04 2.03 2.00 3/74 15313
/proc/meminfo: memFree=1674760/2055920 swapFree=4180700/4192956
[pid=15309] ppid=15307 vsize=5360 CPUtime=0
/proc/15309/stat : 15309 (hydra) S 15307 15309 13280 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2003288238 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15309/statm: 1340 236 195 169 0 51 0
[pid=15313] ppid=15309 vsize=106900 CPUtime=12.57
/proc/15313/stat : 15313 (xsolve) R 15309 15309 13280 0 -1 4194304 18398 0 0 0 1246 11 0 0 25 0 1 0 2003288240 109465600 18095 996147200 134512640 135239763 4294956176 18446744073709551615 134532177 0 0 4096 0 0 0 0 17 1 0 0
/proc/15313/statm: 26725 18095 417 177 0 25628 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 112260
[startup+25.5016 s]
/proc/loadavg: 2.04 2.03 2.00 3/74 15313
/proc/meminfo: memFree=1674952/2055920 swapFree=4180700/4192956
[pid=15309] ppid=15307 vsize=5360 CPUtime=0
/proc/15309/stat : 15309 (hydra) S 15307 15309 13280 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2003288238 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15309/statm: 1340 236 195 169 0 51 0
[pid=15313] ppid=15309 vsize=106900 CPUtime=25.27
/proc/15313/stat : 15313 (xsolve) R 15309 15309 13280 0 -1 4194304 18398 0 0 0 2516 11 0 0 25 0 1 0 2003288240 109465600 18095 996147200 134512640 135239763 4294956176 18446744073709551615 134534787 0 0 4096 0 0 0 0 17 1 0 0
/proc/15313/statm: 26725 18095 417 177 0 25628 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 112260
[startup+51.1011 s]
/proc/loadavg: 2.02 2.02 2.00 3/74 15313
/proc/meminfo: memFree=1675080/2055920 swapFree=4180700/4192956
[pid=15309] ppid=15307 vsize=5360 CPUtime=0
/proc/15309/stat : 15309 (hydra) S 15307 15309 13280 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2003288238 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15309/statm: 1340 236 195 169 0 51 0
[pid=15313] ppid=15309 vsize=106900 CPUtime=50.65
/proc/15313/stat : 15313 (xsolve) R 15309 15309 13280 0 -1 4194304 18398 0 0 0 5054 11 0 0 25 0 1 0 2003288240 109465600 18095 996147200 134512640 135239763 4294956176 18446744073709551615 134532177 0 0 4096 0 0 0 0 17 1 0 0
/proc/15313/statm: 26725 18095 417 177 0 25628 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 112260
[startup+102.307 s]
/proc/loadavg: 2.05 2.03 2.00 3/94 15337
/proc/meminfo: memFree=1512168/2055920 swapFree=4180700/4192956
[pid=15309] ppid=15307 vsize=5360 CPUtime=57.88
/proc/15309/stat : 15309 (hydra) S 15307 15309 13280 0 -1 4194304 375 19006 0 0 0 0 5775 13 18 0 1 0 2003288238 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15309/statm: 1340 238 196 169 0 51 0
[pid=15317] ppid=15309 vsize=197428 CPUtime=6.48
/proc/15317/stat : 15317 (java) S 15309 15309 13280 0 -1 0 13993 0 1 0 629 19 0 0 19 0 10 0 2003294078 202166272 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15317/statm: 49357 9508 2543 9 0 43940 0
[pid=15327] ppid=15317 vsize=5356 CPUtime=0
/proc/15327/stat : 15327 (abscon) S 15317 15309 13280 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 2003294737 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 246406505284 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/15327/statm: 1339 235 194 169 0 50 0
[pid=15328] ppid=15327 vsize=655740 CPUtime=37.27
/proc/15328/stat : 15328 (java) S 15327 15309 13280 0 -1 0 54346 0 1 0 3692 35 0 0 18 0 9 0 2003294737 671477760 53615 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15328/statm: 163935 53615 2617 9 0 158463 0
[pid=15328/tid=15330] ppid=15327 vsize=655740 CPUtime=34.74
/proc/15328/task/15330/stat : 15330 (java) R 15327 15309 13280 0 -1 64 12572 0 1 0 3462 12 0 0 25 0 9 0 2003294738 671477760 53615 996147200 134512640 134550740 4294955808 18446744073709551615 4126901174 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15328/tid=15331] ppid=15327 vsize=655740 CPUtime=2.1
/proc/15328/task/15331/stat : 15331 (java) S 15327 15309 13280 0 -1 64 40469 0 0 0 189 21 0 0 17 0 9 0 2003294739 671477760 53615 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15328/tid=15332] ppid=15327 vsize=655740 CPUtime=0
/proc/15328/task/15332/stat : 15332 (java) S 15327 15309 13280 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003294740 671477760 53615 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15328/tid=15333] ppid=15327 vsize=655740 CPUtime=0
/proc/15328/task/15333/stat : 15333 (java) S 15327 15309 13280 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 2003294740 671477760 53615 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15328/tid=15334] ppid=15327 vsize=655740 CPUtime=0
/proc/15328/task/15334/stat : 15334 (java) S 15327 15309 13280 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2003294742 671477760 53615 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15328/tid=15335] ppid=15327 vsize=655740 CPUtime=0.4
/proc/15328/task/15335/stat : 15335 (java) S 15327 15309 13280 0 -1 64 745 0 0 0 39 1 0 0 15 0 9 0 2003294742 671477760 53615 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15328/tid=15336] ppid=15327 vsize=655740 CPUtime=0
/proc/15328/task/15336/stat : 15336 (java) S 15327 15309 13280 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2003294742 671477760 53615 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15328/tid=15337] ppid=15327 vsize=655740 CPUtime=0
/proc/15328/task/15337/stat : 15337 (java) S 15327 15309 13280 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003294742 671477760 53615 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15329] ppid=15327 vsize=7044 CPUtime=0
/proc/15329/stat : 15329 (translate) S 15327 15309 13280 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2003294737 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 246406676562 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/15329/statm: 1761 213 182 1 0 41 0
[pid=15317/tid=15318] ppid=15309 vsize=197428 CPUtime=5.01
/proc/15317/task/15318/stat : 15318 (java) S 15309 15309 13280 0 -1 64 3985 0 1 0 495 6 0 0 25 0 10 0 2003294079 202166272 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=15317/tid=15319] ppid=15309 vsize=197428 CPUtime=1.22
/proc/15317/task/15319/stat : 15319 (java) S 15309 15309 13280 0 -1 64 8554 0 0 0 111 11 0 0 16 0 10 0 2003294081 202166272 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15317/tid=15320] ppid=15309 vsize=197428 CPUtime=0
/proc/15317/task/15320/stat : 15320 (java) S 15309 15309 13280 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2003294081 202166272 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15317/tid=15321] ppid=15309 vsize=197428 CPUtime=0
/proc/15317/task/15321/stat : 15321 (java) S 15309 15309 13280 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2003294081 202166272 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15317/tid=15322] ppid=15309 vsize=197428 CPUtime=0
/proc/15317/task/15322/stat : 15322 (java) S 15309 15309 13280 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2003294083 202166272 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15317/tid=15323] ppid=15309 vsize=197428 CPUtime=0.21
/proc/15317/task/15323/stat : 15323 (java) S 15309 15309 13280 0 -1 64 645 0 0 0 21 0 0 0 15 0 10 0 2003294083 202166272 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15317/tid=15324] ppid=15309 vsize=197428 CPUtime=0
/proc/15317/task/15324/stat : 15324 (java) S 15309 15309 13280 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2003294083 202166272 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15317/tid=15325] ppid=15309 vsize=197428 CPUtime=0
/proc/15317/task/15325/stat : 15325 (java) S 15309 15309 13280 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 2003294083 202166272 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15317/tid=15326] ppid=15309 vsize=197428 CPUtime=0
/proc/15317/task/15326/stat : 15326 (java) S 15309 15309 13280 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 2003294737 202166272 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.63
Current children cumulated vsize (KiB) 870928
[startup+162.304 s]
/proc/loadavg: 2.02 2.03 2.00 3/94 15337
/proc/meminfo: memFree=1511848/2055920 swapFree=4180700/4192956
[pid=15309] ppid=15307 vsize=5360 CPUtime=57.88
/proc/15309/stat : 15309 (hydra) S 15307 15309 13280 0 -1 4194304 375 19006 0 0 0 0 5775 13 18 0 1 0 2003288238 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15309/statm: 1340 238 196 169 0 51 0
[pid=15317] ppid=15309 vsize=197428 CPUtime=6.48
/proc/15317/stat : 15317 (java) S 15309 15309 13280 0 -1 0 13993 0 1 0 629 19 0 0 19 0 10 0 2003294078 202166272 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15317/statm: 49357 9508 2543 9 0 43940 0
[pid=15327] ppid=15317 vsize=5356 CPUtime=0
/proc/15327/stat : 15327 (abscon) S 15317 15309 13280 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 2003294737 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 246406505284 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/15327/statm: 1339 235 194 169 0 50 0
[pid=15328] ppid=15327 vsize=655740 CPUtime=97.24
/proc/15328/stat : 15328 (java) S 15327 15309 13280 0 -1 0 54378 0 1 0 9689 35 0 0 18 0 9 0 2003294737 671477760 53633 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15328/statm: 163935 53633 2617 9 0 158463 0
[pid=15328/tid=15330] ppid=15327 vsize=655740 CPUtime=94.69
/proc/15328/task/15330/stat : 15330 (java) R 15327 15309 13280 0 -1 64 12578 0 1 0 9456 13 0 0 25 0 9 0 2003294738 671477760 53633 996147200 134512640 134550740 4294955808 18446744073709551615 4126901254 0 4 0 16800975 0 0 0 -1 0 0 0
################
# More data... #
################
[pid=15317] ppid=15309 vsize=197428 CPUtime=6.48
/proc/15317/stat : 15317 (java) S 15309 15309 13280 0 -1 0 13993 0 1 0 629 19 0 0 19 0 10 0 2003294078 202166272 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15317/statm: 49357 9508 2543 9 0 43940 0
[pid=15327] ppid=15317 vsize=5356 CPUtime=0
/proc/15327/stat : 15327 (abscon) S 15317 15309 13280 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 2003294737 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 246406505284 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/15327/statm: 1339 235 194 169 0 50 0
[pid=15328] ppid=15327 vsize=655740 CPUtime=944.03
/proc/15328/stat : 15328 (java) S 15327 15309 13280 0 -1 0 54422 0 1 0 94366 37 0 0 18 0 9 0 2003294737 671477760 53654 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15328/statm: 163935 53654 2617 9 0 158463 0
[pid=15328/tid=15330] ppid=15327 vsize=655740 CPUtime=941.43
/proc/15328/task/15330/stat : 15330 (java) R 15327 15309 13280 0 -1 64 12589 0 1 0 94128 15 0 0 25 0 9 0 2003294738 671477760 53654 996147200 134512640 134550740 4294955808 18446744073709551615 4127447756 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15328/tid=15331] ppid=15327 vsize=655740 CPUtime=2.1
/proc/15328/task/15331/stat : 15331 (java) S 15327 15309 13280 0 -1 64 40469 0 0 0 189 21 0 0 16 0 9 0 2003294739 671477760 53654 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15328/tid=15332] ppid=15327 vsize=655740 CPUtime=0
/proc/15328/task/15332/stat : 15332 (java) S 15327 15309 13280 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003294740 671477760 53654 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15328/tid=15333] ppid=15327 vsize=655740 CPUtime=0
/proc/15328/task/15333/stat : 15333 (java) S 15327 15309 13280 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 2003294740 671477760 53654 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15328/tid=15334] ppid=15327 vsize=655740 CPUtime=0
/proc/15328/task/15334/stat : 15334 (java) S 15327 15309 13280 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2003294742 671477760 53654 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15328/tid=15335] ppid=15327 vsize=655740 CPUtime=0.48
/proc/15328/task/15335/stat : 15335 (java) S 15327 15309 13280 0 -1 64 804 0 0 0 47 1 0 0 16 0 9 0 2003294742 671477760 53654 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15328/tid=15336] ppid=15327 vsize=655740 CPUtime=0
/proc/15328/task/15336/stat : 15336 (java) S 15327 15309 13280 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2003294742 671477760 53654 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15328/tid=15337] ppid=15327 vsize=655740 CPUtime=0
/proc/15328/task/15337/stat : 15337 (java) S 15327 15309 13280 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003294742 671477760 53654 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15329] ppid=15327 vsize=7044 CPUtime=0
/proc/15329/stat : 15329 (translate) S 15327 15309 13280 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2003294737 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 246406676562 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/15329/statm: 1761 213 182 1 0 41 0
[pid=15317/tid=15318] ppid=15309 vsize=197428 CPUtime=5.01
/proc/15317/task/15318/stat : 15318 (java) S 15309 15309 13280 0 -1 64 3985 0 1 0 495 6 0 0 25 0 10 0 2003294079 202166272 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=15317/tid=15319] ppid=15309 vsize=197428 CPUtime=1.22
/proc/15317/task/15319/stat : 15319 (java) S 15309 15309 13280 0 -1 64 8554 0 0 0 111 11 0 0 16 0 10 0 2003294081 202166272 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15317/tid=15320] ppid=15309 vsize=197428 CPUtime=0
/proc/15317/task/15320/stat : 15320 (java) S 15309 15309 13280 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2003294081 202166272 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15317/tid=15321] ppid=15309 vsize=197428 CPUtime=0
/proc/15317/task/15321/stat : 15321 (java) S 15309 15309 13280 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2003294081 202166272 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15317/tid=15322] ppid=15309 vsize=197428 CPUtime=0
/proc/15317/task/15322/stat : 15322 (java) S 15309 15309 13280 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2003294083 202166272 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15317/tid=15323] ppid=15309 vsize=197428 CPUtime=0.21
/proc/15317/task/15323/stat : 15323 (java) S 15309 15309 13280 0 -1 64 645 0 0 0 21 0 0 0 15 0 10 0 2003294083 202166272 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15317/tid=15324] ppid=15309 vsize=197428 CPUtime=0
/proc/15317/task/15324/stat : 15324 (java) S 15309 15309 13280 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2003294083 202166272 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15317/tid=15325] ppid=15309 vsize=197428 CPUtime=0
/proc/15317/task/15325/stat : 15325 (java) S 15309 15309 13280 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 2003294083 202166272 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15317/tid=15326] ppid=15309 vsize=197428 CPUtime=0
/proc/15317/task/15326/stat : 15326 (java) S 15309 15309 13280 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 2003294737 202166272 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1008.39
Current children cumulated vsize (KiB) 870928
[startup+1011.1 s]
/proc/loadavg: 2.17 2.12 2.03 3/94 15367
/proc/meminfo: memFree=1549416/2055920 swapFree=4180700/4192956
[pid=15309] ppid=15307 vsize=5360 CPUtime=57.88
/proc/15309/stat : 15309 (hydra) S 15307 15309 13280 0 -1 4194304 375 19006 0 0 0 0 5775 13 18 0 1 0 2003288238 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15309/statm: 1340 238 196 169 0 51 0
[pid=15317] ppid=15309 vsize=197428 CPUtime=6.48
/proc/15317/stat : 15317 (java) S 15309 15309 13280 0 -1 0 13993 0 1 0 629 19 0 0 19 0 10 0 2003294078 202166272 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15317/statm: 49357 9508 2543 9 0 43940 0
[pid=15327] ppid=15317 vsize=5356 CPUtime=0
/proc/15327/stat : 15327 (abscon) S 15317 15309 13280 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 2003294737 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 246406505284 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/15327/statm: 1339 235 194 169 0 50 0
[pid=15328] ppid=15327 vsize=655740 CPUtime=945.63
/proc/15328/stat : 15328 (java) S 15327 15309 13280 0 -1 0 54422 0 1 0 94526 37 0 0 18 0 9 0 2003294737 671477760 53654 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15328/statm: 163935 53654 2617 9 0 158463 0
[pid=15328/tid=15330] ppid=15327 vsize=655740 CPUtime=943.03
/proc/15328/task/15330/stat : 15330 (java) R 15327 15309 13280 0 -1 64 12589 0 1 0 94288 15 0 0 25 0 9 0 2003294738 671477760 53654 996147200 134512640 134550740 4294955808 18446744073709551615 4127443099 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15328/tid=15331] ppid=15327 vsize=655740 CPUtime=2.1
/proc/15328/task/15331/stat : 15331 (java) S 15327 15309 13280 0 -1 64 40469 0 0 0 189 21 0 0 16 0 9 0 2003294739 671477760 53654 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15328/tid=15332] ppid=15327 vsize=655740 CPUtime=0
/proc/15328/task/15332/stat : 15332 (java) S 15327 15309 13280 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003294740 671477760 53654 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15328/tid=15333] ppid=15327 vsize=655740 CPUtime=0
/proc/15328/task/15333/stat : 15333 (java) S 15327 15309 13280 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 2003294740 671477760 53654 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15328/tid=15334] ppid=15327 vsize=655740 CPUtime=0
/proc/15328/task/15334/stat : 15334 (java) S 15327 15309 13280 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2003294742 671477760 53654 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15328/tid=15335] ppid=15327 vsize=655740 CPUtime=0.48
/proc/15328/task/15335/stat : 15335 (java) S 15327 15309 13280 0 -1 64 804 0 0 0 47 1 0 0 16 0 9 0 2003294742 671477760 53654 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15328/tid=15336] ppid=15327 vsize=655740 CPUtime=0
/proc/15328/task/15336/stat : 15336 (java) S 15327 15309 13280 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2003294742 671477760 53654 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15328/tid=15337] ppid=15327 vsize=655740 CPUtime=0
/proc/15328/task/15337/stat : 15337 (java) S 15327 15309 13280 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003294742 671477760 53654 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15329] ppid=15327 vsize=7044 CPUtime=0
/proc/15329/stat : 15329 (translate) S 15327 15309 13280 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2003294737 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 246406676562 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/15329/statm: 1761 213 182 1 0 41 0
[pid=15317/tid=15318] ppid=15309 vsize=197428 CPUtime=5.01
/proc/15317/task/15318/stat : 15318 (java) S 15309 15309 13280 0 -1 64 3985 0 1 0 495 6 0 0 25 0 10 0 2003294079 202166272 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=15317/tid=15319] ppid=15309 vsize=197428 CPUtime=1.22
/proc/15317/task/15319/stat : 15319 (java) S 15309 15309 13280 0 -1 64 8554 0 0 0 111 11 0 0 16 0 10 0 2003294081 202166272 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15317/tid=15320] ppid=15309 vsize=197428 CPUtime=0
/proc/15317/task/15320/stat : 15320 (java) S 15309 15309 13280 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2003294081 202166272 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15317/tid=15321] ppid=15309 vsize=197428 CPUtime=0
/proc/15317/task/15321/stat : 15321 (java) S 15309 15309 13280 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2003294081 202166272 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15317/tid=15322] ppid=15309 vsize=197428 CPUtime=0
/proc/15317/task/15322/stat : 15322 (java) S 15309 15309 13280 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2003294083 202166272 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15317/tid=15323] ppid=15309 vsize=197428 CPUtime=0.21
/proc/15317/task/15323/stat : 15323 (java) S 15309 15309 13280 0 -1 64 645 0 0 0 21 0 0 0 15 0 10 0 2003294083 202166272 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15317/tid=15324] ppid=15309 vsize=197428 CPUtime=0
/proc/15317/task/15324/stat : 15324 (java) S 15309 15309 13280 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2003294083 202166272 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15317/tid=15325] ppid=15309 vsize=197428 CPUtime=0
/proc/15317/task/15325/stat : 15325 (java) S 15309 15309 13280 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 2003294083 202166272 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15317/tid=15326] ppid=15309 vsize=197428 CPUtime=0
/proc/15317/task/15326/stat : 15326 (java) S 15309 15309 13280 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 2003294737 202166272 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1009.99
Current children cumulated vsize (KiB) 870928
[startup+1011.5 s]
/proc/loadavg: 2.17 2.12 2.03 3/94 15367
/proc/meminfo: memFree=1549416/2055920 swapFree=4180700/4192956
[pid=15309] ppid=15307 vsize=5360 CPUtime=57.88
/proc/15309/stat : 15309 (hydra) S 15307 15309 13280 0 -1 4194304 375 19006 0 0 0 0 5775 13 18 0 1 0 2003288238 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15309/statm: 1340 238 196 169 0 51 0
[pid=15317] ppid=15309 vsize=197428 CPUtime=6.48
/proc/15317/stat : 15317 (java) S 15309 15309 13280 0 -1 0 13993 0 1 0 629 19 0 0 19 0 10 0 2003294078 202166272 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15317/statm: 49357 9508 2543 9 0 43940 0
[pid=15327] ppid=15317 vsize=5356 CPUtime=0
/proc/15327/stat : 15327 (abscon) S 15317 15309 13280 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 2003294737 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 246406505284 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/15327/statm: 1339 235 194 169 0 50 0
[pid=15328] ppid=15327 vsize=655740 CPUtime=946.03
/proc/15328/stat : 15328 (java) S 15327 15309 13280 0 -1 0 54422 0 1 0 94566 37 0 0 18 0 9 0 2003294737 671477760 53654 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15328/statm: 163935 53654 2617 9 0 158463 0
[pid=15328/tid=15330] ppid=15327 vsize=655740 CPUtime=943.43
/proc/15328/task/15330/stat : 15330 (java) R 15327 15309 13280 0 -1 64 12589 0 1 0 94328 15 0 0 25 0 9 0 2003294738 671477760 53654 996147200 134512640 134550740 4294955808 18446744073709551615 4127450211 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15328/tid=15331] ppid=15327 vsize=655740 CPUtime=2.1
/proc/15328/task/15331/stat : 15331 (java) S 15327 15309 13280 0 -1 64 40469 0 0 0 189 21 0 0 16 0 9 0 2003294739 671477760 53654 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15328/tid=15332] ppid=15327 vsize=655740 CPUtime=0
/proc/15328/task/15332/stat : 15332 (java) S 15327 15309 13280 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003294740 671477760 53654 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15328/tid=15333] ppid=15327 vsize=655740 CPUtime=0
/proc/15328/task/15333/stat : 15333 (java) S 15327 15309 13280 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 2003294740 671477760 53654 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15328/tid=15334] ppid=15327 vsize=655740 CPUtime=0
/proc/15328/task/15334/stat : 15334 (java) S 15327 15309 13280 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2003294742 671477760 53654 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15328/tid=15335] ppid=15327 vsize=655740 CPUtime=0.48
/proc/15328/task/15335/stat : 15335 (java) S 15327 15309 13280 0 -1 64 804 0 0 0 47 1 0 0 16 0 9 0 2003294742 671477760 53654 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15328/tid=15336] ppid=15327 vsize=655740 CPUtime=0
/proc/15328/task/15336/stat : 15336 (java) S 15327 15309 13280 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2003294742 671477760 53654 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15328/tid=15337] ppid=15327 vsize=655740 CPUtime=0
/proc/15328/task/15337/stat : 15337 (java) S 15327 15309 13280 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003294742 671477760 53654 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15329] ppid=15327 vsize=7044 CPUtime=0
/proc/15329/stat : 15329 (translate) S 15327 15309 13280 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2003294737 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 246406676562 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/15329/statm: 1761 213 182 1 0 41 0
[pid=15317/tid=15318] ppid=15309 vsize=197428 CPUtime=5.01
/proc/15317/task/15318/stat : 15318 (java) S 15309 15309 13280 0 -1 64 3985 0 1 0 495 6 0 0 25 0 10 0 2003294079 202166272 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=15317/tid=15319] ppid=15309 vsize=197428 CPUtime=1.22
/proc/15317/task/15319/stat : 15319 (java) S 15309 15309 13280 0 -1 64 8554 0 0 0 111 11 0 0 16 0 10 0 2003294081 202166272 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15317/tid=15320] ppid=15309 vsize=197428 CPUtime=0
/proc/15317/task/15320/stat : 15320 (java) S 15309 15309 13280 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2003294081 202166272 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15317/tid=15321] ppid=15309 vsize=197428 CPUtime=0
/proc/15317/task/15321/stat : 15321 (java) S 15309 15309 13280 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2003294081 202166272 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15317/tid=15322] ppid=15309 vsize=197428 CPUtime=0
/proc/15317/task/15322/stat : 15322 (java) S 15309 15309 13280 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2003294083 202166272 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15317/tid=15323] ppid=15309 vsize=197428 CPUtime=0.21
/proc/15317/task/15323/stat : 15323 (java) S 15309 15309 13280 0 -1 64 645 0 0 0 21 0 0 0 15 0 10 0 2003294083 202166272 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15317/tid=15324] ppid=15309 vsize=197428 CPUtime=0
/proc/15317/task/15324/stat : 15324 (java) S 15309 15309 13280 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2003294083 202166272 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15317/tid=15325] ppid=15309 vsize=197428 CPUtime=0
/proc/15317/task/15325/stat : 15325 (java) S 15309 15309 13280 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 2003294083 202166272 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15317/tid=15326] ppid=15309 vsize=197428 CPUtime=0
/proc/15317/task/15326/stat : 15326 (java) S 15309 15309 13280 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 2003294737 202166272 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1010.39
Current children cumulated vsize (KiB) 870928
[startup+1011.9 s]
/proc/loadavg: 2.17 2.12 2.03 2/82 15367
/proc/meminfo: memFree=1754560/2055920 swapFree=4180700/4192956
[pid=15309] ppid=15307 vsize=5360 CPUtime=57.88
/proc/15309/stat : 15309 (hydra) S 15307 15309 13280 0 -1 4194304 375 19006 0 0 0 0 5775 13 18 0 1 0 2003288238 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15309/statm: 1340 238 196 169 0 51 0
[pid=15317] ppid=15309 vsize=0 CPUtime=952.85
/proc/15317/stat : 15317 (java) R 15309 15309 13280 0 -1 1028 14121 55043 1 1 629 19 94596 41 16 0 1 0 2003294078 0 0 996147200 0 0 0 0 0 0 0 0 16800975 0 0 0 17 0 0 0
/proc/15317/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1010.73
Current children cumulated vsize (KiB) 5360
Child status: 0
Real time (s): 1011.91
CPU time (s): 1010.77
CPU user time (s): 1010.02
CPU system time (s): 0.751885
CPU usage (%): 99.887
Max. virtual memory (cumulated for all children) (KiB): 870928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1010.02
system time used= 0.751885
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88557
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= 50000
involuntary context switches= 37024
runsolver used 5.42717 second user time and 8.62269 second system time
The end
Begin job on node61 at 2008-07-05 09:32:48
IDJOB=1087233
IDBENCH=57949
IDSOLVER=365
FILE ID=node61/1087233-1215243168
PBS_JOBID= 7881845
Free space on /tmp= 66488 MiB
SOLVER NAME= cpHydra k_10
BENCH NAME= CPAI08/csp/fapp/fapp14/normalized-fapp14-2500-9.xml
COMMAND LINE= HOME/cpHydra_k_10/hydra BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1087233-1215243168/watcher-1087233-1215243168 -o /tmp/evaluation-result-1087233-1215243168/solver-1087233-1215243168 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1087233-1215243168.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 82e6ad1aef50625fbf6be40e28789b38
RANDOM SEED=217605737
node61.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.269
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.269
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: 1746416 kB
Buffers: 36280 kB
Cached: 154392 kB
SwapCached: 6188 kB
Active: 136792 kB
Inactive: 116352 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1746416 kB
SwapTotal: 4192956 kB
SwapFree: 4180700 kB
Dirty: 29984 kB
Writeback: 0 kB
Mapped: 70284 kB
Slab: 41848 kB
Committed_AS: 4114280 kB
PageTables: 1824 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264884 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66464 MiB
End job on node61 at 2008-07-05 09:49:41