0.00/0.00 c cpHydra_k_10 version 0.0
24.37/24.61 c CASE TO CLASSIFY:
24.37/24.61 c Case: 0
24.37/24.61 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 39.416700 | c 15 > 13.617900 | c 34 > 66.618600 | c 16 > 2.000000 | c 13 > 1.908790 | c 14 > -1.000000 | c 11 > 11.316300 | c 12 > 3.093900 | c 21 > 15.187600 | c 20 > 0.000000 | c 22 > 15.556300 | c 23 > 5.322870 | c 24 > 0.839832 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.410200 | 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 > 19.165900 | c 31 > -1.000000 | c 4 > 11.316300 | c 9 > -1.000000 | c 8 > -1.000000 | c
24.37/24.62 c choco : 1801.0
24.37/24.62 c mistral : 1801.0
24.37/24.62 c abscon : 1801.0
24.37/24.62 c
24.37/24.62 c
24.37/24.69 c List of same ones: 10
24.37/24.69 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-10.xml
24.37/24.69 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.472100 | c 15 > 12.227300 | c 34 > 68.035800 | c 16 > 2.000000 | c 13 > 2.546710 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 4.460350 | c 21 > 13.109900 | c 20 > 0.000000 | c 22 > 13.490700 | c 23 > 4.118320 | c 24 > 0.800152 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.011100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.975900 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
24.46/24.70 c choco : 1801.0
24.46/24.70 c mistral : 1800.05
24.46/24.70 c abscon : 64.5562
24.46/24.70 c
24.46/24.70 c
24.46/24.70 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-9.xml
24.46/24.70 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.472100 | c 15 > 12.083100 | c 34 > 68.035800 | c 16 > 2.000000 | c 13 > 2.546710 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 4.460350 | c 21 > 13.109900 | c 20 > 0.000000 | c 22 > 13.490700 | c 23 > 4.118320 | c 24 > 0.800152 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.011100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.975900 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
24.46/24.71 c choco : 1801.0
24.46/24.71 c mistral : 1800.09
24.46/24.71 c abscon : 128.934
24.46/24.71 c
24.46/24.71 c
24.46/24.71 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-8.xml
24.46/24.71 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.472100 | c 15 > 11.964300 | c 34 > 68.035800 | c 16 > 2.000000 | c 13 > 2.546710 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 4.460350 | c 21 > 13.109900 | c 20 > 0.000000 | c 22 > 13.490700 | c 23 > 4.118320 | c 24 > 0.800152 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.011100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.975900 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
24.46/24.72 c choco : 1801.0
24.46/24.72 c mistral : 1800.07
24.46/24.72 c abscon : 77.7912
24.46/24.72 c
24.46/24.72 c
24.46/24.72 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-7.xml
24.46/24.72 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.472100 | c 15 > 11.758600 | c 34 > 68.035800 | c 16 > 2.000000 | c 13 > 2.546710 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 4.460350 | c 21 > 13.109900 | c 20 > 0.000000 | c 22 > 13.490700 | c 23 > 4.118320 | c 24 > 0.800152 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.011100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.975900 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
24.46/24.72 c choco : 1801.0
24.46/24.72 c mistral : 1800.08
24.46/24.72 c abscon : 213.954
24.46/24.72 c
24.46/24.72 c
24.46/24.72 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-6.xml
24.46/24.72 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.472100 | c 15 > 11.756600 | c 34 > 68.035800 | c 16 > 2.000000 | c 13 > 2.546710 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 4.460350 | c 21 > 13.109900 | c 20 > 0.000000 | c 22 > 13.490700 | c 23 > 4.118320 | c 24 > 0.800152 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.011100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.975900 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
24.46/24.73 c choco : 1801.0
24.46/24.73 c mistral : 1800.03
24.46/24.73 c abscon : 378.267
24.46/24.73 c
24.46/24.73 c
24.46/24.73 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-3.xml
24.46/24.73 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.472100 | c 15 > 11.602700 | c 34 > 68.035800 | c 16 > 2.000000 | c 13 > 2.546710 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 4.460350 | c 21 > 13.109900 | c 20 > 0.000000 | c 22 > 13.490700 | c 23 > 4.118320 | c 24 > 0.800152 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.011100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.975900 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
24.46/24.74 c choco : 1801.0
24.46/24.74 c mistral : 811.31
24.46/24.74 c abscon : 9.81851
24.46/24.74 c
24.46/24.74 c
24.46/24.74 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-2.xml
24.46/24.74 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.472100 | c 15 > 11.592900 | c 34 > 68.035800 | c 16 > 2.000000 | c 13 > 2.546710 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 4.460350 | c 21 > 13.109900 | c 20 > 0.000000 | c 22 > 13.490700 | c 23 > 4.118320 | c 24 > 0.800152 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.011100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.975900 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
24.46/24.75 c choco : 1801.0
24.46/24.75 c mistral : 310.611
24.46/24.75 c abscon : 9.8545
24.46/24.75 c
24.46/24.75 c
24.46/24.75 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-4.xml
24.46/24.75 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.472100 | c 15 > 11.513200 | c 34 > 68.035800 | c 16 > 2.000000 | c 13 > 2.546710 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 4.460350 | c 21 > 13.109900 | c 20 > 0.000000 | c 22 > 13.490700 | c 23 > 4.118320 | c 24 > 0.800152 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.011100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.975900 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
24.46/24.76 c choco : 1801.0
24.46/24.76 c mistral : 1078.26
24.46/24.76 c abscon : 12.6221
24.46/24.76 c
24.46/24.76 c
24.46/24.76 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-1.xml
24.46/24.76 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.472100 | c 15 > 11.491900 | c 34 > 68.035800 | c 16 > 2.000000 | c 13 > 2.546710 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 4.460350 | c 21 > 13.109900 | c 20 > 0.000000 | c 22 > 13.490700 | c 23 > 4.118320 | c 24 > 0.800152 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.011100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.975900 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
24.46/24.76 c choco : 1801.0
24.46/24.76 c mistral : 126.293
24.46/24.76 c abscon : 10.1565
24.46/24.76 c
24.46/24.76 c
24.46/24.77 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-0.xml
24.46/24.77 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.472100 | c 15 > 11.153600 | c 34 > 68.035800 | c 16 > 2.000000 | c 13 > 2.546710 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 4.460350 | c 21 > 13.109900 | c 20 > 0.000000 | c 22 > 13.490700 | c 23 > 4.118320 | c 24 > 0.800152 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.011100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.975900 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
24.46/24.77 c choco : 1801.0
24.46/24.77 c mistral : 44.86
24.46/24.77 c abscon : 9.39257
24.46/24.77 c
24.46/24.77 c
24.64/24.96 c Length: 10
24.64/24.96 c 5.319468420227718 5.3589725651285045 5.394197704367164 5.460766649821249 5.4614479402261065 5.515796130550872 5.519384106383608 5.549120471191807 5.557234196414615 5.6952392753772845
24.64/24.96 c
24.64/24.96 c 1.0 0.90487232581784 0.8341192873827189 0.7267323965737886 0.7257761137153871 0.6568288715058564 0.6527351747662 0.6206749882684873 0.6124668617275991 0.5
24.64/24.96 c
24.64/24.96 c solver 0
24.64/24.96 c before 0.0 seconds: {} 0
24.64/24.96 c before 18.0 seconds: {5, 6, 7, 8, 9} 3042
24.64/24.96 c before 72.0 seconds: {0, 5, 6, 7, 8, 9} 4042
24.64/24.96 c before 90.0 seconds: {0, 2, 5, 6, 7, 8, 9} 4876
24.64/24.96 c before 144.0 seconds: {0, 1, 2, 5, 6, 7, 8, 9} 5781
24.64/24.96 c before 216.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9} 6508
24.64/24.96 c before 396.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7234
24.64/24.96 c
24.64/24.96 c solver 1
24.64/24.96 c before 0.0 seconds: {} 0
24.64/24.96 c before 54.0 seconds: {9} 500
24.64/24.96 c before 144.0 seconds: {8, 9} 1112
24.64/24.96 c before 324.0 seconds: {6, 8, 9} 1765
24.64/24.96 c before 828.0 seconds: {5, 6, 8, 9} 2422
24.64/24.96 c before 1080.0 seconds: {5, 6, 7, 8, 9} 3042
24.64/24.96 c
24.64/24.96 c solver 2
24.64/24.96 c before 0.0 seconds: {} 0
24.64/24.96 c
24.64/24.96 cTotal time: 82
24.64/24.96 c 1476.0 seconds unused
24.64/24.96 c 0 c 5 c 10
24.64/24.96 c 0 c 0 c 5
24.64/24.96 c 0 c 0 c 0
24.64/24.96 c is solver0 dominated by:
24.64/24.96 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)
24.64/24.96 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)
24.64/24.96 c is dominated? false
24.64/24.96 c
24.64/24.96 c is solver1 dominated by:
24.64/24.96 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)
24.64/24.96 c is dominated? true
24.64/24.96 c
24.64/24.96 c is solver2 dominated by:
24.64/24.96 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)
24.64/24.96 c is dominated? true
24.64/24.96 c
24.64/24.96 c Number of non-dominated solvers: 1
24.64/24.96 c remove dominated solvers
24.64/24.96 c solver 0 is not dominated by another solver
24.64/24.97 c solver 2 is dominated by another solver
24.64/24.97 c solver 1 is dominated by another solver
24.64/24.97 c
24.64/24.97 c solver 0: 396.0
24.64/24.97 c
24.64/24.97 c+ 22/22 of 78
24.64/24.97 c
24.64/24.97 c solver 1: 0.0
24.64/24.97 c
24.64/24.97 c solver 2: 0.0
24.64/24.97 c run abscon for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7234
24.64/24.97 c do not run mistral
24.64/24.97 c do not run choco
24.64/24.97 c Starting solver: HOME/cpHydra_k_10/solver/abscon
24.64/24.97 c On Instance: HOME/instance-1087485-1215244330.xml
24.64/24.97 c Running for: 1800 seconds
55.56/56.33 s SAT
55.56/56.33 v 2624 -2252 -2252 -2240 -2240 -2720 -2240 -2280 2632 -2240 -2420 2720 -2240 -2280 -2720 2720 -2340 -2640 2240 2616 2644 -2240 -2240 2240 -2680 -2676 2712 -2720 -2352 -2680 -2672 -2364 -2680 -2680 2240 -2440 -2352 2680 -2588 -2404 -2240 2516 -2720 2680 2616 -2240 -2300 -2504 -2428 -2632 -2524 -2484 -2648 2460 -2380 -2680 -2240 -2636 -2544 -2240 -2240 -2544 2568 -2484 2612 -2504 -2388 -2240 -2276 -2308 -2280 -2720 -2720 -2440 -2720 -2288 -2328 -2340 -2284 -2420 2600 2656 -2280 2568 -2720 -2484 -2720 -2328 -2300 -2404 -2340 -2720 -2600 -2368 -2360 -2680 -2248 -2356 2524 -2280 2560 -2240 2464 -2256 -2240 -2240 -2556 2680 -2304 2668 -2308 -2240 -2684 -2488 -2368 -2408 2684 -2240 -2532 -2460 -2672 -2412 -2544 -2720 -2412 -2244 -2280 2720 -2432 -2312 -2680 -2316 2280 -2428 -2376 -2520 -2556 -2540 -2280 -2696 2680 -2240 -2280 2696 -2240 -2680 -2720 -2376 -2372 -2720 2716 -2416 -2240 -2252 -2384 2680 -2396 -2536 -2544 -2240 -2476 2596 -2240 -2640 -2332 -2280 -2568 2640 -2680 -2240 -2300 -2720 -2720 -2720 -2624 2572 -2448 -2240 -2636 -2672 2240 -2680 -2680 -2280 -2720 -2280 -2528 -2532 -2432 2680 -2240 -2720 -2316 -2720 -2444 2720 -2564 -2720 2240 2564 -2640 -2460 -2412 -2304 -2516 -2240 -2344 -2596 2680 -2280 -2404 2640 -2720 2680 -2680 -2360 -2356 -2312 -2260 -2580 2520 -2284 -2520 -2720 2656 -2244 -2240 -2280 -2240 -2240 2664 -2240 -2280 -2396 -2536 2684 -2244 -2412 -2548 -2500 -2720 -2280 -2344 2552 -2544 -2608 -2240 -2568 -2280 -2332 -2396 -2632 -2248 -2404 -2240 2240 -2512 -2680 -2240 -2568 -2552 -2304 -2492 2656 2680 -2680 -2720 -2540 -2720 -2300 -2720 -2380 -2280 -2720 -2240 -2640 -2556 -2392 -2300 -2680 2440 -2396 -2404 -2328 -2536 -2640 -2644 -2720 2680 -2288 -2240 -2680 -2240 -2280 -2280 -2240 -2280 -2512 2564 2720 -2680 -2372 -2364 -2280 -2540 -2372 -2272 -2404 -2472 -2708 -2240 2548 -2516 -2720 2680 -2720 -2272 -2240 -2720 -2240 -2252 -2612 -2356 -2240 -2348 2580 -2520 -2720 -2508 -2420 -2580 -2640 -2308 2680 -2280 -2336 -2600 -2568 -2280 -2540 -2720 -2592 -2672 -2480 -2384 -2380 -2360 -2408 -2680 2416 2680 2292 -2720 -2700 -2280 -2680 2720 -2288 -2240 2364 -2520 -2680 -2720 -2528 -2240 -2720 -2280 -2504 -2376 -2720 -2372 -2656 -2240 -2476 2712 -2244 -2508 -2244 -2368 -2688 -2720 -2372 -2444 -2552 -2680 -2588 -2696 -2688 -2552 -2588 -2292 -2284 -2432 -2280 -2628 -2476 -2380 -2252 -2288 -2516 -2716 -2460 2680 -2688 -2368 -2332 -2312 -2600 2612 -2624 -2428 -2464 2664 -2240 -2244 -2720 -2616 -2272 -2240 -2480 -2284 -2628 -2240 -2696 -2580 -2680 -2556 -2720 -2320 -2308 -2564 -2720 -2720 -2280 2560 -2292 -2348 -2292 -2696 -2280 2632 -2596 -2284 -2404 -2284 -2424 -2676 -2436 -2680 -2708 -2720 -2640 -2284 -2544 -2488 -2588 -2568 -2504 -2268 -2720 -2300 -2524 -2492 2404 2648 -2364 -2416 -2352 -2592 -2240 2644 -2280 -2388 -2524 -2680 -2720 -2352 2600 -2280 -2720 -2280 -2384 -2252 -2324 -2564 -2276 -2464 -2280 -2680 -2392 -2676 -2468 -2680 -2288 -2500 -2720 -2612 -2448 2252 -2312 2632 -2720 -2460 -2240 2596 -2420 -2328 -2252 -2720 -2572 -2720 -2288 -2680 -2680 -2312 -2316 -2280 -2528 -2720 -2304 -2240 -2444 -2252 -2384 -2720 -2720 -2460 -2240 -2284 2720 -2720 -2312 -2480 -2380 -2548 -2584 -2700 -2720 -2680 -2280 -2376 -2540 -2300 -2384 -2508 -2240 -2456 -2680 -2280 -2240 -2720 -2392 -2268 -2280 -2656 -2720 -2376 -2504 -2528 -2376 -2488 -2580 -2512 -2280 -2596 -2240 -2324 -2280 -2488 2680 -2516 -2304 -2500 -2680 -2484 -2392 -2612 -2500 -2456 2240 -2388 -2280 -2424 -2648 -2720 -2280 -2444 -2668 -2720 -2720 -2280 -2292 -2528 -2288 -2280 -2436 -2284 -2244 2240 -2240 -2424 -2520 -2280 -2440 2680 -2404 -2528 -2528 -2412 -2472 -2680 -2720 -2472 -2720 -2240 -2508 -2296 -2480 -2584 -2620 -2664 -2488 -2240 -2600 -2296 -2404 -2240 -2320 -2492 2652 -2720 -2252 -2552 -2428 -2260 -2668 -2444 -2692 -2720 -2332 -2564 -2680 -2404 -2680 -2548 -2280 -2576 -2476 -2280 -2272 -2520 -2296 -2420 -2296 -2364 -2720 -2492 -2356 -2528 2240 -2484 2588 -2356 -2280 -2304 -2308 -2480 -2312 -2536 -2632 -2720 -2352 -2436 -2448 -2584 -2720 2496 -2488 -2592 2664 -2720 -2644 -2688 -2516 -2396 -2280 -2544 -2680 -2480 -2480 -2656 -2424 2240 -2316 -2588 -2412 -2348 -2720 -2668 -2280 -2344 -2272 -2720 -2388 -2512 -2720 -2348 -2292 -2680 -2332 -2552 -2720 -2428 2520 -2300 -2572 -2472 -2368 -2680 -2660 -2660 2240 -2720 -2252 -2388 -2312 -2592 -2720 -2660 -2264 -2720 2328 -2356 -2680 2680 -2472 -2720 -2240 -2392 -2680 -2296 -2680 2700 -2296 -2280 -2392 -2240 -2720 -2588 -2708 -2284 -2316 -2668 -2328 -2444 -2680 -2664 -2268 -2720 -2556 -2680 2636 -2680 -2336 -2720 -2576 -2304 -2356 2716 -2536 -2292 -2444 -2680 -2680 -2592 -2380 -2344 -2280 -2580 -2720 -2328 -2248 -2680 -2456 -2492 -2368 -2720 2628 -2596 -2624 -2720 -2680 -2680 -2432 -2680 -2500 -2680 2464 -2240 -2280 -2680 2592 -2512 -2412 -2720 -2704 -2468 -2636 -2720 -2280 -2280 -2560 -2396 -2680 2680 -2660 -2304 -2720 -2352 -2604 -2240 -2248 -2620 -2380 -2504 -2440 -2284 -2720 -2532 -2240 -2688 -2720 -2436 -2652 -2284 -2280 -2720 -2416 -2644 -2524 -2368 -2504 -2312 2464 -2488 -2504 2304 -2532 -2424 -2680 -2380 -2332 -2332 -2628 -2688 -2240 -2720 -2240 -2280 -2720 -2468 -2500 -2668 -2432 -2612 -2256 -2280 -2668 -2680 -2716 -2404 -2512 -2252 -2336 -2288 -2688 -2656 -2360 2680 -2320 -2260 -2668 -2528 -2436 2280 -2464 -2680 -2336 -2392 -2280 -2720 -2544 -2660 -2548 -2556 -2680 -2680 2588 -2460 2372 -2304 -2264 -2244 -2680 -2280 -2500 2280 -2244 -2532 -2488 -2308 -2280 -2420 -2296 -2240 -2720 2596 -2476 -2720 -2680 -2680 -2540 -2652 -2428 -2680 2280 -2280 -2428 2688 -2360 -2680 2680 -2520 -2680 -2680 -2412 -2648 -2300 -2404 -2356 -2408 -2720 -2240 -2328 -2488 -2640 -2280 -2720 -2568 -2680 -2280 -2340 -2296 -2656 -2588 -2596 -2296 -2284 -2452 -2524 -2500 -2392 -2380 -2280 -2496 2680 -2688 -2720 2680 -2268 -2432 -2456 -2504 -2308 -2288 -2248 -2240 2256 -2720 -2420 -2644 -2680 -2376 -2280 -2428 -2280 -2672 -2432 -2552 -2384 -2556 -2532 -2280 -2608 2576 -2492 -2412 -2284 -2428 2680 -2248 -2652 -2316 -2680 -2720 -2240 2660 -2720 -2240 2676 -2720 -2516 2680 -2272 -2612 -2552 -2720 2264 2604 -2680 -2356 -2284 -2240 -2720 -2276 -2280 -2328 -2316 -2444 -2644 -2256 -2292 -2648 -2432 -2400 -2372 -2296 2364 -2292 -2644 -2292 -2488 -2680 -2488 2660 -2632 -2596 -2680 -2280 -2436 -2240 -2296 -2608 -2292 -2524 -2496 -2708 -2240 2680 -2680 -2680 -2656 -2720 -2328 -2464 -2464 -2292 -2720 -2264 -2292 -2240 -2316 -2396 -2636 -2280 -2404 -2720 -2280 -2372 -2380 -2320 -2720 -2252 -2280 -2460 -2376 -2252 2592 -2552 2628 -2408 -2240 2432 -2580 -2568 -2320 -2528 -2680 2680 -2292 -2344 -2680 -2460 -2552 -2680 -2648 -2452 -2464 -2340 -2452 -2720 -2680 -2640 -2340 -2548 -2280 2668 -2356 -2576 2240 -2496 -2592 -2572 -2384 -2444 -2680 -2680 -2424 -2276 -2652 -2280 -2352 -2680 -2364 -2280 -2560 -2680 -2476 -2272 -2420 -2448 -2680 -2268 2556 -2360 -2660 -2720 -2632 -2620 -2720 -2696 -2568 -2720 -2380 -2340 -2720 -2680 -2572 -2280 -2320 -2592 -2680 2408 -2240 2680 -2720 -2720 -2280 -2720 -2360 -2360 -2396 2680 -2532 -2512 -2288 -2380 -2680 -2604 -2720 -2596 -2240 -2680 -2720 -2548 2324 -2484 -2696 -2280 -2280 -2396 2316 -2396 2680 -2356 -2580 -2480 -2572 -2680 -2304 -2720 -2380 -2568 -2604 -2280 -2680 -2636 -2680 -2600 -2240 2336 -2528 -2284 -2240 -2720 -2512 -2388 2252 -2680 -2404 -2428 -2360 -2304 -2356 -2256 -2348 -2412 -2240 -2652 -2720 2720 -2428 -2280 -2280 -2404 -2288 -2628 -2364 -2356 -2392 2680 -2304 -2448 -2448 -2476 -2488 -2596 -2676 2680 -2720 -2364 -2572 -2628 -2280 -2688 -2368 -2640 -2292 -2620 -2680 -2604 -2568 -2500 -2348 -2292 -2296 -2680 -2604 -2312 2492 -2308 -2288 -2608 -2396 -2680 -2380 -2364 -2292 -2264 -2648 -2376 -2720 -2280 -2344 -2524 -2716 -2680 -2720 -2304 -2552 -2288 -2372 -2240 2360 -2720 -2612 2672 -2672 -2348 -2300 -2720 -2720 -2392 -2720 -2292 -2680 -2644 2656 -2524 -2388 -2596 -2720 -2416 -2240 -2720 -2720 -2528 -2680 -2336 -2392 2588 -2708 -2600 -2700 -2680 2656 -2240 -2280 -2596 -2548 -2532 -2484 -2576 -2268 -2364 -2680 -2280 -2340 -2568 2680 -2564 -2468 -2280 -2680 -2572 -2680 -2560 -2676 -2580 -2452 -2720 -2280 -2308 -2268 -2280 -2524 -2696 -2296 -2708 -2344 -2428 -2580 -2296 -2720 -2296 -2592 -2304 -2624 -2444 2680 -2608 -2280 -2256 2240 -2680 -2680 -2240 -2696 -2680 -2404 -2592 -2680 -2468 -2348 -2680 -2720 -2280 -2528 2560 -2680 -2680 -2240 -2648 -2412 -2312 -2292 -2720 2612 -2720 -2492 -2240 -2244 -2444 -2240 -2400 -2564 -2492 -2680 -2720 -2328 -2280 -2720 -2720 2680 -2444 -2400 -2680 -2452 -2720 -2520 2240 -2468 -2456 -2720 -2480 -2720 -2240 -2680 -2252 -2680 -2280 -2648 -2368 -2600 -2720 2504 -2292 -2680 -2340 -2680 -2680 -2720 -2428 -2240 -2560 -2712 -2280 -2680 2680 -2388 -2680 -2280 -2320 -2404 -2244 -2404 2680 2648 -2608 2628 -2612 -2384 -2680 -2248 -2248 -2244 -2680 -2656 -2680 2404 -2680 -2600 -2612 -2280 -2280 -2364 -2240 -2720 -2640 -2344 -2240 -2592 -2680 -2528 -2680 -2504 -2492 -2420 -2240 -2296 -2720 -2720 -2720 -2720 -2680 -2668 -2720 2240 -2668 -2432 -2292 -2720 -2680 2720 -2576 -2680 -2240 -2420 -2336 -2460 -2584 -2336 -2720 -2396 -2720 -2280 -2496 -2344 -2536 -2592 -2552 -2524 -2460 -2320 -2344 2712 -2280 2584 -2720 -2536 -2280 -2320 -2244 -2484 -2252 2240 -2636 -2480 -2304 -2636 -2252 -2568 -2524 2440 -2564 -2712 -2528 -2284 -2328 -2260 -2300 -2392 -2680 -2532 -2720 -2556 2240 -2572 -2260 -2492 -2440 -2532 2364 -2600 2280 -2240 -2284 -2420 -2244 -2444 -2720 -2720 -2720 -2596 -2504 -2524 -2720 -2404 -2428 -2424 -2260 -2256 -2280 -2280 -2244 -2552 -2344 -2416 -2284 -2504 -2720 -2480 -2680 -2720 2688 -2500 -2588 -2680 -2276 -2620 -2628 -2664 -2536 -2356 -2240 -2584 -2588 -2544 -2420 -2552 -2280 2680 -2428 -2480 -2632 -2652 -2532 -2364 -2292 -2680 -2584 -2536 -2472 -2316 -2684 -2408 -2680 -2416 -2292 -2532 -2240 -2280 -2660 -2380 -2672 -2720 -2608 -2548 -2640 -2512 -2680 -2680 -2280 -2420 -2240 -2664 -2524 -2556 2288 -2472 -2292 2720 -2296 -2632 -2304 -2368 2592 -2516 -2288 -2280 -2636 -2680 -2512 -2544 -2572 -2656 -2280 -2596 -2308 -2628 -2308 -2720 -2556 -2592 -2504 -2596 -2656 -2272 -2312 -2684 -2632 -2644 -2668 -2396 -2472 -2392 -2544 -2296 -2280 -2308 -2324 2680 -2548 -2268 -2404 -2412 -2316 -2480 -2676 -2248 -2348 -2248 -2280 -2524 -2616 -2468 2440 -2240 -2560 -2644 -2648 -2260 -2372 -2280 -2564 -2680 -2444 -2720 -2568 -2292 2680 -2440 -2336 2620 -2496 -2720 -2308 -2680 -2560 -2484 2240 -2720 -2336 -2408 -2680 -2368 -2280 -2596 -2296 -2668 -2244 -2372 -2240 -2280 -2240 -2448 -2720 -2444 -2556 -2396 -2488 -2536 -2240 -2364 -2512 -2548 -2408 -2332 -2448 2680 -2520 -2292 -2720 -2696 -2280 -2564 -2280 -2480 -2636 -2608 -2272 -2268 -2280 -2280 -2528 -2680 -2720 -2544 -2280 -2720 -2584 -2712 2656 -2448 -2572 2240 -2508 -2532 -2368 -2564 -2544 -2404 -2720 -2636 -2436 -2436 2720 -2532 -2300 -2640 -2712 -2632 -2288 -2552 -2720 -2392 -2512 2672 -2276 -2504 -2520 -2680 -2660 -2720 -2632 -2260 -2468 2680 -2720 2680 -2240 -2484 -2548 -2432 -2240 -2596 -2680 -2648 -2680 -2436 -2320 2648 -2520 -2260 -2340 -2624 -2240 -2720 -2324 -2636 -2240 -2720 -2332 -2240 -2720 -2444 -2680 -2680 -2620 2680 -2380 -2720 -2632 -2280 -2548 -2504 -2460 -2680 2492 -2320 -2416 -2680 2680 2680 -2680 -2568 -2280 -2628 -2568 -2444 -2720 -2444 -2720 2384 2240 2648 -2468 -2240 -2720 -2280 -2348 -2280 -2280 -2508 2632 -2592 -2636 -2544 -2364 2680 -2444 -2560 -2680 -2588 2256 2560 -2720 -2284 -2444 -2568 -2452 -2680 -2372 -2720 2404 -2288 -2564 -2336 -2360 -2624 2628 -2720 -2720 -2720 2240 -2280 -2456 -2596 -2680 -2488 -2688 -2240 -2300 -2288 2528 -2240 -2396 -2680 -2240 -2500 -2608 -2680 -2720 -2324 -2296 -2300 -2240 -2412 2648 -2240 2280 -2720 2704 -2672 2680 2720 2392 -2484 -2280 -2720 2280 -2720 -2240 -2680 -2720 -2440 -2328 2688 -2656 2680 2680 -2720 2656 -2280 -2608 -2720 -2280 -2292 -2396 -2680 -2424 -2588 -2452 -2272 -2588 2692 2524 -2488 -2680 -2396 -2488 -2720 2676 -2552 2308 -2240 2328 -2448 -2280 -2488 -2680 -2712 -2280 -2480 -2424 -2288 2680 -2680 2544 -2280 -2492 -2512 -2720 -2720 -2480 -2508 -2572 -2720 -2460 -2280 2700 -2508 -2352 -2248 -2388 -2256 2680 -2344 -2436 -2680 -2720 -2496 -2324 2672 -2388 2508 -2280 -2720 2680 -2280 -2680 -2280 -2680 -2680 -2436 -2296 -2240 -2284 2496 2240 -2420 -2720 -2388 -2556 -2552 2680 -2584 -2456 -2376 -2620 -2720 -2552 -2636 -2404 -2280 -2368 -2332 -2720 -2484 -2256 -2720 2616 -2408 -2364 -2720 -2680 -2720 -2280 -2280 -2340 -2720 -2680 -2668 -2712 -2720 -2436 -2248 -2672 -2680 -2420 -2360 -2468 -2320 -2460 -2720 -2512 -2572 -2240 -2720 -2240 2708 -2680 -2532 -2316 -2352 -2280 -2680 2280 -2604 -2708 -2652 -2448 -2344 -2336 -2376 -2480 -2308 -2244 -2248 -2392 -2680 -2460 -2680 -2280 -2244 -2476 -2280 -2644 -2280 -2336 -2580 -2516 -2276 -2280 -2680 -2440 -2608 -2720 -2672 -2300 -2396 -2488 -2548 -2676 -2508 -2680 -2720 -2284 -2672 -2348 2688 -2396 -2680 -2240 -2608 -2696 2336 -2316 -2524 -2388 -2584 -2680 -2616 -2560 2680 -2548 -2568 2680 -2256 -2680 -2484 -2512 -2364 -2320 -2468 -2528 2240 2564 -2300 2680 -2240 -2396 -2252 -2704 -2288 -2484 -2556 -2680 -2320 -2488 -2668 -2572 -2720 -2308 -2720 -2240 -2720 -2532 -2536 -2280 -2280 -2420 -2540 -2696 -2292 -2240 -2400 -2616 -2524 -2248 -2668 -2720 2680 -2404 -2612 -2324 2680 -2644 -2240 2504 -2316 2376 -2516 -2288 2696 -2660 -2608 2680 -2556 -2720 -2428 -2540 -2712 -2292 -2280 -2676 -2480 -2680 -2452 -2360 2680 -2688 -2280 -2240 -2664 -2272 -2476 -2240 -2348 -2320 -2720 -2720 2676 -2548 -2620 -2280 -2300 2720 -2280 -2336 -2240 -2280 -2484 2684 -2240 -2260 -2240 -2312 -2564 -2720 -2680 -2568 -2544 -2524 -2416 2636 -2240 -2484 2684 -2344 -2288 -2672 -2420 -2320 -2436 2448 -2616 -2720 -2352 -2568 -2588 -2544 -2324 -2556 -2680 -2680 2552 -2416 -2496 -2624 -2368 -2284 -2456 -2400 -2280 2284 2260 -2524 2280 -2528 -2360 -2328 -2680 -2392 -2276 -2240 -2252 -2680 -2612 -2436 -2548 -2280 -2356 -2396 -2400 -2440 -2552 2240 -2468 -2500 -2284 -2404 -2720 -2720 -2360 -2656 -2548 -2680 -2680 -2316 -2680 -2328 -2340 -2540 -2312 -2512 -2404 -2324 -2364 -2240 -2492 -2304 2680 -2420 -2240 -2616 -2664 -2620 -2444 2240 -2344 -2280 -2452 -2544 -2516 -2468 -2448 -2252 -2280 -2356 -2680 -2512 -2720 -2292 -2324 -2660 -2568 -2656 -2396 -2432 -2552 -2648 -2320 2336 -2600 -2616 -2300 -2452 -2280 -2264 -2416 -2280 -2568 -2388 -2244 -2696 -2388 -2556 -2240 -2396 -2524 -2324 -2680 -2400 -2444 -2432 -2580 -2600 -2356 -2620 -2452 -2400 -2596 -2240 2680 -2356 -2356 -2312 -2296 -2680 -2280 -2336 -2720 2704 -2312 -2404 -2656 -2444 -2252 -2428 -2240 2656 -2680 -2284 -2240 -2612 -2396 2240 -2544 -2720 -2672 -2720 2240 -2240 -2680 2680 2492 2280 -2352 -2720 -2440 -2380 2680 -2280 -2280 -2528 -2680 -2380 2680 -2720 -2376 -2588 -2324 -2280 -2320 -2700 -2680 2612 -2680 -2284 -2636 -2284 -2248 -2720 2680 -2252 -2596 -2560 -2240 -2704 -2428 -2256 -2720 -2280 -2636 -2288 -2540 -2580 -2480 2672 -2540 -2248 -2436 -2328 -2548 -2264 -2656 -2584 -2680 -2512 -2540 -2428 -2280 2720 -2720 -2356 -2680 -2360 -2308 -2484 -2672 -2720 -2376 2392 -2240 -2720 -2720 -2528 -2496 -2260 -2424 -2420 -2296 -2652 -2280 -2332 -2720 -2432 -2304 -2464 -2720 -2348 -2280 2696 -2596 2336 -2720 -2548 2280 2416 -2656 -2720 -2648 -2332 -2680 -2600 -2288 -2720 -2680 -2344 -2280 -2688 -2280 -2408 -2680 -2440 -2720 -2604 -2448 -2360
55.56/56.33 d ASSIGNMENTS 2551
55.56/56.33 d CHECKS 20035703
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1087485-1215244330/watcher-1087485-1215244330 -o /tmp/evaluation-result-1087485-1215244330/solver-1087485-1215244330 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1087485-1215244330.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.92 2.04 1.90 4/81 3446
/proc/meminfo: memFree=1290072/2055920 swapFree=4179368/4192956
[pid=3446] ppid=3444 vsize=5360 CPUtime=0
/proc/3446/stat : 3446 (hydra) S 3444 3446 2442 0 -1 4194304 306 124 0 0 0 0 0 0 18 0 1 0 636688671 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3446/statm: 1340 236 195 169 0 51 0
[pid=3448] ppid=3446 vsize=5360 CPUtime=0
/proc/3448/stat : 3448 (hydra) R 3446 3446 2442 0 -1 4194368 21 0 0 0 0 0 0 0 20 0 1 0 636688671 5488640 239 996147200 4194304 4889804 548682068816 18446744073709551615 254613712167 0 0 4096 0 0 0 0 17 1 0 0
/proc/3448/statm: 1340 239 198 169 0 51 0
[startup+0.0565571 s]
/proc/loadavg: 1.92 2.04 1.90 4/81 3446
/proc/meminfo: memFree=1290072/2055920 swapFree=4179368/4192956
[pid=3446] ppid=3444 vsize=5360 CPUtime=0
/proc/3446/stat : 3446 (hydra) S 3444 3446 2442 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 636688671 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3446/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.103087 s]
/proc/loadavg: 1.92 2.04 1.90 4/81 3446
/proc/meminfo: memFree=1290072/2055920 swapFree=4179368/4192956
[pid=3446] ppid=3444 vsize=5360 CPUtime=0
/proc/3446/stat : 3446 (hydra) S 3444 3446 2442 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 636688671 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3446/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.302586 s]
/proc/loadavg: 1.92 2.04 1.90 4/81 3446
/proc/meminfo: memFree=1290072/2055920 swapFree=4179368/4192956
[pid=3446] ppid=3444 vsize=5360 CPUtime=0
/proc/3446/stat : 3446 (hydra) S 3444 3446 2442 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 636688671 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3446/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701622 s]
/proc/loadavg: 1.92 2.04 1.90 4/81 3446
/proc/meminfo: memFree=1290072/2055920 swapFree=4179368/4192956
[pid=3446] ppid=3444 vsize=5360 CPUtime=0
/proc/3446/stat : 3446 (hydra) S 3444 3446 2442 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 636688671 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3446/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50271 s]
/proc/loadavg: 1.92 2.04 1.90 4/83 3450
/proc/meminfo: memFree=1253256/2055920 swapFree=4179368/4192956
[pid=3446] ppid=3444 vsize=5360 CPUtime=0
/proc/3446/stat : 3446 (hydra) S 3444 3446 2442 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 636688671 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3446/statm: 1340 236 195 169 0 51 0
[pid=3450] ppid=3446 vsize=74100 CPUtime=1.47
/proc/3450/stat : 3450 (xsolve) R 3446 3446 2442 0 -1 4194304 9616 0 0 0 143 4 0 0 25 0 1 0 636688672 75878400 9509 996147200 134512640 135239763 4294956176 18446744073709551615 134534761 0 0 4096 0 0 0 0 17 1 0 0
/proc/3450/statm: 18525 9509 416 177 0 17428 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 79460
[startup+3.10189 s]
/proc/loadavg: 1.92 2.04 1.90 3/83 3450
/proc/meminfo: memFree=1252168/2055920 swapFree=4179368/4192956
[pid=3446] ppid=3444 vsize=5360 CPUtime=0
/proc/3446/stat : 3446 (hydra) S 3444 3446 2442 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 636688671 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3446/statm: 1340 236 195 169 0 51 0
[pid=3450] ppid=3446 vsize=74100 CPUtime=3.05
/proc/3450/stat : 3450 (xsolve) R 3446 3446 2442 0 -1 4194304 9616 0 0 0 301 4 0 0 25 0 1 0 636688672 75878400 9509 996147200 134512640 135239763 4294956176 18446744073709551615 134534792 0 0 4096 0 0 0 0 17 1 0 0
/proc/3450/statm: 18525 9509 416 177 0 17428 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 79460
[startup+6.30125 s]
/proc/loadavg: 2.01 2.05 1.91 3/83 3450
/proc/meminfo: memFree=1252168/2055920 swapFree=4179368/4192956
[pid=3446] ppid=3444 vsize=5360 CPUtime=0
/proc/3446/stat : 3446 (hydra) S 3444 3446 2442 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 636688671 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3446/statm: 1340 236 195 169 0 51 0
[pid=3450] ppid=3446 vsize=74100 CPUtime=6.22
/proc/3450/stat : 3450 (xsolve) R 3446 3446 2442 0 -1 4194304 9617 0 0 0 618 4 0 0 25 0 1 0 636688672 75878400 9510 996147200 134512640 135239763 4294956176 18446744073709551615 134820182 0 0 4096 0 0 0 0 17 1 0 0
/proc/3450/statm: 18525 9510 417 177 0 17428 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 79460
[startup+12.702 s]
/proc/loadavg: 2.09 2.07 1.91 3/83 3450
/proc/meminfo: memFree=1252808/2055920 swapFree=4179368/4192956
[pid=3446] ppid=3444 vsize=5360 CPUtime=0
/proc/3446/stat : 3446 (hydra) S 3444 3446 2442 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 636688671 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3446/statm: 1340 236 195 169 0 51 0
[pid=3450] ppid=3446 vsize=74100 CPUtime=12.57
/proc/3450/stat : 3450 (xsolve) R 3446 3446 2442 0 -1 4194304 9617 0 0 0 1252 5 0 0 25 0 1 0 636688672 75878400 9510 996147200 134512640 135239763 4294956176 18446744073709551615 134534753 0 0 4096 0 0 0 0 17 1 0 0
/proc/3450/statm: 18525 9510 417 177 0 17428 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 79460
[startup+25.5023 s]
/proc/loadavg: 2.07 2.07 1.91 3/103 3474
/proc/meminfo: memFree=1251112/2055920 swapFree=4179368/4192956
[pid=3446] ppid=3444 vsize=5360 CPUtime=19.17
/proc/3446/stat : 3446 (hydra) S 3444 3446 2442 0 -1 4194304 375 10225 0 0 0 0 1911 6 19 0 1 0 636688671 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3446/statm: 1340 238 196 169 0 51 0
[pid=3454] ppid=3446 vsize=197424 CPUtime=5.54
/proc/3454/stat : 3454 (java) S 3446 3446 2442 0 -1 0 13834 0 1 0 536 18 0 0 20 0 10 0 636690607 202162176 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3454/statm: 49356 9391 2543 9 0 43939 0
[pid=3464] ppid=3454 vsize=5356 CPUtime=0
/proc/3464/stat : 3464 (abscon) S 3454 3446 2442 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 636691169 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 254613709636 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/3464/statm: 1339 235 194 169 0 50 0
[pid=3465] ppid=3464 vsize=655188 CPUtime=0.5
/proc/3465/stat : 3465 (java) S 3464 3446 2442 0 -1 0 8689 0 1 0 46 4 0 0 18 0 9 0 636691169 670912512 8211 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3465/statm: 163797 8211 1970 9 0 158325 0
[pid=3465/tid=3467] ppid=3464 vsize=655188 CPUtime=0.38
/proc/3465/task/3467/stat : 3467 (java) R 3464 3446 2442 0 -1 64 7687 0 1 0 34 4 0 0 25 0 9 0 636691170 670912512 8211 996147200 134512640 134550740 4294955808 18446744073709551615 102715030 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3465/tid=3468] ppid=3464 vsize=655188 CPUtime=0
/proc/3465/task/3468/stat : 3468 (java) S 3464 3446 2442 0 -1 64 3 0 0 0 0 0 0 0 21 0 9 0 636691171 670912512 8211 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=3465/tid=3469] ppid=3464 vsize=655188 CPUtime=0
/proc/3465/task/3469/stat : 3469 (java) S 3464 3446 2442 0 -1 64 9 0 0 0 0 0 0 0 22 0 9 0 636691171 670912512 8211 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3465/tid=3470] ppid=3464 vsize=655188 CPUtime=0
/proc/3465/task/3470/stat : 3470 (java) S 3464 3446 2442 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 636691171 670912512 8211 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3465/tid=3471] ppid=3464 vsize=655188 CPUtime=0
/proc/3465/task/3471/stat : 3471 (java) S 3464 3446 2442 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 636691173 670912512 8211 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3465/tid=3472] ppid=3464 vsize=655188 CPUtime=0.11
/proc/3465/task/3472/stat : 3472 (java) S 3464 3446 2442 0 -1 64 458 0 0 0 11 0 0 0 16 0 9 0 636691173 670912512 8211 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3465/tid=3473] ppid=3464 vsize=655188 CPUtime=0
/proc/3465/task/3473/stat : 3473 (java) S 3464 3446 2442 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 636691173 670912512 8211 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3465/tid=3474] ppid=3464 vsize=655188 CPUtime=0
/proc/3465/task/3474/stat : 3474 (java) S 3464 3446 2442 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 636691173 670912512 8211 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3466] ppid=3464 vsize=7044 CPUtime=0
/proc/3466/stat : 3466 (translate) S 3464 3446 2442 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 636691169 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 254613880914 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/3466/statm: 1761 213 182 1 0 41 0
[pid=3454/tid=3455] ppid=3446 vsize=197424 CPUtime=4.31
/proc/3454/task/3455/stat : 3455 (java) S 3446 3446 2442 0 -1 64 3852 0 1 0 425 6 0 0 25 0 10 0 636690608 202162176 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=3454/tid=3456] ppid=3446 vsize=197424 CPUtime=1.02
/proc/3454/task/3456/stat : 3456 (java) S 3446 3446 2442 0 -1 64 8536 0 0 0 91 11 0 0 16 0 10 0 636690610 202162176 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=3454/tid=3457] ppid=3446 vsize=197424 CPUtime=0
/proc/3454/task/3457/stat : 3457 (java) S 3446 3446 2442 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 636690610 202162176 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3454/tid=3458] ppid=3446 vsize=197424 CPUtime=0
/proc/3454/task/3458/stat : 3458 (java) S 3446 3446 2442 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 636690610 202162176 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3454/tid=3459] ppid=3446 vsize=197424 CPUtime=0
/proc/3454/task/3459/stat : 3459 (java) S 3446 3446 2442 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 636690612 202162176 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3454/tid=3460] ppid=3446 vsize=197424 CPUtime=0.18
/proc/3454/task/3460/stat : 3460 (java) S 3446 3446 2442 0 -1 64 647 0 0 0 18 0 0 0 16 0 10 0 636690612 202162176 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3454/tid=3461] ppid=3446 vsize=197424 CPUtime=0
/proc/3454/task/3461/stat : 3461 (java) S 3446 3446 2442 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 636690612 202162176 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3454/tid=3462] ppid=3446 vsize=197424 CPUtime=0
/proc/3454/task/3462/stat : 3462 (java) S 3446 3446 2442 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 636690612 202162176 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3454/tid=3463] ppid=3446 vsize=197424 CPUtime=0
/proc/3454/task/3463/stat : 3463 (java) S 3446 3446 2442 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 636691168 202162176 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.21
Current children cumulated vsize (KiB) 870372
[startup+51.1021 s]
/proc/loadavg: 2.04 2.06 1.91 3/103 3474
/proc/meminfo: memFree=1153256/2055920 swapFree=4179368/4192956
[pid=3446] ppid=3444 vsize=5360 CPUtime=19.17
/proc/3446/stat : 3446 (hydra) S 3444 3446 2442 0 -1 4194304 375 10225 0 0 0 0 1911 6 19 0 1 0 636688671 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3446/statm: 1340 238 196 169 0 51 0
[pid=3454] ppid=3446 vsize=197424 CPUtime=5.54
/proc/3454/stat : 3454 (java) S 3446 3446 2442 0 -1 0 13866 0 1 0 536 18 0 0 20 0 10 0 636690607 202162176 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3454/statm: 49356 9391 2543 9 0 43939 0
[pid=3464] ppid=3454 vsize=5356 CPUtime=0
/proc/3464/stat : 3464 (abscon) S 3454 3446 2442 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 636691169 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 254613709636 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/3464/statm: 1339 235 194 169 0 50 0
[pid=3465] ppid=3464 vsize=655740 CPUtime=25.74
/proc/3465/stat : 3465 (java) S 3464 3446 2442 0 -1 0 30193 0 1 0 2554 20 0 0 18 0 9 0 636691169 671477760 29479 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3465/statm: 163935 29479 2617 9 0 158463 0
[pid=3465/tid=3467] ppid=3464 vsize=655740 CPUtime=24.89
/proc/3465/task/3467/stat : 3467 (java) R 3464 3446 2442 0 -1 64 12558 0 1 0 2475 14 0 0 25 0 9 0 636691170 671477760 29479 996147200 134512640 134550740 4294955808 18446744073709551615 4126899575 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3465/tid=3468] ppid=3464 vsize=655740 CPUtime=0.46
/proc/3465/task/3468/stat : 3468 (java) S 3464 3446 2442 0 -1 64 16343 0 0 0 41 5 0 0 16 0 9 0 636691171 671477760 29479 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=3465/tid=3469] ppid=3464 vsize=655740 CPUtime=0
/proc/3465/task/3469/stat : 3469 (java) S 3464 3446 2442 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 636691171 671477760 29479 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3465/tid=3470] ppid=3464 vsize=655740 CPUtime=0
/proc/3465/task/3470/stat : 3470 (java) S 3464 3446 2442 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 636691171 671477760 29479 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3465/tid=3471] ppid=3464 vsize=655740 CPUtime=0
/proc/3465/task/3471/stat : 3471 (java) S 3464 3446 2442 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 636691173 671477760 29479 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3465/tid=3472] ppid=3464 vsize=655740 CPUtime=0.36
/proc/3465/task/3472/stat : 3472 (java) S 3464 3446 2442 0 -1 64 733 0 0 0 36 0 0 0 16 0 9 0 636691173 671477760 29479 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3465/tid=3473] ppid=3464 vsize=655740 CPUtime=0
/proc/3465/task/3473/stat : 3473 (java) S 3464 3446 2442 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 636691173 671477760 29479 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3465/tid=3474] ppid=3464 vsize=655740 CPUtime=0
/proc/3465/task/3474/stat : 3474 (java) S 3464 3446 2442 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 636691173 671477760 29479 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3466] ppid=3464 vsize=7044 CPUtime=0
/proc/3466/stat : 3466 (translate) S 3464 3446 2442 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 636691169 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 254613880914 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/3466/statm: 1761 213 182 1 0 41 0
[pid=3454/tid=3455] ppid=3446 vsize=197424 CPUtime=4.31
/proc/3454/task/3455/stat : 3455 (java) S 3446 3446 2442 0 -1 64 3852 0 1 0 425 6 0 0 25 0 10 0 636690608 202162176 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=3454/tid=3456] ppid=3446 vsize=197424 CPUtime=1.02
/proc/3454/task/3456/stat : 3456 (java) S 3446 3446 2442 0 -1 64 8561 0 0 0 91 11 0 0 16 0 10 0 636690610 202162176 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
################
# More data... #
################
[pid=3454/tid=3461] ppid=3446 vsize=197424 CPUtime=0
/proc/3454/task/3461/stat : 3461 (java) S 3446 3446 2442 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 636690612 202162176 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3454/tid=3462] ppid=3446 vsize=197424 CPUtime=0
/proc/3454/task/3462/stat : 3462 (java) S 3446 3446 2442 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 636690612 202162176 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3454/tid=3463] ppid=3446 vsize=197424 CPUtime=0
/proc/3454/task/3463/stat : 3463 (java) S 3446 3446 2442 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 636691168 202162176 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 53.6
Current children cumulated vsize (KiB) 870924
[startup+55.1026 s]
/proc/loadavg: 2.04 2.06 1.91 3/103 3474
/proc/meminfo: memFree=1153256/2055920 swapFree=4179368/4192956
[pid=3446] ppid=3444 vsize=5360 CPUtime=19.17
/proc/3446/stat : 3446 (hydra) S 3444 3446 2442 0 -1 4194304 375 10225 0 0 0 0 1911 6 19 0 1 0 636688671 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3446/statm: 1340 238 196 169 0 51 0
[pid=3454] ppid=3446 vsize=197424 CPUtime=5.54
/proc/3454/stat : 3454 (java) S 3446 3446 2442 0 -1 0 13866 0 1 0 536 18 0 0 20 0 10 0 636690607 202162176 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3454/statm: 49356 9391 2543 9 0 43939 0
[pid=3464] ppid=3454 vsize=5356 CPUtime=0
/proc/3464/stat : 3464 (abscon) S 3454 3446 2442 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 636691169 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 254613709636 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/3464/statm: 1339 235 194 169 0 50 0
[pid=3465] ppid=3464 vsize=655740 CPUtime=29.68
/proc/3465/stat : 3465 (java) S 3464 3446 2442 0 -1 0 30197 0 1 0 2948 20 0 0 18 0 9 0 636691169 671477760 29481 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3465/statm: 163935 29481 2617 9 0 158463 0
[pid=3465/tid=3467] ppid=3464 vsize=655740 CPUtime=28.83
/proc/3465/task/3467/stat : 3467 (java) R 3464 3446 2442 0 -1 64 12559 0 1 0 2869 14 0 0 25 0 9 0 636691170 671477760 29481 996147200 134512640 134550740 4294955808 18446744073709551615 101444405 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3465/tid=3468] ppid=3464 vsize=655740 CPUtime=0.46
/proc/3465/task/3468/stat : 3468 (java) S 3464 3446 2442 0 -1 64 16343 0 0 0 41 5 0 0 16 0 9 0 636691171 671477760 29481 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=3465/tid=3469] ppid=3464 vsize=655740 CPUtime=0
/proc/3465/task/3469/stat : 3469 (java) S 3464 3446 2442 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 636691171 671477760 29481 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3465/tid=3470] ppid=3464 vsize=655740 CPUtime=0
/proc/3465/task/3470/stat : 3470 (java) S 3464 3446 2442 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 636691171 671477760 29481 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3465/tid=3471] ppid=3464 vsize=655740 CPUtime=0
/proc/3465/task/3471/stat : 3471 (java) S 3464 3446 2442 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 636691173 671477760 29481 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3465/tid=3472] ppid=3464 vsize=655740 CPUtime=0.37
/proc/3465/task/3472/stat : 3472 (java) S 3464 3446 2442 0 -1 64 736 0 0 0 37 0 0 0 16 0 9 0 636691173 671477760 29481 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3465/tid=3473] ppid=3464 vsize=655740 CPUtime=0
/proc/3465/task/3473/stat : 3473 (java) S 3464 3446 2442 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 636691173 671477760 29481 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3465/tid=3474] ppid=3464 vsize=655740 CPUtime=0
/proc/3465/task/3474/stat : 3474 (java) S 3464 3446 2442 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 636691173 671477760 29481 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3466] ppid=3464 vsize=7044 CPUtime=0
/proc/3466/stat : 3466 (translate) S 3464 3446 2442 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 636691169 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 254613880914 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/3466/statm: 1761 213 182 1 0 41 0
[pid=3454/tid=3455] ppid=3446 vsize=197424 CPUtime=4.31
/proc/3454/task/3455/stat : 3455 (java) S 3446 3446 2442 0 -1 64 3852 0 1 0 425 6 0 0 25 0 10 0 636690608 202162176 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=3454/tid=3456] ppid=3446 vsize=197424 CPUtime=1.02
/proc/3454/task/3456/stat : 3456 (java) S 3446 3446 2442 0 -1 64 8561 0 0 0 91 11 0 0 16 0 10 0 636690610 202162176 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=3454/tid=3457] ppid=3446 vsize=197424 CPUtime=0
/proc/3454/task/3457/stat : 3457 (java) S 3446 3446 2442 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 636690610 202162176 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3454/tid=3458] ppid=3446 vsize=197424 CPUtime=0
/proc/3454/task/3458/stat : 3458 (java) S 3446 3446 2442 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 636690610 202162176 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3454/tid=3459] ppid=3446 vsize=197424 CPUtime=0
/proc/3454/task/3459/stat : 3459 (java) S 3446 3446 2442 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 636690612 202162176 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3454/tid=3460] ppid=3446 vsize=197424 CPUtime=0.18
/proc/3454/task/3460/stat : 3460 (java) S 3446 3446 2442 0 -1 64 647 0 0 0 18 0 0 0 16 0 10 0 636690612 202162176 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3454/tid=3461] ppid=3446 vsize=197424 CPUtime=0
/proc/3454/task/3461/stat : 3461 (java) S 3446 3446 2442 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 636690612 202162176 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3454/tid=3462] ppid=3446 vsize=197424 CPUtime=0
/proc/3454/task/3462/stat : 3462 (java) S 3446 3446 2442 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 636690612 202162176 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3454/tid=3463] ppid=3446 vsize=197424 CPUtime=0
/proc/3454/task/3463/stat : 3463 (java) S 3446 3446 2442 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 636691168 202162176 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 54.39
Current children cumulated vsize (KiB) 870924
[startup+55.9026 s]
/proc/loadavg: 2.04 2.06 1.91 3/103 3474
/proc/meminfo: memFree=1153256/2055920 swapFree=4179368/4192956
[pid=3446] ppid=3444 vsize=5360 CPUtime=19.17
/proc/3446/stat : 3446 (hydra) S 3444 3446 2442 0 -1 4194304 375 10225 0 0 0 0 1911 6 19 0 1 0 636688671 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3446/statm: 1340 238 196 169 0 51 0
[pid=3454] ppid=3446 vsize=197424 CPUtime=5.54
/proc/3454/stat : 3454 (java) S 3446 3446 2442 0 -1 0 13866 0 1 0 536 18 0 0 20 0 10 0 636690607 202162176 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3454/statm: 49356 9391 2543 9 0 43939 0
[pid=3464] ppid=3454 vsize=5356 CPUtime=0
/proc/3464/stat : 3464 (abscon) S 3454 3446 2442 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 636691169 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 254613709636 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/3464/statm: 1339 235 194 169 0 50 0
[pid=3465] ppid=3464 vsize=655740 CPUtime=30.47
/proc/3465/stat : 3465 (java) S 3464 3446 2442 0 -1 0 30206 0 1 0 3027 20 0 0 18 0 9 0 636691169 671477760 29489 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3465/statm: 163935 29489 2617 9 0 158463 0
[pid=3465/tid=3467] ppid=3464 vsize=655740 CPUtime=29.6
/proc/3465/task/3467/stat : 3467 (java) R 3464 3446 2442 0 -1 64 12561 0 1 0 2946 14 0 0 25 0 9 0 636691170 671477760 29489 996147200 134512640 134550740 4294955808 18446744073709551615 4127405010 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3465/tid=3468] ppid=3464 vsize=655740 CPUtime=0.46
/proc/3465/task/3468/stat : 3468 (java) S 3464 3446 2442 0 -1 64 16343 0 0 0 41 5 0 0 17 0 9 0 636691171 671477760 29489 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=3465/tid=3469] ppid=3464 vsize=655740 CPUtime=0
/proc/3465/task/3469/stat : 3469 (java) S 3464 3446 2442 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 636691171 671477760 29489 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3465/tid=3470] ppid=3464 vsize=655740 CPUtime=0
/proc/3465/task/3470/stat : 3470 (java) S 3464 3446 2442 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 636691171 671477760 29489 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3465/tid=3471] ppid=3464 vsize=655740 CPUtime=0
/proc/3465/task/3471/stat : 3471 (java) S 3464 3446 2442 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 636691173 671477760 29489 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3465/tid=3472] ppid=3464 vsize=655740 CPUtime=0.38
/proc/3465/task/3472/stat : 3472 (java) S 3464 3446 2442 0 -1 64 743 0 0 0 38 0 0 0 15 0 9 0 636691173 671477760 29489 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3465/tid=3473] ppid=3464 vsize=655740 CPUtime=0
/proc/3465/task/3473/stat : 3473 (java) S 3464 3446 2442 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 636691173 671477760 29489 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3465/tid=3474] ppid=3464 vsize=655740 CPUtime=0
/proc/3465/task/3474/stat : 3474 (java) S 3464 3446 2442 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 636691173 671477760 29489 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3466] ppid=3464 vsize=7044 CPUtime=0
/proc/3466/stat : 3466 (translate) S 3464 3446 2442 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 636691169 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 254613880914 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/3466/statm: 1761 213 182 1 0 41 0
[pid=3454/tid=3455] ppid=3446 vsize=197424 CPUtime=4.31
/proc/3454/task/3455/stat : 3455 (java) S 3446 3446 2442 0 -1 64 3852 0 1 0 425 6 0 0 25 0 10 0 636690608 202162176 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=3454/tid=3456] ppid=3446 vsize=197424 CPUtime=1.02
/proc/3454/task/3456/stat : 3456 (java) S 3446 3446 2442 0 -1 64 8561 0 0 0 91 11 0 0 16 0 10 0 636690610 202162176 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=3454/tid=3457] ppid=3446 vsize=197424 CPUtime=0
/proc/3454/task/3457/stat : 3457 (java) S 3446 3446 2442 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 636690610 202162176 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3454/tid=3458] ppid=3446 vsize=197424 CPUtime=0
/proc/3454/task/3458/stat : 3458 (java) S 3446 3446 2442 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 636690610 202162176 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3454/tid=3459] ppid=3446 vsize=197424 CPUtime=0
/proc/3454/task/3459/stat : 3459 (java) S 3446 3446 2442 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 636690612 202162176 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3454/tid=3460] ppid=3446 vsize=197424 CPUtime=0.18
/proc/3454/task/3460/stat : 3460 (java) S 3446 3446 2442 0 -1 64 647 0 0 0 18 0 0 0 16 0 10 0 636690612 202162176 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3454/tid=3461] ppid=3446 vsize=197424 CPUtime=0
/proc/3454/task/3461/stat : 3461 (java) S 3446 3446 2442 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 636690612 202162176 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3454/tid=3462] ppid=3446 vsize=197424 CPUtime=0
/proc/3454/task/3462/stat : 3462 (java) S 3446 3446 2442 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 636690612 202162176 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3454/tid=3463] ppid=3446 vsize=197424 CPUtime=0
/proc/3454/task/3463/stat : 3463 (java) S 3446 3446 2442 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 636691168 202162176 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 55.18
Current children cumulated vsize (KiB) 870924
[startup+56.3027 s]
/proc/loadavg: 2.04 2.06 1.91 4/103 3474
/proc/meminfo: memFree=1153256/2055920 swapFree=4179368/4192956
[pid=3446] ppid=3444 vsize=5360 CPUtime=19.17
/proc/3446/stat : 3446 (hydra) S 3444 3446 2442 0 -1 4194304 375 10225 0 0 0 0 1911 6 19 0 1 0 636688671 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3446/statm: 1340 238 196 169 0 51 0
[pid=3454] ppid=3446 vsize=197424 CPUtime=5.54
/proc/3454/stat : 3454 (java) S 3446 3446 2442 0 -1 0 13892 0 1 0 536 18 0 0 20 0 10 0 636690607 202162176 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3454/statm: 49356 9391 2543 9 0 43939 0
[pid=3464] ppid=3454 vsize=5356 CPUtime=0
/proc/3464/stat : 3464 (abscon) S 3454 3446 2442 0 -1 4194304 303 292 0 0 0 0 0 0 16 0 1 0 636691169 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 254613709636 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/3464/statm: 1339 235 194 169 0 50 0
[pid=3465] ppid=3464 vsize=655740 CPUtime=30.85
/proc/3465/stat : 3465 (java) S 3464 3446 2442 0 -1 0 30221 0 1 0 3065 20 0 0 18 0 9 0 636691169 671477760 29503 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3465/statm: 163935 29503 2617 9 0 158463 0
[pid=3465/tid=3467] ppid=3464 vsize=655740 CPUtime=29.96
/proc/3465/task/3467/stat : 3467 (java) S 3464 3446 2442 0 -1 64 12566 0 1 0 2982 14 0 0 25 0 9 0 636691170 671477760 29503 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3465/tid=3468] ppid=3464 vsize=655740 CPUtime=0.46
/proc/3465/task/3468/stat : 3468 (java) S 3464 3446 2442 0 -1 64 16343 0 0 0 41 5 0 0 17 0 9 0 636691171 671477760 29503 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=3465/tid=3469] ppid=3464 vsize=655740 CPUtime=0
/proc/3465/task/3469/stat : 3469 (java) S 3464 3446 2442 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 636691171 671477760 29503 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3465/tid=3470] ppid=3464 vsize=655740 CPUtime=0
/proc/3465/task/3470/stat : 3470 (java) S 3464 3446 2442 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 636691171 671477760 29503 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3465/tid=3471] ppid=3464 vsize=655740 CPUtime=0
/proc/3465/task/3471/stat : 3471 (java) S 3464 3446 2442 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 636691173 671477760 29503 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3465/tid=3472] ppid=3464 vsize=655740 CPUtime=0.4
/proc/3465/task/3472/stat : 3472 (java) S 3464 3446 2442 0 -1 64 753 0 0 0 40 0 0 0 15 0 9 0 636691173 671477760 29503 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3465/tid=3473] ppid=3464 vsize=655740 CPUtime=0
/proc/3465/task/3473/stat : 3473 (java) S 3464 3446 2442 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 636691173 671477760 29503 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3465/tid=3474] ppid=3464 vsize=655740 CPUtime=0
/proc/3465/task/3474/stat : 3474 (java) S 3464 3446 2442 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 636691173 671477760 29503 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3454/tid=3455] ppid=3446 vsize=197424 CPUtime=4.31
/proc/3454/task/3455/stat : 3455 (java) S 3446 3446 2442 0 -1 64 3878 0 1 0 425 6 0 0 16 0 10 0 636690608 202162176 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=3454/tid=3456] ppid=3446 vsize=197424 CPUtime=1.02
/proc/3454/task/3456/stat : 3456 (java) S 3446 3446 2442 0 -1 64 8561 0 0 0 91 11 0 0 16 0 10 0 636690610 202162176 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=3454/tid=3457] ppid=3446 vsize=197424 CPUtime=0
/proc/3454/task/3457/stat : 3457 (java) S 3446 3446 2442 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 636690610 202162176 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3454/tid=3458] ppid=3446 vsize=197424 CPUtime=0
/proc/3454/task/3458/stat : 3458 (java) S 3446 3446 2442 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 636690610 202162176 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3454/tid=3459] ppid=3446 vsize=197424 CPUtime=0
/proc/3454/task/3459/stat : 3459 (java) S 3446 3446 2442 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 636690612 202162176 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3454/tid=3460] ppid=3446 vsize=197424 CPUtime=0.18
/proc/3454/task/3460/stat : 3460 (java) S 3446 3446 2442 0 -1 64 647 0 0 0 18 0 0 0 16 0 10 0 636690612 202162176 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3454/tid=3461] ppid=3446 vsize=197424 CPUtime=0
/proc/3454/task/3461/stat : 3461 (java) S 3446 3446 2442 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 636690612 202162176 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3454/tid=3462] ppid=3446 vsize=197424 CPUtime=0
/proc/3454/task/3462/stat : 3462 (java) S 3446 3446 2442 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 636690612 202162176 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3454/tid=3463] ppid=3446 vsize=197424 CPUtime=0
/proc/3454/task/3463/stat : 3463 (java) S 3446 3446 2442 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 636691168 202162176 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 55.56
Current children cumulated vsize (KiB) 863880
Child status: 0
Real time (s): 56.3856
CPU time (s): 55.6315
CPU user time (s): 55.1376
CPU system time (s): 0.493924
CPU usage (%): 98.6627
Max. virtual memory (cumulated for all children) (KiB): 870924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 55.1376
system time used= 0.493924
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55445
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= 12901
involuntary context switches= 15185
runsolver used 0.172973 second user time and 0.401938 second system time
The end