0.00/0.00 c cpHydra_k_10 version 0.0
10.67/10.87 c CASE TO CLASSIFY:
10.67/10.87 c Case: 0
10.67/10.87 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
10.67/10.88 c choco : 1801.0
10.67/10.88 c mistral : 1801.0
10.67/10.88 c abscon : 1801.0
10.67/10.88 c
10.67/10.88 c
10.97/11.13 c List of same ones: 10
10.97/11.13 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-10.xml
10.97/11.13 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
10.97/11.14 c choco : 1801.0
10.97/11.14 c mistral : 1800.04
10.97/11.14 c abscon : 11.0623
10.97/11.14 c
10.97/11.14 c
10.97/11.14 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-9.xml
10.97/11.14 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
10.97/11.15 c choco : 1801.0
10.97/11.15 c mistral : 1800.06
10.97/11.15 c abscon : 11.9282
10.97/11.15 c
10.97/11.15 c
10.97/11.15 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-8.xml
10.97/11.15 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
10.97/11.16 c choco : 1801.0
10.97/11.16 c mistral : 1800.03
10.97/11.16 c abscon : 12.0042
10.97/11.16 c
10.97/11.16 c
10.97/11.16 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-7.xml
10.97/11.16 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
10.97/11.17 c choco : 1801.0
10.97/11.17 c mistral : 1800.01
10.97/11.17 c abscon : 6.594
10.97/11.17 c
10.97/11.17 c
10.97/11.17 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-6.xml
10.97/11.17 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
10.97/11.18 c choco : 1801.0
10.97/11.18 c mistral : 1800.03
10.97/11.18 c abscon : 5.97909
10.97/11.18 c
10.97/11.18 c
10.97/11.18 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-5.xml
10.97/11.18 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
10.97/11.19 c choco : 1801.0
10.97/11.19 c mistral : 1800.05
10.97/11.19 c abscon : 5.9181
10.97/11.19 c
10.97/11.19 c
10.97/11.19 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-4.xml
10.97/11.19 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.04/11.20 c choco : 1801.0
11.04/11.20 c mistral : 1800.09
11.04/11.20 c abscon : 6.03108
11.04/11.20 c
11.04/11.20 c
11.04/11.20 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-3.xml
11.04/11.20 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.04/11.21 c choco : 1801.0
11.04/11.21 c mistral : 1800.05
11.04/11.21 c abscon : 5.67014
11.04/11.21 c
11.04/11.21 c
11.04/11.21 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-2.xml
11.04/11.21 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.04/11.22 c choco : 1801.0
11.04/11.22 c mistral : 514.646
11.04/11.22 c abscon : 5.76312
11.04/11.22 c
11.04/11.22 c
11.04/11.22 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-1.xml
11.04/11.22 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.04/11.23 c choco : 1801.0
11.04/11.23 c mistral : 1800.06
11.04/11.23 c abscon : 5.79212
11.04/11.23 c
11.04/11.23 c
11.04/11.23 c Length: 10
11.04/11.23 c 3.2872304536214063 3.311059366005991 3.3214298013379713 3.3383366240114247 3.3495063479886102 3.376886799289546 3.387313008154988 3.39768857537238 3.411168840033574 3.418471795293329
11.04/11.23 c
11.04/11.23 c 1.0 0.8463347304770551 0.7932833340880361 0.7197320116292106 0.678189417946148 0.594127277891698 0.5673488291729701 0.5429939306166038 0.5143094345984812 0.5
11.04/11.23 c
11.04/11.23 c solver 0
11.04/11.23 c before 0.0 seconds: {} 0
11.04/11.23 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6756
11.04/11.23 c
11.04/11.23 c solver 1
11.04/11.23 c before 0.0 seconds: {} 0
11.04/11.23 c before 522.0 seconds: {8} 514
11.04/11.23 c
11.04/11.23 c solver 2
11.04/11.23 c before 0.0 seconds: {} 0
11.04/11.23 c
11.04/11.23 cTotal time: 30
11.04/11.23 c 540.0 seconds unused
11.04/11.23 c 0 c 9 c 10
11.04/11.23 c 0 c 0 c 1
11.04/11.24 c 0 c 0 c 0
11.04/11.24 c is solver0 dominated by:
11.04/11.24 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.04/11.24 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.04/11.24 c is dominated? false
11.04/11.24 c
11.04/11.24 c is solver1 dominated by:
11.04/11.24 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.04/11.24 c is dominated? true
11.04/11.24 c
11.04/11.24 c is solver2 dominated by:
11.04/11.24 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.04/11.24 c is dominated? true
11.04/11.24 c
11.04/11.24 c Number of non-dominated solvers: 1
11.04/11.24 c remove dominated solvers
11.04/11.24 c solver 0 is not dominated by another solver
11.04/11.24 c solver 2 is dominated by another solver
11.04/11.24 c solver 1 is dominated by another solver
11.04/11.24 c
11.04/11.24 c solver 0: 18.0
11.04/11.24 c
11.04/11.24 c+ 1/1 of 99
11.04/11.24 c
11.04/11.24 c solver 1: 0.0
11.04/11.24 c
11.04/11.24 c solver 2: 0.0
11.04/11.24 c run abscon for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6756
11.04/11.24 c do not run mistral
11.04/11.24 c do not run choco
11.04/11.24 c Starting solver: HOME/cpHydra_k_10/solver/abscon
11.04/11.24 c On Instance: HOME/instance-1086288-1215238540.xml
11.04/11.24 c Running for: 1800 seconds
31.72/31.96 s SAT
31.72/31.96 v -2632 -2324 -2588 -2404 2660 2660 -2384 -2296 -2624 -2220 -2332 -2480 -2220 -2400 -2528 -2496 -2332 -2232 -2276 -2660 -2416 2680 -2412 -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 -2276 -2360 -2504 -2700 -2296 2636 -2260 -2384 -2648 -2628 -2632 -2260 -2440 -2260 -2244 -2428 -2364 -2364 -2304 -2660 -2440 -2260 -2344 -2220 -2632 -2280 -2488 -2236 2408 -2460 -2260 -2460 -2276 -2592 -2260 -2700 -2548 -2412 -2460 -2416 -2600 -2420 -2660 -2700 -2336 -2236 -2560 -2700 -2360 -2288 2260 -2628 -2412 -2260 -2364 -2660 -2220 -2500 -2336 -2424 -2660 -2660 -2424 2428 -2596 -2260 -2364 2532 -2660 -2456 -2660 -2220 -2464 -2524 -2424 -2700 -2660 -2308 -2588 2660 -2400 -2220 -2628 2404 -2564 -2412 -2400 -2336 -2220 2676 -2260 -2584 -2660 -2648 -2280 -2220 -2380 2600 -2700 -2608 -2220 2660 2648 2584 -2660 -2260 -2304 -2400 2260 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 -2296 -2700 -2700 -2244 -2516 -2260 2220 -2500 -2220 2636 -2700 -2660 -2656 -2444 -2560 -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 -2468 2520 -2384 -2328 -2316 -2700 -2376 -2660 2492 -2660 -2484 -2220 -2240 2508 -2584 -2384 2700 2588 -2344 -2584 -2592 -2700 -2380 -2464 -2492 -2260 -2220 -2512 -2460 -2684 -2260 -2524 -2352 -2568 -2644 -2452 -2348 2660 -2588 -2220 -2260 -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 -2236 -2608 -2700 -2456 -2532 -2700 -2660 -2260 -2260 -2464 -2640 2636 -2300 -2444 -2640 -2500 -2392 -2700 -2220 -2484 -2340 -2220 -2268 -2260 -2520 -2404 -2392 -2700 2552 -2388 -2436 -2484 -2688 -2672 2220 -2292 -2392 2660 -2344 -2504 -2660 -2468 -2596 -2700 -2260 -2220 -2588 -2220 -2700 -2304 -2296 -2660 -2260 -2648 -2628 -2480 -2260 -2420 2396 -2420 -2700 -2564 -2504 -2220 -2252 -2316 -2660 -2700 -2336 -2240 -2272 -2700 -2384 -2240 -2404 -2276 -2700 2532 -2260 -2220 -2420 -2260 -2624 -2236 -2296 -2536 -2552 -2300 -2372
31.72/31.96 d ASSIGNMENTS 500
31.72/31.96 d CHECKS 766860
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1086288-1215238540/watcher-1086288-1215238540 -o /tmp/evaluation-result-1086288-1215238540/solver-1086288-1215238540 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1086288-1215238540.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.85 1.97 1.99 4/73 9373
/proc/meminfo: memFree=1500272/2055920 swapFree=4179860/4192956
[pid=9373] ppid=9371 vsize=18572 CPUtime=0
/proc/9373/stat : 9373 (runsolver) R 9371 9373 9336 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 2002823724 19017728 292 996147200 4194304 4296836 548682068480 18446744073709551615 227607637287 0 0 4096 24578 0 0 0 17 1 0 0
/proc/9373/statm: 4643 292 257 25 0 2626 0
[startup+0.0541111 s]
/proc/loadavg: 1.85 1.97 1.99 4/73 9373
/proc/meminfo: memFree=1500272/2055920 swapFree=4179860/4192956
[pid=9373] ppid=9371 vsize=5360 CPUtime=0
/proc/9373/stat : 9373 (hydra) S 9371 9373 9336 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2002823724 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9373/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101114 s]
/proc/loadavg: 1.85 1.97 1.99 4/73 9373
/proc/meminfo: memFree=1500272/2055920 swapFree=4179860/4192956
[pid=9373] ppid=9371 vsize=5360 CPUtime=0
/proc/9373/stat : 9373 (hydra) S 9371 9373 9336 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2002823724 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9373/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301133 s]
/proc/loadavg: 1.85 1.97 1.99 4/73 9373
/proc/meminfo: memFree=1500272/2055920 swapFree=4179860/4192956
[pid=9373] ppid=9371 vsize=5360 CPUtime=0
/proc/9373/stat : 9373 (hydra) S 9371 9373 9336 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2002823724 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9373/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.70118 s]
/proc/loadavg: 1.85 1.97 1.99 4/73 9373
/proc/meminfo: memFree=1500272/2055920 swapFree=4179860/4192956
[pid=9373] ppid=9371 vsize=5360 CPUtime=0
/proc/9373/stat : 9373 (hydra) S 9371 9373 9336 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2002823724 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9373/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50127 s]
/proc/loadavg: 1.85 1.97 1.99 3/75 9377
/proc/meminfo: memFree=1491808/2055920 swapFree=4179860/4192956
[pid=9373] ppid=9371 vsize=5360 CPUtime=0
/proc/9373/stat : 9373 (hydra) S 9371 9373 9336 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2002823724 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9373/statm: 1340 236 195 169 0 51 0
[pid=9377] ppid=9373 vsize=19080 CPUtime=1.47
/proc/9377/stat : 9377 (xsolve) R 9373 9373 9336 0 -1 4194304 2494 0 0 0 146 1 0 0 25 0 1 0 2002823725 19537920 2453 996147200 134512640 135239763 4294956176 18446744073709551615 134543141 0 0 4096 0 0 0 0 17 1 0 0
/proc/9377/statm: 4770 2453 417 177 0 3673 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 24440
[startup+3.10146 s]
/proc/loadavg: 1.85 1.97 1.99 3/75 9377
/proc/meminfo: memFree=1491680/2055920 swapFree=4179860/4192956
[pid=9373] ppid=9371 vsize=5360 CPUtime=0
/proc/9373/stat : 9373 (hydra) S 9371 9373 9336 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2002823724 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9373/statm: 1340 236 195 169 0 51 0
[pid=9377] ppid=9373 vsize=19080 CPUtime=3.06
/proc/9377/stat : 9377 (xsolve) R 9373 9373 9336 0 -1 4194304 2494 0 0 0 305 1 0 0 25 0 1 0 2002823725 19537920 2453 996147200 134512640 135239763 4294956176 18446744073709551615 134541378 0 0 4096 0 0 0 0 17 1 0 0
/proc/9377/statm: 4770 2453 417 177 0 3673 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 24440
[startup+6.30285 s]
/proc/loadavg: 1.86 1.97 1.99 4/83 9389
/proc/meminfo: memFree=1494752/2055920 swapFree=4179860/4192956
[pid=9373] ppid=9371 vsize=5360 CPUtime=4.99
/proc/9373/stat : 9373 (hydra) S 9371 9373 9336 0 -1 4194304 375 3094 0 0 0 0 496 3 18 0 1 0 2002823724 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9373/statm: 1340 238 196 169 0 51 0
[pid=9381] ppid=9373 vsize=197000 CPUtime=1.22
/proc/9381/stat : 9381 (java) S 9373 9373 9336 0 -1 0 4670 0 1 0 119 3 0 0 18 0 9 0 2002824229 201728000 3934 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9381/statm: 49250 3934 1677 9 0 43833 0
[pid=9381/tid=9382] ppid=9373 vsize=197000 CPUtime=0.97
/proc/9381/task/9382/stat : 9382 (java) R 9373 9373 9336 0 -1 64 2663 0 1 0 96 1 0 0 25 0 9 0 2002824231 201728000 3934 996147200 134512640 134550740 4294955968 18446744073709551615 4126431316 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9381/tid=9383] ppid=9373 vsize=197000 CPUtime=0.1
/proc/9381/task/9383/stat : 9383 (java) S 9373 9373 9336 0 -1 64 679 0 0 0 9 1 0 0 16 0 9 0 2002824232 201728000 3934 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9381/tid=9384] ppid=9373 vsize=197000 CPUtime=0
/proc/9381/task/9384/stat : 9384 (java) S 9373 9373 9336 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2002824232 201728000 3934 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9381/tid=9385] ppid=9373 vsize=197000 CPUtime=0
/proc/9381/task/9385/stat : 9385 (java) S 9373 9373 9336 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002824232 201728000 3934 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9381/tid=9386] ppid=9373 vsize=197000 CPUtime=0
/proc/9381/task/9386/stat : 9386 (java) S 9373 9373 9336 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002824234 201728000 3934 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9381/tid=9387] ppid=9373 vsize=197000 CPUtime=0.13
/proc/9381/task/9387/stat : 9387 (java) S 9373 9373 9336 0 -1 64 603 0 0 0 13 0 0 0 16 0 9 0 2002824234 201728000 3934 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9381/tid=9388] ppid=9373 vsize=197000 CPUtime=0
/proc/9381/task/9388/stat : 9388 (java) S 9373 9373 9336 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2002824234 201728000 3934 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9381/tid=9389] ppid=9373 vsize=197000 CPUtime=0
/proc/9381/task/9389/stat : 9389 (java) S 9373 9373 9336 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002824234 201728000 3934 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 202360
[startup+12.7026 s]
/proc/loadavg: 1.87 1.97 1.99 3/95 9401
/proc/meminfo: memFree=1440124/2055920 swapFree=4179860/4192956
[pid=9373] ppid=9371 vsize=5360 CPUtime=4.99
/proc/9373/stat : 9373 (hydra) S 9371 9373 9336 0 -1 4194304 375 3094 0 0 0 0 496 3 18 0 1 0 2002823724 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9373/statm: 1340 238 196 169 0 51 0
[pid=9381] ppid=9373 vsize=197432 CPUtime=6.1
/proc/9381/stat : 9381 (java) S 9373 9373 9336 0 -1 0 13972 0 1 0 593 17 0 0 18 0 10 0 2002824229 202170368 9493 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9381/statm: 49358 9493 2543 9 0 43941 0
[pid=9391] ppid=9381 vsize=5356 CPUtime=0
/proc/9391/stat : 9391 (abscon) S 9381 9373 9336 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 2002824849 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 227607634756 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/9391/statm: 1339 235 194 169 0 50 0
[pid=9392] ppid=9391 vsize=655896 CPUtime=1.43
/proc/9392/stat : 9392 (java) S 9391 9373 9336 0 -1 0 11583 0 1 0 138 5 0 0 18 0 9 0 2002824850 671637504 11092 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/9392/statm: 163974 11092 1994 9 0 158502 0
[pid=9392/tid=9394] ppid=9391 vsize=655896 CPUtime=1.24
/proc/9392/task/9394/stat : 9394 (java) R 9391 9373 9336 0 -1 64 10385 0 1 0 120 4 0 0 25 0 9 0 2002824850 671637504 11092 996147200 134512640 134550740 4294955808 18446744073709551615 4126457607 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9392/tid=9395] ppid=9391 vsize=655896 CPUtime=0
/proc/9392/task/9395/stat : 9395 (java) S 9391 9373 9336 0 -1 64 4 0 0 0 0 0 0 0 17 0 9 0 2002824851 671637504 11092 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=9392/tid=9396] ppid=9391 vsize=655896 CPUtime=0
/proc/9392/task/9396/stat : 9396 (java) S 9391 9373 9336 0 -1 64 9 0 0 0 0 0 0 0 22 0 9 0 2002824852 671637504 11092 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9392/tid=9397] ppid=9391 vsize=655896 CPUtime=0
/proc/9392/task/9397/stat : 9397 (java) S 9391 9373 9336 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 2002824852 671637504 11092 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9392/tid=9398] ppid=9391 vsize=655896 CPUtime=0
/proc/9392/task/9398/stat : 9398 (java) S 9391 9373 9336 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2002824853 671637504 11092 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9392/tid=9399] ppid=9391 vsize=655896 CPUtime=0.17
/proc/9392/task/9399/stat : 9399 (java) S 9391 9373 9336 0 -1 64 653 0 0 0 17 0 0 0 16 0 9 0 2002824853 671637504 11092 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9392/tid=9400] ppid=9391 vsize=655896 CPUtime=0
/proc/9392/task/9400/stat : 9400 (java) S 9391 9373 9336 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2002824854 671637504 11092 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9392/tid=9401] ppid=9391 vsize=655896 CPUtime=0
/proc/9392/task/9401/stat : 9401 (java) S 9391 9373 9336 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002824854 671637504 11092 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9393] ppid=9391 vsize=7044 CPUtime=0
/proc/9393/stat : 9393 (translate) S 9391 9373 9336 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2002824850 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 227607806034 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/9393/statm: 1761 213 182 1 0 41 0
[pid=9381/tid=9382] ppid=9373 vsize=197432 CPUtime=4.77
/proc/9381/task/9382/stat : 9382 (java) S 9373 9373 9336 0 -1 64 3997 0 1 0 471 6 0 0 25 0 10 0 2002824231 202170368 9493 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=9381/tid=9383] ppid=9373 vsize=197432 CPUtime=1.1
/proc/9381/task/9383/stat : 9383 (java) S 9373 9373 9336 0 -1 64 8530 0 0 0 100 10 0 0 16 0 10 0 2002824232 202170368 9493 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9381/tid=9384] ppid=9373 vsize=197432 CPUtime=0
/proc/9381/task/9384/stat : 9384 (java) S 9373 9373 9336 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002824232 202170368 9493 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9381/tid=9385] ppid=9373 vsize=197432 CPUtime=0
/proc/9381/task/9385/stat : 9385 (java) S 9373 9373 9336 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 2002824232 202170368 9493 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9381/tid=9386] ppid=9373 vsize=197432 CPUtime=0
/proc/9381/task/9386/stat : 9386 (java) S 9373 9373 9336 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2002824234 202170368 9493 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9381/tid=9387] ppid=9373 vsize=197432 CPUtime=0.2
/proc/9381/task/9387/stat : 9387 (java) S 9373 9373 9336 0 -1 64 644 0 0 0 20 0 0 0 16 0 10 0 2002824234 202170368 9493 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9381/tid=9388] ppid=9373 vsize=197432 CPUtime=0
/proc/9381/task/9388/stat : 9388 (java) S 9373 9373 9336 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2002824234 202170368 9493 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9381/tid=9389] ppid=9373 vsize=197432 CPUtime=0
/proc/9381/task/9389/stat : 9389 (java) S 9373 9373 9336 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 2002824234 202170368 9493 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9381/tid=9390] ppid=9373 vsize=197432 CPUtime=0
/proc/9381/task/9390/stat : 9390 (java) S 9373 9373 9336 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2002824849 202170368 9493 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 871088
[startup+25.5021 s]
/proc/loadavg: 1.90 1.97 1.99 3/95 9401
/proc/meminfo: memFree=1420104/2055920 swapFree=4179860/4192956
[pid=9373] ppid=9371 vsize=5360 CPUtime=4.99
/proc/9373/stat : 9373 (hydra) S 9371 9373 9336 0 -1 4194304 375 3094 0 0 0 0 496 3 18 0 1 0 2002823724 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9373/statm: 1340 238 196 169 0 51 0
[pid=9381] ppid=9373 vsize=197432 CPUtime=6.1
/proc/9381/stat : 9381 (java) S 9373 9373 9336 0 -1 0 13978 0 1 0 593 17 0 0 18 0 10 0 2002824229 202170368 9493 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9381/statm: 49358 9493 2543 9 0 43941 0
[pid=9391] ppid=9381 vsize=5356 CPUtime=0
/proc/9391/stat : 9391 (abscon) S 9381 9373 9336 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 2002824849 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 227607634756 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/9391/statm: 1339 235 194 169 0 50 0
[pid=9392] ppid=9391 vsize=655896 CPUtime=14.23
/proc/9392/stat : 9392 (java) S 9391 9373 9336 0 -1 0 15185 0 1 0 1414 9 0 0 18 0 9 0 2002824850 671637504 14686 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/9392/statm: 163974 14686 2007 9 0 158502 0
[pid=9392/tid=9394] ppid=9391 vsize=655896 CPUtime=13.96
/proc/9392/task/9394/stat : 9394 (java) R 9391 9373 9336 0 -1 64 12457 0 1 0 1388 8 0 0 25 0 9 0 2002824850 671637504 14686 996147200 134512640 134550740 4294955808 18446744073709551615 4126897468 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9392/tid=9395] ppid=9391 vsize=655896 CPUtime=0.03
/proc/9392/task/9395/stat : 9395 (java) S 9391 9373 9336 0 -1 64 1496 0 0 0 3 0 0 0 16 0 9 0 2002824851 671637504 14686 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=9392/tid=9396] ppid=9391 vsize=655896 CPUtime=0
/proc/9392/task/9396/stat : 9396 (java) S 9391 9373 9336 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002824852 671637504 14686 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9392/tid=9397] ppid=9391 vsize=655896 CPUtime=0
/proc/9392/task/9397/stat : 9397 (java) S 9391 9373 9336 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002824852 671637504 14686 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9392/tid=9398] ppid=9391 vsize=655896 CPUtime=0
/proc/9392/task/9398/stat : 9398 (java) S 9391 9373 9336 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2002824853 671637504 14686 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9392/tid=9399] ppid=9391 vsize=655896 CPUtime=0.22
/proc/9392/task/9399/stat : 9399 (java) S 9391 9373 9336 0 -1 64 686 0 0 0 22 0 0 0 15 0 9 0 2002824853 671637504 14686 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9392/tid=9400] ppid=9391 vsize=655896 CPUtime=0
/proc/9392/task/9400/stat : 9400 (java) S 9391 9373 9336 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2002824854 671637504 14686 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9392/tid=9401] ppid=9391 vsize=655896 CPUtime=0
/proc/9392/task/9401/stat : 9401 (java) S 9391 9373 9336 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002824854 671637504 14686 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9393] ppid=9391 vsize=7044 CPUtime=0
/proc/9393/stat : 9393 (translate) S 9391 9373 9336 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2002824850 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 227607806034 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/9393/statm: 1761 213 182 1 0 41 0
[pid=9381/tid=9382] ppid=9373 vsize=197432 CPUtime=4.77
/proc/9381/task/9382/stat : 9382 (java) S 9373 9373 9336 0 -1 64 3997 0 1 0 471 6 0 0 25 0 10 0 2002824231 202170368 9493 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=9381/tid=9383] ppid=9373 vsize=197432 CPUtime=1.1
################
# More data... #
################
[pid=9381] ppid=9373 vsize=197432 CPUtime=6.1
/proc/9381/stat : 9381 (java) S 9373 9373 9336 0 -1 0 13978 0 1 0 593 17 0 0 18 0 10 0 2002824229 202170368 9493 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9381/statm: 49358 9493 2543 9 0 43941 0
[pid=9391] ppid=9381 vsize=5356 CPUtime=0
/proc/9391/stat : 9391 (abscon) S 9381 9373 9336 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 2002824849 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 227607634756 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/9391/statm: 1339 235 194 169 0 50 0
[pid=9392] ppid=9391 vsize=655896 CPUtime=19.82
/proc/9392/stat : 9392 (java) S 9391 9373 9336 0 -1 0 16925 0 1 0 1971 11 0 0 18 0 9 0 2002824850 671637504 16365 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/9392/statm: 163974 16365 2067 9 0 158502 0
[pid=9392/tid=9394] ppid=9391 vsize=655896 CPUtime=19.45
/proc/9392/task/9394/stat : 9394 (java) R 9391 9373 9336 0 -1 64 12486 0 1 0 1936 9 0 0 25 0 9 0 2002824850 671637504 16365 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9392/tid=9395] ppid=9391 vsize=655896 CPUtime=0.09
/proc/9392/task/9395/stat : 9395 (java) R 9391 9373 9336 0 -1 64 3186 0 0 0 9 0 0 0 17 0 9 0 2002824851 671637504 16365 996147200 134512640 134550740 4294955808 18446744073709551615 104181370 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=9392/tid=9396] ppid=9391 vsize=655896 CPUtime=0
/proc/9392/task/9396/stat : 9396 (java) S 9391 9373 9336 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002824852 671637504 16365 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9392/tid=9397] ppid=9391 vsize=655896 CPUtime=0
/proc/9392/task/9397/stat : 9397 (java) S 9391 9373 9336 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002824852 671637504 16365 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9392/tid=9398] ppid=9391 vsize=655896 CPUtime=0
/proc/9392/task/9398/stat : 9398 (java) S 9391 9373 9336 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2002824853 671637504 16365 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9392/tid=9399] ppid=9391 vsize=655896 CPUtime=0.25
/proc/9392/task/9399/stat : 9399 (java) S 9391 9373 9336 0 -1 64 707 0 0 0 25 0 0 0 16 0 9 0 2002824853 671637504 16365 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9392/tid=9400] ppid=9391 vsize=655896 CPUtime=0
/proc/9392/task/9400/stat : 9400 (java) S 9391 9373 9336 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2002824854 671637504 16365 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9392/tid=9401] ppid=9391 vsize=655896 CPUtime=0
/proc/9392/task/9401/stat : 9401 (java) S 9391 9373 9336 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002824854 671637504 16365 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9393] ppid=9391 vsize=7044 CPUtime=0
/proc/9393/stat : 9393 (translate) S 9391 9373 9336 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2002824850 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 227607806034 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/9393/statm: 1761 213 182 1 0 41 0
[pid=9381/tid=9382] ppid=9373 vsize=197432 CPUtime=4.77
/proc/9381/task/9382/stat : 9382 (java) S 9373 9373 9336 0 -1 64 3997 0 1 0 471 6 0 0 25 0 10 0 2002824231 202170368 9493 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=9381/tid=9383] ppid=9373 vsize=197432 CPUtime=1.1
/proc/9381/task/9383/stat : 9383 (java) S 9373 9373 9336 0 -1 64 8530 0 0 0 100 10 0 0 16 0 10 0 2002824232 202170368 9493 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9381/tid=9384] ppid=9373 vsize=197432 CPUtime=0
/proc/9381/task/9384/stat : 9384 (java) S 9373 9373 9336 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002824232 202170368 9493 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9381/tid=9385] ppid=9373 vsize=197432 CPUtime=0
/proc/9381/task/9385/stat : 9385 (java) S 9373 9373 9336 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 2002824232 202170368 9493 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9381/tid=9386] ppid=9373 vsize=197432 CPUtime=0
/proc/9381/task/9386/stat : 9386 (java) S 9373 9373 9336 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2002824234 202170368 9493 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9381/tid=9387] ppid=9373 vsize=197432 CPUtime=0.2
/proc/9381/task/9387/stat : 9387 (java) S 9373 9373 9336 0 -1 64 644 0 0 0 20 0 0 0 16 0 10 0 2002824234 202170368 9493 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9381/tid=9388] ppid=9373 vsize=197432 CPUtime=0
/proc/9381/task/9388/stat : 9388 (java) S 9373 9373 9336 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2002824234 202170368 9493 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9381/tid=9389] ppid=9373 vsize=197432 CPUtime=0
/proc/9381/task/9389/stat : 9389 (java) S 9373 9373 9336 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 2002824234 202170368 9493 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9381/tid=9390] ppid=9373 vsize=197432 CPUtime=0
/proc/9381/task/9390/stat : 9390 (java) S 9373 9373 9336 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2002824849 202170368 9493 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 30.91
Current children cumulated vsize (KiB) 871088
[startup+31.5028 s]
/proc/loadavg: 1.91 1.97 1.99 3/95 9401
/proc/meminfo: memFree=1413960/2055920 swapFree=4179860/4192956
[pid=9373] ppid=9371 vsize=5360 CPUtime=4.99
/proc/9373/stat : 9373 (hydra) S 9371 9373 9336 0 -1 4194304 375 3094 0 0 0 0 496 3 18 0 1 0 2002823724 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9373/statm: 1340 238 196 169 0 51 0
[pid=9381] ppid=9373 vsize=197432 CPUtime=6.1
/proc/9381/stat : 9381 (java) S 9373 9373 9336 0 -1 0 13978 0 1 0 593 17 0 0 18 0 10 0 2002824229 202170368 9493 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9381/statm: 49358 9493 2543 9 0 43941 0
[pid=9391] ppid=9381 vsize=5356 CPUtime=0
/proc/9391/stat : 9391 (abscon) S 9381 9373 9336 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 2002824849 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 227607634756 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/9391/statm: 1339 235 194 169 0 50 0
[pid=9392] ppid=9391 vsize=655896 CPUtime=20.22
/proc/9392/stat : 9392 (java) S 9391 9373 9336 0 -1 0 18318 0 1 0 2010 12 0 0 18 0 9 0 2002824850 671637504 17627 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/9392/statm: 163974 17627 2616 9 0 158502 0
[pid=9392/tid=9394] ppid=9391 vsize=655896 CPUtime=19.75
/proc/9392/task/9394/stat : 9394 (java) R 9391 9373 9336 0 -1 64 12545 0 1 0 1965 10 0 0 25 0 9 0 2002824850 671637504 17627 996147200 134512640 134550740 4294955808 18446744073709551615 4127253373 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9392/tid=9395] ppid=9391 vsize=655896 CPUtime=0.13
/proc/9392/task/9395/stat : 9395 (java) S 9391 9373 9336 0 -1 64 4484 0 0 0 12 1 0 0 17 0 9 0 2002824851 671637504 17627 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=9392/tid=9396] ppid=9391 vsize=655896 CPUtime=0
/proc/9392/task/9396/stat : 9396 (java) S 9391 9373 9336 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002824852 671637504 17627 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9392/tid=9397] ppid=9391 vsize=655896 CPUtime=0
/proc/9392/task/9397/stat : 9397 (java) S 9391 9373 9336 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002824852 671637504 17627 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9392/tid=9398] ppid=9391 vsize=655896 CPUtime=0
/proc/9392/task/9398/stat : 9398 (java) S 9391 9373 9336 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2002824853 671637504 17627 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9392/tid=9399] ppid=9391 vsize=655896 CPUtime=0.31
/proc/9392/task/9399/stat : 9399 (java) S 9391 9373 9336 0 -1 64 743 0 0 0 31 0 0 0 15 0 9 0 2002824853 671637504 17627 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9392/tid=9400] ppid=9391 vsize=655896 CPUtime=0
/proc/9392/task/9400/stat : 9400 (java) S 9391 9373 9336 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2002824854 671637504 17627 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9392/tid=9401] ppid=9391 vsize=655896 CPUtime=0
/proc/9392/task/9401/stat : 9401 (java) S 9391 9373 9336 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002824854 671637504 17627 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9393] ppid=9391 vsize=7044 CPUtime=0
/proc/9393/stat : 9393 (translate) S 9391 9373 9336 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2002824850 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 227607806034 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/9393/statm: 1761 213 182 1 0 41 0
[pid=9381/tid=9382] ppid=9373 vsize=197432 CPUtime=4.77
/proc/9381/task/9382/stat : 9382 (java) S 9373 9373 9336 0 -1 64 3997 0 1 0 471 6 0 0 25 0 10 0 2002824231 202170368 9493 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=9381/tid=9383] ppid=9373 vsize=197432 CPUtime=1.1
/proc/9381/task/9383/stat : 9383 (java) S 9373 9373 9336 0 -1 64 8530 0 0 0 100 10 0 0 16 0 10 0 2002824232 202170368 9493 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9381/tid=9384] ppid=9373 vsize=197432 CPUtime=0
/proc/9381/task/9384/stat : 9384 (java) S 9373 9373 9336 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002824232 202170368 9493 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9381/tid=9385] ppid=9373 vsize=197432 CPUtime=0
/proc/9381/task/9385/stat : 9385 (java) S 9373 9373 9336 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 2002824232 202170368 9493 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9381/tid=9386] ppid=9373 vsize=197432 CPUtime=0
/proc/9381/task/9386/stat : 9386 (java) S 9373 9373 9336 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2002824234 202170368 9493 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9381/tid=9387] ppid=9373 vsize=197432 CPUtime=0.2
/proc/9381/task/9387/stat : 9387 (java) S 9373 9373 9336 0 -1 64 644 0 0 0 20 0 0 0 16 0 10 0 2002824234 202170368 9493 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9381/tid=9388] ppid=9373 vsize=197432 CPUtime=0
/proc/9381/task/9388/stat : 9388 (java) S 9373 9373 9336 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2002824234 202170368 9493 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9381/tid=9389] ppid=9373 vsize=197432 CPUtime=0
/proc/9381/task/9389/stat : 9389 (java) S 9373 9373 9336 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 2002824234 202170368 9493 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9381/tid=9390] ppid=9373 vsize=197432 CPUtime=0
/proc/9381/task/9390/stat : 9390 (java) S 9373 9373 9336 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2002824849 202170368 9493 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 31.31
Current children cumulated vsize (KiB) 871088
[startup+31.9079 s]
/proc/loadavg: 1.91 1.97 1.99 3/95 9401
/proc/meminfo: memFree=1410824/2055920 swapFree=4179860/4192956
[pid=9373] ppid=9371 vsize=5360 CPUtime=4.99
/proc/9373/stat : 9373 (hydra) S 9371 9373 9336 0 -1 4194304 375 3094 0 0 0 0 496 3 18 0 1 0 2002823724 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9373/statm: 1340 238 196 169 0 51 0
[pid=9381] ppid=9373 vsize=197432 CPUtime=6.1
/proc/9381/stat : 9381 (java) S 9373 9373 9336 0 -1 0 13978 0 1 0 593 17 0 0 18 0 10 0 2002824229 202170368 9493 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9381/statm: 49358 9493 2543 9 0 43941 0
[pid=9391] ppid=9381 vsize=5356 CPUtime=0
/proc/9391/stat : 9391 (abscon) S 9381 9373 9336 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 2002824849 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 227607634756 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/9391/statm: 1339 235 194 169 0 50 0
[pid=9392] ppid=9391 vsize=655896 CPUtime=20.63
/proc/9392/stat : 9392 (java) S 9391 9373 9336 0 -1 0 18327 0 1 0 2050 13 0 0 18 0 9 0 2002824850 671637504 17636 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/9392/statm: 163974 17636 2616 9 0 158502 0
[pid=9392/tid=9394] ppid=9391 vsize=655896 CPUtime=20.14
/proc/9392/task/9394/stat : 9394 (java) R 9391 9373 9336 0 -1 64 12548 0 1 0 2004 10 0 0 25 0 9 0 2002824850 671637504 17636 996147200 134512640 134550740 4294955808 18446744073709551615 4127306446 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9392/tid=9395] ppid=9391 vsize=655896 CPUtime=0.13
/proc/9392/task/9395/stat : 9395 (java) S 9391 9373 9336 0 -1 64 4484 0 0 0 12 1 0 0 17 0 9 0 2002824851 671637504 17636 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=9392/tid=9396] ppid=9391 vsize=655896 CPUtime=0
/proc/9392/task/9396/stat : 9396 (java) S 9391 9373 9336 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002824852 671637504 17636 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9392/tid=9397] ppid=9391 vsize=655896 CPUtime=0
/proc/9392/task/9397/stat : 9397 (java) S 9391 9373 9336 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002824852 671637504 17636 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9392/tid=9398] ppid=9391 vsize=655896 CPUtime=0
/proc/9392/task/9398/stat : 9398 (java) S 9391 9373 9336 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2002824853 671637504 17636 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9392/tid=9399] ppid=9391 vsize=655896 CPUtime=0.32
/proc/9392/task/9399/stat : 9399 (java) S 9391 9373 9336 0 -1 64 749 0 0 0 32 0 0 0 15 0 9 0 2002824853 671637504 17636 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9392/tid=9400] ppid=9391 vsize=655896 CPUtime=0
/proc/9392/task/9400/stat : 9400 (java) S 9391 9373 9336 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2002824854 671637504 17636 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9392/tid=9401] ppid=9391 vsize=655896 CPUtime=0
/proc/9392/task/9401/stat : 9401 (java) S 9391 9373 9336 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002824854 671637504 17636 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9393] ppid=9391 vsize=7044 CPUtime=0
/proc/9393/stat : 9393 (translate) S 9391 9373 9336 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2002824850 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 227607806034 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/9393/statm: 1761 213 182 1 0 41 0
[pid=9381/tid=9382] ppid=9373 vsize=197432 CPUtime=4.77
/proc/9381/task/9382/stat : 9382 (java) S 9373 9373 9336 0 -1 64 3997 0 1 0 471 6 0 0 25 0 10 0 2002824231 202170368 9493 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=9381/tid=9383] ppid=9373 vsize=197432 CPUtime=1.1
/proc/9381/task/9383/stat : 9383 (java) S 9373 9373 9336 0 -1 64 8530 0 0 0 100 10 0 0 16 0 10 0 2002824232 202170368 9493 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9381/tid=9384] ppid=9373 vsize=197432 CPUtime=0
/proc/9381/task/9384/stat : 9384 (java) S 9373 9373 9336 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002824232 202170368 9493 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9381/tid=9385] ppid=9373 vsize=197432 CPUtime=0
/proc/9381/task/9385/stat : 9385 (java) S 9373 9373 9336 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 2002824232 202170368 9493 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9381/tid=9386] ppid=9373 vsize=197432 CPUtime=0
/proc/9381/task/9386/stat : 9386 (java) S 9373 9373 9336 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2002824234 202170368 9493 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9381/tid=9387] ppid=9373 vsize=197432 CPUtime=0.2
/proc/9381/task/9387/stat : 9387 (java) S 9373 9373 9336 0 -1 64 644 0 0 0 20 0 0 0 16 0 10 0 2002824234 202170368 9493 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9381/tid=9388] ppid=9373 vsize=197432 CPUtime=0
/proc/9381/task/9388/stat : 9388 (java) S 9373 9373 9336 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2002824234 202170368 9493 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9381/tid=9389] ppid=9373 vsize=197432 CPUtime=0
/proc/9381/task/9389/stat : 9389 (java) S 9373 9373 9336 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 2002824234 202170368 9493 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9381/tid=9390] ppid=9373 vsize=197432 CPUtime=0
/proc/9381/task/9390/stat : 9390 (java) S 9373 9373 9336 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2002824849 202170368 9493 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 31.72
Current children cumulated vsize (KiB) 871088
[startup+32.0029 s]
/proc/loadavg: 1.91 1.97 1.99 3/95 9401
/proc/meminfo: memFree=1410824/2055920 swapFree=4179860/4192956
[pid=9373] ppid=9371 vsize=5360 CPUtime=4.99
/proc/9373/stat : 9373 (hydra) S 9371 9373 9336 0 -1 4194304 375 3094 0 0 0 0 496 3 18 0 1 0 2002823724 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9373/statm: 1340 238 196 169 0 51 0
[pid=9381] ppid=9373 vsize=0 CPUtime=26.75
/proc/9381/stat : 9381 (java) Z 9373 9373 9336 0 -1 1036 14079 18939 1 1 593 17 2051 14 16 0 2 0 2002824229 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/9381/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 31.74
Current children cumulated vsize (KiB) 5360
Child status: 0
Real time (s): 32.0079
CPU time (s): 31.7832
CPU user time (s): 31.4162
CPU system time (s): 0.366944
CPU usage (%): 99.2979
Max. virtual memory (cumulated for all children) (KiB): 871088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.4162
system time used= 0.366944
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36499
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= 11581
involuntary context switches= 12708
runsolver used 0.097985 second user time and 0.283956 second system time
The end
Begin job on node66 at 2008-07-05 08:15:40
IDJOB=1086288
IDBENCH=57786
IDSOLVER=365
FILE ID=node66/1086288-1215238540
PBS_JOBID= 7881984
Free space on /tmp= 66420 MiB
SOLVER NAME= cpHydra k_10
BENCH NAME= CPAI08/csp/fapp/fapp21/normalized-fapp21-0500-5.xml
COMMAND LINE= HOME/cpHydra_k_10/hydra BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1086288-1215238540/watcher-1086288-1215238540 -o /tmp/evaluation-result-1086288-1215238540/solver-1086288-1215238540 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1086288-1215238540.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= e0a4c3f834530db0009b18ab503d1b6e
RANDOM SEED=907343036
node66.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.213
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.213
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: 1500752 kB
Buffers: 76568 kB
Cached: 395908 kB
SwapCached: 7264 kB
Active: 269064 kB
Inactive: 225372 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1500752 kB
SwapTotal: 4192956 kB
SwapFree: 4179860 kB
Dirty: 24836 kB
Writeback: 0 kB
Mapped: 28408 kB
Slab: 45852 kB
Committed_AS: 4159332 kB
PageTables: 1836 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= 66396 MiB
End job on node66 at 2008-07-05 08:16:12