0.00/0.00 c cpHydra_k_10 version 0.0
10.38/10.61 c CASE TO CLASSIFY:
10.38/10.61 c Case: 0
10.38/10.61 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.409400 | c 15 > 12.807200 | c 34 > 68.023000 | c 16 > 2.000000 | c 13 > 2.489460 | c 14 > -1.000000 | c 11 > 9.451210 | c 12 > 4.346860 | c 21 > 13.836800 | c 20 > 0.000000 | c 22 > 16.792900 | c 23 > 3.698200 | c 24 > 0.859331 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.798100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.032100 | c 31 > -1.000000 | c 4 > 9.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.38/10.62 c choco : 1801.0
10.38/10.62 c mistral : 1801.0
10.38/10.62 c abscon : 1801.0
10.38/10.62 c
10.38/10.62 c
10.38/10.70 c List of same ones: 10
10.38/10.70 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-10.xml
10.38/10.70 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.125800 | c 15 > 11.856000 | c 34 > 68.280300 | c 16 > 2.000000 | c 13 > 3.031350 | c 14 > -1.000000 | c 11 > 9.228820 | c 12 > 4.906250 | c 21 > 13.519000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.512160 | c 24 > 0.860617 | 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.135100 | 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 > 16.742700 | c 31 > -1.000000 | c 4 > 9.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.48/10.71 c choco : 1801.0
10.48/10.71 c mistral : 1800.03
10.48/10.71 c abscon : 25.9351
10.48/10.71 c
10.48/10.71 c
10.48/10.71 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-9.xml
10.48/10.71 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.125800 | c 15 > 11.668400 | c 34 > 68.280300 | c 16 > 2.000000 | c 13 > 3.031350 | c 14 > -1.000000 | c 11 > 9.228820 | c 12 > 4.906250 | c 21 > 13.519000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.512160 | c 24 > 0.860617 | 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.135100 | 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 > 16.742700 | c 31 > -1.000000 | c 4 > 9.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.48/10.72 c choco : 1801.0
10.48/10.72 c mistral : 1800.02
10.48/10.72 c abscon : 17.2824
10.48/10.72 c
10.48/10.72 c
10.48/10.72 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-8.xml
10.48/10.72 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.125800 | c 15 > 11.516200 | c 34 > 68.280300 | c 16 > 2.000000 | c 13 > 3.031350 | c 14 > -1.000000 | c 11 > 9.228820 | c 12 > 4.906250 | c 21 > 13.519000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.512160 | c 24 > 0.860617 | 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.135100 | 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 > 16.742700 | c 31 > -1.000000 | c 4 > 9.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.48/10.73 c choco : 1801.0
10.48/10.73 c mistral : 6.79996
10.48/10.73 c abscon : 6.95294
10.48/10.73 c
10.48/10.73 c
10.48/10.73 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-7.xml
10.48/10.73 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.125800 | c 15 > 11.461000 | c 34 > 68.280300 | c 16 > 2.000000 | c 13 > 3.031350 | c 14 > -1.000000 | c 11 > 9.228820 | c 12 > 4.906250 | c 21 > 13.519000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.512160 | c 24 > 0.860617 | 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.135100 | 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 > 16.742700 | c 31 > -1.000000 | c 4 > 9.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.48/10.74 c choco : 1801.0
10.48/10.74 c mistral : 4.03939
10.48/10.74 c abscon : 7.04993
10.48/10.74 c
10.48/10.74 c
10.48/10.74 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-6.xml
10.48/10.74 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.125800 | c 15 > 11.341500 | c 34 > 68.280300 | c 16 > 2.000000 | c 13 > 3.031350 | c 14 > -1.000000 | c 11 > 9.228820 | c 12 > 4.906250 | c 21 > 13.519000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.512160 | c 24 > 0.860617 | 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.135100 | 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 > 16.742700 | c 31 > -1.000000 | c 4 > 9.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.48/10.75 c choco : 1801.0
10.48/10.75 c mistral : 3.81642
10.48/10.75 c abscon : 7.04593
10.48/10.75 c
10.48/10.75 c
10.48/10.75 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-5.xml
10.48/10.75 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.125800 | c 15 > 11.258600 | c 34 > 68.280300 | c 16 > 2.000000 | c 13 > 3.031350 | c 14 > -1.000000 | c 11 > 9.228820 | c 12 > 4.906250 | c 21 > 13.519000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.512160 | c 24 > 0.860617 | 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.135100 | 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 > 16.742700 | c 31 > -1.000000 | c 4 > 9.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.48/10.76 c choco : 1801.0
10.48/10.76 c mistral : 4.28235
10.48/10.76 c abscon : 6.70698
10.48/10.76 c
10.48/10.76 c
10.48/10.76 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-4.xml
10.48/10.76 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.125800 | c 15 > 11.174900 | c 34 > 68.280300 | c 16 > 2.000000 | c 13 > 3.031350 | c 14 > -1.000000 | c 11 > 9.228820 | c 12 > 4.906250 | c 21 > 13.519000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.512160 | c 24 > 0.860617 | 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.135100 | 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 > 16.742700 | c 31 > -1.000000 | c 4 > 9.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.48/10.76 c choco : 1801.0
10.48/10.76 c mistral : 2.73858
10.48/10.76 c abscon : 6.30204
10.48/10.76 c
10.48/10.76 c
10.48/10.76 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-3.xml
10.48/10.77 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.125800 | c 15 > 11.078800 | c 34 > 68.280300 | c 16 > 2.000000 | c 13 > 3.031350 | c 14 > -1.000000 | c 11 > 9.228820 | c 12 > 4.906250 | c 21 > 13.519000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.512160 | c 24 > 0.860617 | 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.135100 | 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 > 16.742700 | c 31 > -1.000000 | c 4 > 9.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.48/10.77 c choco : 1801.0
10.48/10.77 c mistral : 2.6216
10.48/10.77 c abscon : 6.46502
10.48/10.77 c
10.48/10.77 c
10.48/10.77 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-2.xml
10.48/10.77 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.125800 | c 15 > 11.057300 | c 34 > 68.280300 | c 16 > 2.000000 | c 13 > 3.031350 | c 14 > -1.000000 | c 11 > 9.228820 | c 12 > 4.906250 | c 21 > 13.519000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.512160 | c 24 > 0.860617 | 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.135100 | 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 > 16.742700 | c 31 > -1.000000 | c 4 > 9.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.48/10.78 c choco : 1801.0
10.48/10.78 c mistral : 2.35864
10.48/10.78 c abscon : 6.51701
10.48/10.78 c
10.48/10.78 c
10.48/10.78 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-1.xml
10.48/10.78 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.125800 | c 15 > 10.991500 | c 34 > 68.280300 | c 16 > 2.000000 | c 13 > 3.031350 | c 14 > -1.000000 | c 11 > 9.228820 | c 12 > 4.906250 | c 21 > 13.519000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.512160 | c 24 > 0.860617 | 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.135100 | 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 > 16.742700 | c 31 > -1.000000 | c 4 > 9.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.48/10.79 c choco : 1801.0
10.48/10.79 c mistral : 2.40163
10.48/10.79 c abscon : 6.25705
10.48/10.79 c
10.48/10.79 c
10.48/10.79 c Length: 10
10.48/10.79 c 1.6926547296468943 1.804761489448398 1.904463072310934 1.9423061122789063 2.026962033141223 2.0876926387272627 2.1505120050341504 2.2243347665753914 2.241082016302839 2.2928290568195435
10.48/10.79 c
10.48/10.79 c 1.0 0.8426088213604753 0.7391467200813044 0.7062322547415091 0.6422537452601185 0.6030616438482614 0.5672555769794859 0.530257554512566 0.5225261047406236 0.5
10.56/10.80 c
10.56/10.80 c solver 0
10.56/10.80 c before 0.0 seconds: {} 0
10.56/10.80 c before 18.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9} 5653
10.56/10.80 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6653
10.56/10.80 c
10.56/10.80 c solver 1
10.56/10.80 c before 0.0 seconds: {} 0
10.56/10.80 c before 18.0 seconds: {2, 3, 4, 5, 6, 7, 8, 9} 4810
10.56/10.80 c
10.56/10.80 c solver 2
10.56/10.80 c before 0.0 seconds: {} 0
10.56/10.80 c
10.56/10.80 cTotal time: 3
10.56/10.80 c 54.0 seconds unused
10.56/10.80 c 0 c 2 c 10
10.56/10.80 c 0 c 0 c 8
10.56/10.80 c 0 c 0 c 0
10.56/10.80 c is solver0 dominated by:
10.56/10.80 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)
10.56/10.80 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)
10.56/10.80 c is dominated? false
10.56/10.80 c
10.56/10.80 c is solver1 dominated by:
10.56/10.80 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)
10.56/10.80 c is dominated? true
10.56/10.80 c
10.56/10.80 c is solver2 dominated by:
10.56/10.80 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)
10.56/10.80 c is dominated? true
10.56/10.80 c
10.56/10.80 c Number of non-dominated solvers: 1
10.56/10.80 c remove dominated solvers
10.56/10.80 c solver 0 is not dominated by another solver
10.56/10.80 c solver 2 is dominated by another solver
10.56/10.80 c solver 1 is dominated by another solver
10.56/10.80 c
10.56/10.80 c solver 0: 36.0
10.56/10.80 c
10.56/10.80 c+ 2/2 of 98
10.56/10.80 c
10.56/10.80 c solver 1: 0.0
10.56/10.80 c
10.56/10.80 c solver 2: 0.0
10.56/10.80 c run abscon for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6653
10.56/10.80 c do not run mistral
10.56/10.81 c do not run choco
10.56/10.81 c Starting solver: HOME/cpHydra_k_10/solver/abscon
10.56/10.81 c On Instance: HOME/instance-1085826-1215235728.xml
10.56/10.81 c Running for: 1800 seconds
42.45/43.44 s SAT
42.45/43.44 v -2632 -2564 -2364 2668 2608 2276 -2524 2484 -2320 2340 2176 -2624 2412 2328 2460 -2528 2456 2696 -2624 -2616 -2688 -2200 -2160 -2308 2688 -2644 -2368 -2572 2616 2672 2324 -2540 2324 2564 -2328 -2200 -2224 -2208 2248 -2680 2628 2356 2312 2160 -2324 2648 -2412 2640 -2608 -2216 -2344 -2304 2620 -2440 -2200 -2672 -2160 -2184 -2468 2316 -2276 2616 2384 2636 2676 -2620 -2444 2664 -2628 2584 -2676 -2232 2392 -2264 2380 2660 2408 -2436 2600 -2396 2584 -2424 2224 -2520 2160 2644 -2336 -2604 -2220 -2376 -2164 2644 -2720 -2720 -2592 2288 -2200 2352 -2160 -2648 -2200 2692 -2572 2488 -2268 2716 -2680 -2700 2396 2680 -2200 -2604 -2168 -2256 2536 -2484 -2416 -2352 2696 -2436 -2460 -2360 -2412 -2320 -2380 -2488 -2480 2524 -2400 -2272 2424 -2680 2668 2160 -2680 2532 -2680 2580 -2196 -2312 2636 2160 2160 -2268 -2216 -2448 -2312 2236 -2324 2160 -2664 -2476 -2600 -2464 2360 -2376 2340 -2688 -2680 -2412 -2600 2276 2300 2624 -2700 2504 2656 -2364 2624 2236 -2160 2524 -2428 -2180 -2600 -2624 2360 -2652 -2652 2648 2720 2604 2208 -2460 2352 2636 -2520 -2348 -2224 -2272 -2280 2264 -2336 2524 -2200 2448 2404 2524 -2292 -2544 2680 -2508 -2476 2476 -2636 2352 2420 2676 2504 2616 -2288 2336 2624 -2356 -2480 -2720 -2208 -2392 2364 -2648 2204 -2312 -2572 -2340 -2564 2584 -2456 2456 -2528 -2720 -2340 2660 -2216 -2412 -2200 -2648 2408 2656 2200 -2484 2516 2328 2560 2624 2316 -2380 2300 2356 2164 -2348 -2292 -2308 2600 2420 -2560 2496 -2664 -2316 2200 2660 2720 -2488 -2176 -2504 2316 -2680 -2300 -2656 -2164 2548 -2372 -2316 2652 2624 2308 -2436 -2572 -2372 -2204 -2640 -2488 -2576 2652 2216 2224 2400 -2392 2396 -2600 -2448 -2340 -2360 -2716 2280 -2560 -2676 2276 -2500 2560 -2380 -2664 -2452 2680 2680 2584 2160 2424 -2532 -2576 2568 2656 2720 2436 -2356 -2328 2664 -2296 -2480 -2552 -2440 -2200 2160 2432 2456 -2676 -2200 -2248 -2372 2368 2624 -2200 2160 -2704 2276 -2168 -2464 2600 -2676 -2712 2648 -2468 -2184 -2316 -2716 -2360 -2272 -2344 2588 2344 -2628 2424 2624 2412 2408 -2240 -2268 2676 -2692 2664 2248 2176 2312 2532 2236 -2356 2584 2248 -2572 -2528 2240 2536 -2184 2416 2608 2588 2200 -2664 -2200 -2720 2600 2408 -2456 -2688 -2720 -2272 -2252 -2640 -2320 2276 -2612 2612 2200 -2440 2436 -2668 2676 -2480 2280 -2436 2196 -2496 -2496 2636 -2720 2720 -2444 2176 -2292 2512 -2664 -2424 2520 -2696 -2408 -2224 2708 -2500 2448 2468 2384 -2576 -2252 2480 -2680 -2596 -2624 -2672 -2552 -2496 -2356 -2200 -2204 -2628 -2220 2720 -2584 2408 -2364 2200 -2276 2700 2352 2564 -2448 -2680 2372 -2340 -2484 2608 -2396 2160 2648 -2584 -2228 2372 -2288 -2624 -2404 -2544 2624 -2312 -2628 -2408 -2720 -2184 -2304 -2308 -2184 2384 -2280 2660 -2420 -2680 -2712 2180 -2396 -2224 -2316 -2464 2272 -2520 2300 -2632 2720 2584 2632 -2560 2544 -2252 -2300 -2168 -2720 -2160 -2564 2520 -2664 2260 -2312 -2164 -2460 -2312 2460 -2448 -2532 2224 -2184 2396 2264 -2616 -2208 2688 2160 -2400 2620 -2272 -2576 -2320 -2368 -2436 2564 -2496 2160 2544 -2224 2424 2588 -2704 -2588 -2160 -2276 -2276 2684 -2524 -2720 2572 2604 2300 -2440 -2648 2572 2656 2356 -2636 -2656 -2408 -2476 -2356 2396 -2412 -2696 2360 2668 -2680 -2464 -2488 -2328 -2612 -2280 -2548 2532 -2716 -2640 -2200 -2200 2516 -2340 -2400 -2232 2320 2584 -2564 -2624 -2528 -2200 -2420 -2448 -2648 -2704 -2660 -2200 -2608 -2380 2472 2568 -2324 -2600 -2608 2332 2656 -2624 2712 2592 -2216 -2308 -2356 -2672 2304 -2316 -2200 -2160 -2288 2680 -2308 2620 2160 -2684 -2508 2240 -2664 -2508 -2372 2448 2676 -2476 2596 2496 -2568 -2720 -2284 -2720 -2616 -2160 -2680 2352 -2680 -2372 2688 2176 2284 -2204 2160 -2200 2384 -2416 2520 -2640 -2508 2308 2396 -2680 2536 2320 -2680 -2556 -2316 2348 -2380 -2360 -2200 2160 -2532 -2460 -2376 -2400 -2340 -2660 -2548 -2316 2416 2344 2592 2548 -2720 -2560 -2500 2536 -2304 -2364 -2208 2268 -2456 -2560 -2236 -2284 -2640 -2680 -2348 -2288 -2560 2528 -2404 2556 -2420 -2624 2648 2368 2316 -2160 -2608 -2420 -2664 2216 2328 -2420 -2272 2720 2648 -2680 2320 -2664
42.45/43.44 d ASSIGNMENTS 703
42.45/43.44 d CHECKS 19766843
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1085826-1215235728/watcher-1085826-1215235728 -o /tmp/evaluation-result-1085826-1215235728/solver-1085826-1215235728 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1085826-1215235728.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.09 2.14 4/80 23510
/proc/meminfo: memFree=1308352/2055920 swapFree=4180436/4192956
[pid=23510] ppid=23508 vsize=18572 CPUtime=0
/proc/23510/stat : 23510 (runsolver) R 23508 23510 23348 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1553244635 19017728 292 996147200 4194304 4296836 548682068480 18446744073709551615 269757246759 0 0 4096 24578 0 0 0 17 1 0 0
/proc/23510/statm: 4643 292 257 25 0 2626 0
[startup+0.075173 s]
/proc/loadavg: 2.00 2.09 2.14 4/80 23510
/proc/meminfo: memFree=1308352/2055920 swapFree=4180436/4192956
[pid=23510] ppid=23508 vsize=5360 CPUtime=0
/proc/23510/stat : 23510 (hydra) S 23508 23510 23348 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 1553244635 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23510/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101172 s]
/proc/loadavg: 2.00 2.09 2.14 4/80 23510
/proc/meminfo: memFree=1308352/2055920 swapFree=4180436/4192956
[pid=23510] ppid=23508 vsize=5360 CPUtime=0
/proc/23510/stat : 23510 (hydra) S 23508 23510 23348 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 1553244635 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23510/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301202 s]
/proc/loadavg: 2.00 2.09 2.14 4/80 23510
/proc/meminfo: memFree=1308352/2055920 swapFree=4180436/4192956
[pid=23510] ppid=23508 vsize=5360 CPUtime=0
/proc/23510/stat : 23510 (hydra) S 23508 23510 23348 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 1553244635 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23510/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.70125 s]
/proc/loadavg: 2.00 2.09 2.14 4/80 23510
/proc/meminfo: memFree=1308352/2055920 swapFree=4180436/4192956
[pid=23510] ppid=23508 vsize=5360 CPUtime=0
/proc/23510/stat : 23510 (hydra) S 23508 23510 23348 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 1553244635 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23510/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50136 s]
/proc/loadavg: 2.00 2.09 2.14 3/82 23514
/proc/meminfo: memFree=1291952/2055920 swapFree=4180436/4192956
[pid=23510] ppid=23508 vsize=5360 CPUtime=0
/proc/23510/stat : 23510 (hydra) S 23508 23510 23348 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 1553244635 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23510/statm: 1340 236 195 169 0 51 0
[pid=23514] ppid=23510 vsize=28092 CPUtime=1.42
/proc/23514/stat : 23514 (xsolve) R 23510 23510 23348 0 -1 4194304 3955 0 8 0 140 2 0 0 25 0 1 0 1553244636 28766208 3922 996147200 134512640 135239763 4294956176 18446744073709551615 135096848 0 0 4096 0 0 0 0 17 1 0 0
/proc/23514/statm: 7023 3922 416 177 0 5926 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 33452
[startup+3.10257 s]
/proc/loadavg: 2.00 2.09 2.14 3/82 23514
/proc/meminfo: memFree=1291760/2055920 swapFree=4180436/4192956
[pid=23510] ppid=23508 vsize=5360 CPUtime=0
/proc/23510/stat : 23510 (hydra) S 23508 23510 23348 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 1553244635 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23510/statm: 1340 236 195 169 0 51 0
[pid=23514] ppid=23510 vsize=28092 CPUtime=3.02
/proc/23514/stat : 23514 (xsolve) R 23510 23510 23348 0 -1 4194304 3955 0 8 0 300 2 0 0 25 0 1 0 1553244636 28766208 3922 996147200 134512640 135239763 4294956176 18446744073709551615 134532176 0 0 4096 0 0 0 0 17 1 0 0
/proc/23514/statm: 7023 3922 416 177 0 5926 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 33452
[startup+6.302 s]
/proc/loadavg: 2.08 2.11 2.15 3/90 23526
/proc/meminfo: memFree=1297712/2055920 swapFree=4180436/4192956
[pid=23510] ppid=23508 vsize=5360 CPUtime=4.43
/proc/23510/stat : 23510 (hydra) S 23508 23510 23348 0 -1 4194304 375 4553 0 11 0 0 440 3 18 0 1 0 1553244635 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23510/statm: 1340 238 196 169 0 51 0
[pid=23518] ppid=23510 vsize=197000 CPUtime=1.7
/proc/23518/stat : 23518 (java) S 23510 23510 23348 0 -1 0 6382 0 1 0 164 6 0 0 18 0 9 0 1553245092 201728000 5377 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23518/statm: 49250 5377 2540 9 0 43833 0
[pid=23518/tid=23519] ppid=23510 vsize=197000 CPUtime=1.32
/proc/23518/task/23519/stat : 23519 (java) R 23510 23510 23348 0 -1 64 2768 0 1 0 130 2 0 0 25 0 9 0 1553245093 201728000 5377 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23518/tid=23520] ppid=23510 vsize=197000 CPUtime=0.21
/proc/23518/task/23520/stat : 23520 (java) R 23510 23510 23348 0 -1 64 2277 0 0 0 19 2 0 0 16 0 9 0 1553245094 201728000 5377 996147200 134512640 134550740 4294955968 18446744073709551615 102723219 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23518/tid=23521] ppid=23510 vsize=197000 CPUtime=0
/proc/23518/task/23521/stat : 23521 (java) S 23510 23510 23348 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1553245094 201728000 5377 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23518/tid=23522] ppid=23510 vsize=197000 CPUtime=0
/proc/23518/task/23522/stat : 23522 (java) S 23510 23510 23348 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1553245094 201728000 5377 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23518/tid=23523] ppid=23510 vsize=197000 CPUtime=0
/proc/23518/task/23523/stat : 23523 (java) S 23510 23510 23348 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1553245097 201728000 5377 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23518/tid=23524] ppid=23510 vsize=197000 CPUtime=0.14
/proc/23518/task/23524/stat : 23524 (java) S 23510 23510 23348 0 -1 64 613 0 0 0 14 0 0 0 16 0 9 0 1553245097 201728000 5377 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23518/tid=23525] ppid=23510 vsize=197000 CPUtime=0
/proc/23518/task/23525/stat : 23525 (java) S 23510 23510 23348 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1553245097 201728000 5377 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23518/tid=23526] ppid=23510 vsize=197000 CPUtime=0
/proc/23518/task/23526/stat : 23526 (java) S 23510 23510 23348 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1553245097 201728000 5377 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 202360
[startup+12.7028 s]
/proc/loadavg: 2.16 2.12 2.15 3/102 23538
/proc/meminfo: memFree=1224912/2055920 swapFree=4180436/4192956
[pid=23510] ppid=23508 vsize=5360 CPUtime=4.43
/proc/23510/stat : 23510 (hydra) S 23508 23510 23348 0 -1 4194304 375 4553 0 11 0 0 440 3 18 0 1 0 1553244635 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23510/statm: 1340 238 196 169 0 51 0
[pid=23518] ppid=23510 vsize=197432 CPUtime=6.14
/proc/23518/stat : 23518 (java) S 23510 23510 23348 0 -1 0 13940 0 1 0 597 17 0 0 18 0 10 0 1553245092 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23518/statm: 49358 9474 2543 9 0 43941 0
[pid=23528] ppid=23518 vsize=5356 CPUtime=0
/proc/23528/stat : 23528 (abscon) S 23518 23510 23348 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1553245716 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 269757244228 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/23528/statm: 1339 235 194 169 0 50 0
[pid=23529] ppid=23528 vsize=656916 CPUtime=1.8
/proc/23529/stat : 23529 (java) S 23528 23510 23348 0 -1 0 15324 0 1 0 170 10 0 0 18 0 9 0 1553245717 672681984 14831 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23529/statm: 164229 14831 2007 9 0 158757 0
[pid=23529/tid=23531] ppid=23528 vsize=656916 CPUtime=1.55
/proc/23529/task/23531/stat : 23531 (java) R 23528 23510 23348 0 -1 64 12451 0 1 0 147 8 0 0 25 0 9 0 1553245718 672681984 14831 996147200 134512640 134550740 4294955808 18446744073709551615 4126884571 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23529/tid=23532] ppid=23528 vsize=656916 CPUtime=0.04
/proc/23529/task/23532/stat : 23532 (java) S 23528 23510 23348 0 -1 64 1668 0 0 0 4 0 0 0 16 0 9 0 1553245720 672681984 14831 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23529/tid=23533] ppid=23528 vsize=656916 CPUtime=0
/proc/23529/task/23533/stat : 23533 (java) S 23528 23510 23348 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1553245720 672681984 14831 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23529/tid=23534] ppid=23528 vsize=656916 CPUtime=0
/proc/23529/task/23534/stat : 23534 (java) S 23528 23510 23348 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1553245720 672681984 14831 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23529/tid=23535] ppid=23528 vsize=656916 CPUtime=0
/proc/23529/task/23535/stat : 23535 (java) S 23528 23510 23348 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1553245722 672681984 14831 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23529/tid=23536] ppid=23528 vsize=656916 CPUtime=0.19
/proc/23529/task/23536/stat : 23536 (java) S 23528 23510 23348 0 -1 64 659 0 0 0 19 0 0 0 15 0 9 0 1553245722 672681984 14831 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23529/tid=23537] ppid=23528 vsize=656916 CPUtime=0
/proc/23529/task/23537/stat : 23537 (java) S 23528 23510 23348 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1553245722 672681984 14831 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23529/tid=23538] ppid=23528 vsize=656916 CPUtime=0
/proc/23529/task/23538/stat : 23538 (java) R 23528 23510 23348 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1553245722 672681984 14831 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23530] ppid=23528 vsize=7044 CPUtime=0
/proc/23530/stat : 23530 (translate) S 23528 23510 23348 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1553245717 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 269757415506 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/23530/statm: 1761 213 182 1 0 41 0
[pid=23518/tid=23519] ppid=23510 vsize=197432 CPUtime=4.81
/proc/23518/task/23519/stat : 23519 (java) S 23510 23510 23348 0 -1 64 3969 0 1 0 476 5 0 0 25 0 10 0 1553245093 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=23518/tid=23520] ppid=23510 vsize=197432 CPUtime=1.09
/proc/23518/task/23520/stat : 23520 (java) S 23510 23510 23348 0 -1 64 8527 0 0 0 99 10 0 0 16 0 10 0 1553245094 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23518/tid=23521] ppid=23510 vsize=197432 CPUtime=0
/proc/23518/task/23521/stat : 23521 (java) S 23510 23510 23348 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1553245094 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23518/tid=23522] ppid=23510 vsize=197432 CPUtime=0
/proc/23518/task/23522/stat : 23522 (java) S 23510 23510 23348 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1553245094 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23518/tid=23523] ppid=23510 vsize=197432 CPUtime=0
/proc/23518/task/23523/stat : 23523 (java) S 23510 23510 23348 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1553245097 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23518/tid=23524] ppid=23510 vsize=197432 CPUtime=0.2
/proc/23518/task/23524/stat : 23524 (java) S 23510 23510 23348 0 -1 64 645 0 0 0 20 0 0 0 16 0 10 0 1553245097 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23518/tid=23525] ppid=23510 vsize=197432 CPUtime=0
/proc/23518/task/23525/stat : 23525 (java) S 23510 23510 23348 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1553245097 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23518/tid=23526] ppid=23510 vsize=197432 CPUtime=0
/proc/23518/task/23526/stat : 23526 (java) S 23510 23510 23348 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1553245097 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23518/tid=23527] ppid=23510 vsize=197432 CPUtime=0
/proc/23518/task/23527/stat : 23527 (java) S 23510 23510 23348 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1553245716 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 872108
[startup+25.5025 s]
/proc/loadavg: 2.12 2.11 2.15 3/102 23538
/proc/meminfo: memFree=1210640/2055920 swapFree=4180436/4192956
[pid=23510] ppid=23508 vsize=5360 CPUtime=4.43
/proc/23510/stat : 23510 (hydra) S 23508 23510 23348 0 -1 4194304 375 4553 0 11 0 0 440 3 18 0 1 0 1553244635 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23510/statm: 1340 238 196 169 0 51 0
[pid=23518] ppid=23510 vsize=197432 CPUtime=6.14
/proc/23518/stat : 23518 (java) S 23510 23510 23348 0 -1 0 13947 0 1 0 597 17 0 0 18 0 10 0 1553245092 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23518/statm: 49358 9474 2543 9 0 43941 0
[pid=23528] ppid=23518 vsize=5356 CPUtime=0
/proc/23528/stat : 23528 (abscon) S 23518 23510 23348 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1553245716 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 269757244228 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/23528/statm: 1339 235 194 169 0 50 0
[pid=23529] ppid=23528 vsize=656916 CPUtime=14.35
/proc/23529/stat : 23529 (java) S 23528 23510 23348 0 -1 0 18835 0 1 0 1422 13 0 0 18 0 9 0 1553245717 672681984 18335 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23529/statm: 164229 18335 2008 9 0 158757 0
[pid=23529/tid=23531] ppid=23528 vsize=656916 CPUtime=13.92
/proc/23529/task/23531/stat : 23531 (java) R 23528 23510 23348 0 -1 64 12460 0 1 0 1382 10 0 0 25 0 9 0 1553245718 672681984 18335 996147200 134512640 134550740 4294955808 18446744073709551615 4126905559 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23529/tid=23532] ppid=23528 vsize=656916 CPUtime=0.17
/proc/23529/task/23532/stat : 23532 (java) S 23528 23510 23348 0 -1 64 5136 0 0 0 16 1 0 0 16 0 9 0 1553245720 672681984 18335 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23529/tid=23533] ppid=23528 vsize=656916 CPUtime=0
/proc/23529/task/23533/stat : 23533 (java) S 23528 23510 23348 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1553245720 672681984 18335 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23529/tid=23534] ppid=23528 vsize=656916 CPUtime=0
/proc/23529/task/23534/stat : 23534 (java) S 23528 23510 23348 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1553245720 672681984 18335 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23529/tid=23535] ppid=23528 vsize=656916 CPUtime=0
/proc/23529/task/23535/stat : 23535 (java) S 23528 23510 23348 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1553245722 672681984 18335 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23529/tid=23536] ppid=23528 vsize=656916 CPUtime=0.23
/proc/23529/task/23536/stat : 23536 (java) S 23528 23510 23348 0 -1 64 693 0 0 0 23 0 0 0 17 0 9 0 1553245722 672681984 18335 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23529/tid=23537] ppid=23528 vsize=656916 CPUtime=0
/proc/23529/task/23537/stat : 23537 (java) S 23528 23510 23348 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1553245722 672681984 18335 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23529/tid=23538] ppid=23528 vsize=656916 CPUtime=0
/proc/23529/task/23538/stat : 23538 (java) S 23528 23510 23348 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1553245722 672681984 18335 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23530] ppid=23528 vsize=7044 CPUtime=0
/proc/23530/stat : 23530 (translate) S 23528 23510 23348 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1553245717 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 269757415506 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/23530/statm: 1761 213 182 1 0 41 0
[pid=23518/tid=23519] ppid=23510 vsize=197432 CPUtime=4.81
/proc/23518/task/23519/stat : 23519 (java) S 23510 23510 23348 0 -1 64 3969 0 1 0 476 5 0 0 25 0 10 0 1553245093 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=23518/tid=23520] ppid=23510 vsize=197432 CPUtime=1.09
################
# More data... #
################
[pid=23518/tid=23525] ppid=23510 vsize=197432 CPUtime=0
/proc/23518/task/23525/stat : 23525 (java) S 23510 23510 23348 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1553245097 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23518/tid=23526] ppid=23510 vsize=197432 CPUtime=0
/proc/23518/task/23526/stat : 23526 (java) S 23510 23510 23348 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 1553245097 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23518/tid=23527] ppid=23510 vsize=197432 CPUtime=0
/proc/23518/task/23527/stat : 23527 (java) S 23510 23510 23348 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1553245716 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 41.39
Current children cumulated vsize (KiB) 872108
[startup+43.1029 s]
/proc/loadavg: 2.09 2.11 2.14 3/102 23538
/proc/meminfo: memFree=1190928/2055920 swapFree=4180436/4192956
[pid=23510] ppid=23508 vsize=5360 CPUtime=4.43
/proc/23510/stat : 23510 (hydra) S 23508 23510 23348 0 -1 4194304 375 4553 0 11 0 0 440 3 18 0 1 0 1553244635 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23510/statm: 1340 238 196 169 0 51 0
[pid=23518] ppid=23510 vsize=197432 CPUtime=6.14
/proc/23518/stat : 23518 (java) S 23510 23510 23348 0 -1 0 13947 0 1 0 597 17 0 0 18 0 10 0 1553245092 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23518/statm: 49358 9474 2543 9 0 43941 0
[pid=23528] ppid=23518 vsize=5356 CPUtime=0
/proc/23528/stat : 23528 (abscon) S 23518 23510 23348 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1553245716 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 269757244228 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/23528/statm: 1339 235 194 169 0 50 0
[pid=23529] ppid=23528 vsize=656916 CPUtime=31.61
/proc/23529/stat : 23529 (java) S 23528 23510 23348 0 -1 0 24576 0 1 0 3142 19 0 0 18 0 9 0 1553245717 672681984 23858 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23529/statm: 164229 23858 2617 9 0 158757 0
[pid=23529/tid=23531] ppid=23528 vsize=656916 CPUtime=30.64
/proc/23529/task/23531/stat : 23531 (java) R 23528 23510 23348 0 -1 64 12561 0 1 0 3051 13 0 0 25 0 9 0 1553245718 672681984 23858 996147200 134512640 134550740 4294955808 18446744073709551615 4127306230 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23529/tid=23532] ppid=23528 vsize=656916 CPUtime=0.57
/proc/23529/task/23532/stat : 23532 (java) S 23528 23510 23348 0 -1 64 10688 0 0 0 53 4 0 0 17 0 9 0 1553245720 672681984 23858 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23529/tid=23533] ppid=23528 vsize=656916 CPUtime=0
/proc/23529/task/23533/stat : 23533 (java) S 23528 23510 23348 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1553245720 672681984 23858 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23529/tid=23534] ppid=23528 vsize=656916 CPUtime=0
/proc/23529/task/23534/stat : 23534 (java) S 23528 23510 23348 0 -1 64 20 0 0 0 0 0 0 0 15 0 9 0 1553245720 672681984 23858 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23529/tid=23535] ppid=23528 vsize=656916 CPUtime=0
/proc/23529/task/23535/stat : 23535 (java) S 23528 23510 23348 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1553245722 672681984 23858 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23529/tid=23536] ppid=23528 vsize=656916 CPUtime=0.38
/proc/23529/task/23536/stat : 23536 (java) S 23528 23510 23348 0 -1 64 766 0 0 0 37 1 0 0 15 0 9 0 1553245722 672681984 23858 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23529/tid=23537] ppid=23528 vsize=656916 CPUtime=0
/proc/23529/task/23537/stat : 23537 (java) S 23528 23510 23348 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1553245722 672681984 23858 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23529/tid=23538] ppid=23528 vsize=656916 CPUtime=0
/proc/23529/task/23538/stat : 23538 (java) S 23528 23510 23348 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1553245722 672681984 23858 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23530] ppid=23528 vsize=7044 CPUtime=0
/proc/23530/stat : 23530 (translate) S 23528 23510 23348 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1553245717 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 269757415506 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/23530/statm: 1761 213 182 1 0 41 0
[pid=23518/tid=23519] ppid=23510 vsize=197432 CPUtime=4.81
/proc/23518/task/23519/stat : 23519 (java) S 23510 23510 23348 0 -1 64 3969 0 1 0 476 5 0 0 25 0 10 0 1553245093 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=23518/tid=23520] ppid=23510 vsize=197432 CPUtime=1.09
/proc/23518/task/23520/stat : 23520 (java) S 23510 23510 23348 0 -1 64 8527 0 0 0 99 10 0 0 16 0 10 0 1553245094 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23518/tid=23521] ppid=23510 vsize=197432 CPUtime=0
/proc/23518/task/23521/stat : 23521 (java) S 23510 23510 23348 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1553245094 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23518/tid=23522] ppid=23510 vsize=197432 CPUtime=0
/proc/23518/task/23522/stat : 23522 (java) S 23510 23510 23348 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1553245094 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23518/tid=23523] ppid=23510 vsize=197432 CPUtime=0
/proc/23518/task/23523/stat : 23523 (java) S 23510 23510 23348 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1553245097 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23518/tid=23524] ppid=23510 vsize=197432 CPUtime=0.2
/proc/23518/task/23524/stat : 23524 (java) S 23510 23510 23348 0 -1 64 645 0 0 0 20 0 0 0 16 0 10 0 1553245097 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23518/tid=23525] ppid=23510 vsize=197432 CPUtime=0
/proc/23518/task/23525/stat : 23525 (java) S 23510 23510 23348 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1553245097 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23518/tid=23526] ppid=23510 vsize=197432 CPUtime=0
/proc/23518/task/23526/stat : 23526 (java) S 23510 23510 23348 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 1553245097 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23518/tid=23527] ppid=23510 vsize=197432 CPUtime=0
/proc/23518/task/23527/stat : 23527 (java) S 23510 23510 23348 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1553245716 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 42.18
Current children cumulated vsize (KiB) 872108
[startup+43.3029 s]
/proc/loadavg: 2.09 2.11 2.14 3/102 23538
/proc/meminfo: memFree=1190928/2055920 swapFree=4180436/4192956
[pid=23510] ppid=23508 vsize=5360 CPUtime=4.43
/proc/23510/stat : 23510 (hydra) S 23508 23510 23348 0 -1 4194304 375 4553 0 11 0 0 440 3 18 0 1 0 1553244635 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23510/statm: 1340 238 196 169 0 51 0
[pid=23518] ppid=23510 vsize=197432 CPUtime=6.14
/proc/23518/stat : 23518 (java) S 23510 23510 23348 0 -1 0 13947 0 1 0 597 17 0 0 18 0 10 0 1553245092 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23518/statm: 49358 9474 2543 9 0 43941 0
[pid=23528] ppid=23518 vsize=5356 CPUtime=0
/proc/23528/stat : 23528 (abscon) S 23518 23510 23348 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1553245716 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 269757244228 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/23528/statm: 1339 235 194 169 0 50 0
[pid=23529] ppid=23528 vsize=656916 CPUtime=31.8
/proc/23529/stat : 23529 (java) S 23528 23510 23348 0 -1 0 24576 0 1 0 3161 19 0 0 18 0 9 0 1553245717 672681984 23858 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23529/statm: 164229 23858 2617 9 0 158757 0
[pid=23529/tid=23531] ppid=23528 vsize=656916 CPUtime=30.83
/proc/23529/task/23531/stat : 23531 (java) R 23528 23510 23348 0 -1 64 12561 0 1 0 3070 13 0 0 25 0 9 0 1553245718 672681984 23858 996147200 134512640 134550740 4294955808 18446744073709551615 4127308285 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23529/tid=23532] ppid=23528 vsize=656916 CPUtime=0.57
/proc/23529/task/23532/stat : 23532 (java) S 23528 23510 23348 0 -1 64 10688 0 0 0 53 4 0 0 17 0 9 0 1553245720 672681984 23858 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23529/tid=23533] ppid=23528 vsize=656916 CPUtime=0
/proc/23529/task/23533/stat : 23533 (java) S 23528 23510 23348 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1553245720 672681984 23858 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23529/tid=23534] ppid=23528 vsize=656916 CPUtime=0
/proc/23529/task/23534/stat : 23534 (java) S 23528 23510 23348 0 -1 64 20 0 0 0 0 0 0 0 15 0 9 0 1553245720 672681984 23858 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23529/tid=23535] ppid=23528 vsize=656916 CPUtime=0
/proc/23529/task/23535/stat : 23535 (java) S 23528 23510 23348 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1553245722 672681984 23858 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23529/tid=23536] ppid=23528 vsize=656916 CPUtime=0.38
/proc/23529/task/23536/stat : 23536 (java) S 23528 23510 23348 0 -1 64 766 0 0 0 37 1 0 0 15 0 9 0 1553245722 672681984 23858 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23529/tid=23537] ppid=23528 vsize=656916 CPUtime=0
/proc/23529/task/23537/stat : 23537 (java) S 23528 23510 23348 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1553245722 672681984 23858 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23529/tid=23538] ppid=23528 vsize=656916 CPUtime=0
/proc/23529/task/23538/stat : 23538 (java) S 23528 23510 23348 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1553245722 672681984 23858 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23530] ppid=23528 vsize=7044 CPUtime=0
/proc/23530/stat : 23530 (translate) S 23528 23510 23348 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1553245717 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 269757415506 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/23530/statm: 1761 213 182 1 0 41 0
[pid=23518/tid=23519] ppid=23510 vsize=197432 CPUtime=4.81
/proc/23518/task/23519/stat : 23519 (java) S 23510 23510 23348 0 -1 64 3969 0 1 0 476 5 0 0 25 0 10 0 1553245093 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=23518/tid=23520] ppid=23510 vsize=197432 CPUtime=1.09
/proc/23518/task/23520/stat : 23520 (java) S 23510 23510 23348 0 -1 64 8527 0 0 0 99 10 0 0 16 0 10 0 1553245094 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23518/tid=23521] ppid=23510 vsize=197432 CPUtime=0
/proc/23518/task/23521/stat : 23521 (java) S 23510 23510 23348 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1553245094 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23518/tid=23522] ppid=23510 vsize=197432 CPUtime=0
/proc/23518/task/23522/stat : 23522 (java) S 23510 23510 23348 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1553245094 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23518/tid=23523] ppid=23510 vsize=197432 CPUtime=0
/proc/23518/task/23523/stat : 23523 (java) S 23510 23510 23348 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1553245097 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23518/tid=23524] ppid=23510 vsize=197432 CPUtime=0.2
/proc/23518/task/23524/stat : 23524 (java) S 23510 23510 23348 0 -1 64 645 0 0 0 20 0 0 0 16 0 10 0 1553245097 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23518/tid=23525] ppid=23510 vsize=197432 CPUtime=0
/proc/23518/task/23525/stat : 23525 (java) S 23510 23510 23348 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1553245097 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23518/tid=23526] ppid=23510 vsize=197432 CPUtime=0
/proc/23518/task/23526/stat : 23526 (java) S 23510 23510 23348 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 1553245097 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23518/tid=23527] ppid=23510 vsize=197432 CPUtime=0
/proc/23518/task/23527/stat : 23527 (java) S 23510 23510 23348 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1553245716 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 42.37
Current children cumulated vsize (KiB) 872108
[startup+43.4029 s]
/proc/loadavg: 2.09 2.11 2.14 3/102 23538
/proc/meminfo: memFree=1190928/2055920 swapFree=4180436/4192956
[pid=23510] ppid=23508 vsize=5360 CPUtime=4.43
/proc/23510/stat : 23510 (hydra) S 23508 23510 23348 0 -1 4194304 375 4553 0 11 0 0 440 3 18 0 1 0 1553244635 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23510/statm: 1340 238 196 169 0 51 0
[pid=23518] ppid=23510 vsize=197432 CPUtime=6.14
/proc/23518/stat : 23518 (java) S 23510 23510 23348 0 -1 0 13952 0 1 0 597 17 0 0 18 0 10 0 1553245092 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23518/statm: 49358 9474 2543 9 0 43941 0
[pid=23528] ppid=23518 vsize=5356 CPUtime=0
/proc/23528/stat : 23528 (abscon) S 23518 23510 23348 0 -1 4194304 303 289 0 0 0 0 0 0 16 0 1 0 1553245716 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 269757244228 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/23528/statm: 1339 235 194 169 0 50 0
[pid=23529] ppid=23528 vsize=656916 CPUtime=31.88
/proc/23529/stat : 23529 (java) S 23528 23510 23348 0 -1 0 24584 0 1 0 3169 19 0 0 18 0 9 0 1553245717 672681984 23864 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23529/statm: 164229 23864 2617 9 0 158757 0
[pid=23529/tid=23531] ppid=23528 vsize=656916 CPUtime=30.91
/proc/23529/task/23531/stat : 23531 (java) S 23528 23510 23348 0 -1 64 12567 0 1 0 3078 13 0 0 25 0 9 0 1553245718 672681984 23864 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23529/tid=23532] ppid=23528 vsize=656916 CPUtime=0.57
/proc/23529/task/23532/stat : 23532 (java) S 23528 23510 23348 0 -1 64 10688 0 0 0 53 4 0 0 17 0 9 0 1553245720 672681984 23864 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23529/tid=23533] ppid=23528 vsize=656916 CPUtime=0
/proc/23529/task/23533/stat : 23533 (java) S 23528 23510 23348 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1553245720 672681984 23864 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23529/tid=23534] ppid=23528 vsize=656916 CPUtime=0
/proc/23529/task/23534/stat : 23534 (java) S 23528 23510 23348 0 -1 64 20 0 0 0 0 0 0 0 15 0 9 0 1553245720 672681984 23864 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23529/tid=23535] ppid=23528 vsize=656916 CPUtime=0
/proc/23529/task/23535/stat : 23535 (java) S 23528 23510 23348 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1553245722 672681984 23864 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23529/tid=23536] ppid=23528 vsize=656916 CPUtime=0.38
/proc/23529/task/23536/stat : 23536 (java) S 23528 23510 23348 0 -1 64 768 0 0 0 37 1 0 0 16 0 9 0 1553245722 672681984 23864 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23529/tid=23537] ppid=23528 vsize=656916 CPUtime=0
/proc/23529/task/23537/stat : 23537 (java) S 23528 23510 23348 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1553245722 672681984 23864 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23529/tid=23538] ppid=23528 vsize=656916 CPUtime=0
/proc/23529/task/23538/stat : 23538 (java) S 23528 23510 23348 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1553245722 672681984 23864 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23518/tid=23519] ppid=23510 vsize=197432 CPUtime=4.81
/proc/23518/task/23519/stat : 23519 (java) S 23510 23510 23348 0 -1 64 3974 0 1 0 476 5 0 0 16 0 10 0 1553245093 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=23518/tid=23520] ppid=23510 vsize=197432 CPUtime=1.09
/proc/23518/task/23520/stat : 23520 (java) S 23510 23510 23348 0 -1 64 8527 0 0 0 99 10 0 0 16 0 10 0 1553245094 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23518/tid=23521] ppid=23510 vsize=197432 CPUtime=0
/proc/23518/task/23521/stat : 23521 (java) S 23510 23510 23348 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1553245094 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23518/tid=23522] ppid=23510 vsize=197432 CPUtime=0
/proc/23518/task/23522/stat : 23522 (java) S 23510 23510 23348 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1553245094 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23518/tid=23523] ppid=23510 vsize=197432 CPUtime=0
/proc/23518/task/23523/stat : 23523 (java) S 23510 23510 23348 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1553245097 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23518/tid=23524] ppid=23510 vsize=197432 CPUtime=0.2
/proc/23518/task/23524/stat : 23524 (java) S 23510 23510 23348 0 -1 64 645 0 0 0 20 0 0 0 16 0 10 0 1553245097 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23518/tid=23525] ppid=23510 vsize=197432 CPUtime=0
/proc/23518/task/23525/stat : 23525 (java) S 23510 23510 23348 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1553245097 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23518/tid=23526] ppid=23510 vsize=197432 CPUtime=0
/proc/23518/task/23526/stat : 23526 (java) S 23510 23510 23348 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 1553245097 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23518/tid=23527] ppid=23510 vsize=197432 CPUtime=0
/proc/23518/task/23527/stat : 23527 (java) S 23510 23510 23348 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1553245716 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 42.45
Current children cumulated vsize (KiB) 865064
Child status: 0
Real time (s): 43.4838
CPU time (s): 42.5175
CPU user time (s): 42.0796
CPU system time (s): 0.437933
CPU usage (%): 97.778
Max. virtual memory (cumulated for all children) (KiB): 872108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 42.0796
system time used= 0.437933
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44178
page faults= 13
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12319
involuntary context switches= 14784
runsolver used 0.176973 second user time and 0.385941 second system time
The end
Begin job on node13 at 2008-07-05 07:28:48
IDJOB=1085826
IDBENCH=57709
IDSOLVER=365
FILE ID=node13/1085826-1215235728
PBS_JOBID= 7881957
Free space on /tmp= 66520 MiB
SOLVER NAME= cpHydra k_10
BENCH NAME= CPAI08/csp/fapp/fapp08/normalized-fapp08-0700-10.xml
COMMAND LINE= HOME/cpHydra_k_10/hydra BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1085826-1215235728/watcher-1085826-1215235728 -o /tmp/evaluation-result-1085826-1215235728/solver-1085826-1215235728 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1085826-1215235728.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 8d6ee339ced60fef54ae03150e03169e
RANDOM SEED=725610720
node13.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.238
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.238
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: 1308832 kB
Buffers: 4180 kB
Cached: 92844 kB
SwapCached: 6608 kB
Active: 642912 kB
Inactive: 50424 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1308832 kB
SwapTotal: 4192956 kB
SwapFree: 4180436 kB
Dirty: 25268 kB
Writeback: 0 kB
Mapped: 610060 kB
Slab: 37816 kB
Committed_AS: 3866352 kB
PageTables: 3072 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= 66496 MiB
End job on node13 at 2008-07-05 07:29:32