0.00/0.00 c cpHydra_k_10 version 0.0
26.48/26.77 c CASE TO CLASSIFY:
26.48/26.77 c Case: 0
26.48/26.77 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 39.416700 | c 15 > 13.616700 | 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
26.48/26.78 c choco : 1801.0
26.48/26.78 c mistral : 1801.0
26.48/26.78 c abscon : 1801.0
26.48/26.78 c
26.48/26.78 c
26.57/26.86 c List of same ones: 10
26.57/26.86 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-10.xml
26.57/26.86 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
26.57/26.86 c choco : 1801.0
26.57/26.86 c mistral : 1800.05
26.57/26.86 c abscon : 64.5562
26.57/26.86 c
26.57/26.86 c
26.57/26.87 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-9.xml
26.57/26.87 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
26.57/26.87 c choco : 1801.0
26.57/26.87 c mistral : 1800.09
26.57/26.87 c abscon : 128.934
26.57/26.87 c
26.57/26.87 c
26.57/26.87 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-8.xml
26.57/26.87 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
26.57/26.88 c choco : 1801.0
26.57/26.88 c mistral : 1800.07
26.57/26.88 c abscon : 77.7912
26.57/26.88 c
26.57/26.88 c
26.57/26.88 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-7.xml
26.57/26.88 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
26.57/26.89 c choco : 1801.0
26.57/26.89 c mistral : 1800.08
26.57/26.89 c abscon : 213.954
26.57/26.89 c
26.57/26.89 c
26.57/26.89 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-6.xml
26.57/26.89 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
26.66/26.90 c choco : 1801.0
26.66/26.90 c mistral : 1800.03
26.66/26.90 c abscon : 378.267
26.66/26.90 c
26.66/26.90 c
26.66/26.90 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-3.xml
26.66/26.90 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
26.66/26.91 c choco : 1801.0
26.66/26.91 c mistral : 811.31
26.66/26.91 c abscon : 9.81851
26.66/26.91 c
26.66/26.91 c
26.66/26.91 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-2.xml
26.66/26.91 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
26.66/26.92 c choco : 1801.0
26.66/26.92 c mistral : 310.611
26.66/26.92 c abscon : 9.8545
26.66/26.92 c
26.66/26.92 c
26.66/26.92 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-4.xml
26.66/26.92 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
26.66/26.93 c choco : 1801.0
26.66/26.93 c mistral : 1078.26
26.66/26.93 c abscon : 12.6221
26.66/26.93 c
26.66/26.93 c
26.66/26.93 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-1.xml
26.66/26.93 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
26.66/26.93 c choco : 1801.0
26.66/26.93 c mistral : 126.293
26.66/26.93 c abscon : 10.1565
26.66/26.93 c
26.66/26.93 c
26.66/26.93 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-0.xml
26.66/26.93 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
26.66/26.94 c choco : 1801.0
26.66/26.94 c mistral : 44.86
26.66/26.94 c abscon : 9.39257
26.66/26.94 c
26.66/26.94 c
26.85/27.16 c Length: 10
26.85/27.16 c 5.319154845819021 5.358629010651883 5.393829963374817 5.460358186401326 5.4610390882871345 5.515357822825276 5.518943952768499 5.548665439887323 5.556775229735316 5.694720144467151
26.85/27.16 c
26.85/27.16 c 1.0 0.9048905747376738 0.8341439043047325 0.7267571406953356 0.7258008149702091 0.6568487875937119 0.6527547108256497 0.6206912276112421 0.6124821719213429 0.5
26.85/27.16 c
26.85/27.16 c solver 0
26.85/27.16 c before 0.0 seconds: {} 0
26.85/27.16 c before 18.0 seconds: {5, 6, 7, 8, 9} 3042
26.85/27.16 c before 72.0 seconds: {0, 5, 6, 7, 8, 9} 4042
26.85/27.16 c before 90.0 seconds: {0, 2, 5, 6, 7, 8, 9} 4876
26.85/27.16 c before 144.0 seconds: {0, 1, 2, 5, 6, 7, 8, 9} 5781
26.85/27.16 c before 216.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9} 6508
26.85/27.16 c before 396.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7234
26.85/27.16 c
26.85/27.16 c solver 1
26.85/27.16 c before 0.0 seconds: {} 0
26.85/27.16 c before 54.0 seconds: {9} 500
26.85/27.16 c before 144.0 seconds: {8, 9} 1112
26.85/27.16 c before 324.0 seconds: {6, 8, 9} 1765
26.85/27.16 c before 828.0 seconds: {5, 6, 8, 9} 2422
26.85/27.16 c before 1080.0 seconds: {5, 6, 7, 8, 9} 3042
26.85/27.16 c
26.85/27.16 c solver 2
26.85/27.16 c before 0.0 seconds: {} 0
26.85/27.17 c
26.85/27.17 cTotal time: 82
26.85/27.17 c 1476.0 seconds unused
26.85/27.17 c 0 c 5 c 10
26.85/27.17 c 0 c 0 c 5
26.85/27.17 c 0 c 0 c 0
26.85/27.17 c is solver0 dominated by:
26.85/27.17 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)
26.85/27.17 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)
26.85/27.17 c is dominated? false
26.85/27.17 c
26.85/27.17 c is solver1 dominated by:
26.85/27.17 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)
26.85/27.17 c is dominated? true
26.85/27.17 c
26.85/27.17 c is solver2 dominated by:
26.85/27.17 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)
26.85/27.17 c is dominated? true
26.85/27.17 c
26.85/27.17 c Number of non-dominated solvers: 1
26.85/27.17 c remove dominated solvers
26.85/27.17 c solver 0 is not dominated by another solver
26.85/27.17 c solver 2 is dominated by another solver
26.85/27.17 c solver 1 is dominated by another solver
26.85/27.17 c
26.85/27.17 c solver 0: 396.0
26.85/27.17 c
26.85/27.17 c+ 22/22 of 78
26.85/27.17 c
26.85/27.17 c solver 1: 0.0
26.85/27.17 c
26.85/27.17 c solver 2: 0.0
26.85/27.17 c run abscon for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7234
26.85/27.17 c do not run mistral
26.85/27.17 c do not run choco
26.85/27.17 c Starting solver: HOME/cpHydra_k_10/solver/abscon
26.85/27.17 c On Instance: HOME/instance-1087464-1215244178.xml
26.85/27.17 c Running for: 1800 seconds
60.03/61.09 s SAT
60.03/61.09 v -2632 -2256 -2356 -2240 -2240 2612 -2240 -2280 2640 -2240 -2420 2588 -2240 -2376 2680 2720 -2344 -2640 2280 -2280 2648 -2240 -2240 2240 -2680 -2676 2712 -2720 -2352 -2680 -2672 -2364 -2680 -2680 2240 -2412 -2352 -2720 -2592 -2404 -2240 -2568 -2720 -2720 2616 2476 -2300 -2528 -2352 -2632 -2528 -2492 2648 2416 -2380 -2680 -2240 2596 -2544 -2240 -2240 -2548 2568 -2488 -2616 -2508 -2388 -2240 -2240 -2240 -2280 -2720 -2720 -2444 -2720 -2280 -2328 -2340 -2284 -2456 2604 2656 -2280 -2720 -2720 -2484 -2720 -2328 -2272 -2404 -2312 -2720 -2600 -2368 -2352 -2680 -2252 -2356 2520 -2280 -2572 -2240 2464 -2256 -2240 -2260 -2556 2352 -2308 2668 -2432 -2240 -2684 -2488 -2368 -2408 2704 -2240 -2536 -2460 -2676 -2456 -2544 -2720 -2412 -2252 -2280 2720 -2408 -2316 -2680 -2312 2280 -2428 -2372 -2520 -2636 -2540 -2280 -2696 -2684 2240 -2280 2700 -2240 -2680 -2720 -2240 -2416 -2576 2680 -2420 -2240 -2252 -2340 2572 -2396 -2536 -2544 -2240 -2476 2636 -2240 -2640 -2332 -2280 -2568 2644 -2680 -2240 -2308 -2720 -2720 -2720 -2624 -2576 -2448 -2348 -2636 -2672 2240 -2680 -2680 -2280 -2720 -2248 -2384 -2532 -2424 2680 -2240 -2720 -2324 -2720 -2436 2720 -2564 -2720 2240 2564 -2644 -2460 -2412 -2280 -2464 -2240 -2356 -2596 2680 -2280 2400 -2720 2720 2680 -2680 -2360 -2360 -2316 -2388 -2580 -2492 -2288 -2520 -2720 2680 -2244 -2240 -2280 -2240 -2240 2664 2268 -2280 -2400 -2540 2684 -2280 -2456 2624 -2500 -2720 -2280 -2340 -2552 -2544 -2608 -2240 -2640 -2280 -2332 -2412 -2632 -2252 -2408 -2244 2240 -2516 -2680 -2240 -2568 2548 -2304 -2496 2656 -2720 -2680 -2720 -2544 -2720 -2300 -2720 -2424 -2280 -2720 -2288 -2644 -2560 -2392 -2324 -2588 -2436 -2336 -2400 -2412 -2536 2640 -2644 -2680 2680 -2368 -2264 -2556 -2296 -2356 -2280 -2348 -2312 -2512 2568 2620 -2680 -2376 -2364 -2280 -2540 -2372 -2272 -2404 -2240 -2680 -2240 -2524 -2500 -2720 -2680 -2680 -2408 -2244 -2720 -2316 -2336 -2616 -2356 -2400 -2372 -2580 -2520 -2680 -2508 -2420 -2580 -2720 -2296 2680 -2288 -2280 -2600 -2424 -2240 -2540 -2720 2596 -2672 -2468 -2388 -2388 -2364 -2408 -2680 2412 -2680 2292 -2720 -2704 -2280 -2680 2720 -2288 -2240 2364 -2516 -2680 -2696 -2528 -2240 -2720 -2280 -2464 -2380 -2572 -2376 -2656 -2240 -2476 2712 -2240 -2476 -2244 -2368 -2692 -2720 -2372 -2440 -2552 -2680 -2588 -2696 -2688 2556 -2612 -2292 -2284 -2428 -2280 -2632 -2476 -2548 -2252 -2288 -2520 -2680 -2460 2680 -2688 -2336 -2332 -2312 -2680 -2616 -2600 -2432 -2468 2664 -2240 -2244 -2648 -2620 -2276 -2244 -2476 -2288 -2628 -2240 2680 -2584 -2680 -2560 -2720 -2320 -2308 -2564 -2720 -2720 -2280 2560 -2284 -2348 -2292 -2696 -2280 2628 -2600 -2292 -2404 -2280 -2432 -2676 -2436 -2680 -2708 -2720 -2644 -2284 -2544 -2492 -2592 -2568 -2504 -2272 -2720 -2300 -2528 -2492 -2412 2652 -2360 -2420 -2336 -2596 -2284 2648 -2308 -2388 -2524 -2680 -2628 -2400 2624 -2240 -2720 2280 -2392 -2256 -2280 -2564 -2284 -2460 -2300 -2680 -2392 -2676 -2392 -2680 -2280 -2500 -2720 -2616 -2452 2252 -2460 2632 -2720 -2464 -2680 2596 -2332 -2328 -2256 -2720 -2572 -2720 -2288 -2680 -2680 -2348 -2324 -2280 -2524 -2720 -2300 -2240 -2444 -2252 -2380 -2720 -2720 -2460 -2240 -2288 2696 2680 -2312 -2532 -2388 -2680 -2588 -2700 -2720 -2680 -2280 -2240 -2540 -2252 -2396 -2508 -2240 -2456 -2680 -2280 -2240 -2720 -2400 -2268 -2308 -2680 -2680 -2372 -2508 -2512 -2416 -2488 -2580 -2512 -2280 -2564 -2240 -2324 -2280 -2492 2680 -2516 -2280 -2500 -2720 -2484 -2392 -2596 -2504 2576 2240 -2472 -2280 -2432 -2720 -2720 -2280 -2452 -2668 -2720 -2720 -2280 -2296 -2528 -2292 -2288 -2436 -2284 -2244 2240 -2244 -2416 -2520 -2280 -2440 2640 -2404 -2532 -2528 -2416 -2556 -2656 -2720 -2476 -2720 -2240 -2508 -2324 -2480 -2588 -2620 -2664 -2488 -2240 -2600 -2296 -2404 -2240 -2400 -2492 2652 -2720 -2268 -2544 -2428 -2260 -2632 -2448 -2692 -2680 -2244 -2568 -2680 -2388 -2680 -2548 -2280 -2576 -2476 -2280 -2308 -2600 -2292 -2424 -2360 -2364 2652 -2492 -2360 -2532 2240 -2484 2604 -2332 -2280 -2300 -2308 -2480 -2304 -2536 -2604 -2720 -2420 -2468 -2452 -2584 -2680 2492 -2432 -2592 2668 -2720 -2644 -2688 -2536 -2396 -2240 -2548 -2680 -2452 -2480 -2720 -2432 2328 -2316 -2588 -2416 -2348 -2720 -2668 -2356 -2344 -2272 -2680 -2412 -2512 -2344 -2388 -2308 -2680 -2240 -2552 -2720 -2428 2516 -2296 -2580 -2472 -2356 -2660 -2660 -2660 2240 -2720 -2252 -2388 -2312 -2592 -2720 -2660 -2264 -2720 2328 -2360 -2680 -2680 -2448 -2648 -2240 -2392 -2680 -2296 -2680 2700 -2280 -2284 -2388 -2240 -2720 -2588 -2708 -2284 -2244 2668 -2332 -2448 -2680 -2664 -2268 -2720 -2556 -2680 -2636 -2680 -2432 -2516 -2580 -2304 -2356 2672 -2492 -2296 -2444 -2680 -2680 -2592 -2380 -2344 -2280 -2580 -2720 -2328 -2240 -2680 -2464 -2492 -2372 -2720 2632 -2596 -2624 -2720 -2700 -2680 -2352 -2692 -2500 -2680 2440 -2340 -2292 -2628 2588 -2512 -2404 -2720 -2704 -2532 -2636 -2720 -2280 -2280 -2556 -2396 -2680 2680 -2660 -2564 -2720 -2360 -2604 -2240 -2280 -2620 -2384 -2500 -2440 -2296 -2720 -2532 -2240 -2688 -2720 -2436 -2656 -2292 -2280 -2720 -2340 -2644 2528 -2368 -2508 -2324 -2548 -2492 -2504 2304 -2540 -2424 -2680 -2384 -2336 -2332 -2632 -2680 -2240 -2720 -2240 -2280 -2720 -2472 -2500 -2672 -2436 -2612 -2256 -2280 -2680 -2680 -2720 -2484 -2504 -2260 -2340 -2280 -2688 -2240 -2324 2672 -2320 -2264 -2668 -2528 -2436 -2720 -2472 -2680 -2332 -2400 -2360 -2720 -2544 -2660 -2552 -2720 -2720 -2680 -2720 -2344 2384 -2308 -2264 -2256 -2680 -2280 -2504 2280 -2248 -2532 -2492 -2308 -2280 -2464 -2296 -2252 -2680 -2720 -2504 -2720 -2720 -2680 -2580 -2652 -2432 -2680 2280 -2280 -2428 2680 -2360 -2680 2680 -2520 -2720 -2680 -2476 -2652 -2304 -2404 -2360 -2408 2564 -2240 -2296 -2472 -2640 -2280 -2720 -2568 -2680 -2316 -2348 -2296 -2656 -2564 2600 -2296 -2284 -2452 -2524 -2500 -2388 -2384 -2276 2500 2680 -2692 -2720 2680 -2280 -2440 -2460 -2508 -2312 -2296 -2252 -2240 2252 -2720 -2424 -2664 -2680 -2376 -2284 -2280 -2280 -2676 -2436 -2552 -2392 -2560 -2308 -2280 -2608 2572 -2492 -2424 -2284 -2432 2680 -2260 -2652 -2324 -2680 -2720 -2240 2664 -2720 -2244 -2680 -2680 -2516 -2680 -2272 -2612 -2548 -2720 2256 2680 -2680 -2360 -2284 -2240 -2720 -2280 -2280 -2328 -2424 -2448 -2644 -2256 -2296 -2648 -2428 -2396 2372 -2296 2364 -2292 -2648 -2292 -2488 -2680 -2408 2660 -2632 -2596 -2720 -2292 -2436 -2240 -2300 -2648 -2312 -2552 -2496 -2672 -2252 2680 -2680 -2680 -2616 -2720 -2416 -2456 -2464 -2296 -2720 -2240 -2280 -2280 -2320 -2396 -2640 -2280 -2400 -2720 -2280 -2376 -2384 -2320 -2720 -2244 -2280 -2460 -2380 -2256 2600 -2552 -2720 -2408 -2240 2428 -2580 -2568 -2312 -2524 -2688 2680 -2316 -2344 -2680 -2460 -2556 -2680 -2648 -2476 -2468 -2292 -2452 -2672 -2680 -2640 -2348 -2548 -2436 2668 -2372 -2576 2240 -2388 -2592 -2600 -2384 -2444 -2680 -2680 -2480 -2284 -2652 -2280 -2352 -2680 -2364 -2440 -2560 -2720 -2476 -2352 -2420 -2448 -2680 -2272 2556 -2364 -2660 -2720 -2680 -2620 2680 -2720 -2568 -2720 -2372 -2376 -2720 -2680 -2572 -2280 -2320 -2592 -2680 2408 -2320 -2680 -2720 -2720 -2280 -2720 -2364 -2360 -2396 2680 -2532 -2512 -2292 -2384 -2660 -2604 -2692 -2600 -2396 -2680 -2720 -2548 2324 -2484 -2696 -2284 -2280 -2396 2320 -2400 -2720 -2356 -2620 -2480 -2348 -2680 -2304 -2720 -2416 -2568 -2608 -2280 -2680 -2524 -2680 -2604 -2244 2280 -2528 -2288 -2244 2680 -2280 -2392 2272 -2680 -2404 -2432 -2364 -2304 -2356 -2256 -2348 -2416 -2240 -2636 -2720 2720 -2428 -2292 -2280 -2404 -2284 -2680 -2364 -2356 -2392 2680 -2296 -2456 -2448 -2476 -2488 -2596 -2640 2680 -2720 -2364 -2576 -2620 -2396 -2688 -2372 -2644 -2284 -2620 -2384 -2604 -2568 -2500 -2348 -2296 -2308 -2680 -2608 -2280 2500 -2312 -2328 -2608 -2372 -2680 -2388 -2428 -2292 -2260 -2648 -2392 -2720 -2280 -2240 -2524 -2716 -2680 -2720 2268 -2564 -2368 -2372 -2240 2360 -2636 -2612 2672 -2672 -2336 -2300 -2720 -2720 -2452 -2720 -2280 -2680 -2680 2656 -2524 -2384 -2600 -2720 -2420 -2240 -2720 -2720 -2536 -2680 -2336 -2296 2588 -2712 -2612 -2700 -2720 2660 -2240 -2280 -2600 -2516 -2532 -2488 -2576 -2272 -2364 -2680 -2284 -2348 -2568 2680 -2564 -2240 -2284 -2680 -2572 -2680 -2584 -2680 -2580 -2452 -2720 -2280 -2540 -2268 -2280 -2528 -2696 -2292 -2708 -2308 -2428 -2720 -2296 -2720 -2292 -2628 -2304 -2628 -2448 2680 -2608 2280 -2256 2240 -2680 -2680 -2240 -2696 -2680 2400 -2596 -2680 -2468 -2500 -2680 -2720 -2280 -2528 2556 -2680 -2680 -2240 -2648 -2416 -2312 -2300 -2720 2680 -2720 -2500 -2240 -2248 -2448 -2240 -2400 -2568 -2492 -2680 -2720 -2332 -2280 -2720 -2700 2680 -2444 -2400 -2680 -2456 -2720 -2520 2240 -2472 -2460 -2720 -2484 -2548 -2240 -2680 -2380 -2680 -2280 -2608 -2368 -2604 -2720 -2504 -2292 -2608 -2364 2624 -2720 -2720 -2432 -2240 -2560 -2712 -2280 -2652 -2720 -2392 -2680 -2280 -2320 -2396 -2248 -2404 2680 -2720 -2680 2628 -2612 -2288 -2680 -2248 -2240 -2244 -2680 -2656 -2680 2400 -2680 -2596 -2632 -2720 -2244 -2360 -2256 -2680 -2640 -2344 -2280 -2596 -2680 -2528 -2680 -2504 2492 -2424 -2240 -2296 -2720 -2720 -2512 -2720 -2680 -2672 -2720 2240 -2672 -2492 -2292 -2720 -2680 2720 -2576 -2680 -2240 -2420 -2348 -2460 -2584 -2496 -2680 -2280 -2720 -2280 -2504 -2344 -2568 -2596 -2552 -2528 -2460 -2324 -2344 -2716 -2240 2592 -2720 -2540 -2280 -2280 -2252 -2360 -2252 2240 -2636 -2480 -2316 -2636 -2252 -2720 -2524 2448 -2568 -2712 -2528 -2264 -2328 -2288 -2300 -2360 -2680 -2352 -2720 -2556 2240 -2576 -2260 -2492 -2440 -2532 2364 -2604 2280 -2240 -2240 -2420 -2244 -2440 -2720 -2720 -2720 -2596 -2504 -2428 -2720 -2404 -2432 -2380 -2268 -2256 -2360 -2280 -2248 -2552 -2356 -2416 -2284 -2504 -2720 -2488 -2680 -2720 -2688 -2508 -2588 -2680 -2280 -2624 -2628 -2664 -2536 -2356 -2272 -2584 -2588 -2504 -2508 -2552 -2280 2680 -2424 -2480 -2632 -2720 -2532 -2364 -2340 -2680 -2560 -2532 -2468 -2240 -2684 -2424 -2680 -2420 -2296 -2680 -2240 -2464 -2660 -2388 -2672 -2720 -2680 -2564 -2640 -2508 -2680 -2680 -2280 -2428 -2520 -2664 -2524 -2560 2288 -2552 -2296 2720 -2296 -2632 -2304 -2368 2588 -2516 -2288 -2280 -2636 -2720 -2512 -2548 -2392 -2656 -2292 -2596 -2308 -2628 -2308 -2720 -2556 -2592 -2508 -2600 -2692 -2264 -2312 -2688 -2636 -2648 -2672 -2400 -2472 -2384 -2552 -2292 -2280 -2312 -2324 2680 -2548 -2272 -2404 -2420 -2316 -2480 -2712 -2248 -2280 -2256 -2284 -2528 -2652 -2468 2436 -2260 -2560 -2644 -2648 -2260 -2376 -2280 -2564 -2680 -2444 -2720 -2688 -2292 2680 -2440 -2320 2620 -2496 -2720 -2308 -2680 -2564 -2488 2240 -2660 -2340 -2396 -2680 -2372 -2280 -2596 -2296 -2660 -2244 -2436 -2252 -2280 -2240 -2464 -2720 -2444 -2608 -2396 -2492 -2544 -2276 -2364 -2508 -2552 -2408 -2332 -2448 2680 -2520 -2292 -2720 -2696 -2280 -2568 -2280 -2480 -2636 -2612 -2284 -2268 -2300 -2300 -2528 -2720 -2720 -2544 -2280 -2720 -2584 -2712 2680 -2448 -2592 2240 -2516 -2532 -2336 -2568 -2540 2400 -2680 -2640 -2436 -2440 2720 -2532 -2312 -2640 -2716 -2632 -2288 -2552 -2720 -2392 -2512 2684 -2660 -2504 -2480 -2680 -2660 -2720 -2636 -2260 -2468 2680 -2720 -2680 -2240 -2488 -2552 -2444 -2240 2600 -2680 -2648 -2680 -2436 -2324 2648 -2520 -2256 -2300 -2628 -2252 -2720 -2324 -2636 -2240 -2720 -2332 -2424 -2720 -2444 -2680 -2680 -2620 2680 -2424 -2720 -2636 -2280 -2548 -2512 -2468 -2680 2492 -2320 -2420 -2680 2680 -2680 -2680 -2568 -2288 -2632 -2572 -2444 -2680 -2452 -2720 2380 -2240 -2720 -2472 -2240 -2720 -2280 -2352 -2280 -2280 -2512 2644 -2512 -2640 -2544 -2364 2712 -2444 -2560 -2680 -2720 2256 2560 -2720 -2284 -2440 -2568 -2456 -2680 -2372 -2720 2404 -2456 -2568 -2336 -2360 -2624 2620 -2720 -2720 -2720 -2320 -2240 -2456 -2636 -2680 -2484 -2648 -2240 -2300 -2292 -2528 -2240 -2396 -2680 -2240 -2500 -2608 -2720 -2720 -2324 -2296 -2300 -2240 -2412 2648 -2396 2240 -2712 2704 -2636 2680 2720 2396 2468 -2280 -2720 2280 -2392 -2280 -2680 -2720 -2440 -2328 2688 -2656 2680 2680 -2720 2676 -2280 -2608 -2720 -2280 -2296 -2396 -2680 -2428 -2584 -2460 -2272 -2588 2692 -2528 -2484 -2680 -2400 -2416 -2720 -2720 -2548 2240 -2240 2332 -2368 -2280 -2400 -2680 -2676 -2280 -2480 -2420 -2292 -2720 -2680 2568 -2284 -2492 -2508 -2720 -2280 -2488 -2512 -2572 -2584 -2460 -2280 2700 -2508 -2356 -2252 -2388 -2256 -2720 -2340 -2452 -2680 -2720 -2528 -2324 -2672 -2388 2508 -2296 -2720 2680 -2280 -2680 -2280 -2680 -2680 -2436 -2296 -2240 -2296 2536 2240 -2384 -2720 -2240 -2576 -2552 2680 2588 -2428 -2380 -2720 -2720 -2588 2680 -2484 -2280 -2372 -2336 -2720 -2488 -2252 -2720 2616 -2376 -2364 -2720 -2680 -2720 -2280 -2280 -2344 -2720 -2680 -2720 -2712 -2720 -2436 -2248 -2672 -2680 -2420 -2364 -2472 -2240 -2460 -2720 -2516 -2280 -2240 -2720 -2240 2712 -2720 -2536 -2620 -2352 -2280 -2656 -2280 -2608 -2708 -2652 -2448 -2264 -2332 -2380 -2480 -2308 -2244 -2244 -2396 -2612 -2460 -2680 -2300 -2252 -2476 -2280 -2644 -2280 2240 -2584 -2520 -2284 -2280 -2680 -2448 -2680 -2720 -2672 -2260 -2412 -2488 -2548 -2676 -2484 -2536 -2720 -2284 -2656 -2348 2688 -2400 -2680 -2240 -2608 -2696 2336 -2316 -2528 -2428 2588 -2680 -2576 -2520 2680 -2548 -2568 -2680 -2336 -2680 -2512 -2512 -2368 -2324 -2468 -2528 2240 -2568 -2248 2680 -2240 -2428 -2256 -2704 -2288 -2484 -2560 -2680 -2324 -2496 -2668 -2576 -2720 -2312 -2720 -2240 -2680 -2560 -2536 -2280 -2280 -2420 -2540 -2720 -2296 -2280 -2364 -2616 -2528 -2288 -2660 -2720 2680 -2404 -2612 -2324 2680 -2644 -2240 2500 -2320 2380 -2516 -2240 -2696 -2680 -2608 -2680 -2560 -2720 -2492 -2544 -2696 -2240 -2280 -2676 -2476 -2680 -2452 -2360 -2720 -2680 -2280 -2240 -2664 -2240 -2476 -2240 -2472 -2324 -2720 -2720 2680 -2548 -2620 -2280 -2348 2720 -2560 -2332 -2240 -2280 -2480 -2720 -2416 -2272 -2244 -2312 -2720 -2680 -2680 -2568 -2544 -2528 -2416 2676 -2240 -2488 2688 -2524 -2296 -2644 -2464 -2320 -2376 2440 -2616 -2720 -2352 -2568 -2592 -2548 -2328 -2560 -2680 -2680 -2556 -2424 -2532 -2624 -2372 -2288 -2452 -2404 -2280 2284 2260 -2524 2280 -2528 -2364 -2332 -2680 -2388 -2364 -2240 -2280 -2680 -2612 -2436 2572 -2280 -2352 -2448 -2404 -2428 -2552 2240 -2524 -2500 -2240 -2404 -2720 -2720 -2360 -2660 -2548 -2680 -2680 -2280 -2680 -2332 -2340 -2540 -2312 -2512 -2404 -2324 -2360 -2240 -2436 -2308 2240 -2424 -2356 -2616 -2664 -2624 -2444 2240 -2348 -2280 -2416 -2544 -2520 -2468 -2448 -2256 -2280 -2408 -2552 -2524 -2720 -2292 -2324 -2664 -2568 -2656 -2400 -2432 -2548 -2648 -2324 2376 -2600 -2616 -2304 -2444 -2336 -2348 -2420 -2284 -2568 -2392 -2248 -2720 -2388 -2540 -2248 -2396 -2524 -2304 -2680 -2400 -2444 -2432 -2580 -2600 -2360 -2680 -2460 -2400 -2596 -2240 2680 -2464 -2360 -2312 -2296 -2668 -2280 -2364 -2720 2704 -2448 -2404 -2656 -2320 -2240 -2432 -2248 2656 -2680 -2284 -2260 -2240 -2396 2240 2548 -2720 -2672 -2720 2240 -2240 -2680 -2680 -2720 2280 -2352 -2720 -2440 -2380 -2604 -2304 -2280 -2528 -2680 -2380 2676 -2720 -2380 -2588 -2336 -2280 -2680 -2700 -2680 2620 -2680 -2292 -2640 -2284 -2240 -2720 2680 -2256 -2680 -2560 -2240 -2704 -2432 -2256 -2720 -2280 -2720 -2300 -2540 -2580 -2480 -2720 -2540 -2256 -2436 -2328 -2548 -2268 -2656 -2584 -2680 -2508 -2540 -2428 -2280 2720 -2680 -2240 -2648 -2364 -2312 -2488 -2676 -2688 -2380 -2484 -2240 -2720 -2720 -2472 -2496 -2260 -2328 -2420 -2456 -2652 -2280 -2332 -2720 -2432 -2304 -2468 -2720 -2280 -2280 2716 -2596 2340 -2720 -2476 2280 2416 -2656 -2720 -2648 -2336 -2680 -2604 -2292 -2720 -2680 -2348 -2280 -2688 -2388 -2408 -2680 -2440 -2680 -2604 -2452 -2364
60.03/61.09 d ASSIGNMENTS 2550
60.03/61.09 d CHECKS 22253258
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1087464-1215244178/watcher-1087464-1215244178 -o /tmp/evaluation-result-1087464-1215244178/solver-1087464-1215244178 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1087464-1215244178.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.99 1.98 1.99 4/72 13491
/proc/meminfo: memFree=1486192/2055920 swapFree=4180452/4192956
[pid=13491] ppid=13489 vsize=18572 CPUtime=0
/proc/13491/stat : 13491 (runsolver) R 13489 13491 12366 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 2003391709 19017728 292 996147200 4194304 4296836 548682068480 18446744073709551615 221780700455 0 0 4096 24578 0 0 0 17 1 0 0
/proc/13491/statm: 4643 292 257 25 0 2626 0
[startup+0.071054 s]
/proc/loadavg: 1.99 1.98 1.99 4/72 13491
/proc/meminfo: memFree=1486192/2055920 swapFree=4180452/4192956
[pid=13491] ppid=13489 vsize=5360 CPUtime=0
/proc/13491/stat : 13491 (hydra) S 13489 13491 12366 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2003391709 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13491/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101045 s]
/proc/loadavg: 1.99 1.98 1.99 4/72 13491
/proc/meminfo: memFree=1486192/2055920 swapFree=4180452/4192956
[pid=13491] ppid=13489 vsize=5360 CPUtime=0
/proc/13491/stat : 13491 (hydra) S 13489 13491 12366 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2003391709 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13491/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301066 s]
/proc/loadavg: 1.99 1.98 1.99 4/72 13491
/proc/meminfo: memFree=1486192/2055920 swapFree=4180452/4192956
[pid=13491] ppid=13489 vsize=5360 CPUtime=0
/proc/13491/stat : 13491 (hydra) S 13489 13491 12366 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2003391709 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13491/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.70109 s]
/proc/loadavg: 1.99 1.98 1.99 4/72 13491
/proc/meminfo: memFree=1486192/2055920 swapFree=4180452/4192956
[pid=13491] ppid=13489 vsize=5360 CPUtime=0
/proc/13491/stat : 13491 (hydra) S 13489 13491 12366 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2003391709 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13491/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50113 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 13495
/proc/meminfo: memFree=1449376/2055920 swapFree=4180452/4192956
[pid=13491] ppid=13489 vsize=5360 CPUtime=0
/proc/13491/stat : 13491 (hydra) S 13489 13491 12366 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2003391709 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13491/statm: 1340 236 195 169 0 51 0
[pid=13495] ppid=13491 vsize=74024 CPUtime=1.47
/proc/13495/stat : 13495 (xsolve) R 13491 13491 12366 0 -1 4194304 9615 0 0 0 140 7 0 0 25 0 1 0 2003391710 75800576 9508 996147200 134512640 135239763 4294956176 18446744073709551615 134534753 0 0 4096 0 0 0 0 17 1 0 0
/proc/13495/statm: 18506 9508 416 177 0 17409 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 79384
[startup+3.10123 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 13495
/proc/meminfo: memFree=1449248/2055920 swapFree=4180452/4192956
[pid=13491] ppid=13489 vsize=5360 CPUtime=0
/proc/13491/stat : 13491 (hydra) S 13489 13491 12366 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2003391709 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13491/statm: 1340 236 195 169 0 51 0
[pid=13495] ppid=13491 vsize=74024 CPUtime=3.06
/proc/13495/stat : 13495 (xsolve) R 13491 13491 12366 0 -1 4194304 9615 0 0 0 299 7 0 0 25 0 1 0 2003391710 75800576 9508 996147200 134512640 135239763 4294956176 18446744073709551615 134543162 0 0 4096 0 0 0 0 17 1 0 0
/proc/13495/statm: 18506 9508 416 177 0 17409 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 79384
[startup+6.30143 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 13495
/proc/meminfo: memFree=1449248/2055920 swapFree=4180452/4192956
[pid=13491] ppid=13489 vsize=5360 CPUtime=0
/proc/13491/stat : 13491 (hydra) S 13489 13491 12366 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2003391709 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13491/statm: 1340 236 195 169 0 51 0
[pid=13495] ppid=13491 vsize=74024 CPUtime=6.22
/proc/13495/stat : 13495 (xsolve) R 13491 13491 12366 0 -1 4194304 9616 0 0 0 614 8 0 0 25 0 1 0 2003391710 75800576 9509 996147200 134512640 135239763 4294956176 18446744073709551615 134543207 0 0 4096 0 0 0 0 17 1 0 0
/proc/13495/statm: 18506 9509 417 177 0 17409 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 79384
[startup+12.7028 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 13495
/proc/meminfo: memFree=1449376/2055920 swapFree=4180452/4192956
[pid=13491] ppid=13489 vsize=5360 CPUtime=0
/proc/13491/stat : 13491 (hydra) S 13489 13491 12366 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2003391709 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13491/statm: 1340 236 195 169 0 51 0
[pid=13495] ppid=13491 vsize=74024 CPUtime=12.57
/proc/13495/stat : 13495 (xsolve) R 13491 13491 12366 0 -1 4194304 9616 0 0 0 1249 8 0 0 25 0 1 0 2003391710 75800576 9509 996147200 134512640 135239763 4294956176 18446744073709551615 134534753 0 0 4096 0 0 0 0 17 1 0 0
/proc/13495/statm: 18506 9509 417 177 0 17409 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 79384
[startup+25.5026 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 13507
/proc/meminfo: memFree=1464928/2055920 swapFree=4180452/4192956
[pid=13491] ppid=13489 vsize=5360 CPUtime=21.1
/proc/13491/stat : 13491 (hydra) S 13489 13491 12366 0 -1 4194304 375 10224 0 0 0 0 2101 9 20 0 1 0 2003391709 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13491/statm: 1340 238 196 169 0 51 0
[pid=13499] ppid=13491 vsize=197092 CPUtime=4.18
/proc/13499/stat : 13499 (java) S 13491 13491 12366 0 -1 0 9684 0 1 0 406 12 0 0 18 0 9 0 2003393839 201822208 8026 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13499/statm: 49273 8026 2540 9 0 43856 0
[pid=13499/tid=13500] ppid=13491 vsize=197092 CPUtime=3.26
/proc/13499/task/13500/stat : 13500 (java) R 13491 13491 12366 0 -1 64 3498 0 1 0 322 4 0 0 25 0 9 0 2003393840 201822208 8026 996147200 134512640 134550740 4294955968 18446744073709551615 4126517720 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13499/tid=13501] ppid=13491 vsize=197092 CPUtime=0.72
/proc/13499/task/13501/stat : 13501 (java) S 13491 13491 12366 0 -1 64 4835 0 0 0 66 6 0 0 16 0 9 0 2003393842 201822208 8026 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13499/tid=13502] ppid=13491 vsize=197092 CPUtime=0
/proc/13499/task/13502/stat : 13502 (java) S 13491 13491 12366 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2003393842 201822208 8026 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13499/tid=13503] ppid=13491 vsize=197092 CPUtime=0
/proc/13499/task/13503/stat : 13503 (java) S 13491 13491 12366 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2003393842 201822208 8026 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13499/tid=13504] ppid=13491 vsize=197092 CPUtime=0
/proc/13499/task/13504/stat : 13504 (java) S 13491 13491 12366 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2003393844 201822208 8026 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13499/tid=13505] ppid=13491 vsize=197092 CPUtime=0.17
/proc/13499/task/13505/stat : 13505 (java) S 13491 13491 12366 0 -1 64 626 0 0 0 17 0 0 0 16 0 9 0 2003393844 201822208 8026 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13499/tid=13506] ppid=13491 vsize=197092 CPUtime=0
/proc/13499/task/13506/stat : 13506 (java) S 13491 13491 12366 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003393844 201822208 8026 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13499/tid=13507] ppid=13491 vsize=197092 CPUtime=0
/proc/13499/task/13507/stat : 13507 (java) S 13491 13491 12366 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003393844 201822208 8026 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 202452
[startup+51.1023 s]
/proc/loadavg: 1.99 1.98 1.99 3/94 13519
/proc/meminfo: memFree=1349632/2055920 swapFree=4180452/4192956
[pid=13491] ppid=13489 vsize=5360 CPUtime=21.1
/proc/13491/stat : 13491 (hydra) S 13489 13491 12366 0 -1 4194304 375 10224 0 0 0 0 2101 9 20 0 1 0 2003391709 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13491/statm: 1340 238 196 169 0 51 0
[pid=13499] ppid=13491 vsize=197416 CPUtime=5.82
/proc/13499/stat : 13499 (java) S 13491 13491 12366 0 -1 0 13865 0 1 0 564 18 0 0 18 0 10 0 2003393839 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13499/statm: 49354 9389 2543 9 0 43937 0
[pid=13509] ppid=13499 vsize=5356 CPUtime=0
/proc/13509/stat : 13509 (abscon) S 13499 13491 12366 0 -1 4194304 304 0 0 0 0 0 0 0 18 0 1 0 2003394427 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 221780697924 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/13509/statm: 1339 235 194 169 0 50 0
[pid=13510] ppid=13509 vsize=655740 CPUtime=23.4
/proc/13510/stat : 13510 (java) S 13509 13491 12366 0 -1 0 30119 0 1 0 2316 24 0 0 18 0 9 0 2003394428 671477760 29409 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13510/statm: 163935 29409 2617 9 0 158463 0
[pid=13510/tid=13512] ppid=13509 vsize=655740 CPUtime=22.39
/proc/13510/task/13512/stat : 13512 (java) R 13509 13491 12366 0 -1 64 12555 0 1 0 2226 13 0 0 25 0 9 0 2003394428 671477760 29409 996147200 134512640 134550740 4294955808 18446744073709551615 4126897142 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13510/tid=13513] ppid=13509 vsize=655740 CPUtime=0.58
/proc/13510/task/13513/stat : 13513 (java) S 13509 13491 12366 0 -1 64 16283 0 0 0 50 8 0 0 16 0 9 0 2003394434 671477760 29409 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13510/tid=13514] ppid=13509 vsize=655740 CPUtime=0
/proc/13510/task/13514/stat : 13514 (java) S 13509 13491 12366 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003394434 671477760 29409 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13510/tid=13515] ppid=13509 vsize=655740 CPUtime=0
/proc/13510/task/13515/stat : 13515 (java) S 13509 13491 12366 0 -1 64 17 0 0 0 0 0 0 0 15 0 9 0 2003394434 671477760 29409 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13510/tid=13516] ppid=13509 vsize=655740 CPUtime=0
/proc/13510/task/13516/stat : 13516 (java) S 13509 13491 12366 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003394436 671477760 29409 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13510/tid=13517] ppid=13509 vsize=655740 CPUtime=0.39
/proc/13510/task/13517/stat : 13517 (java) S 13509 13491 12366 0 -1 64 725 0 0 0 38 1 0 0 15 0 9 0 2003394436 671477760 29409 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13510/tid=13518] ppid=13509 vsize=655740 CPUtime=0
/proc/13510/task/13518/stat : 13518 (java) S 13509 13491 12366 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2003394436 671477760 29409 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13510/tid=13519] ppid=13509 vsize=655740 CPUtime=0
/proc/13510/task/13519/stat : 13519 (java) S 13509 13491 12366 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2003394436 671477760 29409 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13511] ppid=13509 vsize=7044 CPUtime=0
/proc/13511/stat : 13511 (translate) S 13509 13491 12366 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2003394428 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 221780869202 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/13511/statm: 1761 213 182 1 0 41 0
[pid=13499/tid=13500] ppid=13491 vsize=197416 CPUtime=4.45
/proc/13499/task/13500/stat : 13500 (java) S 13491 13491 12366 0 -1 64 3853 0 1 0 440 5 0 0 25 0 10 0 2003393840 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=13499/tid=13501] ppid=13491 vsize=197416 CPUtime=1.13
/proc/13499/task/13501/stat : 13501 (java) S 13491 13491 12366 0 -1 64 8559 0 0 0 103 10 0 0 16 0 10 0 2003393842 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13499/tid=13502] ppid=13491 vsize=197416 CPUtime=0
/proc/13499/task/13502/stat : 13502 (java) S 13491 13491 12366 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2003393842 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13499/tid=13503] ppid=13491 vsize=197416 CPUtime=0
/proc/13499/task/13503/stat : 13503 (java) S 13491 13491 12366 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2003393842 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13499/tid=13504] ppid=13491 vsize=197416 CPUtime=0
/proc/13499/task/13504/stat : 13504 (java) S 13491 13491 12366 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2003393844 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13499/tid=13505] ppid=13491 vsize=197416 CPUtime=0.21
/proc/13499/task/13505/stat : 13505 (java) S 13491 13491 12366 0 -1 64 643 0 0 0 20 1 0 0 16 0 10 0 2003393844 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13499/tid=13506] ppid=13491 vsize=197416 CPUtime=0
/proc/13499/task/13506/stat : 13506 (java) S 13491 13491 12366 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2003393844 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13499/tid=13507] ppid=13491 vsize=197416 CPUtime=0
/proc/13499/task/13507/stat : 13507 (java) S 13491 13491 12366 0 -1 64 16 0 0 0 0 0 0 0 15 0 10 0 2003393844 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13499/tid=13508] ppid=13491 vsize=197416 CPUtime=0
/proc/13499/task/13508/stat : 13508 (java) S 13491 13491 12366 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2003394427 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.32
Current children cumulated vsize (KiB) 870916
Solver just ended. Dumping a history of the last processes samples
[startup+57.5027 s]
/proc/loadavg: 1.99 1.98 1.99 3/94 13519
/proc/meminfo: memFree=1349632/2055920 swapFree=4180452/4192956
[pid=13491] ppid=13489 vsize=5360 CPUtime=21.1
/proc/13491/stat : 13491 (hydra) S 13489 13491 12366 0 -1 4194304 375 10224 0 0 0 0 2101 9 20 0 1 0 2003391709 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13491/statm: 1340 238 196 169 0 51 0
[pid=13499] ppid=13491 vsize=197416 CPUtime=5.82
/proc/13499/stat : 13499 (java) S 13491 13491 12366 0 -1 0 13865 0 1 0 564 18 0 0 18 0 10 0 2003393839 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13499/statm: 49354 9389 2543 9 0 43937 0
[pid=13509] ppid=13499 vsize=5356 CPUtime=0
/proc/13509/stat : 13509 (abscon) S 13499 13491 12366 0 -1 4194304 304 0 0 0 0 0 0 0 18 0 1 0 2003394427 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 221780697924 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
################
# More data... #
################
/proc/13510/task/13515/stat : 13515 (java) S 13509 13491 12366 0 -1 64 17 0 0 0 0 0 0 0 15 0 9 0 2003394434 671477760 29413 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13510/tid=13516] ppid=13509 vsize=655740 CPUtime=0
/proc/13510/task/13516/stat : 13516 (java) S 13509 13491 12366 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003394436 671477760 29413 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13510/tid=13517] ppid=13509 vsize=655740 CPUtime=0.41
/proc/13510/task/13517/stat : 13517 (java) S 13509 13491 12366 0 -1 64 733 0 0 0 40 1 0 0 15 0 9 0 2003394436 671477760 29413 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13510/tid=13518] ppid=13509 vsize=655740 CPUtime=0
/proc/13510/task/13518/stat : 13518 (java) S 13509 13491 12366 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2003394436 671477760 29413 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13510/tid=13519] ppid=13509 vsize=655740 CPUtime=0
/proc/13510/task/13519/stat : 13519 (java) S 13509 13491 12366 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2003394436 671477760 29413 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13511] ppid=13509 vsize=7044 CPUtime=0
/proc/13511/stat : 13511 (translate) S 13509 13491 12366 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2003394428 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 221780869202 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/13511/statm: 1761 213 182 1 0 41 0
[pid=13499/tid=13500] ppid=13491 vsize=197416 CPUtime=4.45
/proc/13499/task/13500/stat : 13500 (java) S 13491 13491 12366 0 -1 64 3853 0 1 0 440 5 0 0 25 0 10 0 2003393840 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=13499/tid=13501] ppid=13491 vsize=197416 CPUtime=1.13
/proc/13499/task/13501/stat : 13501 (java) S 13491 13491 12366 0 -1 64 8559 0 0 0 103 10 0 0 16 0 10 0 2003393842 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13499/tid=13502] ppid=13491 vsize=197416 CPUtime=0
/proc/13499/task/13502/stat : 13502 (java) S 13491 13491 12366 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2003393842 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13499/tid=13503] ppid=13491 vsize=197416 CPUtime=0
/proc/13499/task/13503/stat : 13503 (java) S 13491 13491 12366 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2003393842 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13499/tid=13504] ppid=13491 vsize=197416 CPUtime=0
/proc/13499/task/13504/stat : 13504 (java) S 13491 13491 12366 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2003393844 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13499/tid=13505] ppid=13491 vsize=197416 CPUtime=0.21
/proc/13499/task/13505/stat : 13505 (java) S 13491 13491 12366 0 -1 64 643 0 0 0 20 1 0 0 16 0 10 0 2003393844 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13499/tid=13506] ppid=13491 vsize=197416 CPUtime=0
/proc/13499/task/13506/stat : 13506 (java) S 13491 13491 12366 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2003393844 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13499/tid=13507] ppid=13491 vsize=197416 CPUtime=0
/proc/13499/task/13507/stat : 13507 (java) S 13491 13491 12366 0 -1 64 16 0 0 0 0 0 0 0 15 0 10 0 2003393844 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13499/tid=13508] ppid=13491 vsize=197416 CPUtime=0
/proc/13499/task/13508/stat : 13508 (java) S 13491 13491 12366 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2003394427 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 58.17
Current children cumulated vsize (KiB) 870916
[startup+59.9028 s]
/proc/loadavg: 1.99 1.98 1.99 3/94 13519
/proc/meminfo: memFree=1349632/2055920 swapFree=4180452/4192956
[pid=13491] ppid=13489 vsize=5360 CPUtime=21.1
/proc/13491/stat : 13491 (hydra) S 13489 13491 12366 0 -1 4194304 375 10224 0 0 0 0 2101 9 20 0 1 0 2003391709 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13491/statm: 1340 238 196 169 0 51 0
[pid=13499] ppid=13491 vsize=197416 CPUtime=5.82
/proc/13499/stat : 13499 (java) S 13491 13491 12366 0 -1 0 13865 0 1 0 564 18 0 0 18 0 10 0 2003393839 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13499/statm: 49354 9389 2543 9 0 43937 0
[pid=13509] ppid=13499 vsize=5356 CPUtime=0
/proc/13509/stat : 13509 (abscon) S 13499 13491 12366 0 -1 4194304 304 0 0 0 0 0 0 0 18 0 1 0 2003394427 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 221780697924 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/13509/statm: 1339 235 194 169 0 50 0
[pid=13510] ppid=13509 vsize=655740 CPUtime=32.03
/proc/13510/stat : 13510 (java) S 13509 13491 12366 0 -1 0 30134 0 1 0 3179 24 0 0 18 0 9 0 2003394428 671477760 29420 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13510/statm: 163935 29420 2617 9 0 158463 0
[pid=13510/tid=13512] ppid=13509 vsize=655740 CPUtime=30.99
/proc/13510/task/13512/stat : 13512 (java) R 13509 13491 12366 0 -1 64 12555 0 1 0 3086 13 0 0 25 0 9 0 2003394428 671477760 29420 996147200 134512640 134550740 4294955808 18446744073709551615 4127377299 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13510/tid=13513] ppid=13509 vsize=655740 CPUtime=0.58
/proc/13510/task/13513/stat : 13513 (java) S 13509 13491 12366 0 -1 64 16283 0 0 0 50 8 0 0 16 0 9 0 2003394434 671477760 29420 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13510/tid=13514] ppid=13509 vsize=655740 CPUtime=0
/proc/13510/task/13514/stat : 13514 (java) S 13509 13491 12366 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003394434 671477760 29420 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13510/tid=13515] ppid=13509 vsize=655740 CPUtime=0
/proc/13510/task/13515/stat : 13515 (java) S 13509 13491 12366 0 -1 64 17 0 0 0 0 0 0 0 15 0 9 0 2003394434 671477760 29420 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13510/tid=13516] ppid=13509 vsize=655740 CPUtime=0
/proc/13510/task/13516/stat : 13516 (java) S 13509 13491 12366 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003394436 671477760 29420 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13510/tid=13517] ppid=13509 vsize=655740 CPUtime=0.42
/proc/13510/task/13517/stat : 13517 (java) S 13509 13491 12366 0 -1 64 740 0 0 0 41 1 0 0 15 0 9 0 2003394436 671477760 29420 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13510/tid=13518] ppid=13509 vsize=655740 CPUtime=0
/proc/13510/task/13518/stat : 13518 (java) S 13509 13491 12366 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2003394436 671477760 29420 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13510/tid=13519] ppid=13509 vsize=655740 CPUtime=0
/proc/13510/task/13519/stat : 13519 (java) S 13509 13491 12366 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2003394436 671477760 29420 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13511] ppid=13509 vsize=7044 CPUtime=0
/proc/13511/stat : 13511 (translate) S 13509 13491 12366 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2003394428 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 221780869202 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/13511/statm: 1761 213 182 1 0 41 0
[pid=13499/tid=13500] ppid=13491 vsize=197416 CPUtime=4.45
/proc/13499/task/13500/stat : 13500 (java) S 13491 13491 12366 0 -1 64 3853 0 1 0 440 5 0 0 25 0 10 0 2003393840 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=13499/tid=13501] ppid=13491 vsize=197416 CPUtime=1.13
/proc/13499/task/13501/stat : 13501 (java) S 13491 13491 12366 0 -1 64 8559 0 0 0 103 10 0 0 16 0 10 0 2003393842 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13499/tid=13502] ppid=13491 vsize=197416 CPUtime=0
/proc/13499/task/13502/stat : 13502 (java) S 13491 13491 12366 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2003393842 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13499/tid=13503] ppid=13491 vsize=197416 CPUtime=0
/proc/13499/task/13503/stat : 13503 (java) S 13491 13491 12366 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2003393842 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13499/tid=13504] ppid=13491 vsize=197416 CPUtime=0
/proc/13499/task/13504/stat : 13504 (java) S 13491 13491 12366 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2003393844 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13499/tid=13505] ppid=13491 vsize=197416 CPUtime=0.21
/proc/13499/task/13505/stat : 13505 (java) S 13491 13491 12366 0 -1 64 643 0 0 0 20 1 0 0 16 0 10 0 2003393844 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13499/tid=13506] ppid=13491 vsize=197416 CPUtime=0
/proc/13499/task/13506/stat : 13506 (java) S 13491 13491 12366 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2003393844 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13499/tid=13507] ppid=13491 vsize=197416 CPUtime=0
/proc/13499/task/13507/stat : 13507 (java) S 13491 13491 12366 0 -1 64 16 0 0 0 0 0 0 0 15 0 10 0 2003393844 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13499/tid=13508] ppid=13491 vsize=197416 CPUtime=0
/proc/13499/task/13508/stat : 13508 (java) S 13491 13491 12366 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2003394427 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 58.95
Current children cumulated vsize (KiB) 870916
[startup+60.7029 s]
/proc/loadavg: 1.99 1.98 1.99 3/94 13519
/proc/meminfo: memFree=1349632/2055920 swapFree=4180452/4192956
[pid=13491] ppid=13489 vsize=5360 CPUtime=21.1
/proc/13491/stat : 13491 (hydra) S 13489 13491 12366 0 -1 4194304 375 10224 0 0 0 0 2101 9 20 0 1 0 2003391709 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13491/statm: 1340 238 196 169 0 51 0
[pid=13499] ppid=13491 vsize=197416 CPUtime=5.82
/proc/13499/stat : 13499 (java) S 13491 13491 12366 0 -1 0 13865 0 1 0 564 18 0 0 18 0 10 0 2003393839 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13499/statm: 49354 9389 2543 9 0 43937 0
[pid=13509] ppid=13499 vsize=5356 CPUtime=0
/proc/13509/stat : 13509 (abscon) S 13499 13491 12366 0 -1 4194304 304 0 0 0 0 0 0 0 18 0 1 0 2003394427 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 221780697924 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/13509/statm: 1339 235 194 169 0 50 0
[pid=13510] ppid=13509 vsize=655740 CPUtime=32.81
/proc/13510/stat : 13510 (java) S 13509 13491 12366 0 -1 0 30142 0 1 0 3257 24 0 0 18 0 9 0 2003394428 671477760 29427 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13510/statm: 163935 29427 2617 9 0 158463 0
[pid=13510/tid=13512] ppid=13509 vsize=655740 CPUtime=31.76
/proc/13510/task/13512/stat : 13512 (java) R 13509 13491 12366 0 -1 64 12555 0 1 0 3163 13 0 0 25 0 9 0 2003394428 671477760 29427 996147200 134512640 134550740 4294955808 18446744073709551615 4127374926 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13510/tid=13513] ppid=13509 vsize=655740 CPUtime=0.58
/proc/13510/task/13513/stat : 13513 (java) S 13509 13491 12366 0 -1 64 16283 0 0 0 50 8 0 0 17 0 9 0 2003394434 671477760 29427 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13510/tid=13514] ppid=13509 vsize=655740 CPUtime=0
/proc/13510/task/13514/stat : 13514 (java) S 13509 13491 12366 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003394434 671477760 29427 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13510/tid=13515] ppid=13509 vsize=655740 CPUtime=0
/proc/13510/task/13515/stat : 13515 (java) S 13509 13491 12366 0 -1 64 17 0 0 0 0 0 0 0 15 0 9 0 2003394434 671477760 29427 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13510/tid=13516] ppid=13509 vsize=655740 CPUtime=0
/proc/13510/task/13516/stat : 13516 (java) S 13509 13491 12366 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003394436 671477760 29427 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13510/tid=13517] ppid=13509 vsize=655740 CPUtime=0.43
/proc/13510/task/13517/stat : 13517 (java) S 13509 13491 12366 0 -1 64 748 0 0 0 42 1 0 0 16 0 9 0 2003394436 671477760 29427 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13510/tid=13518] ppid=13509 vsize=655740 CPUtime=0
/proc/13510/task/13518/stat : 13518 (java) S 13509 13491 12366 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2003394436 671477760 29427 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13510/tid=13519] ppid=13509 vsize=655740 CPUtime=0
/proc/13510/task/13519/stat : 13519 (java) S 13509 13491 12366 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2003394436 671477760 29427 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13511] ppid=13509 vsize=7044 CPUtime=0
/proc/13511/stat : 13511 (translate) S 13509 13491 12366 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2003394428 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 221780869202 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/13511/statm: 1761 213 182 1 0 41 0
[pid=13499/tid=13500] ppid=13491 vsize=197416 CPUtime=4.45
/proc/13499/task/13500/stat : 13500 (java) S 13491 13491 12366 0 -1 64 3853 0 1 0 440 5 0 0 25 0 10 0 2003393840 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=13499/tid=13501] ppid=13491 vsize=197416 CPUtime=1.13
/proc/13499/task/13501/stat : 13501 (java) S 13491 13491 12366 0 -1 64 8559 0 0 0 103 10 0 0 16 0 10 0 2003393842 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13499/tid=13502] ppid=13491 vsize=197416 CPUtime=0
/proc/13499/task/13502/stat : 13502 (java) S 13491 13491 12366 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2003393842 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13499/tid=13503] ppid=13491 vsize=197416 CPUtime=0
/proc/13499/task/13503/stat : 13503 (java) S 13491 13491 12366 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2003393842 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13499/tid=13504] ppid=13491 vsize=197416 CPUtime=0
/proc/13499/task/13504/stat : 13504 (java) S 13491 13491 12366 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2003393844 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13499/tid=13505] ppid=13491 vsize=197416 CPUtime=0.21
/proc/13499/task/13505/stat : 13505 (java) S 13491 13491 12366 0 -1 64 643 0 0 0 20 1 0 0 16 0 10 0 2003393844 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13499/tid=13506] ppid=13491 vsize=197416 CPUtime=0
/proc/13499/task/13506/stat : 13506 (java) S 13491 13491 12366 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2003393844 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13499/tid=13507] ppid=13491 vsize=197416 CPUtime=0
/proc/13499/task/13507/stat : 13507 (java) S 13491 13491 12366 0 -1 64 16 0 0 0 0 0 0 0 15 0 10 0 2003393844 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13499/tid=13508] ppid=13491 vsize=197416 CPUtime=0
/proc/13499/task/13508/stat : 13508 (java) S 13491 13491 12366 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2003394427 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 59.73
Current children cumulated vsize (KiB) 870916
[startup+61.1029 s]
/proc/loadavg: 1.99 1.98 1.99 3/94 13519
/proc/meminfo: memFree=1349632/2055920 swapFree=4180452/4192956
[pid=13491] ppid=13489 vsize=5360 CPUtime=21.1
/proc/13491/stat : 13491 (hydra) S 13489 13491 12366 0 -1 4194304 375 10224 0 0 0 0 2101 9 20 0 1 0 2003391709 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13491/statm: 1340 238 196 169 0 51 0
[pid=13499] ppid=13491 vsize=197416 CPUtime=39
/proc/13499/stat : 13499 (java) S 13491 13491 12366 0 -1 0 13971 30766 1 1 565 18 3290 27 18 0 9 0 2003393839 202153984 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13499/statm: 49354 9391 2544 9 0 43937 0
[pid=13499/tid=13500] ppid=13491 vsize=197416 CPUtime=37.62
/proc/13499/task/13500/stat : 13500 (java) S 13491 13491 12366 0 -1 64 3937 30766 1 1 440 5 3290 27 16 0 9 0 2003393840 202153984 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13499/tid=13501] ppid=13491 vsize=197416 CPUtime=34.31
/proc/13499/task/13501/stat : 13501 (java) S 13491 13491 12366 0 -1 64 8568 30766 0 1 103 11 3290 27 16 0 9 0 2003393842 202153984 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13499/tid=13502] ppid=13491 vsize=197416 CPUtime=33.17
/proc/13499/task/13502/stat : 13502 (java) S 13491 13491 12366 0 -1 64 11 30766 0 1 0 0 3290 27 16 0 9 0 2003393842 202153984 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13499/tid=13503] ppid=13491 vsize=197416 CPUtime=33.17
/proc/13499/task/13503/stat : 13503 (java) S 13491 13491 12366 0 -1 64 5 30766 0 1 0 0 3290 27 15 0 9 0 2003393842 202153984 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13499/tid=13504] ppid=13491 vsize=197416 CPUtime=33.17
/proc/13499/task/13504/stat : 13504 (java) S 13491 13491 12366 0 -1 64 0 30766 0 1 0 0 3290 27 18 0 9 0 2003393844 202153984 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13499/tid=13505] ppid=13491 vsize=197416 CPUtime=33.38
/proc/13499/task/13505/stat : 13505 (java) S 13491 13491 12366 0 -1 64 643 30766 0 1 20 1 3290 27 16 0 9 0 2003393844 202153984 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13499/tid=13506] ppid=13491 vsize=197416 CPUtime=33.17
/proc/13499/task/13506/stat : 13506 (java) S 13491 13491 12366 0 -1 64 1 30766 0 1 0 0 3290 27 19 0 9 0 2003393844 202153984 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13499/tid=13507] ppid=13491 vsize=197416 CPUtime=33.17
/proc/13499/task/13507/stat : 13507 (java) S 13491 13491 12366 0 -1 64 16 30766 0 1 0 0 3290 27 15 0 9 0 2003393844 202153984 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 60.1
Current children cumulated vsize (KiB) 202776
Child status: 0
Real time (s): 61.116
CPU time (s): 60.1429
CPU user time (s): 59.5809
CPU system time (s): 0.561914
CPU usage (%): 98.4077
Max. virtual memory (cumulated for all children) (KiB): 870916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 59.5809
system time used= 0.561914
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55376
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= 13124
involuntary context switches= 14802
runsolver used 0.176973 second user time and 0.463929 second system time
The end