0.00/0.00 c cpHydra_k_10 version 0.0
15.53/15.70 c CASE TO CLASSIFY:
15.53/15.70 c Case: 0
15.53/15.70 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.855600 | c 15 > 13.474300 | c 34 > 68.221600 | c 16 > 2.000000 | c 13 > 2.899910 | c 14 > -1.000000 | c 11 > 9.813780 | c 12 > 4.660560 | c 21 > 14.819800 | c 20 > 0.000000 | c 22 > 19.026300 | c 23 > 4.138970 | c 24 > 0.847926 | 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.474300 | 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.592700 | c 31 > -1.000000 | c 4 > 9.813780 | c 9 > -1.000000 | c 8 > -1.000000 | c
15.53/15.71 c choco : 1801.0
15.53/15.71 c mistral : 1801.0
15.53/15.71 c abscon : 1801.0
15.53/15.71 c
15.53/15.71 c
15.53/15.78 c List of same ones: 10
15.53/15.79 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-10.xml
15.53/15.79 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.995800 | c 15 > 11.340400 | c 34 > 68.373000 | c 16 > 2.000000 | c 13 > 2.976840 | c 14 > -1.000000 | c 11 > 10.287700 | c 12 > 4.876490 | c 21 > 14.266700 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 3.758320 | c 24 > 0.752014 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.164200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.956900 | c 31 > -1.000000 | c 4 > 10.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c
15.53/15.79 c choco : 1801.0
15.53/15.79 c mistral : 81.4206
15.53/15.79 c abscon : 52.605
15.53/15.79 c
15.53/15.79 c
15.53/15.79 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-9.xml
15.53/15.79 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.995800 | c 15 > 10.872700 | c 34 > 68.373000 | c 16 > 2.000000 | c 13 > 2.976840 | c 14 > -1.000000 | c 11 > 10.287700 | c 12 > 4.876490 | c 21 > 14.266700 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 3.758320 | c 24 > 0.752014 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.164200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.956900 | c 31 > -1.000000 | c 4 > 10.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c
15.61/15.80 c choco : 1801.0
15.61/15.80 c mistral : 866.057
15.61/15.80 c abscon : 36.8914
15.61/15.80 c
15.61/15.80 c
15.61/15.80 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-8.xml
15.61/15.80 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.995800 | c 15 > 10.871900 | c 34 > 68.373000 | c 16 > 2.000000 | c 13 > 2.976840 | c 14 > -1.000000 | c 11 > 10.287700 | c 12 > 4.876490 | c 21 > 14.266700 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 3.758320 | c 24 > 0.752014 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.164200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.956900 | c 31 > -1.000000 | c 4 > 10.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c
15.61/15.81 c choco : 1801.0
15.61/15.81 c mistral : 1800.02
15.61/15.81 c abscon : 55.4456
15.61/15.81 c
15.61/15.81 c
15.61/15.81 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-7.xml
15.61/15.81 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.995800 | c 15 > 10.760700 | c 34 > 68.373000 | c 16 > 2.000000 | c 13 > 2.976840 | c 14 > -1.000000 | c 11 > 10.287700 | c 12 > 4.876490 | c 21 > 14.266700 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 3.758320 | c 24 > 0.752014 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.164200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.956900 | c 31 > -1.000000 | c 4 > 10.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c
15.61/15.82 c choco : 1801.0
15.61/15.82 c mistral : 22.7995
15.61/15.82 c abscon : 8.06777
15.61/15.82 c
15.61/15.82 c
15.61/15.82 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-10.xml
15.61/15.82 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
15.61/15.83 c choco : 1801.0
15.61/15.83 c mistral : 1800.03
15.61/15.83 c abscon : 25.9351
15.61/15.83 c
15.61/15.83 c
15.61/15.83 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-6.xml
15.61/15.83 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.995800 | c 15 > 10.687400 | c 34 > 68.373000 | c 16 > 2.000000 | c 13 > 2.976840 | c 14 > -1.000000 | c 11 > 10.287700 | c 12 > 4.876490 | c 21 > 14.266700 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 3.758320 | c 24 > 0.752014 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.164200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.956900 | c 31 > -1.000000 | c 4 > 10.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c
15.61/15.84 c choco : 1801.0
15.61/15.84 c mistral : 19.3181
15.61/15.84 c abscon : 8.28274
15.61/15.84 c
15.61/15.84 c
15.61/15.84 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-9.xml
15.61/15.84 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
15.61/15.85 c choco : 1801.0
15.61/15.85 c mistral : 1800.02
15.61/15.85 c abscon : 17.2824
15.61/15.85 c
15.61/15.85 c
15.61/15.85 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-4.xml
15.61/15.85 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.995800 | c 15 > 10.582100 | c 34 > 68.373000 | c 16 > 2.000000 | c 13 > 2.976840 | c 14 > -1.000000 | c 11 > 10.287700 | c 12 > 4.876490 | c 21 > 14.266700 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 3.758320 | c 24 > 0.752014 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.164200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.956900 | c 31 > -1.000000 | c 4 > 10.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c
15.61/15.86 c choco : 1801.0
15.61/15.86 c mistral : 28.7696
15.61/15.86 c abscon : 7.97079
15.61/15.86 c
15.61/15.86 c
15.61/15.86 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-8.xml
15.61/15.86 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
15.61/15.86 c choco : 1801.0
15.61/15.86 c mistral : 6.79996
15.61/15.86 c abscon : 6.95294
15.61/15.86 c
15.61/15.86 c
15.61/15.87 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-10.xml
15.61/15.87 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.615000 | c 15 > 12.097700 | c 34 > 68.221700 | c 16 > 2.000000 | c 13 > 2.578290 | c 14 > -1.000000 | c 11 > 9.643860 | c 12 > 4.487840 | c 21 > 12.340200 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 2.904140 | c 24 > 0.789325 | 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.131700 | 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.894400 | c 31 > -1.000000 | c 4 > 9.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
15.61/15.87 c choco : 1801.0
15.61/15.87 c mistral : 9.13061
15.61/15.87 c abscon : 16.3965
15.61/15.87 c
15.61/15.87 c
15.79/16.07 c Length: 10
15.79/16.07 c 2.503515992927546 2.912453549302375 2.913168185471618 3.0129201909184387 3.0160566026653073 3.0791029094273545 3.120733463543626 3.174725808135877 3.2112082072766626 3.244489201970165
15.79/16.07 c
15.79/16.07 c 1.0 0.6443745300302728 0.6439743186799378 0.592599646214465 0.5911169050880962 0.5628100036352958 0.5455590442049116 0.5247005496583179 0.5114867774698392 0.5
15.79/16.07 c
15.79/16.07 c solver 0
15.79/16.07 c before 0.0 seconds: {} 0
15.79/16.07 c before 18.0 seconds: {3, 5, 6, 7, 8, 9} 3237
15.79/16.07 c before 36.0 seconds: {3, 4, 5, 6, 7, 8, 9} 3828
15.79/16.07 c before 54.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 9} 5472
15.79/16.07 c before 72.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6116
15.79/16.07 c
15.79/16.07 c solver 1
15.79/16.07 c before 0.0 seconds: {} 0
15.79/16.07 c before 18.0 seconds: {8, 9} 1011
15.79/16.07 c before 36.0 seconds: {3, 5, 7, 8, 9} 2691
15.79/16.07 c before 90.0 seconds: {0, 3, 5, 7, 8, 9} 3691
15.79/16.07 c before 882.0 seconds: {0, 1, 3, 5, 7, 8, 9} 4335
15.79/16.07 c
15.79/16.07 c solver 2
15.79/16.07 c before 0.0 seconds: {} 0
15.79/16.07 c
15.79/16.07 cTotal time: 53
15.79/16.07 c 954.0 seconds unused
15.79/16.07 c 0 c 3 c 10
15.79/16.07 c 0 c 0 c 7
15.79/16.07 c 0 c 0 c 0
15.79/16.07 c is solver0 dominated by:
15.79/16.07 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: true) (0 is equally as fast as 1: false) (0 < 1: false)
15.79/16.07 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)
15.79/16.07 c is dominated? false
15.79/16.07 c
15.79/16.07 c is solver1 dominated by:
15.79/16.07 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: false) (1 is equally as fast as 0: false) (1 < 0: true)
15.79/16.07 c is dominated? true
15.79/16.07 c
15.79/16.07 c is solver2 dominated by:
15.79/16.07 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)
15.79/16.07 c is dominated? true
15.79/16.07 c
15.79/16.07 c Number of non-dominated solvers: 1
15.79/16.07 c remove dominated solvers
15.79/16.07 c solver 0 is not dominated by another solver
15.79/16.07 c solver 2 is dominated by another solver
15.79/16.07 c solver 1 is dominated by another solver
15.79/16.07 c
15.79/16.07 c solver 0: 72.0
15.79/16.08 c
15.79/16.08 c+ 4/4 of 96
15.79/16.08 c
15.79/16.08 c solver 1: 0.0
15.79/16.08 c
15.79/16.08 c solver 2: 0.0
15.79/16.08 c run abscon for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6116
15.79/16.08 c do not run mistral
15.79/16.08 c do not run choco
15.79/16.08 c Starting solver: HOME/cpHydra_k_10/solver/abscon
15.79/16.08 c On Instance: HOME/instance-1085889-1215235988.xml
15.79/16.08 c Running for: 1800 seconds
58.60/58.92 s SAT
58.60/58.92 v 2664 -2656 2532 -2368 2472 2444 -2256 -2660 -2408 -2528 -2288 -2396 -2528 -2492 -2392 -2364 2696 2060 2020 -2684 2248 2708 -2684 -2680 -2504 -2156 2628 2588 2608 2672 -2328 2248 -2420 -2240 -2716 2380 -2488 2520 -2584 2104 -2020 -2384 -2544 2520 -2472 -2084 -2064 2440 -2344 2656 -2140 2632 -2200 2140 -2032 -2420 2464 2628 2712 -2280 2552 -2548 -2100 -2692 -2312 -2528 2020 -2124 -2420 -2720 -2648 -2272 2524 -2340 2392 -2712 -2332 2480 2448 -2536 -2112 2092 2688 -2116 -2268 2188 2480 -2344 -2428 -2524 -2660 2700 2656 -2528 -2064 2560 -2408 -2620 -2584 -2640 2656 -2740 -2384 2456 2324 2680 -2700 2020 2444 2356 2568 -2572 -2720 -2616 2356 -2156 -2020 -2584 2712 2708 2208 2260 -2740 -2060 -2516 2696 2712 -2092 2588 -2036 2188 2544 2512 2740 -2332 -2740 -2084 -2392 2644 -2504 -2532 -2284 -2316 -2220 -2448 2644 -2716 -2468 -2728 2668 2532 -2316 -2432 -2344 -2168 2672 -2700 -2228 -2584 -2652 2396 -2436 2664 -2484 -2652 -2156 2020 -2076 -2528 -2092 -2620 -2484 -2052 -2304 -2284 -2488 -2740 -2240 2620 -2256 -2568 -2344 2692 2628 -2496 -2544 2020 -2344 -2532 2212 -2480 -2328 -2412 -2088 -2660 -2572 2356 -2344 2352 -2672 2112 -2288 2356 2684 -2224 2556 2208 -2060 2104 2504 -2168 2584 -2292 -2148 2568 -2404 -2740 2600 -2408 2408 -2384 2124 -2404 2640 -2060 -2156 -2060 2276 -2540 2588 -2628 -2648 -2380 -2652 -2312 2264 -2420 2568 -2324 -2536 -2356 -2624 -2060 -2216 -2184 -2576 2660 -2504 -2508 2644 -2376 -2436 2072 2488 -2256 -2580 -2416 2688 -2628 2620 2228 -2448 -2208 2628 2592 -2036 -2284 -2484 2304 -2216 -2540 -2672 -2384 -2476 2620 -2376 -2052 -2656 -2228 2252 -2688 -2296 2584 -2688 -2020 -2680 -2548 2316 -2216 2372 -2708 2700 2604 -2736 -2332 2556 -2172 2608 2236 -2120 -2348 -2236 -2548 -2456 -2728 -2216 -2376 -2496 2080 2088 -2380 -2740 -2708 2728 -2484 -2128 2588 -2712 -2680 2116 -2700 2660 -2432 -2440 -2700 -2476 -2412 -2712 -2740 -2672 -2216 2636 2660 2020 -2216 -2196 -2740 2644 -2376 2384 -2060 2384 2564 -2424 -2584 2608 -2288 2060 2448 2432 -2132 -2432 2340 -2540 -2480 2328 2160 -2592 -2172 -2472 -2372 -2344 -2624 -2700 -2052 2620 2256 -2144 2100 2292 -2060 -2064 -2700 -2496 2080 -2488 -2432 2648 -2584 -2700 2348 2132 -2392 -2712 2540 -2452 -2088 -2156 -2740 -2616 -2228 -2088 -2544 2684 2544 2096 2020 -2668 2300 2104 2068 2244 -2532 -2256 -2676 2740 2696 -2712 -2060 -2496 -2592 2432 -2648 -2700 -2672 -2356 -2456 -2288 -2544 2700 -2484 -2124 2456 -2440 -2724 2584 2532 -2384 2140 -2664 -2408 -2020 -2164 -2312 -2740 2060 2576 -2292 -2572 -2684 -2476 -2600 -2108 2616 2704 2524 2140 -2688 -2512 -2256 2508 -2640 -2464 -2468 -2516 2492 -2072 -2616 2580 -2316 -2676 -2020 -2436 -2352 2156 2040 -2040 2644 -2628 -2712 -2260 2112 2340 2668 -2572 -2504 -2436 2388 -2552 -2532 -2700 -2700 -2276 2740 2332 -2740 -2616 -2444 -2544 2600 -2372 -2428 -2512 -2356 2696 -2676 -2432 -2292 -2724 -2528 -2564 -2740 -2316 2092 -2296 2632 -2096 -2472 -2284 -2692 -2060 -2552 -2188 -2436 2448 2640 2728 2708 -2228 2740 2616 -2260 -2060 2500 -2076 2364 -2492 -2444 2300 2500 -2192 -2552 -2436 2316 -2700 -2468 -2164 2532 -2384 -2388 -2724 -2168 -2172 -2020 2720 -2436 -2448 -2648 -2612 2508 -2160 -2324 -2232 2132 2060 -2464 -2544 -2680 -2076 -2084 -2700 -2732 -2644 2300 -2544 2672 -2700 2572 2580 2664 -2528 -2444 -2256 -2680 -2464 -2048 -2400 -2244 2380 2424 2176 2548 2332 2616 -2720 -2380 -2132 2588 -2736 -2572 -2700 -2412 2684 -2596 -2660 -2680 2608 2044 -2252 -2720 2552 -2180 2528 2544 2700 -2128 -2152 -2544 2632 -2704 2180 -2364 2268 2020 2656 2544 -2332 -2656 -2584 -2096 -2652 -2128 2388 -2556 -2572 -2092 2396 2192 2644 -2060 2640 -2312 -2668 2656 -2068 2124 -2048 -2740 -2588 -2712 -2500 2592 -2416 2116 2624 2104 -2500 -2560 -2532 2700 -2688 -2740 2656 -2396 2700 -2404 -2344 -2128 -2584 -2196 -2628 2672 -2396 -2700 2080 -2524 -2152 -2684 -2428 2668 -2712 -2736 -2020 2616 -2484 -2352 -2688 2356 2648 -2668 2116 -2352 2208 -2424 2060 -2692 2172 -2424 -2740 2336 -2076 -2708 -2380 2680 2260 -2628 2376 -2424 -2216 -2700 2672 2544 2544 -2228 -2668 -2664 -2256 -2580 -2180 2052 2020 2424 -2276 2680 2576 2556 2312 -2176 -2272 2656 -2300 -2488 -2456 -2700 2496 2692 2504 -2532 -2544 -2668 2072 2640 2540 2500 -2372 -2472 -2020 2168 -2316 -2488 2204 2672 -2684 -2532 2336 -2740 -2444 -2060 2248 -2696 2608 2316 -2340 2116 -2268 -2336 -2488 -2060 -2256 -2680 2644 2020 2696 -2720 -2068 -2052 -2584 -2220 -2540 -2300 -2180 -2700 -2596 -2572 -2448 -2672 -2356 -2472 2132 -2324 -2520 2224 -2056 -2520 2480 -2700 2512 2696 -2228 -2056 2324 -2444 2684 -2188 -2644 2680 -2356 -2712 2580 -2648 -2028 -2424 -2440 -2384 2464 -2396 2216 -2180 -2448 -2292 -2684 2672 -2740 -2432 -2344 -2672 2648 -2456 -2464 -2720 2216 2420 -2216 -2028 2668 -2248 2556 2260 -2668 -2280 -2572 -2020 -2560 2148 2688 -2028 -2488 2092 2256 -2200 -2216 -2068 2396 2728 2688 2508 -2480 -2680 -2384 -2564 2164 -2060 2696 2472 2220 -2712 -2640 -2488 2740 -2496 2060 -2700 2624 -2608 -2668 -2656 2688 -2608 -2460 -2468 -2708 2572 2440 2036 2416 2700 -2684 -2220 2644 -2408 2220 -2436 2396 -2604 -2292 -2056 2432 -2424 -2656 2028 2672 -2668 -2116 -2740 2384 2684 -2108 -2596 -2396 -2648
58.60/58.92 d ASSIGNMENTS 905
58.60/58.92 d CHECKS 45853599
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1085889-1215235988/watcher-1085889-1215235988 -o /tmp/evaluation-result-1085889-1215235988/solver-1085889-1215235988 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1085889-1215235988.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: 1.99 1.98 1.98 4/72 25091
/proc/meminfo: memFree=1628280/2055920 swapFree=4180000/4192956
[pid=25091] ppid=25089 vsize=5360 CPUtime=0
/proc/25091/stat : 25091 (hydra) R 25089 25091 24783 0 -1 4194304 264 0 0 0 0 0 0 0 20 0 1 0 2002572969 5488640 232 996147200 4194304 4889804 548682068816 18446744073709551615 238487237003 0 0 4100 65536 0 0 0 17 1 0 0
/proc/25091/statm: 1340 232 193 169 0 51 0
[startup+0.0385691 s]
/proc/loadavg: 1.99 1.98 1.98 4/72 25091
/proc/meminfo: memFree=1628280/2055920 swapFree=4180000/4192956
[pid=25091] ppid=25089 vsize=5360 CPUtime=0
/proc/25091/stat : 25091 (hydra) S 25089 25091 24783 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2002572969 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25091/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101578 s]
/proc/loadavg: 1.99 1.98 1.98 4/72 25091
/proc/meminfo: memFree=1628280/2055920 swapFree=4180000/4192956
[pid=25091] ppid=25089 vsize=5360 CPUtime=0
/proc/25091/stat : 25091 (hydra) S 25089 25091 24783 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2002572969 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25091/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301601 s]
/proc/loadavg: 1.99 1.98 1.98 4/72 25091
/proc/meminfo: memFree=1628280/2055920 swapFree=4180000/4192956
[pid=25091] ppid=25089 vsize=5360 CPUtime=0
/proc/25091/stat : 25091 (hydra) S 25089 25091 24783 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2002572969 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25091/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701639 s]
/proc/loadavg: 1.99 1.98 1.98 4/72 25091
/proc/meminfo: memFree=1628280/2055920 swapFree=4180000/4192956
[pid=25091] ppid=25089 vsize=5360 CPUtime=0
/proc/25091/stat : 25091 (hydra) S 25089 25091 24783 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2002572969 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25091/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50173 s]
/proc/loadavg: 1.99 1.98 1.98 3/74 25095
/proc/meminfo: memFree=1607080/2055920 swapFree=4180000/4192956
[pid=25091] ppid=25089 vsize=5360 CPUtime=0
/proc/25091/stat : 25091 (hydra) S 25089 25091 24783 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2002572969 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25091/statm: 1340 236 195 169 0 51 0
[pid=25095] ppid=25091 vsize=37596 CPUtime=1.47
/proc/25095/stat : 25095 (xsolve) R 25091 25091 24783 0 -1 4194304 5733 0 0 0 144 3 0 0 25 0 1 0 2002572970 38498304 5626 996147200 134512640 135239763 4294956176 18446744073709551615 134535329 0 0 4096 0 0 0 0 17 1 0 0
/proc/25095/statm: 9399 5626 417 177 0 8302 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 42956
[startup+3.10191 s]
/proc/loadavg: 1.99 1.98 1.98 3/74 25095
/proc/meminfo: memFree=1606952/2055920 swapFree=4180000/4192956
[pid=25091] ppid=25089 vsize=5360 CPUtime=0
/proc/25091/stat : 25091 (hydra) S 25089 25091 24783 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2002572969 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25091/statm: 1340 236 195 169 0 51 0
[pid=25095] ppid=25091 vsize=37596 CPUtime=3.06
/proc/25095/stat : 25095 (xsolve) R 25091 25091 24783 0 -1 4194304 5733 0 0 0 303 3 0 0 25 0 1 0 2002572970 38498304 5626 996147200 134512640 135239763 4294956176 18446744073709551615 134543107 0 0 4096 0 0 0 0 17 1 0 0
/proc/25095/statm: 9399 5626 417 177 0 8302 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 42956
[startup+6.30128 s]
/proc/loadavg: 1.99 1.98 1.98 3/74 25095
/proc/meminfo: memFree=1606640/2055920 swapFree=4180000/4192956
[pid=25091] ppid=25089 vsize=5360 CPUtime=0
/proc/25091/stat : 25091 (hydra) S 25089 25091 24783 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2002572969 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25091/statm: 1340 236 195 169 0 51 0
[pid=25095] ppid=25091 vsize=37596 CPUtime=6.22
/proc/25095/stat : 25095 (xsolve) R 25091 25091 24783 0 -1 4194304 5733 0 0 0 619 3 0 0 25 0 1 0 2002572970 38498304 5626 996147200 134512640 135239763 4294956176 18446744073709551615 134532177 0 0 4096 0 0 0 0 17 1 0 0
/proc/25095/statm: 9399 5626 417 177 0 8302 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 42956
[startup+12.702 s]
/proc/loadavg: 1.99 1.98 1.98 3/82 25107
/proc/meminfo: memFree=1614832/2055920 swapFree=4180000/4192956
[pid=25091] ppid=25089 vsize=5360 CPUtime=9.89
/proc/25091/stat : 25091 (hydra) S 25089 25091 24783 0 -1 4194304 375 6334 0 0 0 0 985 4 18 0 1 0 2002572969 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25091/statm: 1340 238 196 169 0 51 0
[pid=25099] ppid=25091 vsize=196996 CPUtime=2.66
/proc/25099/stat : 25099 (java) S 25091 25091 24783 0 -1 0 7627 0 1 0 258 8 0 0 18 0 9 0 2002573969 201723904 6357 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25099/statm: 49249 6357 2540 9 0 43832 0
[pid=25099/tid=25100] ppid=25091 vsize=196996 CPUtime=2.06
/proc/25099/task/25100/stat : 25100 (java) R 25091 25091 24783 0 -1 64 3030 0 1 0 204 2 0 0 25 0 9 0 2002573970 201723904 6357 996147200 134512640 134550740 4294955968 18446744073709551615 4126407129 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25099/tid=25101] ppid=25091 vsize=196996 CPUtime=0.41
/proc/25099/task/25101/stat : 25101 (java) S 25091 25091 24783 0 -1 64 3242 0 0 0 37 4 0 0 16 0 9 0 2002573971 201723904 6357 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25099/tid=25102] ppid=25091 vsize=196996 CPUtime=0
/proc/25099/task/25102/stat : 25102 (java) S 25091 25091 24783 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2002573971 201723904 6357 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25099/tid=25103] ppid=25091 vsize=196996 CPUtime=0
/proc/25099/task/25103/stat : 25103 (java) S 25091 25091 24783 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002573971 201723904 6357 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25099/tid=25104] ppid=25091 vsize=196996 CPUtime=0
/proc/25099/task/25104/stat : 25104 (java) S 25091 25091 24783 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2002573973 201723904 6357 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25099/tid=25105] ppid=25091 vsize=196996 CPUtime=0.16
/proc/25099/task/25105/stat : 25105 (java) S 25091 25091 24783 0 -1 64 630 0 0 0 16 0 0 0 16 0 9 0 2002573973 201723904 6357 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25099/tid=25106] ppid=25091 vsize=196996 CPUtime=0
/proc/25099/task/25106/stat : 25106 (java) S 25091 25091 24783 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2002573973 201723904 6357 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25099/tid=25107] ppid=25091 vsize=196996 CPUtime=0
/proc/25099/task/25107/stat : 25107 (java) S 25091 25091 24783 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002573973 201723904 6357 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 202356
[startup+25.5025 s]
/proc/loadavg: 2.07 1.99 1.99 3/94 25119
/proc/meminfo: memFree=1535824/2055920 swapFree=4180000/4192956
[pid=25091] ppid=25089 vsize=5360 CPUtime=9.89
/proc/25091/stat : 25091 (hydra) S 25089 25091 24783 0 -1 4194304 375 6334 0 0 0 0 985 4 18 0 1 0 2002572969 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25091/statm: 1340 238 196 169 0 51 0
[pid=25099] ppid=25091 vsize=197432 CPUtime=5.98
/proc/25099/stat : 25099 (java) S 25091 25091 24783 0 -1 0 13880 0 1 0 581 17 0 0 18 0 10 0 2002573969 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25099/statm: 49358 9393 2543 9 0 43941 0
[pid=25109] ppid=25099 vsize=5356 CPUtime=0
/proc/25109/stat : 25109 (abscon) S 25099 25091 24783 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 2002574577 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 238487659332 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/25109/statm: 1339 235 194 169 0 50 0
[pid=25110] ppid=25109 vsize=656288 CPUtime=9.39
/proc/25110/stat : 25110 (java) S 25109 25091 24783 0 -1 0 18293 0 1 0 927 12 0 0 18 0 9 0 2002574578 672038912 17794 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25110/statm: 164072 17794 2008 9 0 158600 0
[pid=25110/tid=25112] ppid=25109 vsize=656288 CPUtime=9.05
/proc/25110/task/25112/stat : 25112 (java) R 25109 25091 24783 0 -1 64 12420 0 1 0 895 10 0 0 25 0 9 0 2002574579 672038912 17794 996147200 134512640 134550740 4294955808 18446744073709551615 4126890871 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25110/tid=25113] ppid=25109 vsize=656288 CPUtime=0.11
/proc/25110/task/25113/stat : 25113 (java) S 25109 25091 24783 0 -1 64 4591 0 0 0 10 1 0 0 17 0 9 0 2002574580 672038912 17794 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25110/tid=25114] ppid=25109 vsize=656288 CPUtime=0
/proc/25110/task/25114/stat : 25114 (java) S 25109 25091 24783 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002574580 672038912 17794 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25110/tid=25115] ppid=25109 vsize=656288 CPUtime=0
/proc/25110/task/25115/stat : 25115 (java) S 25109 25091 24783 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002574580 672038912 17794 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25110/tid=25116] ppid=25109 vsize=656288 CPUtime=0
/proc/25110/task/25116/stat : 25116 (java) S 25109 25091 24783 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2002574582 672038912 17794 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25110/tid=25117] ppid=25109 vsize=656288 CPUtime=0.21
/proc/25110/task/25117/stat : 25117 (java) S 25109 25091 24783 0 -1 64 737 0 0 0 21 0 0 0 16 0 9 0 2002574582 672038912 17794 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25110/tid=25118] ppid=25109 vsize=656288 CPUtime=0
/proc/25110/task/25118/stat : 25118 (java) S 25109 25091 24783 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 2002574582 672038912 17794 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25110/tid=25119] ppid=25109 vsize=656288 CPUtime=0
/proc/25110/task/25119/stat : 25119 (java) S 25109 25091 24783 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002574582 672038912 17794 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25111] ppid=25109 vsize=7044 CPUtime=0
/proc/25111/stat : 25111 (translate) S 25109 25091 24783 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2002574578 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 238487830610 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/25111/statm: 1761 213 182 1 0 41 0
[pid=25099/tid=25100] ppid=25091 vsize=197432 CPUtime=4.65
/proc/25099/task/25100/stat : 25100 (java) S 25091 25091 24783 0 -1 64 3853 0 1 0 460 5 0 0 25 0 10 0 2002573970 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=25099/tid=25101] ppid=25091 vsize=197432 CPUtime=1.1
/proc/25099/task/25101/stat : 25101 (java) S 25091 25091 24783 0 -1 64 8572 0 0 0 101 9 0 0 16 0 10 0 2002573971 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25099/tid=25102] ppid=25091 vsize=197432 CPUtime=0
/proc/25099/task/25102/stat : 25102 (java) S 25091 25091 24783 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002573971 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25099/tid=25103] ppid=25091 vsize=197432 CPUtime=0
/proc/25099/task/25103/stat : 25103 (java) S 25091 25091 24783 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2002573971 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25099/tid=25104] ppid=25091 vsize=197432 CPUtime=0
/proc/25099/task/25104/stat : 25104 (java) S 25091 25091 24783 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2002573973 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25099/tid=25105] ppid=25091 vsize=197432 CPUtime=0.19
/proc/25099/task/25105/stat : 25105 (java) S 25091 25091 24783 0 -1 64 647 0 0 0 19 0 0 0 16 0 10 0 2002573973 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25099/tid=25106] ppid=25091 vsize=197432 CPUtime=0
/proc/25099/task/25106/stat : 25106 (java) S 25091 25091 24783 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2002573973 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25099/tid=25107] ppid=25091 vsize=197432 CPUtime=0
/proc/25099/task/25107/stat : 25107 (java) S 25091 25091 24783 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 2002573973 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25099/tid=25108] ppid=25091 vsize=197432 CPUtime=0
/proc/25099/task/25108/stat : 25108 (java) S 25091 25091 24783 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 2002574577 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 871480
[startup+51.1024 s]
/proc/loadavg: 2.04 1.99 1.99 3/94 25119
/proc/meminfo: memFree=1502544/2055920 swapFree=4180000/4192956
[pid=25091] ppid=25089 vsize=5360 CPUtime=9.89
/proc/25091/stat : 25091 (hydra) S 25089 25091 24783 0 -1 4194304 375 6334 0 0 0 0 985 4 18 0 1 0 2002572969 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25091/statm: 1340 238 196 169 0 51 0
[pid=25099] ppid=25091 vsize=197432 CPUtime=5.98
/proc/25099/stat : 25099 (java) S 25091 25091 24783 0 -1 0 13880 0 1 0 581 17 0 0 18 0 10 0 2002573969 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25099/statm: 49358 9393 2543 9 0 43941 0
[pid=25109] ppid=25099 vsize=5356 CPUtime=0
/proc/25109/stat : 25109 (abscon) S 25099 25091 24783 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 2002574577 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 238487659332 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/25109/statm: 1339 235 194 169 0 50 0
[pid=25110] ppid=25109 vsize=656288 CPUtime=34.99
/proc/25110/stat : 25110 (java) S 25109 25091 24783 0 -1 0 27397 0 1 0 3481 18 0 0 18 0 9 0 2002574578 672038912 26683 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25110/statm: 164072 26683 2617 9 0 158600 0
[pid=25110/tid=25112] ppid=25109 vsize=656288 CPUtime=33.94
/proc/25110/task/25112/stat : 25112 (java) R 25109 25091 24783 0 -1 64 12525 0 1 0 3382 12 0 0 25 0 9 0 2002574579 672038912 26683 996147200 134512640 134550740 4294955808 18446744073709551615 4127075937 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25110/tid=25113] ppid=25109 vsize=656288 CPUtime=0.67
/proc/25110/task/25113/stat : 25113 (java) S 25109 25091 24783 0 -1 64 13499 0 0 0 63 4 0 0 17 0 9 0 2002574580 672038912 26683 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25110/tid=25114] ppid=25109 vsize=656288 CPUtime=0
/proc/25110/task/25114/stat : 25114 (java) S 25109 25091 24783 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002574580 672038912 26683 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25110/tid=25115] ppid=25109 vsize=656288 CPUtime=0
/proc/25110/task/25115/stat : 25115 (java) S 25109 25091 24783 0 -1 64 14 0 0 0 0 0 0 0 15 0 9 0 2002574580 672038912 26683 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25110/tid=25116] ppid=25109 vsize=656288 CPUtime=0
/proc/25110/task/25116/stat : 25116 (java) S 25109 25091 24783 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2002574582 672038912 26683 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
################
# More data... #
################
/proc/25110/task/25119/stat : 25119 (java) S 25109 25091 24783 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002574582 672038912 26687 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25111] ppid=25109 vsize=7044 CPUtime=0
/proc/25111/stat : 25111 (translate) S 25109 25091 24783 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2002574578 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 238487830610 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/25111/statm: 1761 213 182 1 0 41 0
[pid=25099/tid=25100] ppid=25091 vsize=197432 CPUtime=4.65
/proc/25099/task/25100/stat : 25100 (java) S 25091 25091 24783 0 -1 64 3853 0 1 0 460 5 0 0 25 0 10 0 2002573970 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=25099/tid=25101] ppid=25091 vsize=197432 CPUtime=1.1
/proc/25099/task/25101/stat : 25101 (java) S 25091 25091 24783 0 -1 64 8572 0 0 0 101 9 0 0 16 0 10 0 2002573971 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25099/tid=25102] ppid=25091 vsize=197432 CPUtime=0
/proc/25099/task/25102/stat : 25102 (java) S 25091 25091 24783 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002573971 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25099/tid=25103] ppid=25091 vsize=197432 CPUtime=0
/proc/25099/task/25103/stat : 25103 (java) S 25091 25091 24783 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2002573971 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25099/tid=25104] ppid=25091 vsize=197432 CPUtime=0
/proc/25099/task/25104/stat : 25104 (java) S 25091 25091 24783 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2002573973 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25099/tid=25105] ppid=25091 vsize=197432 CPUtime=0.19
/proc/25099/task/25105/stat : 25105 (java) S 25091 25091 24783 0 -1 64 647 0 0 0 19 0 0 0 16 0 10 0 2002573973 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25099/tid=25106] ppid=25091 vsize=197432 CPUtime=0
/proc/25099/task/25106/stat : 25106 (java) S 25091 25091 24783 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2002573973 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25099/tid=25107] ppid=25091 vsize=197432 CPUtime=0
/proc/25099/task/25107/stat : 25107 (java) S 25091 25091 24783 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 2002573973 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25099/tid=25108] ppid=25091 vsize=197432 CPUtime=0
/proc/25099/task/25108/stat : 25108 (java) S 25091 25091 24783 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 2002574577 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 57.25
Current children cumulated vsize (KiB) 871480
[startup+58.3072 s]
/proc/loadavg: 2.04 1.99 1.99 3/94 25119
/proc/meminfo: memFree=1502544/2055920 swapFree=4180000/4192956
[pid=25091] ppid=25089 vsize=5360 CPUtime=9.89
/proc/25091/stat : 25091 (hydra) S 25089 25091 24783 0 -1 4194304 375 6334 0 0 0 0 985 4 18 0 1 0 2002572969 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25091/statm: 1340 238 196 169 0 51 0
[pid=25099] ppid=25091 vsize=197432 CPUtime=5.98
/proc/25099/stat : 25099 (java) S 25091 25091 24783 0 -1 0 13880 0 1 0 581 17 0 0 18 0 10 0 2002573969 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25099/statm: 49358 9393 2543 9 0 43941 0
[pid=25109] ppid=25099 vsize=5356 CPUtime=0
/proc/25109/stat : 25109 (abscon) S 25099 25091 24783 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 2002574577 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 238487659332 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/25109/statm: 1339 235 194 169 0 50 0
[pid=25110] ppid=25109 vsize=656288 CPUtime=42.19
/proc/25110/stat : 25110 (java) S 25109 25091 24783 0 -1 0 27403 0 1 0 4201 18 0 0 18 0 9 0 2002574578 672038912 26687 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25110/statm: 164072 26687 2617 9 0 158600 0
[pid=25110/tid=25112] ppid=25109 vsize=656288 CPUtime=41.14
/proc/25110/task/25112/stat : 25112 (java) R 25109 25091 24783 0 -1 64 12527 0 1 0 4102 12 0 0 25 0 9 0 2002574579 672038912 26687 996147200 134512640 134550740 4294955808 18446744073709551615 4126894117 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25110/tid=25113] ppid=25109 vsize=656288 CPUtime=0.67
/proc/25110/task/25113/stat : 25113 (java) S 25109 25091 24783 0 -1 64 13499 0 0 0 63 4 0 0 16 0 9 0 2002574580 672038912 26687 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25110/tid=25114] ppid=25109 vsize=656288 CPUtime=0
/proc/25110/task/25114/stat : 25114 (java) S 25109 25091 24783 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002574580 672038912 26687 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25110/tid=25115] ppid=25109 vsize=656288 CPUtime=0
/proc/25110/task/25115/stat : 25115 (java) S 25109 25091 24783 0 -1 64 14 0 0 0 0 0 0 0 15 0 9 0 2002574580 672038912 26687 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25110/tid=25116] ppid=25109 vsize=656288 CPUtime=0
/proc/25110/task/25116/stat : 25116 (java) S 25109 25091 24783 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2002574582 672038912 26687 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25110/tid=25117] ppid=25109 vsize=656288 CPUtime=0.35
/proc/25110/task/25117/stat : 25117 (java) S 25109 25091 24783 0 -1 64 823 0 0 0 35 0 0 0 16 0 9 0 2002574582 672038912 26687 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25110/tid=25118] ppid=25109 vsize=656288 CPUtime=0
/proc/25110/task/25118/stat : 25118 (java) S 25109 25091 24783 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 2002574582 672038912 26687 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25110/tid=25119] ppid=25109 vsize=656288 CPUtime=0
/proc/25110/task/25119/stat : 25119 (java) S 25109 25091 24783 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002574582 672038912 26687 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25111] ppid=25109 vsize=7044 CPUtime=0
/proc/25111/stat : 25111 (translate) S 25109 25091 24783 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2002574578 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 238487830610 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/25111/statm: 1761 213 182 1 0 41 0
[pid=25099/tid=25100] ppid=25091 vsize=197432 CPUtime=4.65
/proc/25099/task/25100/stat : 25100 (java) S 25091 25091 24783 0 -1 64 3853 0 1 0 460 5 0 0 25 0 10 0 2002573970 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=25099/tid=25101] ppid=25091 vsize=197432 CPUtime=1.1
/proc/25099/task/25101/stat : 25101 (java) S 25091 25091 24783 0 -1 64 8572 0 0 0 101 9 0 0 16 0 10 0 2002573971 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25099/tid=25102] ppid=25091 vsize=197432 CPUtime=0
/proc/25099/task/25102/stat : 25102 (java) S 25091 25091 24783 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002573971 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25099/tid=25103] ppid=25091 vsize=197432 CPUtime=0
/proc/25099/task/25103/stat : 25103 (java) S 25091 25091 24783 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2002573971 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25099/tid=25104] ppid=25091 vsize=197432 CPUtime=0
/proc/25099/task/25104/stat : 25104 (java) S 25091 25091 24783 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2002573973 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25099/tid=25105] ppid=25091 vsize=197432 CPUtime=0.19
/proc/25099/task/25105/stat : 25105 (java) S 25091 25091 24783 0 -1 64 647 0 0 0 19 0 0 0 16 0 10 0 2002573973 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25099/tid=25106] ppid=25091 vsize=197432 CPUtime=0
/proc/25099/task/25106/stat : 25106 (java) S 25091 25091 24783 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2002573973 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25099/tid=25107] ppid=25091 vsize=197432 CPUtime=0
/proc/25099/task/25107/stat : 25107 (java) S 25091 25091 24783 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 2002573973 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25099/tid=25108] ppid=25091 vsize=197432 CPUtime=0
/proc/25099/task/25108/stat : 25108 (java) S 25091 25091 24783 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 2002574577 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 58.06
Current children cumulated vsize (KiB) 871480
[startup+58.7022 s]
/proc/loadavg: 2.04 1.99 1.99 3/94 25119
/proc/meminfo: memFree=1502544/2055920 swapFree=4180000/4192956
[pid=25091] ppid=25089 vsize=5360 CPUtime=9.89
/proc/25091/stat : 25091 (hydra) S 25089 25091 24783 0 -1 4194304 375 6334 0 0 0 0 985 4 18 0 1 0 2002572969 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25091/statm: 1340 238 196 169 0 51 0
[pid=25099] ppid=25091 vsize=197432 CPUtime=5.98
/proc/25099/stat : 25099 (java) S 25091 25091 24783 0 -1 0 13880 0 1 0 581 17 0 0 18 0 10 0 2002573969 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25099/statm: 49358 9393 2543 9 0 43941 0
[pid=25109] ppid=25099 vsize=5356 CPUtime=0
/proc/25109/stat : 25109 (abscon) S 25099 25091 24783 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 2002574577 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 238487659332 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/25109/statm: 1339 235 194 169 0 50 0
[pid=25110] ppid=25109 vsize=656288 CPUtime=42.58
/proc/25110/stat : 25110 (java) S 25109 25091 24783 0 -1 0 27403 0 1 0 4240 18 0 0 18 0 9 0 2002574578 672038912 26687 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25110/statm: 164072 26687 2617 9 0 158600 0
[pid=25110/tid=25112] ppid=25109 vsize=656288 CPUtime=41.53
/proc/25110/task/25112/stat : 25112 (java) R 25109 25091 24783 0 -1 64 12527 0 1 0 4141 12 0 0 25 0 9 0 2002574579 672038912 26687 996147200 134512640 134550740 4294955808 18446744073709551615 4127344440 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25110/tid=25113] ppid=25109 vsize=656288 CPUtime=0.67
/proc/25110/task/25113/stat : 25113 (java) S 25109 25091 24783 0 -1 64 13499 0 0 0 63 4 0 0 16 0 9 0 2002574580 672038912 26687 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25110/tid=25114] ppid=25109 vsize=656288 CPUtime=0
/proc/25110/task/25114/stat : 25114 (java) S 25109 25091 24783 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002574580 672038912 26687 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25110/tid=25115] ppid=25109 vsize=656288 CPUtime=0
/proc/25110/task/25115/stat : 25115 (java) S 25109 25091 24783 0 -1 64 14 0 0 0 0 0 0 0 15 0 9 0 2002574580 672038912 26687 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25110/tid=25116] ppid=25109 vsize=656288 CPUtime=0
/proc/25110/task/25116/stat : 25116 (java) S 25109 25091 24783 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2002574582 672038912 26687 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25110/tid=25117] ppid=25109 vsize=656288 CPUtime=0.35
/proc/25110/task/25117/stat : 25117 (java) S 25109 25091 24783 0 -1 64 823 0 0 0 35 0 0 0 16 0 9 0 2002574582 672038912 26687 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25110/tid=25118] ppid=25109 vsize=656288 CPUtime=0
/proc/25110/task/25118/stat : 25118 (java) S 25109 25091 24783 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 2002574582 672038912 26687 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25110/tid=25119] ppid=25109 vsize=656288 CPUtime=0
/proc/25110/task/25119/stat : 25119 (java) S 25109 25091 24783 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002574582 672038912 26687 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25111] ppid=25109 vsize=7044 CPUtime=0
/proc/25111/stat : 25111 (translate) S 25109 25091 24783 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2002574578 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 238487830610 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/25111/statm: 1761 213 182 1 0 41 0
[pid=25099/tid=25100] ppid=25091 vsize=197432 CPUtime=4.65
/proc/25099/task/25100/stat : 25100 (java) S 25091 25091 24783 0 -1 64 3853 0 1 0 460 5 0 0 25 0 10 0 2002573970 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=25099/tid=25101] ppid=25091 vsize=197432 CPUtime=1.1
/proc/25099/task/25101/stat : 25101 (java) S 25091 25091 24783 0 -1 64 8572 0 0 0 101 9 0 0 16 0 10 0 2002573971 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25099/tid=25102] ppid=25091 vsize=197432 CPUtime=0
/proc/25099/task/25102/stat : 25102 (java) S 25091 25091 24783 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002573971 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25099/tid=25103] ppid=25091 vsize=197432 CPUtime=0
/proc/25099/task/25103/stat : 25103 (java) S 25091 25091 24783 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2002573971 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25099/tid=25104] ppid=25091 vsize=197432 CPUtime=0
/proc/25099/task/25104/stat : 25104 (java) S 25091 25091 24783 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2002573973 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25099/tid=25105] ppid=25091 vsize=197432 CPUtime=0.19
/proc/25099/task/25105/stat : 25105 (java) S 25091 25091 24783 0 -1 64 647 0 0 0 19 0 0 0 16 0 10 0 2002573973 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25099/tid=25106] ppid=25091 vsize=197432 CPUtime=0
/proc/25099/task/25106/stat : 25106 (java) S 25091 25091 24783 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2002573973 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25099/tid=25107] ppid=25091 vsize=197432 CPUtime=0
/proc/25099/task/25107/stat : 25107 (java) S 25091 25091 24783 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 2002573973 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25099/tid=25108] ppid=25091 vsize=197432 CPUtime=0
/proc/25099/task/25108/stat : 25108 (java) S 25091 25091 24783 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 2002574577 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 58.45
Current children cumulated vsize (KiB) 871480
[startup+58.9023 s]
/proc/loadavg: 2.04 1.99 1.99 3/94 25119
/proc/meminfo: memFree=1502544/2055920 swapFree=4180000/4192956
[pid=25091] ppid=25089 vsize=5360 CPUtime=9.89
/proc/25091/stat : 25091 (hydra) S 25089 25091 24783 0 -1 4194304 375 6334 0 0 0 0 985 4 18 0 1 0 2002572969 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25091/statm: 1340 238 196 169 0 51 0
[pid=25099] ppid=25091 vsize=197432 CPUtime=5.98
/proc/25099/stat : 25099 (java) S 25091 25091 24783 0 -1 0 13885 0 1 0 581 17 0 0 18 0 10 0 2002573969 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25099/statm: 49358 9393 2543 9 0 43941 0
[pid=25109] ppid=25099 vsize=5356 CPUtime=0
/proc/25109/stat : 25109 (abscon) S 25099 25091 24783 0 -1 4194304 302 290 0 0 0 0 0 0 16 0 1 0 2002574577 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 238487659332 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/25109/statm: 1339 235 194 169 0 50 0
[pid=25110] ppid=25109 vsize=0 CPUtime=42.73
/proc/25110/stat : 25110 (java) Z 25109 25091 24783 0 -1 12 32213 0 1 0 4253 20 0 0 16 0 2 0 2002574578 0 0 996147200 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25110/statm: 0 0 0 0 0 0 0
[pid=25099/tid=25100] ppid=25091 vsize=197432 CPUtime=4.65
/proc/25099/task/25100/stat : 25100 (java) S 25091 25091 24783 0 -1 64 3858 0 1 0 460 5 0 0 16 0 10 0 2002573970 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=25099/tid=25101] ppid=25091 vsize=197432 CPUtime=1.1
/proc/25099/task/25101/stat : 25101 (java) S 25091 25091 24783 0 -1 64 8572 0 0 0 101 9 0 0 16 0 10 0 2002573971 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25099/tid=25102] ppid=25091 vsize=197432 CPUtime=0
/proc/25099/task/25102/stat : 25102 (java) S 25091 25091 24783 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002573971 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25099/tid=25103] ppid=25091 vsize=197432 CPUtime=0
/proc/25099/task/25103/stat : 25103 (java) S 25091 25091 24783 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2002573971 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25099/tid=25104] ppid=25091 vsize=197432 CPUtime=0
/proc/25099/task/25104/stat : 25104 (java) S 25091 25091 24783 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2002573973 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25099/tid=25105] ppid=25091 vsize=197432 CPUtime=0.19
/proc/25099/task/25105/stat : 25105 (java) S 25091 25091 24783 0 -1 64 647 0 0 0 19 0 0 0 16 0 10 0 2002573973 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25099/tid=25106] ppid=25091 vsize=197432 CPUtime=0
/proc/25099/task/25106/stat : 25106 (java) S 25091 25091 24783 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2002573973 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25099/tid=25107] ppid=25091 vsize=197432 CPUtime=0
/proc/25099/task/25107/stat : 25107 (java) S 25091 25091 24783 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 2002573973 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25099/tid=25108] ppid=25091 vsize=197432 CPUtime=0
/proc/25099/task/25108/stat : 25108 (java) S 25091 25091 24783 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 2002574577 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 58.6
Current children cumulated vsize (KiB) 208148
Child status: 0
Real time (s): 58.9448
CPU time (s): 58.6731
CPU user time (s): 58.2181
CPU system time (s): 0.45493
CPU usage (%): 99.539
Max. virtual memory (cumulated for all children) (KiB): 871480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 58.2181
system time used= 0.45493
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53522
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= 12880
involuntary context switches= 13723
runsolver used 0.149977 second user time and 0.551916 second system time
The end
Begin job on node23 at 2008-07-05 07:33:08
IDJOB=1085889
IDBENCH=57717
IDSOLVER=365
FILE ID=node23/1085889-1215235988
PBS_JOBID= 7881937
Free space on /tmp= 66532 MiB
SOLVER NAME= cpHydra k_10
BENCH NAME= CPAI08/csp/fapp/fapp10/normalized-fapp10-0900-10.xml
COMMAND LINE= HOME/cpHydra_k_10/hydra BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1085889-1215235988/watcher-1085889-1215235988 -o /tmp/evaluation-result-1085889-1215235988/solver-1085889-1215235988 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1085889-1215235988.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 55de9a4bee899e7bedf0b2c2b8000cef
RANDOM SEED=460793670
node23.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.216
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.216
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: 1628760 kB
Buffers: 46300 kB
Cached: 206856 kB
SwapCached: 6808 kB
Active: 293408 kB
Inactive: 79304 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1628760 kB
SwapTotal: 4192956 kB
SwapFree: 4180000 kB
Dirty: 25840 kB
Writeback: 0 kB
Mapped: 126884 kB
Slab: 39664 kB
Committed_AS: 3611864 kB
PageTables: 2048 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= 66508 MiB
End job on node23 at 2008-07-05 07:34:07