4.08/4.14 c old isEQ: 156, new EQ is 1
4.08/4.14 c old isEQ: 44, new EQ is 0
4.08/4.14 c old isEQ: 44, new EQ is 0
4.08/4.14 c old isEQ: 44, new EQ is 0
4.08/4.14 c old isEQ: 44, new EQ is 0
4.08/4.14 c old isEQ: 44, new EQ is 0
4.08/4.14 c old isEQ: 44, new EQ is 0
4.08/4.14 c old isEQ: 44, new EQ is 0
4.08/4.14 c old isEQ: 44, new EQ is 0
4.08/4.14 c old isEQ: 44, new EQ is 0
4.08/4.14 c old isEQ: 44, new EQ is 0
4.08/4.15 c old isEQ: 44, new EQ is 0
4.08/4.15 c old isEQ: 44, new EQ is 0
4.08/4.15 c old isEQ: 44, new EQ is 0
4.08/4.15 c old isEQ: 44, new EQ is 0
4.08/4.15 c old isEQ: 28, new EQ is 0
4.08/4.15 c old isEQ: 172, new EQ is 0
4.08/4.15 c old isEQ: 172, new EQ is 0
4.08/4.15 c old isEQ: 172, new EQ is 0
4.08/4.15 c old isEQ: 172, new EQ is 0
4.08/4.15 c old isEQ: 172, new EQ is 0
4.08/4.15 c old isEQ: 172, new EQ is 0
4.08/4.15 c old isEQ: 172, new EQ is 0
4.08/4.15 c old isEQ: 172, new EQ is 0
4.08/4.15 c old isEQ: 172, new EQ is 0
4.08/4.15 c old isEQ: 172, new EQ is 0
4.08/4.16 c old isEQ: 172, new EQ is 0
4.08/4.16 c old isEQ: 172, new EQ is 0
4.08/4.16 c old isEQ: 92, new EQ is 0
4.08/4.16 c old isEQ: 92, new EQ is 0
4.08/4.16 c old isEQ: 92, new EQ is 0
4.08/4.16 c old isEQ: 92, new EQ is 0
4.08/4.16 c old isEQ: 92, new EQ is 0
4.08/4.16 c old isEQ: 92, new EQ is 0
4.08/4.16 c old isEQ: 92, new EQ is 0
4.08/4.16 c old isEQ: 92, new EQ is 0
4.08/4.16 c old isEQ: 92, new EQ is 0
4.08/4.16 c old isEQ: 92, new EQ is 0
4.08/4.16 c old isEQ: 92, new EQ is 0
4.08/4.16 c old isEQ: 92, new EQ is 0
4.08/4.16 c old isEQ: 92, new EQ is 0
4.08/4.17 c old isEQ: 92, new EQ is 0
4.08/4.17 c old isEQ: 92, new EQ is 0
4.08/4.17 c old isEQ: 92, new EQ is 0
4.08/4.17 c old isEQ: 92, new EQ is 0
4.08/4.17 c old isEQ: 92, new EQ is 0
4.08/4.17 c old isEQ: 92, new EQ is 0
4.08/4.17 c old isEQ: 92, new EQ is 0
4.08/4.17 c old isEQ: 92, new EQ is 0
4.08/4.17 c old isEQ: 92, new EQ is 0
4.08/4.17 c old isEQ: 92, new EQ is 0
4.08/4.17 c old isEQ: 92, new EQ is 0
4.08/4.17 c old isEQ: 156, new EQ is 0
4.08/4.17 c old isEQ: 156, new EQ is 0
4.08/4.17 c old isEQ: 156, new EQ is 0
4.08/4.17 c old isEQ: 156, new EQ is 0
4.08/4.18 c old isEQ: 156, new EQ is 0
4.08/4.18 c old isEQ: 156, new EQ is 0
4.08/4.18 c old isEQ: 156, new EQ is 0
4.08/4.18 c old isEQ: 156, new EQ is 0
4.08/4.18 c old isEQ: 156, new EQ is 0
4.08/4.18 c old isEQ: 156, new EQ is 0
4.08/4.18 c old isEQ: 156, new EQ is 0
4.08/4.18 c old isEQ: 156, new EQ is 0
4.08/4.18 c old isEQ: 156, new EQ is 0
4.08/4.18 c old isEQ: 156, new EQ is 0
4.08/4.18 c old isEQ: 156, new EQ is 0
4.08/4.18 c old isEQ: 156, new EQ is 0
4.08/4.18 c old isEQ: 156, new EQ is 0
4.08/4.18 c old isEQ: 156, new EQ is 0
4.08/4.18 c old isEQ: 156, new EQ is 0
4.08/4.19 c old isEQ: 156, new EQ is 0
4.08/4.19 c old isEQ: 156, new EQ is 0
4.08/4.19 c old isEQ: 156, new EQ is 0
4.08/4.19 c old isEQ: 156, new EQ is 0
4.08/4.19 c old isEQ: 156, new EQ is 0
4.08/4.19 c old isEQ: 156, new EQ is 0
4.08/4.19 c old isEQ: 156, new EQ is 0
4.08/4.19 c old isEQ: 76, new EQ is 0
4.08/4.19 c old isEQ: 76, new EQ is 0
4.08/4.19 c old isEQ: 76, new EQ is 0
4.08/4.19 c old isEQ: 76, new EQ is 0
4.08/4.19 c old isEQ: 76, new EQ is 0
4.08/4.19 c old isEQ: 76, new EQ is 0
4.08/4.19 c old isEQ: 76, new EQ is 0
4.08/4.19 c old isEQ: 76, new EQ is 0
4.08/4.20 c old isEQ: 76, new EQ is 0
4.18/4.20 c old isEQ: 76, new EQ is 0
4.18/4.20 c old isEQ: 76, new EQ is 0
4.18/4.20 c old isEQ: 76, new EQ is 0
4.18/4.20 c old isEQ: 76, new EQ is 0
4.18/4.20 c old isEQ: 76, new EQ is 0
4.18/4.20 c old isEQ: 76, new EQ is 0
4.18/4.20 c old isEQ: 76, new EQ is 0
4.18/4.20 c old isEQ: 76, new EQ is 0
4.18/4.20 c old isEQ: 76, new EQ is 0
4.18/4.20 c old isEQ: 76, new EQ is 0
4.18/4.20 c old isEQ: 76, new EQ is 0
4.18/4.20 c old isEQ: 76, new EQ is 0
4.18/4.20 c old isEQ: 76, new EQ is 0
4.18/4.21 c old isEQ: 156, new EQ is 0
4.18/4.21 c old isEQ: 156, new EQ is 0
4.18/4.21 c old isEQ: 156, new EQ is 0
4.18/4.21 c old isEQ: 156, new EQ is 0
4.18/4.21 c old isEQ: 156, new EQ is 0
4.18/4.21 c old isEQ: 156, new EQ is 0
4.18/4.21 c old isEQ: 156, new EQ is 0
4.18/4.21 c old isEQ: 156, new EQ is 0
4.18/4.21 c old isEQ: 156, new EQ is 0
4.18/4.21 c old isEQ: 156, new EQ is 0
4.18/4.21 c old isEQ: 156, new EQ is 0
4.18/4.21 c old isEQ: 156, new EQ is 0
4.18/4.21 c old isEQ: 156, new EQ is 0
4.18/4.21 c old isEQ: 204, new EQ is 0
4.18/4.21 c old isEQ: 204, new EQ is 0
4.18/4.22 c old isEQ: 204, new EQ is 0
4.18/4.22 c old isEQ: 204, new EQ is 0
4.18/4.22 c old isEQ: 204, new EQ is 0
4.18/4.22 c old isEQ: 204, new EQ is 0
4.18/4.22 c old isEQ: 204, new EQ is 0
4.18/4.22 c old isEQ: 204, new EQ is 0
4.18/4.22 c old isEQ: 204, new EQ is 0
4.18/4.22 c old isEQ: 204, new EQ is 0
4.18/4.22 c old isEQ: 204, new EQ is 0
4.18/4.22 c old isEQ: 204, new EQ is 0
4.18/4.22 c old isEQ: 204, new EQ is 0
4.18/4.22 c old isEQ: 204, new EQ is 0
4.18/4.22 c old isEQ: 204, new EQ is 0
4.18/4.22 c old isEQ: 204, new EQ is 0
4.18/4.22 c old isEQ: 204, new EQ is 0
4.18/4.22 c old isEQ: 204, new EQ is 0
4.18/4.23 c old isEQ: 204, new EQ is 0
4.18/4.23 c old isEQ: 204, new EQ is 0
4.18/4.23 c old isEQ: 204, new EQ is 0
4.18/4.23 c old isEQ: 204, new EQ is 0
4.18/4.23 c old isEQ: 204, new EQ is 0
4.18/4.23 c old isEQ: 204, new EQ is 0
4.18/4.23 c old isEQ: 204, new EQ is 0
4.18/4.23 c old isEQ: 204, new EQ is 0
4.18/4.23 c old isEQ: 204, new EQ is 0
4.18/4.23 c old isEQ: 204, new EQ is 0
4.18/4.23 c old isEQ: 204, new EQ is 0
4.18/4.23 c old isEQ: 204, new EQ is 0
4.18/4.23 c old isEQ: 204, new EQ is 0
4.18/4.23 c old isEQ: 204, new EQ is 0
4.18/4.23 c old isEQ: 204, new EQ is 0
4.18/4.24 c old isEQ: 204, new EQ is 0
4.18/4.24 c old isEQ: 204, new EQ is 0
4.18/4.24 c old isEQ: 204, new EQ is 0
4.18/4.24 c old isEQ: 204, new EQ is 0
4.18/4.24 c old isEQ: 204, new EQ is 0
4.18/4.24 c old isEQ: 204, new EQ is 0
4.18/4.24 c old isEQ: 204, new EQ is 0
4.18/4.24 c old isEQ: 204, new EQ is 0
4.18/4.24 c old isEQ: 204, new EQ is 0
4.18/4.24 c old isEQ: 204, new EQ is 0
4.18/4.24 c old isEQ: 204, new EQ is 0
4.18/4.24 c old isEQ: 60, new EQ is 0
4.18/4.24 c old isEQ: 60, new EQ is 0
4.18/4.24 c old isEQ: 60, new EQ is 0
4.18/4.24 c old isEQ: 60, new EQ is 0
4.18/4.25 c old isEQ: 60, new EQ is 0
4.18/4.25 c old isEQ: 60, new EQ is 0
4.18/4.25 c old isEQ: 60, new EQ is 0
4.18/4.25 c old isEQ: 60, new EQ is 0
4.18/4.25 c old isEQ: 60, new EQ is 0
4.18/4.25 c old isEQ: 60, new EQ is 0
4.18/4.25 c old isEQ: 60, new EQ is 0
4.18/4.25 c old isEQ: 60, new EQ is 0
4.18/4.25 c old isEQ: 60, new EQ is 0
4.18/4.25 c old isEQ: 60, new EQ is 0
4.18/4.25 c old isEQ: 60, new EQ is 0
4.18/4.25 c old isEQ: 60, new EQ is 0
4.18/4.25 c old isEQ: 60, new EQ is 0
4.18/4.25 c old isEQ: 60, new EQ is 0
4.18/4.25 c old isEQ: 60, new EQ is 0
4.18/4.26 c old isEQ: 60, new EQ is 0
4.18/4.26 c old isEQ: 60, new EQ is 0
4.18/4.26 c old isEQ: 60, new EQ is 0
4.18/4.26 c old isEQ: 60, new EQ is 0
4.18/4.26 c old isEQ: 60, new EQ is 0
4.18/4.26 c old isEQ: 60, new EQ is 0
4.18/4.26 c old isEQ: 60, new EQ is 0
4.18/4.26 c old isEQ: 60, new EQ is 0
4.18/4.26 c old isEQ: 60, new EQ is 0
4.18/4.26 c old isEQ: 60, new EQ is 0
4.18/4.26 c old isEQ: 60, new EQ is 0
4.18/4.26 c old isEQ: 60, new EQ is 0
4.18/4.26 c old isEQ: 60, new EQ is 0
4.18/4.26 c old isEQ: 60, new EQ is 0
4.18/4.26 c old isEQ: 60, new EQ is 0
4.18/4.27 c old isEQ: 60, new EQ is 0
4.18/4.27 c old isEQ: 60, new EQ is 0
4.18/4.27 c old isEQ: 60, new EQ is 0
4.18/4.27 c old isEQ: 156, new EQ is 0
4.18/4.27 c old isEQ: 156, new EQ is 0
4.18/4.27 c old isEQ: 156, new EQ is 0
4.18/4.27 c old isEQ: 156, new EQ is 0
4.18/4.27 c old isEQ: 156, new EQ is 0
4.18/4.27 c old isEQ: 156, new EQ is 0
4.18/4.27 c old isEQ: 156, new EQ is 0
4.18/4.27 c old isEQ: 156, new EQ is 0
4.18/4.27 c old isEQ: 156, new EQ is 0
4.18/4.27 c old isEQ: 156, new EQ is 0
4.18/4.28 c old isEQ: 156, new EQ is 0
4.18/4.28 c old isEQ: 156, new EQ is 0
4.18/4.28 c old isEQ: 156, new EQ is 0
4.18/4.28 c old isEQ: 156, new EQ is 0
4.18/4.28 c old isEQ: 156, new EQ is 0
4.18/4.28 c old isEQ: 156, new EQ is 0
4.18/4.28 c old isEQ: 156, new EQ is 0
4.18/4.28 c old isEQ: 156, new EQ is 0
4.18/4.28 c old isEQ: 156, new EQ is 0
4.18/4.28 c old isEQ: 156, new EQ is 0
4.18/4.28 c old isEQ: 156, new EQ is 0
4.18/4.28 c old isEQ: 156, new EQ is 0
4.18/4.28 c old isEQ: 156, new EQ is 0
4.18/4.28 c old isEQ: 156, new EQ is 0
4.18/4.28 c old isEQ: 156, new EQ is 0
4.18/4.29 c old isEQ: 156, new EQ is 0
4.18/4.29 c old isEQ: 156, new EQ is 0
4.18/4.29 c old isEQ: 156, new EQ is 0
4.18/4.29 c old isEQ: 156, new EQ is 0
4.18/4.29 c old isEQ: 156, new EQ is 0
4.18/4.29 c old isEQ: 156, new EQ is 0
4.18/4.29 c old isEQ: 156, new EQ is 0
4.18/4.29 c old isEQ: 156, new EQ is 0
4.18/4.29 c old isEQ: 156, new EQ is 0
4.18/4.29 c old isEQ: 156, new EQ is 0
4.18/4.29 c old isEQ: 156, new EQ is 0
4.18/4.29 c old isEQ: 156, new EQ is 0
4.18/4.29 c old isEQ: 156, new EQ is 0
4.18/4.29 c old isEQ: 156, new EQ is 0
4.18/4.29 c old isEQ: 156, new EQ is 0
4.18/4.30 c old isEQ: 156, new EQ is 0
4.28/4.30 c old isEQ: 156, new EQ is 0
4.28/4.30 c old isEQ: 156, new EQ is 0
4.28/4.30 c old isEQ: 156, new EQ is 0
4.28/4.30 c old isEQ: 156, new EQ is 0
4.28/4.30 c old isEQ: 156, new EQ is 0
4.28/4.30 c old isEQ: 156, new EQ is 0
4.28/4.30 c old isEQ: 156, new EQ is 0
4.28/4.30 c old isEQ: 156, new EQ is 0
4.28/4.30 c old isEQ: 156, new EQ is 0
4.28/4.30 c old isEQ: 156, new EQ is 0
4.28/4.30 c old isEQ: 156, new EQ is 0
4.28/4.30 c old isEQ: 156, new EQ is 0
4.28/4.30 c old isEQ: 156, new EQ is 0
4.28/4.30 c old isEQ: 156, new EQ is 0
4.28/4.31 c old isEQ: 156, new EQ is 0
4.28/4.31 c old isEQ: 156, new EQ is 0
4.28/4.31 c old isEQ: 156, new EQ is 0
4.28/4.31 c old isEQ: 156, new EQ is 0
4.28/4.31 c old isEQ: 156, new EQ is 0
4.28/4.31 c old isEQ: 156, new EQ is 0
4.28/4.31 c old isEQ: 156, new EQ is 0
4.28/4.31 c old isEQ: 156, new EQ is 0
4.28/4.31 c old isEQ: 156, new EQ is 0
4.28/4.31 c old isEQ: 156, new EQ is 0
4.28/4.31 c old isEQ: 156, new EQ is 0
4.28/4.31 c old isEQ: 156, new EQ is 0
4.28/4.31 c old isEQ: 156, new EQ is 0
4.28/4.31 c old isEQ: 156, new EQ is 0
4.28/4.31 c old isEQ: 156, new EQ is 0
4.28/4.32 c old isEQ: 156, new EQ is 0
4.28/4.32 c old isEQ: 156, new EQ is 0
4.28/4.32 c old isEQ: 156, new EQ is 0
4.28/4.32 c old isEQ: 156, new EQ is 0
4.28/4.32 c old isEQ: 156, new EQ is 0
4.28/4.32 c old isEQ: 156, new EQ is 0
4.28/4.32 c old isEQ: 156, new EQ is 0
4.28/4.32 c old isEQ: 156, new EQ is 0
4.28/4.32 c old isEQ: 156, new EQ is 0
4.28/4.32 c old isEQ: 156, new EQ is 0
4.28/4.32 c old isEQ: 156, new EQ is 0
4.28/4.32 c old isEQ: 156, new EQ is 0
4.28/4.32 c old isEQ: 172, new EQ is 0
4.28/4.32 c old isEQ: 172, new EQ is 0
4.28/4.32 c old isEQ: 172, new EQ is 0
4.28/4.33 c old isEQ: 172, new EQ is 0
4.28/4.33 c old isEQ: 172, new EQ is 0
4.28/4.33 c old isEQ: 172, new EQ is 0
4.28/4.33 c old isEQ: 172, new EQ is 0
4.28/4.33 c old isEQ: 172, new EQ is 0
4.28/4.33 c old isEQ: 172, new EQ is 0
4.28/4.33 c old isEQ: 172, new EQ is 0
4.28/4.33 c old isEQ: 172, new EQ is 0
4.28/4.33 c old isEQ: 172, new EQ is 0
4.28/4.33 c old isEQ: 172, new EQ is 0
4.28/4.33 c old isEQ: 172, new EQ is 0
4.28/4.33 c old isEQ: 172, new EQ is 0
4.28/4.33 c old isEQ: 172, new EQ is 0
4.28/4.33 c old isEQ: 172, new EQ is 0
4.28/4.33 c old isEQ: 172, new EQ is 0
4.28/4.34 c old isEQ: 172, new EQ is 0
4.28/4.34 c old isEQ: 172, new EQ is 0
4.28/4.34 c old isEQ: 172, new EQ is 0
4.28/4.34 c old isEQ: 172, new EQ is 0
4.28/4.34 c old isEQ: 172, new EQ is 0
4.28/4.34 c old isEQ: 172, new EQ is 0
4.28/4.34 c old isEQ: 172, new EQ is 0
4.28/4.34 c old isEQ: 172, new EQ is 0
4.28/4.34 c old isEQ: 172, new EQ is 0
4.28/4.34 c old isEQ: 172, new EQ is 0
4.28/4.34 c old isEQ: 172, new EQ is 0
4.28/4.34 c old isEQ: 172, new EQ is 0
4.28/4.34 c old isEQ: 172, new EQ is 0
4.28/4.34 c old isEQ: 172, new EQ is 0
4.28/4.34 c old isEQ: 172, new EQ is 0
4.28/4.35 c old isEQ: 172, new EQ is 0
4.28/4.35 c old isEQ: 172, new EQ is 0
4.28/4.35 c old isEQ: 172, new EQ is 0
4.28/4.35 c old isEQ: 172, new EQ is 0
4.28/4.35 c old isEQ: 172, new EQ is 0
4.28/4.35 c old isEQ: 172, new EQ is 0
4.28/4.35 c old isEQ: 172, new EQ is 0
4.28/4.35 c old isEQ: 172, new EQ is 0
4.28/4.35 c old isEQ: 172, new EQ is 0
4.28/4.35 c old isEQ: 172, new EQ is 0
4.28/4.35 c old isEQ: 172, new EQ is 0
4.28/4.35 c old isEQ: 172, new EQ is 0
4.28/4.35 c old isEQ: 172, new EQ is 0
4.28/4.35 c old isEQ: 172, new EQ is 0
4.28/4.35 c old isEQ: 172, new EQ is 0
4.28/4.36 c old isEQ: 172, new EQ is 0
4.28/4.36 c old isEQ: 172, new EQ is 0
4.28/4.36 c old isEQ: 172, new EQ is 0
4.28/4.36 c old isEQ: 172, new EQ is 0
4.28/4.36 c old isEQ: 172, new EQ is 0
4.28/4.36 c old isEQ: 172, new EQ is 0
4.28/4.36 c old isEQ: 172, new EQ is 0
4.28/4.36 c old isEQ: 172, new EQ is 0
4.28/4.36 c old isEQ: 172, new EQ is 0
4.28/4.36 c old isEQ: 172, new EQ is 0
4.28/4.36 c old isEQ: 172, new EQ is 0
4.28/4.36 c old isEQ: 172, new EQ is 0
4.28/4.36 c old isEQ: 172, new EQ is 0
4.28/4.36 c old isEQ: 172, new EQ is 0
4.28/4.36 c old isEQ: 172, new EQ is 0
4.28/4.37 c old isEQ: 172, new EQ is 0
4.28/4.37 c old isEQ: 172, new EQ is 0
4.28/4.37 c old isEQ: 172, new EQ is 0
4.28/4.37 c old isEQ: 172, new EQ is 0
4.28/4.37 c old isEQ: 172, new EQ is 0
4.28/4.37 c old isEQ: 172, new EQ is 0
4.28/4.37 c old isEQ: 172, new EQ is 0
4.28/4.37 c old isEQ: 172, new EQ is 0
4.28/4.37 c old isEQ: 172, new EQ is 0
4.28/4.37 c old isEQ: 172, new EQ is 0
4.28/4.37 c old isEQ: 172, new EQ is 0
4.28/4.37 c old isEQ: 172, new EQ is 0
4.28/4.37 c old isEQ: 172, new EQ is 0
4.28/4.37 c old isEQ: 172, new EQ is 0
4.28/4.37 c old isEQ: 236, new EQ is 0
4.28/4.38 c old isEQ: 236, new EQ is 0
4.28/4.38 c old isEQ: 236, new EQ is 0
4.28/4.38 c old isEQ: 236, new EQ is 0
4.28/4.38 c old isEQ: 236, new EQ is 0
4.28/4.38 c old isEQ: 236, new EQ is 0
4.28/4.38 c old isEQ: 236, new EQ is 0
4.28/4.38 c old isEQ: 236, new EQ is 0
4.28/4.38 c old isEQ: 236, new EQ is 0
4.28/4.38 c old isEQ: 236, new EQ is 0
4.28/4.38 c old isEQ: 236, new EQ is 0
4.28/4.38 c old isEQ: 236, new EQ is 0
4.28/4.38 c old isEQ: 236, new EQ is 0
4.28/4.38 c old isEQ: 236, new EQ is 0
4.28/4.38 c old isEQ: 236, new EQ is 0
4.28/4.39 c old isEQ: 236, new EQ is 0
4.28/4.39 c old isEQ: 236, new EQ is 0
4.28/4.39 c old isEQ: 236, new EQ is 0
4.28/4.39 c old isEQ: 236, new EQ is 0
4.28/4.39 c old isEQ: 236, new EQ is 0
4.28/4.39 c old isEQ: 236, new EQ is 0
4.28/4.39 c old isEQ: 236, new EQ is 0
4.28/4.39 c old isEQ: 236, new EQ is 0
4.28/4.39 c old isEQ: 44, new EQ is 0
4.28/4.39 c old isEQ: 44, new EQ is 0
4.28/4.39 c old isEQ: 44, new EQ is 0
4.28/4.40 c old isEQ: 44, new EQ is 0
4.28/4.40 c old isEQ: 44, new EQ is 0
4.28/4.40 c old isEQ: 44, new EQ is 0
4.28/4.40 c old isEQ: 44, new EQ is 0
4.28/4.40 c old isEQ: 44, new EQ is 0
4.28/4.40 c old isEQ: 44, new EQ is 0
4.28/4.40 c old isEQ: 44, new EQ is 0
4.28/4.40 c old isEQ: 44, new EQ is 0
4.28/4.40 c old isEQ: 44, new EQ is 0
4.28/4.40 c old isEQ: 44, new EQ is 0
4.28/4.40 c old isEQ: 44, new EQ is 0
4.39/4.40 c old isEQ: 44, new EQ is 0
4.39/4.40 c old isEQ: 44, new EQ is 0
4.39/4.40 c old isEQ: 44, new EQ is 0
4.39/4.40 c old isEQ: 44, new EQ is 0
4.39/4.41 c old isEQ: 44, new EQ is 0
4.39/4.41 c old isEQ: 44, new EQ is 0
4.39/4.41 c old isEQ: 44, new EQ is 0
4.39/4.41 c old isEQ: 44, new EQ is 0
4.39/4.41 c old isEQ: 44, new EQ is 0
4.39/4.41 c old isEQ: 44, new EQ is 0
4.39/4.41 c old isEQ: 44, new EQ is 0
4.39/4.41 c old isEQ: 44, new EQ is 0
4.39/4.41 c old isEQ: 44, new EQ is 0
4.39/4.41 c old isEQ: 44, new EQ is 0
4.39/4.41 c old isEQ: 44, new EQ is 0
4.39/4.41 c old isEQ: 44, new EQ is 0
4.39/4.41 c old isEQ: 44, new EQ is 0
4.39/4.41 c old isEQ: 44, new EQ is 0
4.39/4.42 c old isEQ: 44, new EQ is 0
4.39/4.42 c old isEQ: 44, new EQ is 0
4.39/4.42 c old isEQ: 44, new EQ is 0
4.39/4.42 c old isEQ: 44, new EQ is 0
4.39/4.42 c old isEQ: 44, new EQ is 0
4.39/4.42 c old isEQ: 44, new EQ is 0
4.39/4.42 c old isEQ: 44, new EQ is 0
4.39/4.42 c old isEQ: 44, new EQ is 0
4.39/4.42 c old isEQ: 44, new EQ is 0
4.39/4.42 c old isEQ: 44, new EQ is 0
4.39/4.42 c old isEQ: 44, new EQ is 0
4.39/4.42 c old isEQ: 44, new EQ is 0
4.39/4.42 c old isEQ: 44, new EQ is 0
4.39/4.42 c old isEQ: 44, new EQ is 0
4.39/4.42 c old isEQ: 44, new EQ is 0
4.39/4.43 c old isEQ: 44, new EQ is 0
4.39/4.43 c old isEQ: 44, new EQ is 0
4.39/4.43 c old isEQ: 44, new EQ is 0
4.39/4.43 c old isEQ: 44, new EQ is 0
4.39/4.43 c old isEQ: 44, new EQ is 0
4.39/4.43 c old isEQ: 44, new EQ is 0
4.39/4.43 c old isEQ: 44, new EQ is 0
4.39/4.43 c old isEQ: 44, new EQ is 0
4.39/4.43 c old isEQ: 44, new EQ is 0
4.39/4.43 c old isEQ: 44, new EQ is 0
4.39/4.43 c old isEQ: 44, new EQ is 0
49.23/51.36 c run inc solver
49.23/51.36 c [INC SYSTEM] run initial solver
49.23/51.36 c [INC SYSTEM] preprocess with white file
177.72/183.11 c [INC SYSTEM] finished preprocessing in 131 s
177.72/183.11 c [INC SYSTEM] execute solver
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3748072-1339162242/watcher-3748072-1339162242 -o /tmp/evaluation-result-3748072-1339162242/solver-3748072-1339162242 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748072-1339162242.opb 72788928 HOME HOME
running on 4 cores: 1,3,5,7
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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.03 1.99 3/179 31526
/proc/meminfo: memFree=26136784/32873844 swapFree=7632/7632
[pid=31526] ppid=31524 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31526/stat : 31526 (npSolver-pbo-I.) S 31524 31526 20971 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382350003 9367552 275 33554432000 4194304 5064252 140733698301792 140733698300704 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31526/statm: 2287 275 233 213 0 72 0
[startup+0.105773 s]
/proc/loadavg: 2.00 2.03 1.99 3/179 31526
/proc/meminfo: memFree=26136784/32873844 swapFree=7632/7632
[pid=31526] ppid=31524 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31526/stat : 31526 (npSolver-pbo-I.) S 31524 31526 20971 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382350003 9367552 275 33554432000 4194304 5064252 140733698301792 140733698300704 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31526/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.20036 s]
/proc/loadavg: 2.00 2.03 1.99 3/179 31526
/proc/meminfo: memFree=26136784/32873844 swapFree=7632/7632
[pid=31526] ppid=31524 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31526/stat : 31526 (npSolver-pbo-I.) S 31524 31526 20971 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382350003 9367552 275 33554432000 4194304 5064252 140733698301792 140733698300704 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31526/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300365 s]
/proc/loadavg: 2.00 2.03 1.99 3/179 31526
/proc/meminfo: memFree=26136784/32873844 swapFree=7632/7632
[pid=31526] ppid=31524 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31526/stat : 31526 (npSolver-pbo-I.) S 31524 31526 20971 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382350003 9367552 275 33554432000 4194304 5064252 140733698301792 140733698300704 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31526/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700309 s]
/proc/loadavg: 2.00 2.03 1.99 3/179 31526
/proc/meminfo: memFree=26136784/32873844 swapFree=7632/7632
[pid=31526] ppid=31524 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31526/stat : 31526 (npSolver-pbo-I.) S 31524 31526 20971 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382350003 9367552 275 33554432000 4194304 5064252 140733698301792 140733698300704 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31526/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50032 s]
/proc/loadavg: 2.00 2.03 1.99 3/181 31528
/proc/meminfo: memFree=26029512/32873844 swapFree=7632/7632
[pid=31526] ppid=31524 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31526/stat : 31526 (npSolver-pbo-I.) S 31524 31526 20971 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382350003 9367552 275 33554432000 4194304 5064252 140733698301792 140733698300704 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31526/statm: 2287 275 233 213 0 72 0
[pid=31527] ppid=31526 vsize=153468 CPUtime=1.48 cores=1,3,5,7
/proc/31527/stat : 31527 (npSolver-pbo) R 31526 31526 20971 0 -1 4202496 25112 0 0 0 143 5 0 0 20 0 1 0 382350004 157151232 36298 33554432000 4194304 6004724 140737150362224 140737150358248 4968639 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/31527/statm: 38367 36298 130 442 0 37921 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 162616
[startup+3.10035 s]
/proc/loadavg: 2.00 2.03 1.99 3/181 31528
/proc/meminfo: memFree=25923576/32873844 swapFree=7632/7632
[pid=31526] ppid=31524 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31526/stat : 31526 (npSolver-pbo-I.) S 31524 31526 20971 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382350003 9367552 275 33554432000 4194304 5064252 140733698301792 140733698300704 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31526/statm: 2287 275 233 213 0 72 0
[pid=31527] ppid=31526 vsize=310880 CPUtime=3.08 cores=1,3,5,7
/proc/31527/stat : 31527 (npSolver-pbo) R 31526 31526 20971 0 -1 4202496 48674 0 0 0 294 14 0 0 20 0 1 0 382350004 318341120 75157 33554432000 4194304 6004724 140737150362224 140737150358120 4968639 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/31527/statm: 77720 75157 130 442 0 77274 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 320028
[startup+6.3004 s]
/proc/loadavg: 2.00 2.03 1.99 3/181 31528
/proc/meminfo: memFree=25543436/32873844 swapFree=7632/7632
[pid=31526] ppid=31524 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31526/stat : 31526 (npSolver-pbo-I.) S 31524 31526 20971 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382350003 9367552 275 33554432000 4194304 5064252 140733698301792 140733698300704 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31526/statm: 2287 275 233 213 0 72 0
[pid=31527] ppid=31526 vsize=773552 CPUtime=6.28 cores=1,3,5,7
/proc/31527/stat : 31527 (npSolver-pbo) R 31526 31526 20971 0 -1 4202496 98189 0 0 0 597 31 0 0 20 0 1 0 382350004 792117248 161419 33554432000 4194304 6004724 140737150362224 140737150356504 4534738 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/31527/statm: 193388 161419 162 442 0 192942 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 782700
[startup+12.7003 s]
/proc/loadavg: 2.00 2.02 1.99 3/181 31528
/proc/meminfo: memFree=25081412/32873844 swapFree=7632/7632
[pid=31526] ppid=31524 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31526/stat : 31526 (npSolver-pbo-I.) S 31524 31526 20971 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382350003 9367552 275 33554432000 4194304 5064252 140733698301792 140733698300704 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31526/statm: 2287 275 233 213 0 72 0
[pid=31527] ppid=31526 vsize=1559984 CPUtime=12.68 cores=1,3,5,7
/proc/31527/stat : 31527 (npSolver-pbo) R 31526 31526 20971 0 -1 4202496 99819 0 0 0 1214 54 0 0 20 0 1 0 382350004 1597423616 274574 33554432000 4194304 6004724 140737150362224 140737150356824 4536263 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31527/statm: 389996 274574 162 442 0 389550 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1569132
[startup+25.5004 s]
/proc/loadavg: 2.00 2.02 1.99 3/180 31528
/proc/meminfo: memFree=24119468/32873844 swapFree=7632/7632
[pid=31526] ppid=31524 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31526/stat : 31526 (npSolver-pbo-I.) S 31524 31526 20971 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382350003 9367552 275 33554432000 4194304 5064252 140733698301792 140733698300704 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31526/statm: 2287 275 233 213 0 72 0
[pid=31527] ppid=31526 vsize=2608568 CPUtime=25.48 cores=1,3,5,7
/proc/31527/stat : 31527 (npSolver-pbo) R 31526 31526 20971 0 -1 4202496 101303 0 0 0 2458 90 0 0 20 0 1 0 382350004 2671173632 507540 33554432000 4194304 6004724 140737150362224 140737150356824 4720496 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31527/statm: 652142 507540 162 442 0 651696 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 2617716
[startup+51.1003 s]
/proc/loadavg: 2.08 2.04 2.00 2/181 31529
/proc/meminfo: memFree=16916384/32873844 swapFree=7632/7632
[pid=31526] ppid=31524 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31526/stat : 31526 (npSolver-pbo-I.) S 31524 31526 20971 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382350003 9367552 275 33554432000 4194304 5064252 140733698301792 140733698300704 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31526/statm: 2287 275 233 213 0 72 0
[pid=31527] ppid=31526 vsize=7630688 CPUtime=49.03 cores=1,3,5,7
/proc/31527/stat : 31527 (npSolver-pbo) R 31526 31526 20971 0 -1 4202496 105571 0 0 0 4318 585 0 0 20 0 1 0 382350004 7813824512 1590016 33554432000 4194304 6004724 140737150362224 140737150358096 5193835 0 0 4096 0 0 0 0 17 3 0 0 204 0 0
/proc/31527/statm: 1907672 1590016 164 442 0 1907226 0
Current children cumulated CPU time (s) 49.03
Current children cumulated vsize (KiB) 7639836
[startup+119.951 s]
/proc/loadavg: 2.58 2.16 2.04 3/183 31531
/proc/meminfo: memFree=16727040/32873844 swapFree=7632/7632
[pid=31526] ppid=31524 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31526/stat : 31526 (npSolver-pbo-I.) S 31524 31526 20971 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382350003 9367552 275 33554432000 4194304 5064252 140733698301792 140733698300704 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31526/statm: 2287 275 233 213 0 72 0
[pid=31527] ppid=31526 vsize=4705748 CPUtime=49.3 cores=1,3,5,7
/proc/31527/stat : 31527 (npSolver-pbo) S 31526 31526 20971 0 -1 4202496 105578 0 0 0 4318 612 0 0 20 0 1 0 382350004 4818685952 858787 33554432000 4194304 6004724 140737150362224 140737150356688 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 204 0 0
/proc/31527/statm: 1176437 858787 170 442 0 1175991 0
[pid=31530] ppid=31527 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31530/stat : 31530 (cp2_pre.sh) S 31527 31526 20971 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 382355139 9367552 277 33554432000 4194304 5064252 140735913321936 140735913320640 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31530/statm: 2287 277 234 213 0 72 0
[pid=31531] ppid=31530 vsize=5950968 CPUtime=67.25 cores=1,3,5,7
/proc/31531/stat : 31531 (coprocessor) D 31530 31526 20971 0 -1 4202496 30669 0 0 0 6404 321 0 0 20 0 1 0 382355141 6093791232 1212816 33554432000 4194304 6586260 140734021805344 140734021801096 5732496 0 0 4096 8404994 18446744071580543392 0 0 17 1 0 0 126 0 0
/proc/31531/statm: 1487742 1212816 157 584 0 1487154 0
Current children cumulated CPU time (s) 116.55
Current children cumulated vsize (KiB) 10675012
[startup+182.617 s]
/proc/loadavg: 2.58 2.16 2.04 3/183 31531
/proc/meminfo: memFree=16727040/32873844 swapFree=7632/7632
[pid=31526] ppid=31524 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31526/stat : 31526 (npSolver-pbo-I.) S 31524 31526 20971 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382350003 9367552 275 33554432000 4194304 5064252 140733698301792 140733698300704 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31526/statm: 2287 275 233 213 0 72 0
[pid=31527] ppid=31526 vsize=4705748 CPUtime=49.3 cores=1,3,5,7
/proc/31527/stat : 31527 (npSolver-pbo) S 31526 31526 20971 0 -1 4202496 105578 0 0 0 4318 612 0 0 20 0 1 0 382350004 4818685952 858787 33554432000 4194304 6004724 140737150362224 140737150356688 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 204 0 0
/proc/31527/statm: 1176437 858787 170 442 0 1175991 0
[pid=31530] ppid=31527 vsize=9148 CPUtime=128.42 cores=1,3,5,7
/proc/31530/stat : 31530 (cp2_pre.sh) S 31527 31526 20971 0 -1 4202496 632 30671 0 0 0 0 12201 641 20 0 1 0 382355139 9367552 281 33554432000 4194304 5064252 140735913321936 140735913320640 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31530/statm: 2287 281 238 213 0 72 0
Current children cumulated CPU time (s) 177.72
Current children cumulated vsize (KiB) 4724044
[startup+223.678 s]
/proc/loadavg: 2.30 2.25 2.09 3/181 31534
/proc/meminfo: memFree=13981644/32873844 swapFree=7632/7632
[pid=31526] ppid=31524 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31526/stat : 31526 (npSolver-pbo-I.) S 31524 31526 20971 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382350003 9367552 275 33554432000 4194304 5064252 140733698301792 140733698300704 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31526/statm: 2287 275 233 213 0 72 0
[pid=31527] ppid=31526 vsize=4705748 CPUtime=178.24 cores=1,3,5,7
/proc/31527/stat : 31527 (npSolver-pbo) S 31526 31526 20971 0 -1 4202496 105594 31571 0 0 4318 613 12201 692 20 0 1 0 382350004 4818685952 858790 33554432000 4194304 6004724 140737150362224 140737150348504 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 204 0 0
/proc/31527/statm: 1176437 858790 173 442 0 1175991 0
[pid=31534] ppid=31527 vsize=8017828 CPUtime=40.54 cores=1,3,5,7
/proc/31534/stat : 31534 (glucosInc) R 31527 31526 20971 0 -1 4202496 685689 0 0 0 3827 227 0 0 20 0 1 0 382368314 8210255872 1568009 33554432000 4194304 5654031 140735824164000 140735824161784 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/31534/statm: 2004457 1568009 140 357 0 2004097 0
Current children cumulated CPU time (s) 218.78
Current children cumulated vsize (KiB) 12732724
[startup+283.664 s]
/proc/loadavg: 2.17 2.22 2.09 3/181 31534
/proc/meminfo: memFree=13961636/32873844 swapFree=7632/7632
[pid=31526] ppid=31524 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31526/stat : 31526 (npSolver-pbo-I.) S 31524 31526 20971 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382350003 9367552 275 33554432000 4194304 5064252 140733698301792 140733698300704 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31526/statm: 2287 275 233 213 0 72 0
[pid=31527] ppid=31526 vsize=4705748 CPUtime=178.24 cores=1,3,5,7
/proc/31527/stat : 31527 (npSolver-pbo) S 31526 31526 20971 0 -1 4202496 105594 31571 0 0 4318 613 12201 692 20 0 1 0 382350004 4818685952 858790 33554432000 4194304 6004724 140737150362224 140737150348504 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 204 0 0
/proc/31527/statm: 1176437 858790 173 442 0 1175991 0
[pid=31534] ppid=31527 vsize=8041808 CPUtime=100.51 cores=1,3,5,7
/proc/31534/stat : 31534 (glucosInc) R 31527 31526 20971 0 -1 4202496 697257 0 0 0 9819 232 0 0 20 0 1 0 382368314 8234811392 1574729 33554432000 4194304 5654031 140735824164000 140735824151816 4232707 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/31534/statm: 2010452 1574729 140 357 0 2010092 0
Current children cumulated CPU time (s) 278.75
Current children cumulated vsize (KiB) 12756704
[startup+380.449 s]
################
# More data... #
################
/proc/meminfo: memFree=16948804/32873844 swapFree=7632/7632
[pid=31526] ppid=31524 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31526/stat : 31526 (npSolver-pbo-I.) S 31524 31526 20971 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382350003 9367552 275 33554432000 4194304 5064252 140733698301792 140733698300704 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31526/statm: 2287 275 233 213 0 72 0
[pid=31527] ppid=31526 vsize=4705748 CPUtime=178.24 cores=1,3,5,7
/proc/31527/stat : 31527 (npSolver-pbo) S 31526 31526 20971 0 -1 4202496 105594 31571 0 0 4318 613 12201 692 20 0 1 0 382350004 4818685952 858790 33554432000 4194304 6004724 140737150362224 140737150348504 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 204 0 0
/proc/31527/statm: 1176437 858790 173 442 0 1175991 0
[pid=31534] ppid=31527 vsize=8064672 CPUtime=1118.98 cores=1,3,5,7
/proc/31534/stat : 31534 (glucosInc) R 31527 31526 20971 0 -1 4202496 757883 0 0 0 111631 267 0 0 20 0 1 0 382368314 8258224128 1588127 33554432000 4194304 5654031 140735824164000 140735824161784 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31534/statm: 2016168 1588127 140 357 0 2015808 0
Current children cumulated CPU time (s) 1297.22
Current children cumulated vsize (KiB) 12779568
[startup+1362.3 s]
/proc/loadavg: 2.08 2.06 2.02 3/181 31588
/proc/meminfo: memFree=16934116/32873844 swapFree=7632/7632
[pid=31526] ppid=31524 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31526/stat : 31526 (npSolver-pbo-I.) S 31524 31526 20971 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382350003 9367552 275 33554432000 4194304 5064252 140733698301792 140733698300704 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31526/statm: 2287 275 233 213 0 72 0
[pid=31527] ppid=31526 vsize=4705748 CPUtime=178.24 cores=1,3,5,7
/proc/31527/stat : 31527 (npSolver-pbo) S 31526 31526 20971 0 -1 4202496 105594 31571 0 0 4318 613 12201 692 20 0 1 0 382350004 4818685952 858790 33554432000 4194304 6004724 140737150362224 140737150348504 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 204 0 0
/proc/31527/statm: 1176437 858790 173 442 0 1175991 0
[pid=31534] ppid=31527 vsize=8064880 CPUtime=1178.97 cores=1,3,5,7
/proc/31534/stat : 31534 (glucosInc) R 31527 31526 20971 0 -1 4202496 763306 0 0 0 117628 269 0 0 20 0 1 0 382368314 8258437120 1589212 33554432000 4194304 5654031 140735824164000 140735824162072 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31534/statm: 2016220 1589212 140 357 0 2015860 0
Current children cumulated CPU time (s) 1357.21
Current children cumulated vsize (KiB) 12779776
[startup+1422.3 s]
/proc/loadavg: 2.09 2.06 2.02 3/180 31588
/proc/meminfo: memFree=16922584/32873844 swapFree=7632/7632
[pid=31526] ppid=31524 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31526/stat : 31526 (npSolver-pbo-I.) S 31524 31526 20971 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382350003 9367552 275 33554432000 4194304 5064252 140733698301792 140733698300704 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31526/statm: 2287 275 233 213 0 72 0
[pid=31527] ppid=31526 vsize=4705748 CPUtime=178.24 cores=1,3,5,7
/proc/31527/stat : 31527 (npSolver-pbo) S 31526 31526 20971 0 -1 4202496 105594 31571 0 0 4318 613 12201 692 20 0 1 0 382350004 4818685952 858790 33554432000 4194304 6004724 140737150362224 140737150348504 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 204 0 0
/proc/31527/statm: 1176437 858790 173 442 0 1175991 0
[pid=31534] ppid=31527 vsize=8065172 CPUtime=1238.96 cores=1,3,5,7
/proc/31534/stat : 31534 (glucosInc) R 31527 31526 20971 0 -1 4202496 763393 0 0 0 123627 269 0 0 20 0 1 0 382368314 8258736128 1589810 33554432000 4194304 5654031 140735824164000 140735824151816 4232707 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31534/statm: 2016293 1589810 140 357 0 2015933 0
Current children cumulated CPU time (s) 1417.2
Current children cumulated vsize (KiB) 12780068
[startup+1482.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/181 31589
/proc/meminfo: memFree=16911176/32873844 swapFree=7632/7632
[pid=31526] ppid=31524 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31526/stat : 31526 (npSolver-pbo-I.) S 31524 31526 20971 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382350003 9367552 275 33554432000 4194304 5064252 140733698301792 140733698300704 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31526/statm: 2287 275 233 213 0 72 0
[pid=31527] ppid=31526 vsize=4705748 CPUtime=178.24 cores=1,3,5,7
/proc/31527/stat : 31527 (npSolver-pbo) S 31526 31526 20971 0 -1 4202496 105594 31571 0 0 4318 613 12201 692 20 0 1 0 382350004 4818685952 858790 33554432000 4194304 6004724 140737150362224 140737150348504 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 204 0 0
/proc/31527/statm: 1176437 858790 173 442 0 1175991 0
[pid=31534] ppid=31527 vsize=8065308 CPUtime=1298.95 cores=1,3,5,7
/proc/31534/stat : 31534 (glucosInc) R 31527 31526 20971 0 -1 4202496 768281 0 0 0 129623 272 0 0 20 0 1 0 382368314 8258875392 1590893 33554432000 4194304 5654031 140735824164000 140735824151816 4214502 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31534/statm: 2016327 1590893 140 357 0 2015967 0
Current children cumulated CPU time (s) 1477.19
Current children cumulated vsize (KiB) 12780204
[startup+1542.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/181 31589
/proc/meminfo: memFree=16902696/32873844 swapFree=7632/7632
[pid=31526] ppid=31524 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31526/stat : 31526 (npSolver-pbo-I.) S 31524 31526 20971 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382350003 9367552 275 33554432000 4194304 5064252 140733698301792 140733698300704 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31526/statm: 2287 275 233 213 0 72 0
[pid=31527] ppid=31526 vsize=4705748 CPUtime=178.24 cores=1,3,5,7
/proc/31527/stat : 31527 (npSolver-pbo) S 31526 31526 20971 0 -1 4202496 105594 31571 0 0 4318 613 12201 692 20 0 1 0 382350004 4818685952 858790 33554432000 4194304 6004724 140737150362224 140737150348504 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 204 0 0
/proc/31527/statm: 1176437 858790 173 442 0 1175991 0
[pid=31534] ppid=31527 vsize=8066284 CPUtime=1358.95 cores=1,3,5,7
/proc/31534/stat : 31534 (glucosInc) R 31527 31526 20971 0 -1 4202496 773869 0 0 0 135621 274 0 0 20 0 1 0 382368314 8259874816 1591121 33554432000 4194304 5654031 140735824164000 140735824151816 4232632 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31534/statm: 2016571 1591121 140 357 0 2016211 0
Current children cumulated CPU time (s) 1537.19
Current children cumulated vsize (KiB) 12781180
[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/181 31589
/proc/meminfo: memFree=16889932/32873844 swapFree=7632/7632
[pid=31526] ppid=31524 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31526/stat : 31526 (npSolver-pbo-I.) S 31524 31526 20971 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382350003 9367552 275 33554432000 4194304 5064252 140733698301792 140733698300704 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31526/statm: 2287 275 233 213 0 72 0
[pid=31527] ppid=31526 vsize=4705748 CPUtime=178.24 cores=1,3,5,7
/proc/31527/stat : 31527 (npSolver-pbo) S 31526 31526 20971 0 -1 4202496 105594 31571 0 0 4318 613 12201 692 20 0 1 0 382350004 4818685952 858790 33554432000 4194304 6004724 140737150362224 140737150348504 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 204 0 0
/proc/31527/statm: 1176437 858790 173 442 0 1175991 0
[pid=31534] ppid=31527 vsize=8066400 CPUtime=1418.93 cores=1,3,5,7
/proc/31534/stat : 31534 (glucosInc) R 31527 31526 20971 0 -1 4202496 779268 0 0 0 141615 278 0 0 20 0 1 0 382368314 8259993600 1591690 33554432000 4194304 5654031 140735824164000 140735824151816 4232581 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31534/statm: 2016600 1591690 140 357 0 2016240 0
Current children cumulated CPU time (s) 1597.17
Current children cumulated vsize (KiB) 12781296
[startup+1662.31 s]
/proc/loadavg: 2.03 2.03 2.00 3/181 31590
/proc/meminfo: memFree=16876364/32873844 swapFree=7632/7632
[pid=31526] ppid=31524 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31526/stat : 31526 (npSolver-pbo-I.) S 31524 31526 20971 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382350003 9367552 275 33554432000 4194304 5064252 140733698301792 140733698300704 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31526/statm: 2287 275 233 213 0 72 0
[pid=31527] ppid=31526 vsize=4705748 CPUtime=178.24 cores=1,3,5,7
/proc/31527/stat : 31527 (npSolver-pbo) S 31526 31526 20971 0 -1 4202496 105594 31571 0 0 4318 613 12201 692 20 0 1 0 382350004 4818685952 858790 33554432000 4194304 6004724 140737150362224 140737150348504 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 204 0 0
/proc/31527/statm: 1176437 858790 173 442 0 1175991 0
[pid=31534] ppid=31527 vsize=8066932 CPUtime=1478.93 cores=1,3,5,7
/proc/31534/stat : 31534 (glucosInc) R 31527 31526 20971 0 -1 4202496 784743 0 0 0 147613 280 0 0 20 0 1 0 382368314 8260538368 1592845 33554432000 4194304 5654031 140735824164000 140735824151816 4232767 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31534/statm: 2016733 1592845 140 357 0 2016373 0
Current children cumulated CPU time (s) 1657.17
Current children cumulated vsize (KiB) 12781828
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 31590
/proc/meminfo: memFree=16863520/32873844 swapFree=7632/7632
[pid=31526] ppid=31524 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31526/stat : 31526 (npSolver-pbo-I.) S 31524 31526 20971 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382350003 9367552 275 33554432000 4194304 5064252 140733698301792 140733698300704 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31526/statm: 2287 275 233 213 0 72 0
[pid=31527] ppid=31526 vsize=4705748 CPUtime=178.24 cores=1,3,5,7
/proc/31527/stat : 31527 (npSolver-pbo) S 31526 31526 20971 0 -1 4202496 105594 31571 0 0 4318 613 12201 692 20 0 1 0 382350004 4818685952 858790 33554432000 4194304 6004724 140737150362224 140737150348504 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 204 0 0
/proc/31527/statm: 1176437 858790 173 442 0 1175991 0
[pid=31534] ppid=31527 vsize=8067904 CPUtime=1538.91 cores=1,3,5,7
/proc/31534/stat : 31534 (glucosInc) R 31527 31526 20971 0 -1 4202496 784983 0 0 0 153611 280 0 0 20 0 1 0 382368314 8261533696 1593596 33554432000 4194304 5654031 140735824164000 140735824151816 4216337 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31534/statm: 2016976 1593596 140 357 0 2016616 0
Current children cumulated CPU time (s) 1717.15
Current children cumulated vsize (KiB) 12782800
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/182 31593
/proc/meminfo: memFree=16854472/32873844 swapFree=7632/7632
[pid=31526] ppid=31524 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31526/stat : 31526 (npSolver-pbo-I.) S 31524 31526 20971 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382350003 9367552 275 33554432000 4194304 5064252 140733698301792 140733698300704 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31526/statm: 2287 275 233 213 0 72 0
[pid=31527] ppid=31526 vsize=4705748 CPUtime=178.24 cores=1,3,5,7
/proc/31527/stat : 31527 (npSolver-pbo) S 31526 31526 20971 0 -1 4202496 105594 31571 0 0 4318 613 12201 692 20 0 1 0 382350004 4818685952 858790 33554432000 4194304 6004724 140737150362224 140737150348504 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 204 0 0
/proc/31527/statm: 1176437 858790 173 442 0 1175991 0
[pid=31534] ppid=31527 vsize=8068144 CPUtime=1598.9 cores=1,3,5,7
/proc/31534/stat : 31534 (glucosInc) R 31527 31526 20971 0 -1 4202496 790357 0 0 0 159607 283 0 0 20 0 1 0 382368314 8261779456 1593629 33554432000 4194304 5654031 140735824164000 140735824151816 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31534/statm: 2017036 1593629 140 357 0 2016676 0
Current children cumulated CPU time (s) 1777.14
Current children cumulated vsize (KiB) 12783040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1805.2 s]
/proc/loadavg: 2.00 2.02 2.00 3/182 31593
/proc/meminfo: memFree=16850332/32873844 swapFree=7632/7632
[pid=31526] ppid=31524 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31526/stat : 31526 (npSolver-pbo-I.) S 31524 31526 20971 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382350003 9367552 275 33554432000 4194304 5064252 140733698301792 140733698300704 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31526/statm: 2287 275 233 213 0 72 0
[pid=31527] ppid=31526 vsize=4705748 CPUtime=178.24 cores=1,3,5,7
/proc/31527/stat : 31527 (npSolver-pbo) S 31526 31526 20971 0 -1 4202496 105594 31571 0 0 4318 613 12201 692 20 0 1 0 382350004 4818685952 858790 33554432000 4194304 6004724 140737150362224 140737150348504 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 204 0 0
/proc/31527/statm: 1176437 858790 173 442 0 1175991 0
[pid=31534] ppid=31527 vsize=8068144 CPUtime=1621.81 cores=1,3,5,7
/proc/31534/stat : 31534 (glucosInc) R 31527 31526 20971 0 -1 4202496 795217 0 0 0 161896 285 0 0 20 0 1 0 382368314 8261779456 1594173 33554432000 4194304 5654031 140735824164000 140735824151816 4232581 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31534/statm: 2017036 1594173 140 357 0 2016676 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 12783040
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31526 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1805.22
CPU time (s): 1800.05
CPU user time (s): 1784.15
CPU system time (s): 15.9
CPU usage (%): 99.7134
Max. virtual memory (cumulated for all children) (KiB): 12876468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 1100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 358
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 2
runsolver used 3.9204 second user time and 9.11461 second system time
The end