0.00/0.01 c cpHydra_k_10 version 0.0
17.58/17.87 c CASE TO CLASSIFY:
17.58/17.87 c Case: 0
17.58/17.87 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.854000 | c 15 > 14.666800 | c 34 > 68.271900 | c 16 > 2.000000 | c 13 > 2.596710 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.681000 | c 21 > 12.658900 | c 20 > 0.000000 | c 22 > 13.784000 | c 23 > 3.099670 | c 24 > 0.791706 | 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.646800 | 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.289900 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
17.58/17.88 c choco : 1801.0
17.58/17.88 c mistral : 1801.0
17.58/17.88 c abscon : 1801.0
17.58/17.88 c
17.58/17.88 c
17.68/17.96 c List of same ones: 10
17.68/17.96 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp13/fapp13-2000-10.xml
17.68/17.96 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.854000 | c 15 > 12.460500 | c 34 > 68.271900 | c 16 > 2.000000 | c 13 > 2.596710 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.681000 | c 21 > 12.658900 | c 20 > 0.000000 | c 22 > 13.784000 | c 23 > 3.099670 | c 24 > 0.791706 | 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.646800 | 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.289900 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
17.68/17.97 c choco : 1801.0
17.68/17.97 c mistral : 1800.11
17.68/17.97 c abscon : 39.9029
17.68/17.97 c
17.68/17.97 c
17.68/17.97 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp13/fapp13-2000-9.xml
17.68/17.97 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.854000 | c 15 > 12.322500 | c 34 > 68.271900 | c 16 > 2.000000 | c 13 > 2.596710 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.681000 | c 21 > 12.658900 | c 20 > 0.000000 | c 22 > 13.784000 | c 23 > 3.099670 | c 24 > 0.791706 | 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.646800 | 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.289900 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
17.68/17.98 c choco : 1801.0
17.68/17.98 c mistral : 1800.06
17.68/17.98 c abscon : 41.6947
17.68/17.98 c
17.68/17.98 c
17.68/17.98 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp13/fapp13-2000-8.xml
17.68/17.98 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.854000 | c 15 > 12.175200 | c 34 > 68.271900 | c 16 > 2.000000 | c 13 > 2.596710 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.681000 | c 21 > 12.658900 | c 20 > 0.000000 | c 22 > 13.784000 | c 23 > 3.099670 | c 24 > 0.791706 | 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.646800 | 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.289900 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
17.68/17.99 c choco : 1801.0
17.68/17.99 c mistral : 1800.08
17.68/17.99 c abscon : 49.3535
17.68/17.99 c
17.68/17.99 c
17.68/17.99 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp13/fapp13-2000-7.xml
17.68/17.99 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.854000 | c 15 > 12.045400 | c 34 > 68.271900 | c 16 > 2.000000 | c 13 > 2.596710 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.681000 | c 21 > 12.658900 | c 20 > 0.000000 | c 22 > 13.784000 | c 23 > 3.099670 | c 24 > 0.791706 | 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.646800 | 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.289900 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
17.76/18.00 c choco : 1801.0
17.76/18.00 c mistral : 1800.04
17.76/18.00 c abscon : 176.285
17.76/18.00 c
17.76/18.00 c
17.76/18.00 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp13/fapp13-2000-2.xml
17.76/18.00 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.854000 | c 15 > 11.748600 | c 34 > 68.271900 | c 16 > 2.000000 | c 13 > 2.596710 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.681000 | c 21 > 12.658900 | c 20 > 0.000000 | c 22 > 13.784000 | c 23 > 3.099670 | c 24 > 0.791706 | 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.646800 | 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.289900 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
17.96/18.22 c choco : 1801.0
17.96/18.22 c mistral : 22.6026
17.96/18.22 c abscon : 8.82166
17.96/18.22 c
17.96/18.22 c
17.96/18.22 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp13/fapp13-2000-1.xml
17.96/18.22 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.854000 | c 15 > 11.706100 | c 34 > 68.271900 | c 16 > 2.000000 | c 13 > 2.596710 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.681000 | c 21 > 12.658900 | c 20 > 0.000000 | c 22 > 13.784000 | c 23 > 3.099670 | c 24 > 0.791706 | 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.646800 | 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.289900 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
17.96/18.23 c choco : 1801.0
17.96/18.23 c mistral : 22.5536
17.96/18.23 c abscon : 9.1856
17.96/18.23 c
17.96/18.23 c
17.96/18.23 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-10.xml
17.96/18.23 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.472100 | c 15 > 12.227300 | c 34 > 68.035800 | c 16 > 2.000000 | c 13 > 2.546710 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 4.460350 | c 21 > 13.109900 | c 20 > 0.000000 | c 22 > 13.490700 | c 23 > 4.118320 | c 24 > 0.800152 | 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.011100 | 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.975900 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
17.96/18.23 c choco : 1801.0
17.96/18.23 c mistral : 1800.05
17.96/18.23 c abscon : 64.5562
17.96/18.23 c
17.96/18.23 c
17.96/18.23 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-9.xml
17.96/18.23 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.472100 | c 15 > 12.083100 | c 34 > 68.035800 | c 16 > 2.000000 | c 13 > 2.546710 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 4.460350 | c 21 > 13.109900 | c 20 > 0.000000 | c 22 > 13.490700 | c 23 > 4.118320 | c 24 > 0.800152 | 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.011100 | 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.975900 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
17.96/18.24 c choco : 1801.0
17.96/18.24 c mistral : 1800.09
17.96/18.24 c abscon : 128.934
17.96/18.24 c
17.96/18.24 c
17.96/18.24 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-8.xml
17.96/18.24 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.472100 | c 15 > 11.964300 | c 34 > 68.035800 | c 16 > 2.000000 | c 13 > 2.546710 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 4.460350 | c 21 > 13.109900 | c 20 > 0.000000 | c 22 > 13.490700 | c 23 > 4.118320 | c 24 > 0.800152 | 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.011100 | 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.975900 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
17.96/18.25 c choco : 1801.0
17.96/18.25 c mistral : 1800.07
17.96/18.25 c abscon : 77.7912
17.96/18.25 c
17.96/18.25 c
17.96/18.25 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp13/fapp13-2000-0.xml
17.96/18.25 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.854000 | c 15 > 11.346000 | c 34 > 68.271900 | c 16 > 2.000000 | c 13 > 2.596710 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.681000 | c 21 > 12.658900 | c 20 > 0.000000 | c 22 > 13.784000 | c 23 > 3.099670 | c 24 > 0.791706 | 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.646800 | 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.289900 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
17.96/18.26 c choco : 1801.0
17.96/18.26 c mistral : 31.97
17.96/18.26 c abscon : 8.58269
17.96/18.26 c
17.96/18.26 c
17.96/18.26 c Length: 10
17.96/18.26 c 2.2063000000000006 2.3443000000000005 2.4916 2.6213999999999995 2.9182000000000006 2.960700000000001 2.9696142931222584 3.0891672809862545 3.189193479536168 3.3208
17.96/18.26 c
17.96/18.27 c 1.0 0.8898203592814372 0.7961851693099017 0.7286218619246866 0.6102168199737187 0.5963400931028946 0.5935091686552834 0.5579845082120728 0.531373827025756 0.5
17.96/18.27 c
17.96/18.27 c solver 0
17.96/18.27 c before 0.0 seconds: {} 0
17.96/18.27 c before 18.0 seconds: {4, 5, 9} 1706
17.96/18.27 c before 54.0 seconds: {0, 1, 2, 4, 5, 9} 4392
17.96/18.27 c before 72.0 seconds: {0, 1, 2, 4, 5, 6, 9} 4986
17.96/18.27 c before 90.0 seconds: {0, 1, 2, 4, 5, 6, 8, 9} 5517
17.96/18.27 c before 144.0 seconds: {0, 1, 2, 4, 5, 6, 7, 8, 9} 6075
17.96/18.27 c before 180.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6804
17.96/18.27 c
17.96/18.27 c solver 1
17.96/18.27 c before 0.0 seconds: {} 0
17.96/18.27 c before 36.0 seconds: {4, 5, 9} 1706
17.96/18.27 c
17.96/18.27 c solver 2
17.96/18.27 c before 0.0 seconds: {} 0
17.96/18.27 c
17.96/18.27 cTotal time: 12
17.96/18.27 c 216.0 seconds unused
17.96/18.27 c 0 c 7 c 10
17.96/18.27 c 0 c 0 c 3
17.96/18.27 c 0 c 0 c 0
17.96/18.27 c is solver0 dominated by:
17.96/18.27 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)
17.96/18.27 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)
17.96/18.27 c is dominated? false
17.96/18.27 c
17.96/18.27 c is solver1 dominated by:
17.96/18.27 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)
17.96/18.27 c is dominated? true
17.96/18.27 c
17.96/18.27 c is solver2 dominated by:
17.96/18.27 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)
17.96/18.27 c is dominated? true
17.96/18.27 c
17.96/18.27 c Number of non-dominated solvers: 1
17.96/18.27 c remove dominated solvers
17.96/18.27 c solver 0 is not dominated by another solver
17.96/18.27 c solver 2 is dominated by another solver
17.96/18.27 c solver 1 is dominated by another solver
17.96/18.27 c
17.96/18.27 c solver 0: 180.0
17.96/18.27 c
17.96/18.27 c+ 10/10 of 90
17.96/18.27 c
17.96/18.27 c solver 1: 0.0
17.96/18.27 c
17.96/18.27 c solver 2: 0.0
17.96/18.28 c run abscon for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6804
17.96/18.28 c do not run mistral
17.96/18.28 c do not run choco
17.96/18.28 c Starting solver: HOME/cpHydra_k_10/solver/abscon
17.96/18.28 c On Instance: HOME/instance-1085931-1215236156.xml
17.96/18.28 c Running for: 1800 seconds
75.17/75.53 s SAT
75.17/75.53 v 2584 -2520 2532 2588 2360 2468 -2560 -2400 -2636 -2288 2280 2320 2620 2656 -2616 2436 -2656 -2360 -2280 -2320 -2344 2384 -2380 -2424 -2444 -2636 -2328 2500 2592 2480 -2320 -2620 -2516 -2516 2584 2424 -2360 2400 -2488 -2336 -2360 -2280 2476 2288 -2448 2656 2544 -2616 2632 2340 2320 2560 2560 -2656 -2496 2556 2616 -2324 -2396 2604 2408 -2388 2320 -2284 -2296 -2548 -2280 2580 -2580 -2320 2520 2644 2496 2648 -2320 2492 2288 2624 2536 -2656 -2616 -2340 2280 -2484 -2620 2412 2456 2460 2492 -2280 2368 2352 2564 2284 -2436 -2468 2448 -2532 -2436 2608 -2344 2592 2436 2488 -2328 -2640 2656 2372 -2320 -2444 2420 2304 2336 -2492 -2572 2452 -2540 -2636 2460 2496 -2600 2600 2632 -2608 -2364 2592 2612 -2432 -2524 -2284 -2440 -2444 2588 -2616 -2352 -2336 2436 2456 -2600 2436 -2472 -2448 2600 -2472 -2464 2656 2560 -2652 -2644 -2628 -2428 -2432 -2432 -2320 2584 -2504 -2320 -2292 -2324 -2500 2420 2532 -2448 2596 -2492 -2292 -2320 2592 2332 -2448 2520 2312 -2340 2384 -2656 2316 -2420 -2616 -2360 2480 -2504 -2328 -2368 -2612 -2656 2328 -2492 -2632 2596 -2428 -2280 -2320 2312 2324 -2328 -2508 -2384 -2304 -2608 2464 -2280 -2616 2528 2560 2608 -2616 -2580 2536 -2320 -2656 -2648 2392 -2352 -2320 2608 2432 2500 2564 -2416 -2380 -2372 2584 -2280 -2360 -2444 -2532 2616 2508 -2360 -2532 -2432 2616 -2368 -2644 -2608 -2400 2596 2588 2484 -2592 2656 -2280 2284 2320 -2280 2588 2444 -2320 -2320 -2616 -2640 -2456 2592 2280 -2588 -2300 -2528 -2460 -2336 2280 2620 -2480 -2284 2340 2536 -2296 2528 -2320 2580 2616 -2340 2540 2584 -2560 2580 -2552 2332 2356 2288 -2412 2476 2556 -2420 -2388 -2616 -2404 -2360 2592 2524 2424 -2460 -2624 -2396 -2428 -2468 2396 2460 2572 -2340 -2568 2432 2280 -2500 -2536 -2420 2564 2588 2352 -2320 2292 -2472 2420 2420 2592 -2500 2528 -2568 -2320 -2304 -2332 -2656 -2392 2596 -2568 -2332 -2464 -2652 -2300 2356 2648 2288 -2500 2600 2636 -2612 -2356 -2416 -2376 -2284 2652 2504 2320 2632 -2572 -2400 2572 -2488 2296 -2308 2484 -2408 2656 2560 -2280 2492 -2436 -2452 -2384 -2376 -2356 -2520 -2340 2612 2352 -2656 2616 2460 -2612 -2640 2356 2284 2492 -2368 -2332 2496 -2512 2496 2320 2468 -2584 2656 2400 -2436 -2360 -2368 2580 -2428 2484 2492 2656 2468 -2372 2544 -2400 2488 2516 -2384 -2380 -2436 2604 2440 -2316 2544 -2552 -2420 -2488 -2392 2476 -2432 2328 2540 2568 -2388 2408 2548 -2656 -2348 2648 2648 2580 -2536 2452 -2516 -2656 -2616 -2568 -2508 -2432 -2636 -2548 2376 2600 -2364 2292 2524 2512 2616 2608 -2296 -2656 -2472 -2560 2608 -2284 -2320 -2540 -2316 2328 -2552 -2284 -2300 2284 -2476 2320 -2284 2584 2552 -2344 -2436 2616 -2528 -2484 -2628 -2400 2328 -2320 -2484 -2292 -2524 2616 -2280 -2360 -2428 -2452 -2328 2400 2296 -2280 -2616 2456 -2556 -2428 -2656 2588 -2592 -2496 -2596 -2424 2484 -2356 2540 -2368 2432 -2616 -2388 2420 2348 -2448 2452 -2396 -2340 2280 2392 2588 -2320 2380 2640 2656 -2564 -2352 2428 -2488 -2608 -2580 -2492 2300 -2656 -2548 -2512 2640 -2428 2324 2504 -2592 -2596 2400 2324 -2328 2428 -2388 -2616 2320 2564 -2284 2612 -2452 -2584 -2500 2520 -2440 2396 2288 2632 -2640 -2280 2524 -2564 2280 2384 -2616 -2656 2356 -2328 2352 -2296 -2480 -2380 -2280 -2320 2608 2564 2360 2616 -2364 2324 -2628 2400 -2504 -2352 2368 -2616 -2580 2332 2616 2524 -2580 -2460 -2280 -2608 -2656 2436 2304 -2576 2324 -2388 -2588 -2656 2544 2548 2428 -2576 -2284 2396 2484 -2404 2400 -2352 -2596 -2552 2560 -2612 -2340 2484 -2448 -2328 -2348 -2340 -2588 -2368 2592 2472 2312 -2656 -2600 -2376 2476 2500 -2464 2540 -2524 -2552 2580 2496 2492 -2472 -2600 2460 -2372 -2652 -2612 -2292 -2312 -2436 -2656 -2280 2604 -2316 -2616 2536 2364 2332 2492 2360 2616 2332 2324 -2396 -2364 2304 -2336 2392 -2320 2528 -2496 2544 -2420 2632 2544 2376 2432 -2580 -2564 2560 -2396 2376 -2616 -2656 -2524 -2616 -2320 -2440 2600 -2564 2540 2616 -2656 -2412 2380 2476 2320 2588 2280 -2320 -2316 -2352 -2636 2524 -2656 -2424 -2500 -2448 -2452 2404 2284 2336 2280 2328 -2368 -2492 -2360 2412 2632 -2616 -2324 -2656 -2576 2520 2596 -2580 -2584 -2616 -2444 -2628 -2296 -2600 2436 -2576 -2312 2616 -2348 2616 2396 2536 -2624 -2420 -2344 2516 2476 -2492 -2280 -2424 2424 -2316 2604 -2448 2604 -2580 -2284 -2436 -2404 -2440 2324 2568 -2368 2512 -2524 -2544 2500 -2560 2556 -2496 -2300 -2508 -2564 -2448 2488 2304 -2492 -2320 -2520 2528 -2452 2280 2456 -2516 -2616 2444 2600 -2564 2592 -2392 2320 2616 -2400 -2324 2656 -2288 2596 2356 -2332 -2608 -2340 -2592 -2648 -2592 2656 2536 2448 2620 2576 -2604 2308 -2592 2624 -2428 2392 -2364 -2340 -2628 -2380 -2616 -2508 -2656 -2552 2556 2576 -2280 2280 2472 -2308 -2380 -2324 -2616 -2328 -2336 -2416 -2392 -2420 -2280 -2488 2428 -2356 2320 -2652 2544 -2408 -2452 -2352 -2460 2396 2396 -2324 2480 -2280 -2576 -2584 2596 2408 -2280 -2376 -2320 2376 2336 2520 -2552 2520 -2580 2360 -2448 2280 -2284 2520 -2412 2512 -2296 2368 -2656 2628 -2536 2484 -2400 2500 -2584 -2528 2412 -2316 2656 2308 -2524 -2596 -2320 2644 -2280 2340 2372 2432 -2440 2464 2384 2616 -2360 -2568 2320 -2300 -2572 -2456 -2512 -2512 2472 -2584 2468 -2476 -2656 2432 -2388 2600 2436 2460 2320 2432 -2476 2556 -2652 -2328 -2352 -2292 2432 -2640 -2480 2484 -2532 -2644 2548 2636 2584 -2396 -2396 -2584 -2528 2596 2392 -2404 -2604 2540 -2608 -2424 2296 2564 -2328 -2368 2436 2584 -2644 -2656 -2544 -2476 -2584 -2516 -2440 2520 2416 2328 -2604 2280 2616 -2428 -2432 -2564 2368 2320 -2488 -2580 2484 -2508 2536 -2576 2444 -2516 2404 -2328 2600 -2468 -2356 -2608 2324 -2288 -2412 -2548 -2432 -2584 -2476 2508 -2328 2460 -2344 -2320 2540 -2616 -2488 -2360 -2376 2508 -2384 2588 2640 -2592 -2460 2596 -2416 2468 2588 2396 2544 -2616 2332 -2616 2484 2588 2484 2480 -2492 -2460 -2628 2440 -2336 -2580 -2568 2440 -2292 2396 -2472 -2380 2516 -2448 -2548 2656 2548 -2352 -2344 -2556 2280 -2616 2612 -2656 -2452 -2544 -2636 -2540 -2640 2416 -2580 -2440 -2532 -2516 -2412 -2500 2596 2544 -2616 -2616 -2320 2532 2392 -2404 2452 2532 -2308 -2524 -2568 -2476 2400 -2312 -2280 -2652 2468 -2404 2424 2384 2636 2452 2560 -2484 -2408 -2320 -2508 2540 2372 2604 -2560 2320 -2656 2468 -2620 2280 2308 -2640 2652 -2404 -2364 2544 -2368 -2424 2500 2280 -2328 2600 2376 2544 -2320 2584 -2556 -2520 -2656 -2304 -2352 2424 -2280 2308 2400 -2464 2388 -2332 -2656 2612 -2352 2656 -2636 2604 -2580 2636 -2512 -2560 -2528 -2584 -2296 -2320 -2592 -2616 2564 -2312 2468 2340 2468 -2616 2544 2364 2552 2464 -2408 2452 -2644 -2284 -2524 -2656 -2472 -2616 -2288 -2504 2532 -2488 2620 -2288 2292 -2300 -2348 2460 2356 -2488 -2524 2496 -2636 2468 -2624 -2480 -2432 2384 -2500 -2656 -2632 2656 -2508 2320 -2632 -2604 2492 -2616 -2616 -2472 2404 -2592 -2312 2508 2496 -2516 -2424 -2440 -2572 2320 2584 2524 -2572 2372 2540 -2372 -2472 -2280 2528 -2356 -2280 -2468 2380 2564 2488 -2548 2424 -2376 -2560 -2640 2328 2560 2412 -2520 2280 2608 -2440 -2372 -2616 2628 -2616 2368 2604 -2580 -2480 -2408 -2436 -2632 -2368 -2292 -2584 2508 -2592 -2380 2560 -2432 -2332 2612 2332 -2608 -2656 -2448 2280 -2428 -2528 2612 2544 2616 2440 2472 2616 -2380 -2548 -2368 2456 2556 2460 -2344 2312 -2320 -2544 2656 -2432 2320 -2416 -2308 -2368 2488 -2444 2284 2532 2628 2624 -2420 2596 2460 -2356 2336 -2336 -2588 -2608 2280 2500 -2404 -2616 2656 -2408 2568 -2632 -2596 2372 2588 -2376 -2608 -2532 2636 -2568 2612 2552 2604 2468 2316 -2460 2388 2288 2628 2428 -2536 -2548 -2288 -2320 -2628 2408 2596 -2492 -2604 2396 -2344 2332 2456 2340 -2412 -2560 -2328 -2620 2588 2508 2448 -2412 2592 -2320 -2580 2608 2468 -2464 -2476 -2568 -2280 -2488 2616 2520 -2520 2380 -2616 2520 -2504 -2324 2408 -2324 -2652 -2560 -2536 -2320 -2352 2356 -2404 -2584 -2496 -2568 2632 -2580 -2280 -2392 2424 2516 -2604 -2364 2280 -2372 -2656 -2444 -2656 2280 2312 -2320 -2656 -2336 -2484 2504 2444 -2604 -2504 -2448 -2616 -2512 -2300 -2324 2632 -2320 -2468 2476 -2656 2328 2496 -2440 -2300 -2348 2552 -2408 -2336 2304 2288 2572 -2288 -2588 -2596 2428 -2564 -2560 2612 2320 2340 2340 -2544 -2344 2632 -2328 2328 2456 2484 -2384 2360 -2564 2324 2320 -2292 2356 -2420 -2444 2600 -2656 2560 2448 -2536 -2480 -2632 2588 -2512 2464 2600 2280 -2524 2584 2544 2564 2612 -2492 -2312 2288 -2280 -2532 2656 -2528 2528 -2344 -2488 -2632 2404 2280 -2336 2656 -2360 -2532 -2636 2620 -2600 -2544 -2608 -2460 2520 2656 2380 -2492 2504 -2496 -2472 -2520 2612 2616 2456 -2372 2336 2504 -2596 2528 2304 -2452 2612 -2640 -2408 -2344 -2380 -2344 -2512 -2544 -2648 -2476 2512 2408 -2324 2516 -2400 2304 -2372 -2348 -2596 2408 -2468 -2600 2328 -2616 2504 2280 2368 2632 -2364 2536 -2352 2592 -2656 -2496 -2572 2540 -2504 2456 -2504 -2280 2648 -2292 2656 -2468 -2280 2432 2580 -2320 -2368 -2428 -2344 -2620 -2392 -2336 -2324 -2608 2376 2528 2444 2320 -2344 2352 2348 -2284 -2348 -2560 2580 2492 -2604 -2656 -2320 -2656 -2616 2332 -2616 -2596 2300 -2368 2572 -2320 2412 -2592 2452 2468 2472 -2628 2556 -2356 -2620 -2644 -2416 -2616 -2592 2656 2572 -2544 2344 2468 -2352 -2500 -2384 2492 -2652 2608 -2316 2392 2648 2296 -2320 2588 2656 2384 -2332 -2344 -2616 -2652 -2280 2280 -2384 -2520 -2320 2400 -2336 2312 -2616 -2588 -2588 -2500 2420 2624 2504 2316 -2488 2280 -2416 -2384 -2360 -2492 -2540 -2452 -2532 -2656 2580 -2632 2544 -2300 -2644 -2592 -2340 2300 -2516 -2596 2560 -2480 2408 -2408 2604 -2288 2336 2384 2456 -2632 -2436 -2384 2388 -2656 -2460 2596 -2636 -2300 -2556 2464 2524 2356 2416 -2612 2560 -2544 -2508 -2604 2432 -2568 -2616 -2636 -2400 -2280 2600 2644 -2656 2392 2648 -2508 2612 -2600 -2316 2416 2636 2380 2408 2632 2304 2616 2480 -2376 2604 -2616 -2656 -2496 -2340 -2596 -2332 -2512 -2448 2500 -2656 -2564 2408 -2408 -2532 2472 2540 2528 -2600 2592 -2548 2372 2640 -2320 -2540 2584 2652 -2656 -2400 2320 2576 -2452 -2284 -2468 2568 -2540 2376 -2520 2280 2384 2392 2556 -2340 -2324 -2632 2384 -2452 2280 2536 -2536 -2468 2576 2420 -2460 -2428 2412 2592 -2616 -2388 2484 -2592 2540 -2440 2512 2368 -2392 -2428 -2616 2280 -2328 -2464 -2356 2548 2320 -2468 2332 -2624 -2432 -2404 -2592 -2508 -2412 2504 -2548 -2456 2320 2544 2544 2500 2656 -2612 -2532 2600 -2616 2616 -2296 -2412 -2612 2656 2360 -2344 -2488 2576 2608 -2424 2524 -2656 2600 2508 -2572 -2580 2572 -2320 -2456 -2488 -2336 2616 -2632 2568 -2456 2320 -2624 2592 2572 2364 2552 -2596 -2376 2320 2596 2496 -2324 2616 -2536 -2376 2592 2528 2552 -2620 -2616 -2556 2504 2616 -2508 -2392 2656 -2448 2596 2652 2332 -2360 -2300 2292 2500 2584 -2432 -2584 -2320 -2328 2652 -2564 2388 -2484 -2336 2312 -2620 -2524 -2552 2292 2492 -2312 2396 2572 2508 -2488 -2488 -2316 -2348 -2360 2432 -2288 2632 2648 -2476 -2296 2320 -2516 2320 2328 -2412 -2328 -2480 -2288 2352 -2472 -2360 -2444 -2332 2344 -2656 2552 -2656 2280 -2412 2524 2620 2280 -2356 -2372 -2548 2544 2592 -2280 2336 -2280 2624 2348 -2472 -2288 -2424 -2480 2416 2472 2292 2392 -2304 2624 2296 2592 2536 2476 2280 -2320 -2648 -2592 -2404 -2612 -2344 -2344 2612 2336 -2340 2352 2372 -2440 2460 -2616 -2336 2392 2392 -2360 2348 2372 2368 2656 -2468 -2492 -2464 -2432 2480 -2320 2320 -2416 2600 -2416 -2428 2396 2636 -2344 -2320 2472 -2512 -2536 2384 -2444 -2316 -2516 2612 2296 -2560 2652 -2616 -2336 2488 -2484 -2604 -2524 2604 -2556 2356 -2320 2416 2424 2416 -2552 -2636 -2552 2568 -2616 2328 -2412 2380 2584 -2644 -2580 -2372 2340 -2376 -2404 2416 -2320 -2656 2380 2596 -2324 -2532 -2652 2368 -2524 -2408 -2636
75.17/75.53 d ASSIGNMENTS 3331
75.17/75.53 d CHECKS 61480882
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1085931-1215236156/watcher-1085931-1215236156 -o /tmp/evaluation-result-1085931-1215236156/solver-1085931-1215236156 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1085931-1215236156.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.07 2.14 2.09 4/83 11733
/proc/meminfo: memFree=872832/2055920 swapFree=4117564/4192956
[pid=11733] ppid=11731 vsize=18572 CPUtime=0
/proc/11733/stat : 11733 (runsolver) R 11731 11733 10530 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 2002589375 19017728 292 996147200 4194304 4296836 548682068480 18446744073709551615 264907582759 0 0 4096 24578 0 0 0 17 1 0 0
/proc/11733/statm: 4643 292 257 25 0 2626 0
[startup+0.089094 s]
/proc/loadavg: 2.07 2.14 2.09 4/83 11733
/proc/meminfo: memFree=872832/2055920 swapFree=4117564/4192956
[pid=11733] ppid=11731 vsize=5360 CPUtime=0
/proc/11733/stat : 11733 (hydra) S 11731 11733 10530 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2002589375 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11733/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101091 s]
/proc/loadavg: 2.07 2.14 2.09 4/83 11733
/proc/meminfo: memFree=872832/2055920 swapFree=4117564/4192956
[pid=11733] ppid=11731 vsize=5360 CPUtime=0
/proc/11733/stat : 11733 (hydra) S 11731 11733 10530 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2002589375 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11733/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301108 s]
/proc/loadavg: 2.07 2.14 2.09 4/83 11733
/proc/meminfo: memFree=872832/2055920 swapFree=4117564/4192956
[pid=11733] ppid=11731 vsize=5360 CPUtime=0
/proc/11733/stat : 11733 (hydra) S 11731 11733 10530 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2002589375 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11733/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701136 s]
/proc/loadavg: 2.07 2.14 2.09 4/83 11733
/proc/meminfo: memFree=872832/2055920 swapFree=4117564/4192956
[pid=11733] ppid=11731 vsize=5360 CPUtime=0
/proc/11733/stat : 11733 (hydra) S 11731 11733 10530 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2002589375 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11733/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50118 s]
/proc/loadavg: 2.07 2.14 2.09 3/85 11737
/proc/meminfo: memFree=858032/2055920 swapFree=4117564/4192956
[pid=11733] ppid=11731 vsize=5360 CPUtime=0
/proc/11733/stat : 11733 (hydra) S 11731 11733 10530 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2002589375 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11733/statm: 1340 236 195 169 0 51 0
[pid=11737] ppid=11733 vsize=77100 CPUtime=1.46
/proc/11737/stat : 11737 (xsolve) R 11733 11733 10530 0 -1 4194304 11590 0 0 0 139 7 0 0 25 0 1 0 2002589377 78950400 11353 996147200 134512640 135239763 4294956176 18446744073709551615 134543147 0 0 4096 0 0 0 0 17 1 0 0
/proc/11737/statm: 19275 11353 416 177 0 18178 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 82460
[startup+3.10128 s]
/proc/loadavg: 2.07 2.14 2.09 3/85 11737
/proc/meminfo: memFree=828272/2055920 swapFree=4117564/4192956
[pid=11733] ppid=11731 vsize=5360 CPUtime=0
/proc/11733/stat : 11733 (hydra) S 11731 11733 10530 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2002589375 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11733/statm: 1340 236 195 169 0 51 0
[pid=11737] ppid=11733 vsize=77100 CPUtime=3.05
/proc/11737/stat : 11737 (xsolve) R 11733 11733 10530 0 -1 4194304 11590 0 0 0 298 7 0 0 25 0 1 0 2002589377 78950400 11353 996147200 134512640 135239763 4294956176 18446744073709551615 134532177 0 0 4096 0 0 0 0 17 1 0 0
/proc/11737/statm: 19275 11353 416 177 0 18178 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 82460
[startup+6.30249 s]
/proc/loadavg: 2.07 2.13 2.09 3/85 11737
/proc/meminfo: memFree=828336/2055920 swapFree=4117564/4192956
[pid=11733] ppid=11731 vsize=5360 CPUtime=0
/proc/11733/stat : 11733 (hydra) S 11731 11733 10530 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2002589375 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11733/statm: 1340 236 195 169 0 51 0
[pid=11737] ppid=11733 vsize=77100 CPUtime=6.22
/proc/11737/stat : 11737 (xsolve) R 11733 11733 10530 0 -1 4194304 11590 0 0 0 613 9 0 0 25 0 1 0 2002589377 78950400 11353 996147200 134512640 135239763 4294956176 18446744073709551615 134538524 0 0 4096 0 0 0 0 17 1 0 0
/proc/11737/statm: 19275 11353 416 177 0 18178 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 82460
[startup+12.7029 s]
/proc/loadavg: 2.06 2.13 2.09 4/93 11749
/proc/meminfo: memFree=867184/2055920 swapFree=4117564/4192956
[pid=11733] ppid=11731 vsize=5360 CPUtime=11.68
/proc/11733/stat : 11733 (hydra) S 11731 11733 10530 0 -1 4194304 375 12197 0 0 0 0 1158 10 18 0 1 0 2002589375 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11733/statm: 1340 238 196 169 0 51 0
[pid=11741] ppid=11733 vsize=197000 CPUtime=0.86
/proc/11741/stat : 11741 (java) S 11733 11733 10530 0 -1 0 4242 0 1 0 83 3 0 0 18 0 9 0 2002590557 201728000 3599 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11741/statm: 49250 3599 1676 9 0 43833 0
[pid=11741/tid=11742] ppid=11733 vsize=197000 CPUtime=0.67
/proc/11741/task/11742/stat : 11742 (java) R 11733 11733 10530 0 -1 64 2569 0 1 0 66 1 0 0 23 0 9 0 2002590558 201728000 3599 996147200 134512640 134550740 4294955968 18446744073709551615 4126440600 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11741/tid=11743] ppid=11733 vsize=197000 CPUtime=0.04
/proc/11741/task/11743/stat : 11743 (java) S 11733 11733 10530 0 -1 64 361 0 0 0 4 0 0 0 16 0 9 0 2002590560 201728000 3599 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11741/tid=11744] ppid=11733 vsize=197000 CPUtime=0
/proc/11741/task/11744/stat : 11744 (java) S 11733 11733 10530 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2002590560 201728000 3599 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11741/tid=11745] ppid=11733 vsize=197000 CPUtime=0
/proc/11741/task/11745/stat : 11745 (java) S 11733 11733 10530 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002590560 201728000 3599 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11741/tid=11746] ppid=11733 vsize=197000 CPUtime=0
/proc/11741/task/11746/stat : 11746 (java) S 11733 11733 10530 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002590562 201728000 3599 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11741/tid=11747] ppid=11733 vsize=197000 CPUtime=0.12
/proc/11741/task/11747/stat : 11747 (java) S 11733 11733 10530 0 -1 64 587 0 0 0 12 0 0 0 16 0 9 0 2002590562 201728000 3599 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11741/tid=11748] ppid=11733 vsize=197000 CPUtime=0
/proc/11741/task/11748/stat : 11748 (java) S 11733 11733 10530 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2002590562 201728000 3599 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11741/tid=11749] ppid=11733 vsize=197000 CPUtime=0
/proc/11741/task/11749/stat : 11749 (java) S 11733 11733 10530 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002590562 201728000 3599 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 202360
[startup+25.5027 s]
/proc/loadavg: 2.05 2.12 2.09 3/105 11761
/proc/meminfo: memFree=768464/2055920 swapFree=4117564/4192956
[pid=11733] ppid=11731 vsize=5360 CPUtime=11.68
/proc/11733/stat : 11733 (hydra) S 11731 11733 10530 0 -1 4194304 375 12197 0 0 0 0 1158 10 18 0 1 0 2002589375 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11733/statm: 1340 238 196 169 0 51 0
[pid=11741] ppid=11733 vsize=197436 CPUtime=6.35
/proc/11741/stat : 11741 (java) S 11733 11733 10530 0 -1 0 13877 0 1 0 617 18 0 0 18 0 10 0 2002590557 202174464 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11741/statm: 49359 9389 2543 9 0 43942 0
[pid=11751] ppid=11741 vsize=5356 CPUtime=0
/proc/11751/stat : 11751 (abscon) S 11741 11733 10530 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 2002591204 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 264907580228 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/11751/statm: 1339 235 194 169 0 50 0
[pid=11752] ppid=11751 vsize=656288 CPUtime=7.19
/proc/11752/stat : 11752 (java) S 11751 11733 10530 0 -1 0 21294 0 1 0 703 16 0 0 18 0 9 0 2002591205 672038912 20796 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11752/statm: 164072 20796 2008 9 0 158600 0
[pid=11752/tid=11754] ppid=11751 vsize=656288 CPUtime=6.63
/proc/11752/task/11754/stat : 11754 (java) R 11751 11733 10530 0 -1 64 12418 0 1 0 652 11 0 0 25 0 9 0 2002591205 672038912 20796 996147200 134512640 134550740 4294955808 18446744073709551615 4126897873 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11752/tid=11755] ppid=11751 vsize=656288 CPUtime=0.31
/proc/11752/task/11755/stat : 11755 (java) S 11751 11733 10530 0 -1 64 7624 0 0 0 27 4 0 0 18 0 9 0 2002591207 672038912 20796 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11752/tid=11756] ppid=11751 vsize=656288 CPUtime=0
/proc/11752/task/11756/stat : 11756 (java) S 11751 11733 10530 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002591207 672038912 20796 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11752/tid=11757] ppid=11751 vsize=656288 CPUtime=0
/proc/11752/task/11757/stat : 11757 (java) S 11751 11733 10530 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002591207 672038912 20796 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11752/tid=11758] ppid=11751 vsize=656288 CPUtime=0
/proc/11752/task/11758/stat : 11758 (java) S 11751 11733 10530 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2002591209 672038912 20796 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11752/tid=11759] ppid=11751 vsize=656288 CPUtime=0.23
/proc/11752/task/11759/stat : 11759 (java) S 11751 11733 10530 0 -1 64 705 0 0 0 23 0 0 0 15 0 9 0 2002591209 672038912 20796 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11752/tid=11760] ppid=11751 vsize=656288 CPUtime=0
/proc/11752/task/11760/stat : 11760 (java) S 11751 11733 10530 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2002591209 672038912 20796 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11752/tid=11761] ppid=11751 vsize=656288 CPUtime=0
/proc/11752/task/11761/stat : 11761 (java) S 11751 11733 10530 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2002591209 672038912 20796 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11753] ppid=11751 vsize=7044 CPUtime=0
/proc/11753/stat : 11753 (translate) S 11751 11733 10530 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2002591205 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 264907751506 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/11753/statm: 1761 213 182 1 0 41 0
[pid=11741/tid=11742] ppid=11733 vsize=197436 CPUtime=4.98
/proc/11741/task/11742/stat : 11742 (java) S 11733 11733 10530 0 -1 64 3862 0 1 0 492 6 0 0 25 0 10 0 2002590558 202174464 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=11741/tid=11743] ppid=11733 vsize=197436 CPUtime=1.13
/proc/11741/task/11743/stat : 11743 (java) S 11733 11733 10530 0 -1 64 8564 0 0 0 104 9 0 0 16 0 10 0 2002590560 202174464 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11741/tid=11744] ppid=11733 vsize=197436 CPUtime=0
/proc/11741/task/11744/stat : 11744 (java) S 11733 11733 10530 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002590560 202174464 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11741/tid=11745] ppid=11733 vsize=197436 CPUtime=0
/proc/11741/task/11745/stat : 11745 (java) S 11733 11733 10530 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2002590560 202174464 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11741/tid=11746] ppid=11733 vsize=197436 CPUtime=0
/proc/11741/task/11746/stat : 11746 (java) S 11733 11733 10530 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2002590562 202174464 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11741/tid=11747] ppid=11733 vsize=197436 CPUtime=0.21
/proc/11741/task/11747/stat : 11747 (java) S 11733 11733 10530 0 -1 64 644 0 0 0 20 1 0 0 16 0 10 0 2002590562 202174464 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11741/tid=11748] ppid=11733 vsize=197436 CPUtime=0
/proc/11741/task/11748/stat : 11748 (java) S 11733 11733 10530 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2002590562 202174464 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11741/tid=11749] ppid=11733 vsize=197436 CPUtime=0
/proc/11741/task/11749/stat : 11749 (java) S 11733 11733 10530 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 2002590562 202174464 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11741/tid=11750] ppid=11733 vsize=197436 CPUtime=0
/proc/11741/task/11750/stat : 11750 (java) S 11733 11733 10530 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 2002591204 202174464 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 871484
[startup+51.1024 s]
/proc/loadavg: 2.03 2.11 2.08 3/105 11761
/proc/meminfo: memFree=720208/2055920 swapFree=4117564/4192956
[pid=11733] ppid=11731 vsize=5360 CPUtime=11.68
/proc/11733/stat : 11733 (hydra) S 11731 11733 10530 0 -1 4194304 375 12197 0 0 0 0 1158 10 18 0 1 0 2002589375 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11733/statm: 1340 238 196 169 0 51 0
[pid=11741] ppid=11733 vsize=197436 CPUtime=6.35
/proc/11741/stat : 11741 (java) S 11733 11733 10530 0 -1 0 13877 0 1 0 617 18 0 0 18 0 10 0 2002590557 202174464 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11741/statm: 49359 9389 2543 9 0 43942 0
[pid=11751] ppid=11741 vsize=5356 CPUtime=0
/proc/11751/stat : 11751 (abscon) S 11741 11733 10530 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 2002591204 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 264907580228 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/11751/statm: 1339 235 194 169 0 50 0
[pid=11752] ppid=11751 vsize=656336 CPUtime=32.77
/proc/11752/stat : 11752 (java) S 11751 11733 10530 0 -1 0 34143 0 1 0 3247 30 0 0 18 0 9 0 2002591205 672088064 33412 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11752/statm: 164084 33412 2617 9 0 158612 0
[pid=11752/tid=11754] ppid=11751 vsize=656336 CPUtime=31.05
/proc/11752/task/11754/stat : 11754 (java) R 11751 11733 10530 0 -1 64 12526 0 1 0 3087 18 0 0 25 0 9 0 2002591205 672088064 33412 996147200 134512640 134550740 4294955808 18446744073709551615 4127137377 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11752/tid=11755] ppid=11751 vsize=656336 CPUtime=1.33
/proc/11752/task/11755/stat : 11755 (java) S 11751 11733 10530 0 -1 64 20279 0 0 0 123 10 0 0 16 0 9 0 2002591207 672088064 33412 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11752/tid=11756] ppid=11751 vsize=656336 CPUtime=0
/proc/11752/task/11756/stat : 11756 (java) S 11751 11733 10530 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002591207 672088064 33412 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11752/tid=11757] ppid=11751 vsize=656336 CPUtime=0
/proc/11752/task/11757/stat : 11757 (java) S 11751 11733 10530 0 -1 64 14 0 0 0 0 0 0 0 15 0 9 0 2002591207 672088064 33412 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11752/tid=11758] ppid=11751 vsize=656336 CPUtime=0
/proc/11752/task/11758/stat : 11758 (java) S 11751 11733 10530 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2002591209 672088064 33412 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
################
# More data... #
################
/proc/11741/task/11749/stat : 11749 (java) S 11733 11733 10530 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 2002590562 202174464 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11741/tid=11750] ppid=11733 vsize=197436 CPUtime=0
/proc/11741/task/11750/stat : 11750 (java) S 11733 11733 10530 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 2002591204 202174464 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 73.17
Current children cumulated vsize (KiB) 871532
[startup+74.3039 s]
/proc/loadavg: 2.02 2.11 2.08 3/105 11761
/proc/meminfo: memFree=724240/2055920 swapFree=4117564/4192956
[pid=11733] ppid=11731 vsize=5360 CPUtime=11.68
/proc/11733/stat : 11733 (hydra) S 11731 11733 10530 0 -1 4194304 375 12197 0 0 0 0 1158 10 18 0 1 0 2002589375 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11733/statm: 1340 238 196 169 0 51 0
[pid=11741] ppid=11733 vsize=197436 CPUtime=6.35
/proc/11741/stat : 11741 (java) S 11733 11733 10530 0 -1 0 13877 0 1 0 617 18 0 0 18 0 10 0 2002590557 202174464 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11741/statm: 49359 9389 2543 9 0 43942 0
[pid=11751] ppid=11741 vsize=5356 CPUtime=0
/proc/11751/stat : 11751 (abscon) S 11741 11733 10530 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 2002591204 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 264907580228 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/11751/statm: 1339 235 194 169 0 50 0
[pid=11752] ppid=11751 vsize=656336 CPUtime=55.94
/proc/11752/stat : 11752 (java) S 11751 11733 10530 0 -1 0 34174 0 1 0 5564 30 0 0 18 0 9 0 2002591205 672088064 33433 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11752/statm: 164084 33433 2617 9 0 158612 0
[pid=11752/tid=11754] ppid=11751 vsize=656336 CPUtime=54.18
/proc/11752/task/11754/stat : 11754 (java) R 11751 11733 10530 0 -1 64 12531 0 1 0 5400 18 0 0 25 0 9 0 2002591205 672088064 33433 996147200 134512640 134550740 4294955808 18446744073709551615 4127337312 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11752/tid=11755] ppid=11751 vsize=656336 CPUtime=1.33
/proc/11752/task/11755/stat : 11755 (java) S 11751 11733 10530 0 -1 64 20279 0 0 0 123 10 0 0 17 0 9 0 2002591207 672088064 33433 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11752/tid=11756] ppid=11751 vsize=656336 CPUtime=0
/proc/11752/task/11756/stat : 11756 (java) S 11751 11733 10530 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002591207 672088064 33433 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11752/tid=11757] ppid=11751 vsize=656336 CPUtime=0
/proc/11752/task/11757/stat : 11757 (java) S 11751 11733 10530 0 -1 64 14 0 0 0 0 0 0 0 15 0 9 0 2002591207 672088064 33433 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11752/tid=11758] ppid=11751 vsize=656336 CPUtime=0
/proc/11752/task/11758/stat : 11758 (java) S 11751 11733 10530 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2002591209 672088064 33433 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11752/tid=11759] ppid=11751 vsize=656336 CPUtime=0.41
/proc/11752/task/11759/stat : 11759 (java) S 11751 11733 10530 0 -1 64 808 0 0 0 40 1 0 0 16 0 9 0 2002591209 672088064 33433 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11752/tid=11760] ppid=11751 vsize=656336 CPUtime=0
/proc/11752/task/11760/stat : 11760 (java) S 11751 11733 10530 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2002591209 672088064 33433 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11752/tid=11761] ppid=11751 vsize=656336 CPUtime=0
/proc/11752/task/11761/stat : 11761 (java) S 11751 11733 10530 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2002591209 672088064 33433 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11753] ppid=11751 vsize=7044 CPUtime=0
/proc/11753/stat : 11753 (translate) S 11751 11733 10530 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2002591205 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 264907751506 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/11753/statm: 1761 213 182 1 0 41 0
[pid=11741/tid=11742] ppid=11733 vsize=197436 CPUtime=4.98
/proc/11741/task/11742/stat : 11742 (java) S 11733 11733 10530 0 -1 64 3862 0 1 0 492 6 0 0 25 0 10 0 2002590558 202174464 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=11741/tid=11743] ppid=11733 vsize=197436 CPUtime=1.13
/proc/11741/task/11743/stat : 11743 (java) S 11733 11733 10530 0 -1 64 8564 0 0 0 104 9 0 0 16 0 10 0 2002590560 202174464 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11741/tid=11744] ppid=11733 vsize=197436 CPUtime=0
/proc/11741/task/11744/stat : 11744 (java) S 11733 11733 10530 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002590560 202174464 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11741/tid=11745] ppid=11733 vsize=197436 CPUtime=0
/proc/11741/task/11745/stat : 11745 (java) S 11733 11733 10530 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2002590560 202174464 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11741/tid=11746] ppid=11733 vsize=197436 CPUtime=0
/proc/11741/task/11746/stat : 11746 (java) S 11733 11733 10530 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2002590562 202174464 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11741/tid=11747] ppid=11733 vsize=197436 CPUtime=0.21
/proc/11741/task/11747/stat : 11747 (java) S 11733 11733 10530 0 -1 64 644 0 0 0 20 1 0 0 16 0 10 0 2002590562 202174464 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11741/tid=11748] ppid=11733 vsize=197436 CPUtime=0
/proc/11741/task/11748/stat : 11748 (java) S 11733 11733 10530 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2002590562 202174464 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11741/tid=11749] ppid=11733 vsize=197436 CPUtime=0
/proc/11741/task/11749/stat : 11749 (java) S 11733 11733 10530 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 2002590562 202174464 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11741/tid=11750] ppid=11733 vsize=197436 CPUtime=0
/proc/11741/task/11750/stat : 11750 (java) S 11733 11733 10530 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 2002591204 202174464 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 73.97
Current children cumulated vsize (KiB) 871532
[startup+75.103 s]
/proc/loadavg: 2.02 2.10 2.08 3/105 11761
/proc/meminfo: memFree=720208/2055920 swapFree=4117564/4192956
[pid=11733] ppid=11731 vsize=5360 CPUtime=11.68
/proc/11733/stat : 11733 (hydra) S 11731 11733 10530 0 -1 4194304 375 12197 0 0 0 0 1158 10 18 0 1 0 2002589375 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11733/statm: 1340 238 196 169 0 51 0
[pid=11741] ppid=11733 vsize=197436 CPUtime=6.35
/proc/11741/stat : 11741 (java) S 11733 11733 10530 0 -1 0 13877 0 1 0 617 18 0 0 18 0 10 0 2002590557 202174464 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11741/statm: 49359 9389 2543 9 0 43942 0
[pid=11751] ppid=11741 vsize=5356 CPUtime=0
/proc/11751/stat : 11751 (abscon) S 11741 11733 10530 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 2002591204 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 264907580228 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/11751/statm: 1339 235 194 169 0 50 0
[pid=11752] ppid=11751 vsize=656336 CPUtime=56.74
/proc/11752/stat : 11752 (java) S 11751 11733 10530 0 -1 0 34176 0 1 0 5644 30 0 0 18 0 9 0 2002591205 672088064 33434 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11752/statm: 164084 33434 2617 9 0 158612 0
[pid=11752/tid=11754] ppid=11751 vsize=656336 CPUtime=54.98
/proc/11752/task/11754/stat : 11754 (java) R 11751 11733 10530 0 -1 64 12532 0 1 0 5480 18 0 0 25 0 9 0 2002591205 672088064 33434 996147200 134512640 134550740 4294955808 18446744073709551615 4126095722 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11752/tid=11755] ppid=11751 vsize=656336 CPUtime=1.33
/proc/11752/task/11755/stat : 11755 (java) S 11751 11733 10530 0 -1 64 20279 0 0 0 123 10 0 0 17 0 9 0 2002591207 672088064 33434 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11752/tid=11756] ppid=11751 vsize=656336 CPUtime=0
/proc/11752/task/11756/stat : 11756 (java) S 11751 11733 10530 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002591207 672088064 33434 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11752/tid=11757] ppid=11751 vsize=656336 CPUtime=0
/proc/11752/task/11757/stat : 11757 (java) S 11751 11733 10530 0 -1 64 14 0 0 0 0 0 0 0 15 0 9 0 2002591207 672088064 33434 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11752/tid=11758] ppid=11751 vsize=656336 CPUtime=0
/proc/11752/task/11758/stat : 11758 (java) S 11751 11733 10530 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2002591209 672088064 33434 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11752/tid=11759] ppid=11751 vsize=656336 CPUtime=0.41
/proc/11752/task/11759/stat : 11759 (java) S 11751 11733 10530 0 -1 64 809 0 0 0 40 1 0 0 17 0 9 0 2002591209 672088064 33434 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11752/tid=11760] ppid=11751 vsize=656336 CPUtime=0
/proc/11752/task/11760/stat : 11760 (java) S 11751 11733 10530 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2002591209 672088064 33434 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11752/tid=11761] ppid=11751 vsize=656336 CPUtime=0
/proc/11752/task/11761/stat : 11761 (java) S 11751 11733 10530 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2002591209 672088064 33434 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11753] ppid=11751 vsize=7044 CPUtime=0
/proc/11753/stat : 11753 (translate) S 11751 11733 10530 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2002591205 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 264907751506 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/11753/statm: 1761 213 182 1 0 41 0
[pid=11741/tid=11742] ppid=11733 vsize=197436 CPUtime=4.98
/proc/11741/task/11742/stat : 11742 (java) S 11733 11733 10530 0 -1 64 3862 0 1 0 492 6 0 0 25 0 10 0 2002590558 202174464 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=11741/tid=11743] ppid=11733 vsize=197436 CPUtime=1.13
/proc/11741/task/11743/stat : 11743 (java) S 11733 11733 10530 0 -1 64 8564 0 0 0 104 9 0 0 16 0 10 0 2002590560 202174464 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11741/tid=11744] ppid=11733 vsize=197436 CPUtime=0
/proc/11741/task/11744/stat : 11744 (java) S 11733 11733 10530 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002590560 202174464 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11741/tid=11745] ppid=11733 vsize=197436 CPUtime=0
/proc/11741/task/11745/stat : 11745 (java) S 11733 11733 10530 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2002590560 202174464 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11741/tid=11746] ppid=11733 vsize=197436 CPUtime=0
/proc/11741/task/11746/stat : 11746 (java) S 11733 11733 10530 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2002590562 202174464 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11741/tid=11747] ppid=11733 vsize=197436 CPUtime=0.21
/proc/11741/task/11747/stat : 11747 (java) S 11733 11733 10530 0 -1 64 644 0 0 0 20 1 0 0 16 0 10 0 2002590562 202174464 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11741/tid=11748] ppid=11733 vsize=197436 CPUtime=0
/proc/11741/task/11748/stat : 11748 (java) S 11733 11733 10530 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2002590562 202174464 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11741/tid=11749] ppid=11733 vsize=197436 CPUtime=0
/proc/11741/task/11749/stat : 11749 (java) S 11733 11733 10530 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 2002590562 202174464 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11741/tid=11750] ppid=11733 vsize=197436 CPUtime=0
/proc/11741/task/11750/stat : 11750 (java) S 11733 11733 10530 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 2002591204 202174464 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 74.77
Current children cumulated vsize (KiB) 871532
[startup+75.503 s]
/proc/loadavg: 2.02 2.10 2.08 3/105 11761
/proc/meminfo: memFree=720208/2055920 swapFree=4117564/4192956
[pid=11733] ppid=11731 vsize=5360 CPUtime=11.68
/proc/11733/stat : 11733 (hydra) S 11731 11733 10530 0 -1 4194304 375 12197 0 0 0 0 1158 10 18 0 1 0 2002589375 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11733/statm: 1340 238 196 169 0 51 0
[pid=11741] ppid=11733 vsize=197436 CPUtime=6.35
/proc/11741/stat : 11741 (java) S 11733 11733 10530 0 -1 0 13898 0 1 0 617 18 0 0 18 0 10 0 2002590557 202174464 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11741/statm: 49359 9389 2543 9 0 43942 0
[pid=11751] ppid=11741 vsize=5356 CPUtime=0
/proc/11751/stat : 11751 (abscon) S 11741 11733 10530 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 2002591204 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 264907580228 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/11751/statm: 1339 235 194 169 0 50 0
[pid=11752] ppid=11751 vsize=656336 CPUtime=57.14
/proc/11752/stat : 11752 (java) S 11751 11733 10530 0 -1 0 34184 0 1 0 5684 30 0 0 18 0 9 0 2002591205 672088064 33441 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11752/statm: 164084 33441 2617 9 0 158612 0
[pid=11752/tid=11754] ppid=11751 vsize=656336 CPUtime=55.37
/proc/11752/task/11754/stat : 11754 (java) R 11751 11733 10530 0 -1 64 12536 0 1 0 5519 18 0 0 25 0 9 0 2002591205 672088064 33441 996147200 134512640 134550740 4294955808 18446744073709551615 4125913711 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11752/tid=11755] ppid=11751 vsize=656336 CPUtime=1.33
/proc/11752/task/11755/stat : 11755 (java) S 11751 11733 10530 0 -1 64 20279 0 0 0 123 10 0 0 17 0 9 0 2002591207 672088064 33441 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11752/tid=11756] ppid=11751 vsize=656336 CPUtime=0
/proc/11752/task/11756/stat : 11756 (java) S 11751 11733 10530 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002591207 672088064 33441 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11752/tid=11757] ppid=11751 vsize=656336 CPUtime=0
/proc/11752/task/11757/stat : 11757 (java) S 11751 11733 10530 0 -1 64 14 0 0 0 0 0 0 0 15 0 9 0 2002591207 672088064 33441 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11752/tid=11758] ppid=11751 vsize=656336 CPUtime=0
/proc/11752/task/11758/stat : 11758 (java) S 11751 11733 10530 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2002591209 672088064 33441 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11752/tid=11759] ppid=11751 vsize=656336 CPUtime=0.42
/proc/11752/task/11759/stat : 11759 (java) S 11751 11733 10530 0 -1 64 813 0 0 0 41 1 0 0 15 0 9 0 2002591209 672088064 33441 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11752/tid=11760] ppid=11751 vsize=656336 CPUtime=0
/proc/11752/task/11760/stat : 11760 (java) S 11751 11733 10530 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2002591209 672088064 33441 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11752/tid=11761] ppid=11751 vsize=656336 CPUtime=0
/proc/11752/task/11761/stat : 11761 (java) S 11751 11733 10530 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2002591209 672088064 33441 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11753] ppid=11751 vsize=7180 CPUtime=0
/proc/11753/stat : 11753 (translate) S 11751 11733 10530 0 -1 4194304 277 0 0 0 0 0 0 0 16 0 1 0 2002591205 7352320 240 996147200 4194304 4199737 548682068624 18446744073709551615 264907751506 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/11753/statm: 1795 240 204 1 0 75 0
[pid=11741/tid=11742] ppid=11733 vsize=197436 CPUtime=4.98
/proc/11741/task/11742/stat : 11742 (java) S 11733 11733 10530 0 -1 64 3883 0 1 0 492 6 0 0 17 0 10 0 2002590558 202174464 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=11741/tid=11743] ppid=11733 vsize=197436 CPUtime=1.13
/proc/11741/task/11743/stat : 11743 (java) S 11733 11733 10530 0 -1 64 8564 0 0 0 104 9 0 0 16 0 10 0 2002590560 202174464 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11741/tid=11744] ppid=11733 vsize=197436 CPUtime=0
/proc/11741/task/11744/stat : 11744 (java) S 11733 11733 10530 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002590560 202174464 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11741/tid=11745] ppid=11733 vsize=197436 CPUtime=0
/proc/11741/task/11745/stat : 11745 (java) S 11733 11733 10530 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2002590560 202174464 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11741/tid=11746] ppid=11733 vsize=197436 CPUtime=0
/proc/11741/task/11746/stat : 11746 (java) S 11733 11733 10530 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2002590562 202174464 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11741/tid=11747] ppid=11733 vsize=197436 CPUtime=0.21
/proc/11741/task/11747/stat : 11747 (java) S 11733 11733 10530 0 -1 64 644 0 0 0 20 1 0 0 16 0 10 0 2002590562 202174464 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11741/tid=11748] ppid=11733 vsize=197436 CPUtime=0
/proc/11741/task/11748/stat : 11748 (java) S 11733 11733 10530 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2002590562 202174464 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11741/tid=11749] ppid=11733 vsize=197436 CPUtime=0
/proc/11741/task/11749/stat : 11749 (java) S 11733 11733 10530 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 2002590562 202174464 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11741/tid=11750] ppid=11733 vsize=197436 CPUtime=0
/proc/11741/task/11750/stat : 11750 (java) S 11733 11733 10530 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 2002591204 202174464 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 75.17
Current children cumulated vsize (KiB) 871668
Child status: 0
Real time (s): 75.5666
CPU time (s): 75.2506
CPU user time (s): 74.6157
CPU system time (s): 0.634903
CPU usage (%): 99.5818
Max. virtual memory (cumulated for all children) (KiB): 871720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 74.6157
system time used= 0.634903
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61387
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= 13685
involuntary context switches= 14632
runsolver used 0.296954 second user time and 0.662899 second system time
The end
Begin job on node30 at 2008-07-05 07:35:56
IDJOB=1085931
IDBENCH=57726
IDSOLVER=365
FILE ID=node30/1085931-1215236156
PBS_JOBID= 7881854
Free space on /tmp= 66544 MiB
SOLVER NAME= cpHydra k_10
BENCH NAME= CPAI08/csp/fapp/fapp13/normalized-fapp13-2000-9.xml
COMMAND LINE= HOME/cpHydra_k_10/hydra BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1085931-1215236156/watcher-1085931-1215236156 -o /tmp/evaluation-result-1085931-1215236156/solver-1085931-1215236156 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1085931-1215236156.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 8646843a2e95f500eada934cacf94d53
RANDOM SEED=431207609
node30.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.218
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.218
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: 873248 kB
Buffers: 79448 kB
Cached: 239536 kB
SwapCached: 69364 kB
Active: 1035264 kB
Inactive: 83420 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 873248 kB
SwapTotal: 4192956 kB
SwapFree: 4117564 kB
Dirty: 27900 kB
Writeback: 0 kB
Mapped: 811112 kB
Slab: 47652 kB
Committed_AS: 4351940 kB
PageTables: 3488 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66520 MiB
End job on node30 at 2008-07-05 07:37:12