0.00/0.00 c cpHydra_k_10 version 0.0
11.20/11.36 c CASE TO CLASSIFY:
11.20/11.36 c Case: 0
11.20/11.36 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 40.676700 | c 15 > 11.679900 | c 34 > 67.254600 | c 16 > 2.000000 | c 13 > 1.774560 | c 14 > -1.000000 | c 11 > 8.965780 | c 12 > 3.511970 | c 21 > 15.072800 | c 20 > 0.000000 | c 22 > 15.556300 | c 23 > 4.853100 | c 24 > 0.786959 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.477800 | 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.793500 | c 31 > -1.000000 | c 4 > 8.965780 | c 9 > -1.000000 | c 8 > -1.000000 | c
11.20/11.37 c choco : 1801.0
11.20/11.37 c mistral : 1801.0
11.20/11.37 c abscon : 1801.0
11.20/11.37 c
11.20/11.37 c
11.31/11.45 c List of same ones: 10
11.31/11.45 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-10.xml
11.31/11.45 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.938900 | c 15 > 11.398200 | c 34 > 68.192900 | c 16 > 2.000000 | c 13 > 2.725340 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 4.736450 | c 21 > 15.053300 | c 20 > 0.000000 | c 22 > 16.431700 | c 23 > 4.379970 | c 24 > 0.967305 | 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.187700 | 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.275200 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c
11.31/11.46 c choco : 1801.0
11.31/11.46 c mistral : 1800.04
11.31/11.46 c abscon : 11.0623
11.31/11.46 c
11.31/11.46 c
11.31/11.46 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-9.xml
11.31/11.46 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.938900 | c 15 > 11.193500 | c 34 > 68.192900 | c 16 > 2.000000 | c 13 > 2.725340 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 4.736450 | c 21 > 15.053300 | c 20 > 0.000000 | c 22 > 16.431700 | c 23 > 4.379970 | c 24 > 0.967305 | 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.187700 | 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.275200 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c
11.31/11.47 c choco : 1801.0
11.31/11.47 c mistral : 1800.06
11.31/11.47 c abscon : 11.9282
11.31/11.47 c
11.31/11.47 c
11.31/11.47 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-8.xml
11.31/11.47 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.938900 | c 15 > 11.127300 | c 34 > 68.192900 | c 16 > 2.000000 | c 13 > 2.725340 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 4.736450 | c 21 > 15.053300 | c 20 > 0.000000 | c 22 > 16.431700 | c 23 > 4.379970 | c 24 > 0.967305 | 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.187700 | 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.275200 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c
11.31/11.48 c choco : 1801.0
11.31/11.48 c mistral : 1800.03
11.31/11.48 c abscon : 12.0042
11.31/11.48 c
11.31/11.48 c
11.31/11.48 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-7.xml
11.31/11.48 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.938900 | c 15 > 11.033400 | c 34 > 68.192900 | c 16 > 2.000000 | c 13 > 2.725340 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 4.736450 | c 21 > 15.053300 | c 20 > 0.000000 | c 22 > 16.431700 | c 23 > 4.379970 | c 24 > 0.967305 | 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.187700 | 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.275200 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c
11.31/11.49 c choco : 1801.0
11.31/11.49 c mistral : 1800.01
11.31/11.49 c abscon : 6.594
11.31/11.49 c
11.31/11.49 c
11.31/11.49 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-6.xml
11.31/11.49 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.938900 | c 15 > 10.978000 | c 34 > 68.192900 | c 16 > 2.000000 | c 13 > 2.725340 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 4.736450 | c 21 > 15.053300 | c 20 > 0.000000 | c 22 > 16.431700 | c 23 > 4.379970 | c 24 > 0.967305 | 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.187700 | 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.275200 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c
11.39/11.50 c choco : 1801.0
11.39/11.50 c mistral : 1800.03
11.39/11.50 c abscon : 5.97909
11.39/11.50 c
11.39/11.50 c
11.39/11.50 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-5.xml
11.39/11.50 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.938900 | c 15 > 10.857200 | c 34 > 68.192900 | c 16 > 2.000000 | c 13 > 2.725340 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 4.736450 | c 21 > 15.053300 | c 20 > 0.000000 | c 22 > 16.431700 | c 23 > 4.379970 | c 24 > 0.967305 | 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.187700 | 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.275200 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c
11.39/11.51 c choco : 1801.0
11.39/11.51 c mistral : 1800.05
11.39/11.51 c abscon : 5.9181
11.39/11.51 c
11.39/11.51 c
11.39/11.51 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-4.xml
11.39/11.51 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.938900 | c 15 > 10.815400 | c 34 > 68.192900 | c 16 > 2.000000 | c 13 > 2.725340 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 4.736450 | c 21 > 15.053300 | c 20 > 0.000000 | c 22 > 16.431700 | c 23 > 4.379970 | c 24 > 0.967305 | 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.187700 | 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.275200 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c
11.39/11.52 c choco : 1801.0
11.39/11.52 c mistral : 1800.09
11.39/11.52 c abscon : 6.03108
11.39/11.52 c
11.39/11.52 c
11.39/11.52 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-3.xml
11.39/11.52 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.938900 | c 15 > 10.775600 | c 34 > 68.192900 | c 16 > 2.000000 | c 13 > 2.725340 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 4.736450 | c 21 > 15.053300 | c 20 > 0.000000 | c 22 > 16.431700 | c 23 > 4.379970 | c 24 > 0.967305 | 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.187700 | 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.275200 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c
11.39/11.53 c choco : 1801.0
11.39/11.53 c mistral : 1800.05
11.39/11.53 c abscon : 5.67014
11.39/11.53 c
11.39/11.53 c
11.39/11.53 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-2.xml
11.39/11.53 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.938900 | c 15 > 10.726200 | c 34 > 68.192900 | c 16 > 2.000000 | c 13 > 2.725340 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 4.736450 | c 21 > 15.053300 | c 20 > 0.000000 | c 22 > 16.431700 | c 23 > 4.379970 | c 24 > 0.967305 | 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.187700 | 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.275200 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c
11.39/11.53 c choco : 1801.0
11.39/11.53 c mistral : 514.646
11.39/11.53 c abscon : 5.76312
11.39/11.53 c
11.39/11.53 c
11.39/11.53 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-1.xml
11.39/11.53 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.938900 | c 15 > 10.700400 | c 34 > 68.192900 | c 16 > 2.000000 | c 13 > 2.725340 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 4.736450 | c 21 > 15.053300 | c 20 > 0.000000 | c 22 > 16.431700 | c 23 > 4.379970 | c 24 > 0.967305 | 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.187700 | 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.275200 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c
11.39/11.54 c choco : 1801.0
11.39/11.54 c mistral : 1800.06
11.39/11.54 c abscon : 5.79212
11.39/11.54 c
11.39/11.54 c
11.57/11.76 c Length: 10
11.57/11.76 c 3.2872304536214063 3.311059366005991 3.3214298013379713 3.3383366240114247 3.3495063479886102 3.376886799289546 3.387313008154988 3.39768857537238 3.411168840033574 3.418471795293329
11.57/11.76 c
11.57/11.76 c 1.0 0.8463347304770551 0.7932833340880361 0.7197320116292106 0.678189417946148 0.594127277891698 0.5673488291729701 0.5429939306166038 0.5143094345984812 0.5
11.57/11.77 c
11.57/11.77 c solver 0
11.57/11.77 c before 0.0 seconds: {} 0
11.57/11.77 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6756
11.57/11.77 c
11.57/11.77 c solver 1
11.57/11.77 c before 0.0 seconds: {} 0
11.57/11.77 c before 522.0 seconds: {8} 514
11.57/11.77 c
11.57/11.77 c solver 2
11.57/11.77 c before 0.0 seconds: {} 0
11.57/11.77 c
11.57/11.77 cTotal time: 30
11.57/11.77 c 540.0 seconds unused
11.57/11.77 c 0 c 9 c 10
11.57/11.77 c 0 c 0 c 1
11.57/11.77 c 0 c 0 c 0
11.57/11.77 c is solver0 dominated by:
11.57/11.77 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)
11.57/11.77 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)
11.57/11.77 c is dominated? false
11.57/11.77 c
11.57/11.77 c is solver1 dominated by:
11.57/11.77 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)
11.57/11.77 c is dominated? true
11.57/11.77 c
11.57/11.77 c is solver2 dominated by:
11.57/11.77 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)
11.57/11.77 c is dominated? true
11.57/11.77 c
11.57/11.77 c Number of non-dominated solvers: 1
11.57/11.77 c remove dominated solvers
11.57/11.77 c solver 0 is not dominated by another solver
11.57/11.77 c solver 2 is dominated by another solver
11.57/11.77 c solver 1 is dominated by another solver
11.57/11.77 c
11.57/11.77 c solver 0: 18.0
11.57/11.77 c
11.57/11.77 c+ 1/1 of 99
11.57/11.77 c
11.57/11.77 c solver 1: 0.0
11.57/11.77 c
11.57/11.77 c solver 2: 0.0
11.57/11.77 c run abscon for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6756
11.57/11.77 c do not run mistral
11.57/11.77 c do not run choco
11.57/11.78 c Starting solver: HOME/cpHydra_k_10/solver/abscon
11.57/11.78 c On Instance: HOME/instance-1086267-1215238384.xml
11.57/11.78 c Running for: 1800 seconds
33.42/33.70 s SAT
33.42/33.70 v -2632 -2324 -2588 -2404 2660 2660 -2384 -2296 -2624 -2220 -2332 -2480 -2220 -2400 -2528 -2496 -2332 -2232 -2276 -2660 -2416 2680 -2492 -2700 -2660 -2424 -2260 -2456 -2276 -2256 -2700 -2548 -2700 -2220 -2700 -2260 -2588 -2372 -2472 -2612 -2648 -2416 -2696 -2688 -2228 2700 -2600 -2512 -2568 -2372 -2424 -2480 -2284 -2376 -2276 -2296 -2260 -2628 -2336 -2688 -2264 -2612 -2360 -2268 -2536 -2608 -2280 -2476 -2260 -2440 -2416 -2236 -2700 -2344 -2384 -2700 -2408 -2700 2220 -2404 -2356 -2452 -2700 -2432 -2220 2220 -2260 -2700 -2228 -2332 -2580 -2368 -2592 -2600 -2260 -2260 -2292 -2632 -2624 -2220 -2352 -2660 -2220 -2276 -2260 -2360 -2504 -2700 -2296 2636 -2260 -2384 -2648 -2628 -2632 -2220 -2440 -2260 -2244 -2428 -2364 -2364 -2304 -2660 -2440 -2260 -2340 -2220 -2636 -2280 -2488 -2236 2408 -2460 -2260 -2460 -2392 -2592 -2260 -2700 -2548 -2412 -2460 -2416 -2600 -2420 -2660 -2700 -2332 -2236 -2560 -2700 -2360 -2288 2260 -2628 -2412 -2260 -2364 -2660 -2220 -2500 -2336 -2424 -2660 -2660 -2424 2424 -2596 -2260 -2364 2532 -2660 -2456 -2660 -2220 -2464 -2524 -2424 -2700 -2660 -2308 -2588 2660 -2400 -2220 -2628 2404 -2564 -2412 -2400 -2336 -2260 2676 -2260 -2584 -2660 -2648 -2220 -2220 -2380 2600 -2700 -2608 -2220 2660 2648 2584 -2660 -2260 -2304 -2400 2220 2648 -2408 -2408 -2260 -2648 -2512 2624 2612 -2472 2316 -2220 -2296 2652 -2660 -2672 -2228 -2700 -2372 -2220 -2660 -2660 -2544 -2604 -2660 2568 2676 -2412 -2660 -2420 -2360 2688 -2528 -2552 -2444 -2384 -2368 -2448 -2220 2660 -2248 -2324 -2504 -2220 -2468 -2700 2660 -2592 -2660 -2660 -2604 -2356 -2668 -2292 2660 2236 2660 -2220 -2620 -2448 -2220 -2572 -2308 -2292 -2700 -2700 -2244 -2516 -2260 2220 -2500 -2220 2636 -2700 -2660 -2656 -2444 2472 -2700 -2508 -2288 -2552 -2300 -2260 -2700 -2464 -2384 2700 -2504 -2364 -2572 -2572 -2584 -2312 -2696 -2540 -2220 -2608 -2268 -2372 -2344 -2260 -2400 -2496 -2672 -2316 -2220 -2560 -2400 -2272 -2260 -2420 -2660 -2700 -2456 -2348 -2324 -2424 -2260 -2700 -2656 -2544 -2464 -2444 -2256 -2548 -2260 -2432 -2540 2528 -2460 2432 -2384 -2328 -2316 -2700 -2376 -2660 2492 -2660 -2484 -2220 -2260 2500 -2584 -2384 2700 2588 -2344 -2584 -2596 -2700 -2380 -2464 -2492 -2260 -2220 -2512 -2460 -2684 -2260 -2524 -2352 -2568 -2644 -2452 -2348 2660 -2588 -2220 -2276 -2296 -2520 -2260 -2348 -2532 -2260 -2276 -2588 -2628 -2220 -2252 -2636 -2336 -2632 -2284 -2320 2360 -2572 -2668 -2336 -2660 -2576 2640 -2460 -2220 -2344 -2224 2628 -2220 -2608 -2700 -2456 -2532 -2700 -2660 -2260 -2260 -2464 -2640 2636 -2300 -2448 -2640 -2500 -2392 -2700 -2220 -2484 -2340 -2220 -2268 -2260 -2520 -2404 -2392 -2700 2552 -2388 -2436 -2484 -2688 -2672 2220 -2288 -2392 2660 -2344 -2504 -2660 -2464 -2596 -2700 -2260 -2260 -2588 -2220 -2700 -2304 -2296 -2660 -2260 -2648 -2628 -2480 -2260 -2420 2396 -2420 -2700 -2564 -2504 -2220 -2248 -2352 -2660 -2700 -2336 -2240 -2272 -2700 -2380 -2240 -2408 -2276 -2700 2532 -2260 -2220 -2420 -2260 -2624 -2236 -2296 -2536 -2552 -2316 -2372
33.42/33.70 d ASSIGNMENTS 500
33.42/33.70 d CHECKS 963800
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1086267-1215238384/watcher-1086267-1215238384 -o /tmp/evaluation-result-1086267-1215238384/solver-1086267-1215238384 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1086267-1215238384.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.55 2.51 2.37 4/72 1674
/proc/meminfo: memFree=1265072/2055920 swapFree=4180448/4192956
[pid=1674] ppid=1671 vsize=18572 CPUtime=0
/proc/1674/stat : 1674 (runsolver) R 1671 1674 629 0 -1 4194368 15 0 0 0 0 0 0 0 21 0 1 0 2002813013 19017728 292 996147200 4194304 4296836 548682068480 18446744073709551615 237788261671 0 0 4096 24578 0 0 0 17 1 0 0
/proc/1674/statm: 4643 292 257 25 0 2626 0
[startup+0.0593951 s]
/proc/loadavg: 2.55 2.51 2.37 4/72 1674
/proc/meminfo: memFree=1265072/2055920 swapFree=4180448/4192956
[pid=1674] ppid=1671 vsize=5360 CPUtime=0
/proc/1674/stat : 1674 (hydra) S 1671 1674 629 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2002813013 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1674/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.102395 s]
/proc/loadavg: 2.55 2.51 2.37 4/72 1674
/proc/meminfo: memFree=1265072/2055920 swapFree=4180448/4192956
[pid=1674] ppid=1671 vsize=5360 CPUtime=0
/proc/1674/stat : 1674 (hydra) S 1671 1674 629 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2002813013 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1674/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.30141 s]
/proc/loadavg: 2.55 2.51 2.37 4/72 1674
/proc/meminfo: memFree=1265072/2055920 swapFree=4180448/4192956
[pid=1674] ppid=1671 vsize=5360 CPUtime=0
/proc/1674/stat : 1674 (hydra) S 1671 1674 629 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2002813013 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1674/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701451 s]
/proc/loadavg: 2.55 2.51 2.37 4/72 1674
/proc/meminfo: memFree=1265072/2055920 swapFree=4180448/4192956
[pid=1674] ppid=1671 vsize=5360 CPUtime=0
/proc/1674/stat : 1674 (hydra) S 1671 1674 629 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2002813013 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1674/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50153 s]
/proc/loadavg: 2.50 2.50 2.37 3/74 1678
/proc/meminfo: memFree=1256536/2055920 swapFree=4180448/4192956
[pid=1674] ppid=1671 vsize=5360 CPUtime=0
/proc/1674/stat : 1674 (hydra) S 1671 1674 629 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2002813013 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1674/statm: 1340 236 195 169 0 51 0
[pid=1678] ppid=1674 vsize=19080 CPUtime=1.47
/proc/1678/stat : 1678 (xsolve) R 1674 1674 629 0 -1 4194304 2494 0 0 0 146 1 0 0 25 0 1 0 2002813014 19537920 2453 996147200 134512640 135239763 4294956176 18446744073709551615 134540177 0 0 4096 0 0 0 0 17 1 0 0
/proc/1678/statm: 4770 2453 417 177 0 3673 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 24440
[startup+3.1017 s]
/proc/loadavg: 2.50 2.50 2.37 3/74 1678
/proc/meminfo: memFree=1255512/2055920 swapFree=4180448/4192956
[pid=1674] ppid=1671 vsize=5360 CPUtime=0
/proc/1674/stat : 1674 (hydra) S 1671 1674 629 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2002813013 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1674/statm: 1340 236 195 169 0 51 0
[pid=1678] ppid=1674 vsize=19080 CPUtime=3.06
/proc/1678/stat : 1678 (xsolve) R 1674 1674 629 0 -1 4194304 2494 0 0 0 305 1 0 0 25 0 1 0 2002813014 19537920 2453 996147200 134512640 135239763 4294956176 18446744073709551615 134543151 0 0 4096 0 0 0 0 17 1 0 0
/proc/1678/statm: 4770 2453 417 177 0 3673 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 24440
[startup+6.30204 s]
/proc/loadavg: 2.50 2.50 2.37 6/82 1690
/proc/meminfo: memFree=1259416/2055920 swapFree=4180448/4192956
[pid=1674] ppid=1671 vsize=5360 CPUtime=5.22
/proc/1674/stat : 1674 (hydra) S 1671 1674 629 0 -1 4194304 375 3094 0 0 0 0 520 2 18 0 1 0 2002813013 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1674/statm: 1340 238 196 169 0 51 0
[pid=1682] ppid=1674 vsize=196996 CPUtime=1.01
/proc/1682/stat : 1682 (java) S 1674 1674 629 0 -1 0 4412 0 1 0 98 3 0 0 18 0 9 0 2002813539 201723904 3736 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1682/statm: 49249 3736 1677 9 0 43832 0
[pid=1682/tid=1683] ppid=1674 vsize=196996 CPUtime=0.79
/proc/1682/task/1683/stat : 1683 (java) R 1674 1674 629 0 -1 64 2601 0 1 0 78 1 0 0 24 0 9 0 2002813540 201723904 3736 996147200 134512640 134550740 4294955968 18446744073709551615 102064682 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1682/tid=1684] ppid=1674 vsize=196996 CPUtime=0.06
/proc/1682/task/1684/stat : 1684 (java) S 1674 1674 629 0 -1 64 484 0 0 0 6 0 0 0 16 0 9 0 2002813542 201723904 3736 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1682/tid=1685] ppid=1674 vsize=196996 CPUtime=0
/proc/1682/task/1685/stat : 1685 (java) S 1674 1674 629 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2002813542 201723904 3736 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1682/tid=1686] ppid=1674 vsize=196996 CPUtime=0
/proc/1682/task/1686/stat : 1686 (java) S 1674 1674 629 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 2002813542 201723904 3736 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1682/tid=1687] ppid=1674 vsize=196996 CPUtime=0
/proc/1682/task/1687/stat : 1687 (java) S 1674 1674 629 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2002813544 201723904 3736 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1682/tid=1688] ppid=1674 vsize=196996 CPUtime=0.13
/proc/1682/task/1688/stat : 1688 (java) S 1674 1674 629 0 -1 64 602 0 0 0 13 0 0 0 16 0 9 0 2002813544 201723904 3736 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1682/tid=1689] ppid=1674 vsize=196996 CPUtime=0
/proc/1682/task/1689/stat : 1689 (java) S 1674 1674 629 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2002813544 201723904 3736 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1682/tid=1690] ppid=1674 vsize=196996 CPUtime=0
/proc/1682/task/1690/stat : 1690 (java) S 1674 1674 629 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002813544 201723904 3736 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 202356
[startup+12.7027 s]
/proc/loadavg: 2.50 2.50 2.37 3/94 1703
/proc/meminfo: memFree=1226872/2055920 swapFree=4180448/4192956
[pid=1674] ppid=1671 vsize=5360 CPUtime=5.22
/proc/1674/stat : 1674 (hydra) S 1671 1674 629 0 -1 4194304 375 3094 0 0 0 0 520 2 18 0 1 0 2002813013 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1674/statm: 1340 238 196 169 0 51 0
[pid=1682] ppid=1674 vsize=197432 CPUtime=6.44
/proc/1682/stat : 1682 (java) S 1674 1674 629 0 -1 0 13838 0 1 0 625 19 0 0 18 0 10 0 2002813539 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1682/statm: 49358 9393 2543 9 0 43941 0
[pid=1693] ppid=1682 vsize=5356 CPUtime=0
/proc/1693/stat : 1693 (abscon) S 1682 1674 629 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 2002814191 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 237788259140 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/1693/statm: 1339 235 194 169 0 50 0
[pid=1694] ppid=1693 vsize=656376 CPUtime=0.89
/proc/1694/stat : 1694 (java) S 1693 1674 629 0 -1 0 11274 0 1 0 80 9 0 0 18 0 9 0 2002814192 672129024 10784 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1694/statm: 164094 10784 1993 9 0 158622 0
[pid=1694/tid=1696] ppid=1693 vsize=656376 CPUtime=0.69
/proc/1694/task/1696/stat : 1696 (java) R 1693 1674 629 0 -1 64 10033 0 1 0 61 8 0 0 25 0 9 0 2002814192 672129024 10784 996147200 134512640 134550740 4294955808 18446744073709551615 4126867102 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1694/tid=1697] ppid=1693 vsize=656376 CPUtime=0
/proc/1694/task/1697/stat : 1697 (java) S 1693 1674 629 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 2002814194 672129024 10784 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1694/tid=1698] ppid=1693 vsize=656376 CPUtime=0
/proc/1694/task/1698/stat : 1698 (java) S 1693 1674 629 0 -1 64 10 0 0 0 0 0 0 0 22 0 9 0 2002814194 672129024 10784 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1694/tid=1699] ppid=1693 vsize=656376 CPUtime=0
/proc/1694/task/1699/stat : 1699 (java) S 1693 1674 629 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 2002814194 672129024 10784 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1694/tid=1700] ppid=1693 vsize=656376 CPUtime=0
/proc/1694/task/1700/stat : 1700 (java) S 1693 1674 629 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2002814196 672129024 10784 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1694/tid=1701] ppid=1693 vsize=656376 CPUtime=0.19
/proc/1694/task/1701/stat : 1701 (java) S 1693 1674 629 0 -1 64 696 0 0 0 19 0 0 0 16 0 9 0 2002814196 672129024 10784 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1694/tid=1702] ppid=1693 vsize=656376 CPUtime=0
/proc/1694/task/1702/stat : 1702 (java) S 1693 1674 629 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 2002814196 672129024 10784 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1694/tid=1703] ppid=1693 vsize=656376 CPUtime=0
/proc/1694/task/1703/stat : 1703 (java) S 1693 1674 629 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002814196 672129024 10784 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1695] ppid=1693 vsize=7044 CPUtime=0
/proc/1695/stat : 1695 (translate) S 1693 1674 629 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2002814192 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 237788430418 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/1695/statm: 1761 213 182 1 0 41 0
[pid=1682/tid=1683] ppid=1674 vsize=197432 CPUtime=5.03
/proc/1682/task/1683/stat : 1683 (java) S 1674 1674 629 0 -1 64 3855 0 1 0 497 6 0 0 25 0 10 0 2002813540 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=1682/tid=1684] ppid=1674 vsize=197432 CPUtime=1.16
/proc/1682/task/1684/stat : 1684 (java) S 1674 1674 629 0 -1 64 8536 0 0 0 106 10 0 0 16 0 10 0 2002813542 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1682/tid=1685] ppid=1674 vsize=197432 CPUtime=0
/proc/1682/task/1685/stat : 1685 (java) S 1674 1674 629 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002813542 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1682/tid=1686] ppid=1674 vsize=197432 CPUtime=0
/proc/1682/task/1686/stat : 1686 (java) S 1674 1674 629 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2002813542 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1682/tid=1687] ppid=1674 vsize=197432 CPUtime=0
/proc/1682/task/1687/stat : 1687 (java) S 1674 1674 629 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2002813544 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1682/tid=1688] ppid=1674 vsize=197432 CPUtime=0.2
/proc/1682/task/1688/stat : 1688 (java) S 1674 1674 629 0 -1 64 646 0 0 0 20 0 0 0 15 0 10 0 2002813544 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1682/tid=1689] ppid=1674 vsize=197432 CPUtime=0
/proc/1682/task/1689/stat : 1689 (java) S 1674 1674 629 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2002813544 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1682/tid=1690] ppid=1674 vsize=197432 CPUtime=0
/proc/1682/task/1690/stat : 1690 (java) S 1674 1674 629 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 2002813544 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1682/tid=1691] ppid=1674 vsize=197432 CPUtime=0
/proc/1682/task/1691/stat : 1691 (java) S 1674 1674 629 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2002814191 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) 12.55
Current children cumulated vsize (KiB) 871568
[startup+25.502 s]
/proc/loadavg: 2.42 2.48 2.36 3/94 1703
/proc/meminfo: memFree=1185208/2055920 swapFree=4180448/4192956
[pid=1674] ppid=1671 vsize=5360 CPUtime=5.22
/proc/1674/stat : 1674 (hydra) S 1671 1674 629 0 -1 4194304 375 3094 0 0 0 0 520 2 18 0 1 0 2002813013 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1674/statm: 1340 238 196 169 0 51 0
[pid=1682] ppid=1674 vsize=197432 CPUtime=6.44
/proc/1682/stat : 1682 (java) S 1674 1674 629 0 -1 0 13875 0 1 0 625 19 0 0 18 0 10 0 2002813539 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1682/statm: 49358 9393 2543 9 0 43941 0
[pid=1693] ppid=1682 vsize=5356 CPUtime=0
/proc/1693/stat : 1693 (abscon) S 1682 1674 629 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 2002814191 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 237788259140 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/1693/statm: 1339 235 194 169 0 50 0
[pid=1694] ppid=1693 vsize=656376 CPUtime=13.64
/proc/1694/stat : 1694 (java) S 1693 1674 629 0 -1 0 15187 0 1 0 1350 14 0 0 18 0 9 0 2002814192 672129024 14687 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1694/statm: 164094 14687 2007 9 0 158622 0
[pid=1694/tid=1696] ppid=1693 vsize=656376 CPUtime=13.34
/proc/1694/task/1696/stat : 1696 (java) R 1693 1674 629 0 -1 64 12424 0 1 0 1321 13 0 0 25 0 9 0 2002814192 672129024 14687 996147200 134512640 134550740 4294955808 18446744073709551615 4126888896 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1694/tid=1697] ppid=1693 vsize=656376 CPUtime=0.03
/proc/1694/task/1697/stat : 1697 (java) S 1693 1674 629 0 -1 64 1481 0 0 0 3 0 0 0 16 0 9 0 2002814194 672129024 14687 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1694/tid=1698] ppid=1693 vsize=656376 CPUtime=0
/proc/1694/task/1698/stat : 1698 (java) S 1693 1674 629 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002814194 672129024 14687 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1694/tid=1699] ppid=1693 vsize=656376 CPUtime=0
/proc/1694/task/1699/stat : 1699 (java) S 1693 1674 629 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002814194 672129024 14687 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1694/tid=1700] ppid=1693 vsize=656376 CPUtime=0
/proc/1694/task/1700/stat : 1700 (java) S 1693 1674 629 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2002814196 672129024 14687 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1694/tid=1701] ppid=1693 vsize=656376 CPUtime=0.24
/proc/1694/task/1701/stat : 1701 (java) S 1693 1674 629 0 -1 64 737 0 0 0 24 0 0 0 15 0 9 0 2002814196 672129024 14687 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1694/tid=1702] ppid=1693 vsize=656376 CPUtime=0
/proc/1694/task/1702/stat : 1702 (java) S 1693 1674 629 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 2002814196 672129024 14687 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1694/tid=1703] ppid=1693 vsize=656376 CPUtime=0
/proc/1694/task/1703/stat : 1703 (java) S 1693 1674 629 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002814196 672129024 14687 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1695] ppid=1693 vsize=7044 CPUtime=0
/proc/1695/stat : 1695 (translate) S 1693 1674 629 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2002814192 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 237788430418 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/1695/statm: 1761 213 182 1 0 41 0
[pid=1682/tid=1683] ppid=1674 vsize=197432 CPUtime=5.03
/proc/1682/task/1683/stat : 1683 (java) S 1674 1674 629 0 -1 64 3855 0 1 0 497 6 0 0 25 0 10 0 2002813540 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=1682/tid=1684] ppid=1674 vsize=197432 CPUtime=1.16
################
# More data... #
################
/proc/1694/task/1703/stat : 1703 (java) S 1693 1674 629 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002814196 672129024 16186 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1695] ppid=1693 vsize=7044 CPUtime=0
/proc/1695/stat : 1695 (translate) S 1693 1674 629 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2002814192 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 237788430418 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/1695/statm: 1761 213 182 1 0 41 0
[pid=1682/tid=1683] ppid=1674 vsize=197432 CPUtime=5.03
/proc/1682/task/1683/stat : 1683 (java) S 1674 1674 629 0 -1 64 3855 0 1 0 497 6 0 0 25 0 10 0 2002813540 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=1682/tid=1684] ppid=1674 vsize=197432 CPUtime=1.16
/proc/1682/task/1684/stat : 1684 (java) S 1674 1674 629 0 -1 64 8568 0 0 0 106 10 0 0 16 0 10 0 2002813542 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1682/tid=1685] ppid=1674 vsize=197432 CPUtime=0
/proc/1682/task/1685/stat : 1685 (java) S 1674 1674 629 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002813542 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1682/tid=1686] ppid=1674 vsize=197432 CPUtime=0
/proc/1682/task/1686/stat : 1686 (java) S 1674 1674 629 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2002813542 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1682/tid=1687] ppid=1674 vsize=197432 CPUtime=0
/proc/1682/task/1687/stat : 1687 (java) S 1674 1674 629 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2002813544 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1682/tid=1688] ppid=1674 vsize=197432 CPUtime=0.2
/proc/1682/task/1688/stat : 1688 (java) S 1674 1674 629 0 -1 64 646 0 0 0 20 0 0 0 15 0 10 0 2002813544 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1682/tid=1689] ppid=1674 vsize=197432 CPUtime=0
/proc/1682/task/1689/stat : 1689 (java) S 1674 1674 629 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2002813544 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1682/tid=1690] ppid=1674 vsize=197432 CPUtime=0
/proc/1682/task/1690/stat : 1690 (java) S 1674 1674 629 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 2002813544 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1682/tid=1691] ppid=1674 vsize=197432 CPUtime=0
/proc/1682/task/1691/stat : 1691 (java) S 1674 1674 629 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2002814191 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) 31.68
Current children cumulated vsize (KiB) 871568
[startup+32.7028 s]
/proc/loadavg: 2.36 2.47 2.36 3/94 1703
/proc/meminfo: memFree=1185080/2055920 swapFree=4180448/4192956
[pid=1674] ppid=1671 vsize=5360 CPUtime=5.22
/proc/1674/stat : 1674 (hydra) S 1671 1674 629 0 -1 4194304 375 3094 0 0 0 0 520 2 18 0 1 0 2002813013 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1674/statm: 1340 238 196 169 0 51 0
[pid=1682] ppid=1674 vsize=197432 CPUtime=6.44
/proc/1682/stat : 1682 (java) S 1674 1674 629 0 -1 0 13875 0 1 0 625 19 0 0 18 0 10 0 2002813539 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1682/statm: 49358 9393 2543 9 0 43941 0
[pid=1693] ppid=1682 vsize=5356 CPUtime=0
/proc/1693/stat : 1693 (abscon) S 1682 1674 629 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 2002814191 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 237788259140 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/1693/statm: 1339 235 194 169 0 50 0
[pid=1694] ppid=1693 vsize=656376 CPUtime=20.81
/proc/1694/stat : 1694 (java) S 1693 1674 629 0 -1 0 18209 0 1 0 2063 18 0 0 18 0 9 0 2002814192 672129024 17516 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1694/statm: 164094 17516 2614 9 0 158622 0
[pid=1694/tid=1696] ppid=1693 vsize=656376 CPUtime=20.34
/proc/1694/task/1696/stat : 1696 (java) R 1693 1674 629 0 -1 64 12456 0 1 0 2019 15 0 0 25 0 9 0 2002814192 672129024 17516 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1694/tid=1697] ppid=1693 vsize=656376 CPUtime=0.15
/proc/1694/task/1697/stat : 1697 (java) S 1693 1674 629 0 -1 64 4453 0 0 0 14 1 0 0 16 0 9 0 2002814194 672129024 17516 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1694/tid=1698] ppid=1693 vsize=656376 CPUtime=0
/proc/1694/task/1698/stat : 1698 (java) S 1693 1674 629 0 -1 64 13 0 0 0 0 0 0 0 17 0 9 0 2002814194 672129024 17516 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1694/tid=1699] ppid=1693 vsize=656376 CPUtime=0
/proc/1694/task/1699/stat : 1699 (java) S 1693 1674 629 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 2002814194 672129024 17516 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1694/tid=1700] ppid=1693 vsize=656376 CPUtime=0
/proc/1694/task/1700/stat : 1700 (java) S 1693 1674 629 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2002814196 672129024 17516 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1694/tid=1701] ppid=1693 vsize=656376 CPUtime=0.28
/proc/1694/task/1701/stat : 1701 (java) S 1693 1674 629 0 -1 64 755 0 0 0 28 0 0 0 15 0 9 0 2002814196 672129024 17516 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1694/tid=1702] ppid=1693 vsize=656376 CPUtime=0
/proc/1694/task/1702/stat : 1702 (java) S 1693 1674 629 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 2002814196 672129024 17516 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1694/tid=1703] ppid=1693 vsize=656376 CPUtime=0
/proc/1694/task/1703/stat : 1703 (java) S 1693 1674 629 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002814196 672129024 17516 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1695] ppid=1693 vsize=7044 CPUtime=0
/proc/1695/stat : 1695 (translate) S 1693 1674 629 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2002814192 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 237788430418 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/1695/statm: 1761 213 182 1 0 41 0
[pid=1682/tid=1683] ppid=1674 vsize=197432 CPUtime=5.03
/proc/1682/task/1683/stat : 1683 (java) S 1674 1674 629 0 -1 64 3855 0 1 0 497 6 0 0 25 0 10 0 2002813540 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=1682/tid=1684] ppid=1674 vsize=197432 CPUtime=1.16
/proc/1682/task/1684/stat : 1684 (java) S 1674 1674 629 0 -1 64 8568 0 0 0 106 10 0 0 16 0 10 0 2002813542 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1682/tid=1685] ppid=1674 vsize=197432 CPUtime=0
/proc/1682/task/1685/stat : 1685 (java) S 1674 1674 629 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002813542 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1682/tid=1686] ppid=1674 vsize=197432 CPUtime=0
/proc/1682/task/1686/stat : 1686 (java) S 1674 1674 629 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2002813542 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1682/tid=1687] ppid=1674 vsize=197432 CPUtime=0
/proc/1682/task/1687/stat : 1687 (java) S 1674 1674 629 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2002813544 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1682/tid=1688] ppid=1674 vsize=197432 CPUtime=0.2
/proc/1682/task/1688/stat : 1688 (java) S 1674 1674 629 0 -1 64 646 0 0 0 20 0 0 0 15 0 10 0 2002813544 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1682/tid=1689] ppid=1674 vsize=197432 CPUtime=0
/proc/1682/task/1689/stat : 1689 (java) S 1674 1674 629 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2002813544 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1682/tid=1690] ppid=1674 vsize=197432 CPUtime=0
/proc/1682/task/1690/stat : 1690 (java) S 1674 1674 629 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 2002813544 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1682/tid=1691] ppid=1674 vsize=197432 CPUtime=0
/proc/1682/task/1691/stat : 1691 (java) S 1674 1674 629 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2002814191 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) 32.47
Current children cumulated vsize (KiB) 871568
[startup+33.5029 s]
/proc/loadavg: 2.36 2.47 2.36 3/94 1703
/proc/meminfo: memFree=1176056/2055920 swapFree=4180448/4192956
[pid=1674] ppid=1671 vsize=5360 CPUtime=5.22
/proc/1674/stat : 1674 (hydra) S 1671 1674 629 0 -1 4194304 375 3094 0 0 0 0 520 2 18 0 1 0 2002813013 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1674/statm: 1340 238 196 169 0 51 0
[pid=1682] ppid=1674 vsize=197432 CPUtime=6.44
/proc/1682/stat : 1682 (java) S 1674 1674 629 0 -1 0 13875 0 1 0 625 19 0 0 18 0 10 0 2002813539 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1682/statm: 49358 9393 2543 9 0 43941 0
[pid=1693] ppid=1682 vsize=5356 CPUtime=0
/proc/1693/stat : 1693 (abscon) S 1682 1674 629 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 2002814191 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 237788259140 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/1693/statm: 1339 235 194 169 0 50 0
[pid=1694] ppid=1693 vsize=656376 CPUtime=21.6
/proc/1694/stat : 1694 (java) S 1693 1674 629 0 -1 0 18312 0 1 0 2141 19 0 0 18 0 9 0 2002814192 672129024 17619 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1694/statm: 164094 17619 2617 9 0 158622 0
[pid=1694/tid=1696] ppid=1693 vsize=656376 CPUtime=21.06
/proc/1694/task/1696/stat : 1696 (java) R 1693 1674 629 0 -1 64 12518 0 1 0 2090 16 0 0 25 0 9 0 2002814192 672129024 17619 996147200 134512640 134550740 4294955808 18446744073709551615 4127261894 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1694/tid=1697] ppid=1693 vsize=656376 CPUtime=0.15
/proc/1694/task/1697/stat : 1697 (java) S 1693 1674 629 0 -1 64 4453 0 0 0 14 1 0 0 16 0 9 0 2002814194 672129024 17619 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1694/tid=1698] ppid=1693 vsize=656376 CPUtime=0
/proc/1694/task/1698/stat : 1698 (java) S 1693 1674 629 0 -1 64 13 0 0 0 0 0 0 0 17 0 9 0 2002814194 672129024 17619 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1694/tid=1699] ppid=1693 vsize=656376 CPUtime=0
/proc/1694/task/1699/stat : 1699 (java) S 1693 1674 629 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 2002814194 672129024 17619 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1694/tid=1700] ppid=1693 vsize=656376 CPUtime=0
/proc/1694/task/1700/stat : 1700 (java) S 1693 1674 629 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2002814196 672129024 17619 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1694/tid=1701] ppid=1693 vsize=656376 CPUtime=0.36
/proc/1694/task/1701/stat : 1701 (java) S 1693 1674 629 0 -1 64 796 0 0 0 36 0 0 0 15 0 9 0 2002814196 672129024 17619 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1694/tid=1702] ppid=1693 vsize=656376 CPUtime=0
/proc/1694/task/1702/stat : 1702 (java) S 1693 1674 629 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 2002814196 672129024 17619 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1694/tid=1703] ppid=1693 vsize=656376 CPUtime=0
/proc/1694/task/1703/stat : 1703 (java) S 1693 1674 629 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002814196 672129024 17619 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1695] ppid=1693 vsize=7044 CPUtime=0
/proc/1695/stat : 1695 (translate) S 1693 1674 629 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2002814192 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 237788430418 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/1695/statm: 1761 213 182 1 0 41 0
[pid=1682/tid=1683] ppid=1674 vsize=197432 CPUtime=5.03
/proc/1682/task/1683/stat : 1683 (java) S 1674 1674 629 0 -1 64 3855 0 1 0 497 6 0 0 25 0 10 0 2002813540 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=1682/tid=1684] ppid=1674 vsize=197432 CPUtime=1.16
/proc/1682/task/1684/stat : 1684 (java) S 1674 1674 629 0 -1 64 8568 0 0 0 106 10 0 0 16 0 10 0 2002813542 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1682/tid=1685] ppid=1674 vsize=197432 CPUtime=0
/proc/1682/task/1685/stat : 1685 (java) S 1674 1674 629 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002813542 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1682/tid=1686] ppid=1674 vsize=197432 CPUtime=0
/proc/1682/task/1686/stat : 1686 (java) S 1674 1674 629 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2002813542 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1682/tid=1687] ppid=1674 vsize=197432 CPUtime=0
/proc/1682/task/1687/stat : 1687 (java) S 1674 1674 629 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2002813544 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1682/tid=1688] ppid=1674 vsize=197432 CPUtime=0.2
/proc/1682/task/1688/stat : 1688 (java) S 1674 1674 629 0 -1 64 646 0 0 0 20 0 0 0 15 0 10 0 2002813544 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1682/tid=1689] ppid=1674 vsize=197432 CPUtime=0
/proc/1682/task/1689/stat : 1689 (java) S 1674 1674 629 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2002813544 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1682/tid=1690] ppid=1674 vsize=197432 CPUtime=0
/proc/1682/task/1690/stat : 1690 (java) S 1674 1674 629 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 2002813544 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1682/tid=1691] ppid=1674 vsize=197432 CPUtime=0
/proc/1682/task/1691/stat : 1691 (java) S 1674 1674 629 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2002814191 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) 33.26
Current children cumulated vsize (KiB) 871568
[startup+33.7029 s]
/proc/loadavg: 2.36 2.47 2.36 3/94 1703
/proc/meminfo: memFree=1176056/2055920 swapFree=4180448/4192956
[pid=1674] ppid=1671 vsize=5360 CPUtime=5.22
/proc/1674/stat : 1674 (hydra) S 1671 1674 629 0 -1 4194304 375 3094 0 0 0 0 520 2 18 0 1 0 2002813013 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1674/statm: 1340 238 196 169 0 51 0
[pid=1682] ppid=1674 vsize=197432 CPUtime=6.44
/proc/1682/stat : 1682 (java) S 1674 1674 629 0 -1 0 13879 0 1 0 625 19 0 0 18 0 10 0 2002813539 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1682/statm: 49358 9393 2543 9 0 43941 0
[pid=1693] ppid=1682 vsize=5356 CPUtime=0
/proc/1693/stat : 1693 (abscon) S 1682 1674 629 0 -1 4194304 302 289 0 0 0 0 0 0 16 0 1 0 2002814191 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 237788259140 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/1693/statm: 1339 235 194 169 0 50 0
[pid=1694] ppid=1693 vsize=0 CPUtime=21.76
/proc/1694/stat : 1694 (java) Z 1693 1674 629 0 -1 12 18324 0 1 0 2156 20 0 0 16 0 2 0 2002814192 0 0 996147200 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1694/statm: 0 0 0 0 0 0 0
[pid=1682/tid=1683] ppid=1674 vsize=197432 CPUtime=5.03
/proc/1682/task/1683/stat : 1683 (java) S 1674 1674 629 0 -1 64 3859 0 1 0 497 6 0 0 16 0 10 0 2002813540 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=1682/tid=1684] ppid=1674 vsize=197432 CPUtime=1.16
/proc/1682/task/1684/stat : 1684 (java) S 1674 1674 629 0 -1 64 8568 0 0 0 106 10 0 0 16 0 10 0 2002813542 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1682/tid=1685] ppid=1674 vsize=197432 CPUtime=0
/proc/1682/task/1685/stat : 1685 (java) S 1674 1674 629 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002813542 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1682/tid=1686] ppid=1674 vsize=197432 CPUtime=0
/proc/1682/task/1686/stat : 1686 (java) S 1674 1674 629 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2002813542 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1682/tid=1687] ppid=1674 vsize=197432 CPUtime=0
/proc/1682/task/1687/stat : 1687 (java) S 1674 1674 629 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2002813544 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1682/tid=1688] ppid=1674 vsize=197432 CPUtime=0.2
/proc/1682/task/1688/stat : 1688 (java) S 1674 1674 629 0 -1 64 646 0 0 0 20 0 0 0 15 0 10 0 2002813544 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1682/tid=1689] ppid=1674 vsize=197432 CPUtime=0
/proc/1682/task/1689/stat : 1689 (java) S 1674 1674 629 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2002813544 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1682/tid=1690] ppid=1674 vsize=197432 CPUtime=0
/proc/1682/task/1690/stat : 1690 (java) S 1674 1674 629 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 2002813544 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1682/tid=1691] ppid=1674 vsize=197432 CPUtime=0
/proc/1682/task/1691/stat : 1691 (java) S 1674 1674 629 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2002814191 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) 33.42
Current children cumulated vsize (KiB) 208148
Child status: 0
Real time (s): 33.7272
CPU time (s): 33.4639
CPU user time (s): 33.021
CPU system time (s): 0.442932
CPU usage (%): 99.2192
Max. virtual memory (cumulated for all children) (KiB): 871568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33.021
system time used= 0.442932
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36388
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= 11646
involuntary context switches= 12871
runsolver used 0.106983 second user time and 0.304953 second system time
The end
Begin job on node24 at 2008-07-05 08:13:04
IDJOB=1086267
IDBENCH=57785
IDSOLVER=365
FILE ID=node24/1086267-1215238384
PBS_JOBID= 7881902
Free space on /tmp= 66456 MiB
SOLVER NAME= cpHydra k_10
BENCH NAME= CPAI08/csp/fapp/fapp21/normalized-fapp21-0500-7.xml
COMMAND LINE= HOME/cpHydra_k_10/hydra BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1086267-1215238384/watcher-1086267-1215238384 -o /tmp/evaluation-result-1086267-1215238384/solver-1086267-1215238384 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1086267-1215238384.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 258fa7544fb64a4c6d6543dd4100fd0f
RANDOM SEED=1344029509
node24.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.232
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.232
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: 1265488 kB
Buffers: 74920 kB
Cached: 319588 kB
SwapCached: 6556 kB
Active: 528188 kB
Inactive: 192108 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1265488 kB
SwapTotal: 4192956 kB
SwapFree: 4180448 kB
Dirty: 24700 kB
Writeback: 0 kB
Mapped: 333760 kB
Slab: 54740 kB
Committed_AS: 3963592 kB
PageTables: 2488 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= 66432 MiB
End job on node24 at 2008-07-05 08:13:38