4.09/4.12 c old isEQ: 28, new EQ is 1
4.09/4.12 c old isEQ: 172, new EQ is 1
4.09/4.12 c old isEQ: 172, new EQ is 0
4.09/4.12 c old isEQ: 172, new EQ is 0
4.09/4.12 c old isEQ: 172, new EQ is 0
4.09/4.12 c old isEQ: 172, new EQ is 0
4.09/4.12 c old isEQ: 172, new EQ is 0
4.09/4.12 c old isEQ: 172, new EQ is 0
4.09/4.12 c old isEQ: 172, new EQ is 0
4.09/4.12 c old isEQ: 172, new EQ is 0
4.09/4.12 c old isEQ: 172, new EQ is 0
4.09/4.13 c old isEQ: 172, new EQ is 0
4.09/4.13 c old isEQ: 172, new EQ is 0
4.09/4.13 c old isEQ: 172, new EQ is 0
4.09/4.13 c old isEQ: 172, new EQ is 0
4.09/4.13 c old isEQ: 220, new EQ is 0
4.09/4.13 c old isEQ: 172, new EQ is 0
4.09/4.13 c old isEQ: 172, new EQ is 0
4.09/4.13 c old isEQ: 172, new EQ is 0
4.09/4.13 c old isEQ: 172, new EQ is 0
4.09/4.13 c old isEQ: 172, new EQ is 0
4.09/4.13 c old isEQ: 172, new EQ is 0
4.09/4.13 c old isEQ: 172, new EQ is 0
4.09/4.13 c old isEQ: 172, new EQ is 0
4.09/4.13 c old isEQ: 172, new EQ is 0
4.09/4.13 c old isEQ: 172, new EQ is 0
4.09/4.14 c old isEQ: 172, new EQ is 0
4.09/4.14 c old isEQ: 172, new EQ is 0
4.09/4.14 c old isEQ: 172, new EQ is 0
4.09/4.14 c old isEQ: 220, new EQ is 0
4.09/4.14 c old isEQ: 220, new EQ is 0
4.09/4.14 c old isEQ: 220, new EQ is 0
4.09/4.14 c old isEQ: 220, new EQ is 0
4.09/4.14 c old isEQ: 220, new EQ is 0
4.09/4.14 c old isEQ: 220, new EQ is 0
4.09/4.14 c old isEQ: 220, new EQ is 0
4.09/4.14 c old isEQ: 220, new EQ is 0
4.09/4.14 c old isEQ: 220, new EQ is 0
4.09/4.14 c old isEQ: 220, new EQ is 0
4.09/4.14 c old isEQ: 220, new EQ is 0
4.09/4.14 c old isEQ: 220, new EQ is 0
4.09/4.15 c old isEQ: 220, new EQ is 0
4.09/4.15 c old isEQ: 220, new EQ is 0
4.09/4.15 c old isEQ: 220, new EQ is 0
4.09/4.15 c old isEQ: 220, new EQ is 0
4.09/4.15 c old isEQ: 220, new EQ is 0
4.09/4.15 c old isEQ: 220, new EQ is 0
4.09/4.15 c old isEQ: 220, new EQ is 0
4.09/4.15 c old isEQ: 220, new EQ is 0
4.09/4.15 c old isEQ: 220, new EQ is 0
4.09/4.15 c old isEQ: 220, new EQ is 0
4.09/4.15 c old isEQ: 220, new EQ is 0
4.09/4.15 c old isEQ: 220, new EQ is 0
4.09/4.15 c old isEQ: 156, new EQ is 0
4.09/4.15 c old isEQ: 156, new EQ is 0
4.09/4.15 c old isEQ: 156, new EQ is 0
4.09/4.16 c old isEQ: 156, new EQ is 0
4.09/4.16 c old isEQ: 156, new EQ is 0
4.09/4.16 c old isEQ: 156, new EQ is 0
4.09/4.16 c old isEQ: 156, new EQ is 0
4.09/4.16 c old isEQ: 156, new EQ is 0
4.09/4.16 c old isEQ: 156, new EQ is 0
4.09/4.16 c old isEQ: 156, new EQ is 0
4.09/4.16 c old isEQ: 156, new EQ is 0
4.09/4.16 c old isEQ: 156, new EQ is 0
4.09/4.16 c old isEQ: 156, new EQ is 0
4.09/4.16 c old isEQ: 156, new EQ is 0
4.09/4.16 c old isEQ: 156, new EQ is 0
4.09/4.16 c old isEQ: 156, new EQ is 0
4.09/4.16 c old isEQ: 156, new EQ is 0
4.09/4.16 c old isEQ: 156, new EQ is 0
4.09/4.17 c old isEQ: 156, new EQ is 0
4.09/4.17 c old isEQ: 156, new EQ is 0
4.09/4.17 c old isEQ: 156, new EQ is 0
4.09/4.17 c old isEQ: 156, new EQ is 0
4.09/4.17 c old isEQ: 156, new EQ is 0
4.09/4.17 c old isEQ: 156, new EQ is 0
4.09/4.17 c old isEQ: 156, new EQ is 0
4.09/4.17 c old isEQ: 156, new EQ is 0
4.09/4.17 c old isEQ: 204, new EQ is 0
4.09/4.17 c old isEQ: 204, new EQ is 0
4.09/4.17 c old isEQ: 204, new EQ is 0
4.09/4.17 c old isEQ: 204, new EQ is 0
4.09/4.17 c old isEQ: 204, new EQ is 0
4.09/4.17 c old isEQ: 204, new EQ is 0
4.09/4.17 c old isEQ: 204, new EQ is 0
4.09/4.18 c old isEQ: 204, new EQ is 0
4.09/4.18 c old isEQ: 204, new EQ is 0
4.09/4.18 c old isEQ: 204, new EQ is 0
4.09/4.18 c old isEQ: 204, new EQ is 0
4.09/4.18 c old isEQ: 204, new EQ is 0
4.09/4.18 c old isEQ: 204, new EQ is 0
4.09/4.18 c old isEQ: 204, new EQ is 0
4.09/4.18 c old isEQ: 204, new EQ is 0
4.09/4.18 c old isEQ: 204, new EQ is 0
4.09/4.18 c old isEQ: 204, new EQ is 0
4.09/4.18 c old isEQ: 204, new EQ is 0
4.09/4.18 c old isEQ: 204, new EQ is 0
4.09/4.18 c old isEQ: 204, new EQ is 0
4.09/4.18 c old isEQ: 204, new EQ is 0
4.09/4.19 c old isEQ: 204, new EQ is 0
4.09/4.19 c old isEQ: 172, new EQ is 0
4.09/4.19 c old isEQ: 172, new EQ is 0
4.09/4.19 c old isEQ: 172, new EQ is 0
4.09/4.19 c old isEQ: 172, new EQ is 0
4.09/4.19 c old isEQ: 172, new EQ is 0
4.09/4.19 c old isEQ: 172, new EQ is 0
4.09/4.19 c old isEQ: 172, new EQ is 0
4.09/4.19 c old isEQ: 172, new EQ is 0
4.09/4.19 c old isEQ: 172, new EQ is 0
4.09/4.19 c old isEQ: 172, new EQ is 0
4.09/4.19 c old isEQ: 172, new EQ is 0
4.09/4.19 c old isEQ: 172, new EQ is 0
4.09/4.19 c old isEQ: 172, new EQ is 0
4.09/4.19 c old isEQ: 76, new EQ is 0
4.09/4.20 c old isEQ: 76, new EQ is 0
4.19/4.20 c old isEQ: 76, new EQ is 0
4.19/4.20 c old isEQ: 76, new EQ is 0
4.19/4.20 c old isEQ: 76, new EQ is 0
4.19/4.20 c old isEQ: 76, new EQ is 0
4.19/4.20 c old isEQ: 76, new EQ is 0
4.19/4.20 c old isEQ: 76, new EQ is 0
4.19/4.20 c old isEQ: 76, new EQ is 0
4.19/4.20 c old isEQ: 76, new EQ is 0
4.19/4.20 c old isEQ: 76, new EQ is 0
4.19/4.20 c old isEQ: 76, new EQ is 0
4.19/4.20 c old isEQ: 76, new EQ is 0
4.19/4.20 c old isEQ: 76, new EQ is 0
4.19/4.20 c old isEQ: 76, new EQ is 0
4.19/4.20 c old isEQ: 76, new EQ is 0
4.19/4.20 c old isEQ: 76, new EQ is 0
4.19/4.21 c old isEQ: 76, new EQ is 0
4.19/4.21 c old isEQ: 76, new EQ is 0
4.19/4.21 c old isEQ: 76, new EQ is 0
4.19/4.21 c old isEQ: 76, new EQ is 0
4.19/4.21 c old isEQ: 76, new EQ is 0
4.19/4.21 c old isEQ: 76, new EQ is 0
4.19/4.21 c old isEQ: 76, new EQ is 0
4.19/4.21 c old isEQ: 76, new EQ is 0
4.19/4.21 c old isEQ: 76, new EQ is 0
4.19/4.21 c old isEQ: 76, new EQ is 0
4.19/4.21 c old isEQ: 76, new EQ is 0
4.19/4.21 c old isEQ: 76, new EQ is 0
4.19/4.21 c old isEQ: 76, new EQ is 0
4.19/4.21 c old isEQ: 76, new EQ is 0
4.19/4.21 c old isEQ: 76, new EQ is 0
4.19/4.22 c old isEQ: 76, new EQ is 0
4.19/4.22 c old isEQ: 76, new EQ is 0
4.19/4.22 c old isEQ: 76, new EQ is 0
4.19/4.22 c old isEQ: 76, new EQ is 0
4.19/4.22 c old isEQ: 76, new EQ is 0
4.19/4.22 c old isEQ: 76, new EQ is 0
4.19/4.22 c old isEQ: 76, new EQ is 0
4.19/4.22 c old isEQ: 76, new EQ is 0
4.19/4.22 c old isEQ: 76, new EQ is 0
4.19/4.22 c old isEQ: 76, new EQ is 0
4.19/4.22 c old isEQ: 76, new EQ is 0
4.19/4.22 c old isEQ: 76, new EQ is 0
4.19/4.22 c old isEQ: 188, new EQ is 0
4.19/4.22 c old isEQ: 188, new EQ is 0
4.19/4.22 c old isEQ: 188, new EQ is 0
4.19/4.23 c old isEQ: 188, new EQ is 0
4.19/4.23 c old isEQ: 188, new EQ is 0
4.19/4.23 c old isEQ: 188, new EQ is 0
4.19/4.23 c old isEQ: 188, new EQ is 0
4.19/4.23 c old isEQ: 188, new EQ is 0
4.19/4.23 c old isEQ: 188, new EQ is 0
4.19/4.23 c old isEQ: 188, new EQ is 0
4.19/4.23 c old isEQ: 188, new EQ is 0
4.19/4.23 c old isEQ: 188, new EQ is 0
4.19/4.23 c old isEQ: 188, new EQ is 0
4.19/4.23 c old isEQ: 188, new EQ is 0
4.19/4.23 c old isEQ: 188, new EQ is 0
4.19/4.23 c old isEQ: 188, new EQ is 0
4.19/4.23 c old isEQ: 188, new EQ is 0
4.19/4.23 c old isEQ: 188, new EQ is 0
4.19/4.24 c old isEQ: 188, new EQ is 0
4.19/4.24 c old isEQ: 188, new EQ is 0
4.19/4.24 c old isEQ: 188, new EQ is 0
4.19/4.24 c old isEQ: 188, new EQ is 0
4.19/4.24 c old isEQ: 188, new EQ is 0
4.19/4.24 c old isEQ: 188, new EQ is 0
4.19/4.24 c old isEQ: 188, new EQ is 0
4.19/4.24 c old isEQ: 188, new EQ is 0
4.19/4.24 c old isEQ: 188, new EQ is 0
4.19/4.24 c old isEQ: 188, new EQ is 0
4.19/4.24 c old isEQ: 188, new EQ is 0
4.19/4.24 c old isEQ: 188, new EQ is 0
4.19/4.24 c old isEQ: 188, new EQ is 0
4.19/4.24 c old isEQ: 188, new EQ is 0
4.19/4.24 c old isEQ: 188, new EQ is 0
4.19/4.25 c old isEQ: 188, new EQ is 0
4.19/4.25 c old isEQ: 188, new EQ is 0
4.19/4.25 c old isEQ: 188, new EQ is 0
4.19/4.25 c old isEQ: 188, new EQ is 0
4.19/4.25 c old isEQ: 172, new EQ is 0
4.19/4.25 c old isEQ: 172, new EQ is 0
4.19/4.25 c old isEQ: 172, new EQ is 0
4.19/4.25 c old isEQ: 172, new EQ is 0
4.19/4.25 c old isEQ: 172, new EQ is 0
4.19/4.25 c old isEQ: 172, new EQ is 0
4.19/4.25 c old isEQ: 172, new EQ is 0
4.19/4.25 c old isEQ: 172, new EQ is 0
4.19/4.25 c old isEQ: 172, new EQ is 0
4.19/4.26 c old isEQ: 172, new EQ is 0
4.19/4.26 c old isEQ: 172, new EQ is 0
4.19/4.26 c old isEQ: 172, new EQ is 0
4.19/4.26 c old isEQ: 172, new EQ is 0
4.19/4.26 c old isEQ: 172, new EQ is 0
4.19/4.26 c old isEQ: 172, new EQ is 0
4.19/4.26 c old isEQ: 172, new EQ is 0
4.19/4.26 c old isEQ: 172, new EQ is 0
4.19/4.26 c old isEQ: 28, new EQ is 0
4.19/4.26 c old isEQ: 28, new EQ is 0
4.19/4.26 c old isEQ: 28, new EQ is 0
4.19/4.26 c old isEQ: 28, new EQ is 0
4.19/4.26 c old isEQ: 28, new EQ is 0
4.19/4.26 c old isEQ: 28, new EQ is 0
4.19/4.26 c old isEQ: 28, new EQ is 0
4.19/4.27 c old isEQ: 28, new EQ is 0
4.19/4.27 c old isEQ: 28, new EQ is 0
4.19/4.27 c old isEQ: 28, new EQ is 0
4.19/4.27 c old isEQ: 28, new EQ is 0
4.19/4.27 c old isEQ: 28, new EQ is 0
4.19/4.27 c old isEQ: 28, new EQ is 0
4.19/4.27 c old isEQ: 28, new EQ is 0
4.19/4.27 c old isEQ: 28, new EQ is 0
4.19/4.27 c old isEQ: 28, new EQ is 0
4.19/4.27 c old isEQ: 28, new EQ is 0
4.19/4.27 c old isEQ: 28, new EQ is 0
4.19/4.27 c old isEQ: 28, new EQ is 0
4.19/4.27 c old isEQ: 28, new EQ is 0
4.19/4.27 c old isEQ: 28, new EQ is 0
4.19/4.27 c old isEQ: 28, new EQ is 0
4.19/4.28 c old isEQ: 28, new EQ is 0
4.19/4.28 c old isEQ: 28, new EQ is 0
4.19/4.28 c old isEQ: 28, new EQ is 0
4.19/4.28 c old isEQ: 28, new EQ is 0
4.19/4.28 c old isEQ: 28, new EQ is 0
4.19/4.28 c old isEQ: 28, new EQ is 0
4.19/4.28 c old isEQ: 28, new EQ is 0
4.19/4.28 c old isEQ: 28, new EQ is 0
4.19/4.28 c old isEQ: 28, new EQ is 0
4.19/4.28 c old isEQ: 28, new EQ is 0
4.19/4.28 c old isEQ: 28, new EQ is 0
4.19/4.28 c old isEQ: 28, new EQ is 0
4.19/4.28 c old isEQ: 28, new EQ is 0
4.19/4.28 c old isEQ: 28, new EQ is 0
4.19/4.28 c old isEQ: 28, new EQ is 0
4.19/4.29 c old isEQ: 28, new EQ is 0
4.19/4.29 c old isEQ: 28, new EQ is 0
4.19/4.29 c old isEQ: 28, new EQ is 0
4.19/4.29 c old isEQ: 28, new EQ is 0
4.19/4.29 c old isEQ: 28, new EQ is 0
4.19/4.29 c old isEQ: 28, new EQ is 0
4.19/4.29 c old isEQ: 28, new EQ is 0
4.19/4.29 c old isEQ: 28, new EQ is 0
4.19/4.29 c old isEQ: 28, new EQ is 0
4.19/4.29 c old isEQ: 28, new EQ is 0
4.19/4.29 c old isEQ: 28, new EQ is 0
4.19/4.29 c old isEQ: 28, new EQ is 0
4.19/4.29 c old isEQ: 28, new EQ is 0
4.19/4.29 c old isEQ: 28, new EQ is 0
4.19/4.29 c old isEQ: 28, new EQ is 0
4.19/4.30 c old isEQ: 28, new EQ is 0
4.19/4.30 c old isEQ: 28, new EQ is 0
4.19/4.30 c old isEQ: 28, new EQ is 0
4.19/4.30 c old isEQ: 28, new EQ is 0
4.19/4.30 c old isEQ: 28, new EQ is 0
4.19/4.30 c old isEQ: 28, new EQ is 0
4.19/4.30 c old isEQ: 28, new EQ is 0
4.19/4.30 c old isEQ: 28, new EQ is 0
4.19/4.30 c old isEQ: 28, new EQ is 0
4.19/4.30 c old isEQ: 28, new EQ is 0
4.19/4.30 c old isEQ: 28, new EQ is 0
4.29/4.30 c old isEQ: 28, new EQ is 0
4.29/4.30 c old isEQ: 28, new EQ is 0
4.29/4.30 c old isEQ: 44, new EQ is 0
4.29/4.30 c old isEQ: 44, new EQ is 0
4.29/4.31 c old isEQ: 44, new EQ is 0
4.29/4.31 c old isEQ: 44, new EQ is 0
4.29/4.31 c old isEQ: 44, new EQ is 0
4.29/4.31 c old isEQ: 44, new EQ is 0
4.29/4.31 c old isEQ: 44, new EQ is 0
4.29/4.31 c old isEQ: 44, new EQ is 0
4.29/4.31 c old isEQ: 44, new EQ is 0
4.29/4.31 c old isEQ: 44, new EQ is 0
4.29/4.31 c old isEQ: 44, new EQ is 0
4.29/4.31 c old isEQ: 44, new EQ is 0
4.29/4.31 c old isEQ: 44, new EQ is 0
4.29/4.31 c old isEQ: 44, new EQ is 0
4.29/4.31 c old isEQ: 44, new EQ is 0
4.29/4.31 c old isEQ: 44, new EQ is 0
4.29/4.31 c old isEQ: 44, new EQ is 0
4.29/4.32 c old isEQ: 44, new EQ is 0
4.29/4.32 c old isEQ: 44, new EQ is 0
4.29/4.32 c old isEQ: 44, new EQ is 0
4.29/4.32 c old isEQ: 44, new EQ is 0
4.29/4.32 c old isEQ: 44, new EQ is 0
4.29/4.32 c old isEQ: 44, new EQ is 0
4.29/4.32 c old isEQ: 44, new EQ is 0
4.29/4.32 c old isEQ: 44, new EQ is 0
4.29/4.32 c old isEQ: 44, new EQ is 0
4.29/4.32 c old isEQ: 44, new EQ is 0
4.29/4.32 c old isEQ: 44, new EQ is 0
4.29/4.32 c old isEQ: 44, new EQ is 0
4.29/4.32 c old isEQ: 44, new EQ is 0
4.29/4.32 c old isEQ: 44, new EQ is 0
4.29/4.32 c old isEQ: 44, new EQ is 0
4.29/4.33 c old isEQ: 44, new EQ is 0
4.29/4.33 c old isEQ: 44, new EQ is 0
4.29/4.33 c old isEQ: 44, new EQ is 0
4.29/4.33 c old isEQ: 44, new EQ is 0
4.29/4.33 c old isEQ: 44, new EQ is 0
4.29/4.33 c old isEQ: 44, new EQ is 0
4.29/4.33 c old isEQ: 44, new EQ is 0
4.29/4.33 c old isEQ: 44, new EQ is 0
4.29/4.33 c old isEQ: 44, new EQ is 0
4.29/4.33 c old isEQ: 44, new EQ is 0
4.29/4.33 c old isEQ: 44, new EQ is 0
4.29/4.33 c old isEQ: 44, new EQ is 0
4.29/4.33 c old isEQ: 44, new EQ is 0
4.29/4.33 c old isEQ: 44, new EQ is 0
4.29/4.33 c old isEQ: 44, new EQ is 0
4.29/4.34 c old isEQ: 44, new EQ is 0
4.29/4.34 c old isEQ: 44, new EQ is 0
4.29/4.34 c old isEQ: 44, new EQ is 0
4.29/4.34 c old isEQ: 44, new EQ is 0
4.29/4.34 c old isEQ: 44, new EQ is 0
4.29/4.34 c old isEQ: 44, new EQ is 0
4.29/4.34 c old isEQ: 44, new EQ is 0
4.29/4.34 c old isEQ: 44, new EQ is 0
4.29/4.34 c old isEQ: 44, new EQ is 0
4.29/4.34 c old isEQ: 44, new EQ is 0
4.29/4.34 c old isEQ: 44, new EQ is 0
4.29/4.34 c old isEQ: 44, new EQ is 0
4.29/4.34 c old isEQ: 44, new EQ is 0
4.29/4.34 c old isEQ: 44, new EQ is 0
4.29/4.34 c old isEQ: 44, new EQ is 0
4.29/4.35 c old isEQ: 44, new EQ is 0
4.29/4.35 c old isEQ: 44, new EQ is 0
4.29/4.35 c old isEQ: 44, new EQ is 0
4.29/4.35 c old isEQ: 44, new EQ is 0
4.29/4.35 c old isEQ: 44, new EQ is 0
4.29/4.35 c old isEQ: 44, new EQ is 0
4.29/4.35 c old isEQ: 44, new EQ is 0
4.29/4.35 c old isEQ: 44, new EQ is 0
4.29/4.35 c old isEQ: 44, new EQ is 0
4.29/4.35 c old isEQ: 44, new EQ is 0
4.29/4.35 c old isEQ: 44, new EQ is 0
4.29/4.35 c old isEQ: 44, new EQ is 0
4.29/4.35 c old isEQ: 44, new EQ is 0
4.29/4.35 c old isEQ: 44, new EQ is 0
4.29/4.35 c old isEQ: 44, new EQ is 0
4.29/4.36 c old isEQ: 108, new EQ is 0
4.29/4.36 c old isEQ: 108, new EQ is 0
4.29/4.36 c old isEQ: 108, new EQ is 0
4.29/4.36 c old isEQ: 108, new EQ is 0
4.29/4.36 c old isEQ: 108, new EQ is 0
4.29/4.36 c old isEQ: 108, new EQ is 0
4.29/4.36 c old isEQ: 108, new EQ is 0
4.29/4.36 c old isEQ: 108, new EQ is 0
4.29/4.36 c old isEQ: 108, new EQ is 0
4.29/4.36 c old isEQ: 108, new EQ is 0
4.29/4.36 c old isEQ: 108, new EQ is 0
4.29/4.36 c old isEQ: 108, new EQ is 0
4.29/4.36 c old isEQ: 108, new EQ is 0
4.29/4.36 c old isEQ: 108, new EQ is 0
4.29/4.37 c old isEQ: 108, new EQ is 0
4.29/4.37 c old isEQ: 108, new EQ is 0
4.29/4.37 c old isEQ: 108, new EQ is 0
4.29/4.37 c old isEQ: 108, new EQ is 0
4.29/4.37 c old isEQ: 108, new EQ is 0
4.29/4.37 c old isEQ: 108, new EQ is 0
4.29/4.37 c old isEQ: 108, new EQ is 0
4.29/4.37 c old isEQ: 108, new EQ is 0
4.29/4.37 c old isEQ: 28, new EQ is 0
4.29/4.37 c old isEQ: 28, new EQ is 0
4.29/4.37 c old isEQ: 28, new EQ is 0
4.29/4.38 c old isEQ: 28, new EQ is 0
4.29/4.38 c old isEQ: 28, new EQ is 0
4.29/4.38 c old isEQ: 28, new EQ is 0
4.29/4.38 c old isEQ: 28, new EQ is 0
4.29/4.38 c old isEQ: 28, new EQ is 0
4.29/4.38 c old isEQ: 28, new EQ is 0
4.29/4.38 c old isEQ: 28, new EQ is 0
4.29/4.38 c old isEQ: 28, new EQ is 0
4.29/4.38 c old isEQ: 28, new EQ is 0
4.29/4.38 c old isEQ: 28, new EQ is 0
4.29/4.38 c old isEQ: 28, new EQ is 0
4.29/4.38 c old isEQ: 28, new EQ is 0
4.29/4.38 c old isEQ: 28, new EQ is 0
4.29/4.38 c old isEQ: 28, new EQ is 0
4.29/4.38 c old isEQ: 28, new EQ is 0
4.29/4.39 c old isEQ: 28, new EQ is 0
4.29/4.39 c old isEQ: 28, new EQ is 0
4.29/4.39 c old isEQ: 28, new EQ is 0
4.29/4.39 c old isEQ: 28, new EQ is 0
4.29/4.39 c old isEQ: 28, new EQ is 0
4.29/4.39 c old isEQ: 28, new EQ is 0
4.29/4.39 c old isEQ: 28, new EQ is 0
4.29/4.39 c old isEQ: 28, new EQ is 0
4.29/4.39 c old isEQ: 28, new EQ is 0
4.29/4.39 c old isEQ: 28, new EQ is 0
4.29/4.39 c old isEQ: 28, new EQ is 0
4.29/4.39 c old isEQ: 28, new EQ is 0
4.29/4.39 c old isEQ: 28, new EQ is 0
4.29/4.39 c old isEQ: 28, new EQ is 0
4.29/4.39 c old isEQ: 28, new EQ is 0
4.29/4.40 c old isEQ: 28, new EQ is 0
4.29/4.40 c old isEQ: 28, new EQ is 0
4.29/4.40 c old isEQ: 28, new EQ is 0
4.29/4.40 c old isEQ: 28, new EQ is 0
4.29/4.40 c old isEQ: 28, new EQ is 0
4.29/4.40 c old isEQ: 28, new EQ is 0
4.29/4.40 c old isEQ: 28, new EQ is 0
4.29/4.40 c old isEQ: 28, new EQ is 0
4.29/4.40 c old isEQ: 28, new EQ is 0
4.29/4.40 c old isEQ: 28, new EQ is 0
4.29/4.40 c old isEQ: 28, new EQ is 0
4.39/4.40 c old isEQ: 28, new EQ is 0
4.39/4.40 c old isEQ: 28, new EQ is 0
4.39/4.40 c old isEQ: 28, new EQ is 0
4.39/4.41 c old isEQ: 28, new EQ is 0
4.39/4.41 c old isEQ: 28, new EQ is 0
4.39/4.41 c old isEQ: 28, new EQ is 0
4.39/4.41 c old isEQ: 28, new EQ is 0
4.39/4.41 c old isEQ: 28, new EQ is 0
4.39/4.41 c old isEQ: 28, new EQ is 0
4.39/4.41 c old isEQ: 28, new EQ is 0
4.39/4.41 c old isEQ: 28, new EQ is 0
4.39/4.41 c old isEQ: 28, new EQ is 0
4.39/4.41 c old isEQ: 28, new EQ is 0
4.39/4.41 c old isEQ: 28, new EQ is 0
4.39/4.41 c old isEQ: 28, new EQ is 0
49.08/49.16 c run inc solver
49.08/49.16 c [INC SYSTEM] run initial solver
49.08/49.16 c [INC SYSTEM] preprocess with white file
178.44/179.58 c [INC SYSTEM] finished preprocessing in 130 s
178.44/179.58 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-3751268-1339160147/watcher-3751268-1339160147 -o /tmp/evaluation-result-3751268-1339160147/solver-3751268-1339160147 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751268-1339160147.opb 1258826320 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.24 1.91 1.61 3/182 24699
/proc/meminfo: memFree=29586972/32873844 swapFree=7116/7116
[pid=24699] ppid=24697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24699/stat : 24699 (npSolver-pbo-It) S 24697 24699 19006 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382143368 9367552 275 33554432000 4194304 5064252 140736393617600 140736393616512 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24699/statm: 2287 275 233 213 0 72 0
[startup+0.0898991 s]
/proc/loadavg: 2.24 1.91 1.61 3/182 24699
/proc/meminfo: memFree=29586972/32873844 swapFree=7116/7116
[pid=24699] ppid=24697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24699/stat : 24699 (npSolver-pbo-It) S 24697 24699 19006 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382143368 9367552 275 33554432000 4194304 5064252 140736393617600 140736393616512 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24699/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100313 s]
/proc/loadavg: 2.24 1.91 1.61 3/182 24699
/proc/meminfo: memFree=29586972/32873844 swapFree=7116/7116
[pid=24699] ppid=24697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24699/stat : 24699 (npSolver-pbo-It) S 24697 24699 19006 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382143368 9367552 275 33554432000 4194304 5064252 140736393617600 140736393616512 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24699/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300299 s]
/proc/loadavg: 2.24 1.91 1.61 3/182 24699
/proc/meminfo: memFree=29586972/32873844 swapFree=7116/7116
[pid=24699] ppid=24697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24699/stat : 24699 (npSolver-pbo-It) S 24697 24699 19006 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382143368 9367552 275 33554432000 4194304 5064252 140736393617600 140736393616512 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24699/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700282 s]
/proc/loadavg: 2.24 1.91 1.61 3/182 24699
/proc/meminfo: memFree=29586972/32873844 swapFree=7116/7116
[pid=24699] ppid=24697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24699/stat : 24699 (npSolver-pbo-It) S 24697 24699 19006 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382143368 9367552 275 33554432000 4194304 5064252 140736393617600 140736393616512 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24699/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5003 s]
/proc/loadavg: 2.22 1.91 1.61 3/183 24705
/proc/meminfo: memFree=29371392/32873844 swapFree=7116/7116
[pid=24699] ppid=24697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24699/stat : 24699 (npSolver-pbo-It) S 24697 24699 19006 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382143368 9367552 275 33554432000 4194304 5064252 140736393617600 140736393616512 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24699/statm: 2287 275 233 213 0 72 0
[pid=24700] ppid=24699 vsize=153740 CPUtime=1.49 cores=1,3,5,7
/proc/24700/stat : 24700 (npSolver-pbo) R 24699 24699 19006 0 -1 4202496 25112 0 0 0 141 8 0 0 20 0 1 0 382143368 157429760 36810 33554432000 4194304 6004724 140734542189520 140734542185544 4968639 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24700/statm: 38435 36811 130 442 0 37989 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 162888
[startup+3.10034 s]
/proc/loadavg: 2.22 1.91 1.61 3/184 24708
/proc/meminfo: memFree=29381488/32873844 swapFree=7116/7116
[pid=24699] ppid=24697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24699/stat : 24699 (npSolver-pbo-It) S 24697 24699 19006 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382143368 9367552 275 33554432000 4194304 5064252 140736393617600 140736393616512 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24699/statm: 2287 275 233 213 0 72 0
[pid=24700] ppid=24699 vsize=311808 CPUtime=3.08 cores=1,3,5,7
/proc/24700/stat : 24700 (npSolver-pbo) R 24699 24699 19006 0 -1 4202496 48800 0 0 0 292 16 0 0 20 0 1 0 382143368 319291392 75795 33554432000 4194304 6004724 140734542189520 140734542185160 4968639 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24700/statm: 77952 75795 130 442 0 77506 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 320956
[startup+6.30037 s]
/proc/loadavg: 2.22 1.91 1.61 3/181 24716
/proc/meminfo: memFree=29007676/32873844 swapFree=7116/7116
[pid=24699] ppid=24697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24699/stat : 24699 (npSolver-pbo-It) S 24697 24699 19006 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382143368 9367552 275 33554432000 4194304 5064252 140736393617600 140736393616512 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24699/statm: 2287 275 233 213 0 72 0
[pid=24700] ppid=24699 vsize=773548 CPUtime=6.29 cores=1,3,5,7
/proc/24700/stat : 24700 (npSolver-pbo) R 24699 24699 19006 0 -1 4202496 98010 0 0 0 596 33 0 0 20 0 1 0 382143368 792113152 161839 33554432000 4194304 6004724 140734542189520 140734542184008 4534752 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24700/statm: 193387 161839 162 442 0 192941 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 782696
[startup+12.7003 s]
/proc/loadavg: 2.19 1.91 1.61 3/183 24740
/proc/meminfo: memFree=28502680/32873844 swapFree=7116/7116
[pid=24699] ppid=24697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24699/stat : 24699 (npSolver-pbo-It) S 24697 24699 19006 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382143368 9367552 275 33554432000 4194304 5064252 140736393617600 140736393616512 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24699/statm: 2287 275 233 213 0 72 0
[pid=24700] ppid=24699 vsize=1559980 CPUtime=12.68 cores=1,3,5,7
/proc/24700/stat : 24700 (npSolver-pbo) R 24699 24699 19006 0 -1 4202496 99641 0 0 0 1213 55 0 0 20 0 1 0 382143368 1597419520 275506 33554432000 4194304 6004724 140734542189520 140734542184136 4582623 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24700/statm: 389995 275506 162 442 0 389549 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1569128
[startup+25.5003 s]
/proc/loadavg: 2.16 1.91 1.62 3/183 24782
/proc/meminfo: memFree=27421144/32873844 swapFree=7116/7116
[pid=24699] ppid=24697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24699/stat : 24699 (npSolver-pbo-It) S 24697 24699 19006 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382143368 9367552 275 33554432000 4194304 5064252 140736393617600 140736393616512 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24699/statm: 2287 275 233 213 0 72 0
[pid=24700] ppid=24699 vsize=2608568 CPUtime=25.49 cores=1,3,5,7
/proc/24700/stat : 24700 (npSolver-pbo) R 24699 24699 19006 0 -1 4202496 101124 0 0 0 2459 90 0 0 20 0 1 0 382143368 2671173632 507960 33554432000 4194304 6004724 140734542189520 140734542184472 4582623 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24700/statm: 652142 507960 162 442 0 651696 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2617716
[startup+51.1004 s]
/proc/loadavg: 2.24 1.95 1.64 3/185 24875
/proc/meminfo: memFree=22768368/32873844 swapFree=7116/7116
[pid=24699] ppid=24697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24699/stat : 24699 (npSolver-pbo-It) S 24697 24699 19006 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382143368 9367552 275 33554432000 4194304 5064252 140736393617600 140736393616512 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24699/statm: 2287 275 233 213 0 72 0
[pid=24700] ppid=24699 vsize=4705748 CPUtime=49.15 cores=1,3,5,7
/proc/24700/stat : 24700 (npSolver-pbo) S 24699 24699 19006 0 -1 4202496 105629 0 0 0 4300 615 0 0 20 0 1 0 382143368 4818685952 859207 33554432000 4194304 6004724 140734542189520 140734542183984 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/24700/statm: 1176437 859207 170 442 0 1175991 0
[pid=24871] ppid=24700 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24871/stat : 24871 (cp2_pre.sh) S 24700 24699 19006 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 382148284 9367552 276 33554432000 4194304 5064252 140735581629184 140735581627888 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/24871/statm: 2287 276 234 213 0 72 0
[pid=24872] ppid=24871 vsize=224156 CPUtime=1.91 cores=1,3,5,7
/proc/24872/stat : 24872 (coprocessor) R 24871 24699 19006 0 -1 4202496 15275 0 0 0 181 10 0 0 20 0 1 0 382148286 229535744 52241 33554432000 4194304 6586260 140737326939696 140737326936456 5732400 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/24872/statm: 56039 52241 138 584 0 55451 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 4948200
[startup+102.307 s]
/proc/loadavg: 2.77 2.14 1.72 3/184 25044
/proc/meminfo: memFree=17727172/32873844 swapFree=7116/7116
[pid=24699] ppid=24697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24699/stat : 24699 (npSolver-pbo-It) S 24697 24699 19006 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382143368 9367552 275 33554432000 4194304 5064252 140736393617600 140736393616512 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24699/statm: 2287 275 233 213 0 72 0
[pid=24700] ppid=24699 vsize=4705748 CPUtime=49.15 cores=1,3,5,7
/proc/24700/stat : 24700 (npSolver-pbo) S 24699 24699 19006 0 -1 4202496 105629 0 0 0 4300 615 0 0 20 0 1 0 382143368 4818685952 859207 33554432000 4194304 6004724 140734542189520 140734542183984 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/24700/statm: 1176437 859207 170 442 0 1175991 0
[pid=24871] ppid=24700 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24871/stat : 24871 (cp2_pre.sh) S 24700 24699 19006 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 382148284 9367552 276 33554432000 4194304 5064252 140735581629184 140735581627888 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/24871/statm: 2287 276 234 213 0 72 0
[pid=24872] ppid=24871 vsize=5951580 CPUtime=52.94 cores=1,3,5,7
/proc/24872/stat : 24872 (coprocessor) R 24871 24699 19006 0 -1 4202496 31534 0 0 0 5023 271 0 0 20 0 1 0 382148286 6094417920 1213171 33554432000 4194304 6586260 140737326939696 140737326935448 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 16 0 0
/proc/24872/statm: 1487895 1213171 157 584 0 1487307 0
Current children cumulated CPU time (s) 102.09
Current children cumulated vsize (KiB) 10675624
[startup+162.3 s]
/proc/loadavg: 2.50 2.18 1.75 3/184 25226
/proc/meminfo: memFree=16257516/32873844 swapFree=7116/7116
[pid=24699] ppid=24697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24699/stat : 24699 (npSolver-pbo-It) S 24697 24699 19006 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382143368 9367552 275 33554432000 4194304 5064252 140736393617600 140736393616512 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24699/statm: 2287 275 233 213 0 72 0
[pid=24700] ppid=24699 vsize=4705748 CPUtime=49.15 cores=1,3,5,7
/proc/24700/stat : 24700 (npSolver-pbo) S 24699 24699 19006 0 -1 4202496 105629 0 0 0 4300 615 0 0 20 0 1 0 382143368 4818685952 859207 33554432000 4194304 6004724 140734542189520 140734542183984 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/24700/statm: 1176437 859207 170 442 0 1175991 0
[pid=24871] ppid=24700 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24871/stat : 24871 (cp2_pre.sh) S 24700 24699 19006 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 382148284 9367552 276 33554432000 4194304 5064252 140735581629184 140735581627888 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/24871/statm: 2287 276 234 213 0 72 0
[pid=24872] ppid=24871 vsize=5951580 CPUtime=112.16 cores=1,3,5,7
/proc/24872/stat : 24872 (coprocessor) R 24871 24699 19006 0 -1 4202496 31534 0 0 0 10621 595 0 0 20 0 1 0 382148286 6094417920 1213171 33554432000 4194304 6586260 140737326939696 140737326935448 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 92 0 0
/proc/24872/statm: 1487895 1213171 157 584 0 1487307 0
Current children cumulated CPU time (s) 161.31
Current children cumulated vsize (KiB) 10675624
[startup+222.3 s]
/proc/loadavg: 2.32 2.17 1.77 3/181 25428
/proc/meminfo: memFree=17435096/32873844 swapFree=7116/7116
[pid=24699] ppid=24697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24699/stat : 24699 (npSolver-pbo-It) S 24697 24699 19006 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382143368 9367552 275 33554432000 4194304 5064252 140736393617600 140736393616512 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24699/statm: 2287 275 233 213 0 72 0
[pid=24700] ppid=24699 vsize=4705748 CPUtime=178.54 cores=1,3,5,7
/proc/24700/stat : 24700 (npSolver-pbo) S 24699 24699 19006 0 -1 4202496 105644 32436 0 0 4300 616 12192 746 20 0 1 0 382143368 4818685952 859210 33554432000 4194304 6004724 140734542189520 140734542175800 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24700/statm: 1176437 859210 173 442 0 1175991 0
[pid=25277] ppid=24700 vsize=8014920 CPUtime=42.69 cores=1,3,5,7
/proc/25277/stat : 25277 (glucosInc) R 24700 24699 19006 0 -1 4202496 686540 0 0 0 4009 260 0 0 20 0 1 0 382161326 8207278080 1567401 33554432000 4194304 5654031 140735357420128 140735357417912 4232581 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25277/statm: 2003730 1567401 140 357 0 2003370 0
Current children cumulated CPU time (s) 221.23
Current children cumulated vsize (KiB) 12729816
[startup+282.3 s]
/proc/loadavg: 2.11 2.14 1.79 3/184 25637
/proc/meminfo: memFree=17247992/32873844 swapFree=7116/7116
[pid=24699] ppid=24697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24699/stat : 24699 (npSolver-pbo-It) S 24697 24699 19006 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382143368 9367552 275 33554432000 4194304 5064252 140736393617600 140736393616512 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24699/statm: 2287 275 233 213 0 72 0
[pid=24700] ppid=24699 vsize=4705748 CPUtime=178.54 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=17190032/32873844 swapFree=7116/7116
[pid=24699] ppid=24697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24699/stat : 24699 (npSolver-pbo-It) S 24697 24699 19006 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382143368 9367552 275 33554432000 4194304 5064252 140736393617600 140736393616512 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24699/statm: 2287 275 233 213 0 72 0
[pid=24700] ppid=24699 vsize=4705748 CPUtime=178.54 cores=1,3,5,7
/proc/24700/stat : 24700 (npSolver-pbo) S 24699 24699 19006 0 -1 4202496 105644 32436 0 0 4300 616 12192 746 20 0 1 0 382143368 4818685952 859210 33554432000 4194304 6004724 140734542189520 140734542175800 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24700/statm: 1176437 859210 173 442 0 1175991 0
[pid=25277] ppid=24700 vsize=8072300 CPUtime=1122.53 cores=1,3,5,7
/proc/25277/stat : 25277 (glucosInc) R 24700 24699 19006 0 -1 4202496 801147 0 0 0 111936 317 0 0 20 0 1 0 382161326 8266035200 1585560 33554432000 4194304 5654031 140735357420128 140735357418200 4208641 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25277/statm: 2018075 1585560 140 357 0 2017715 0
Current children cumulated CPU time (s) 1301.07
Current children cumulated vsize (KiB) 12787196
[startup+1362.3 s]
/proc/loadavg: 2.09 2.07 1.95 3/183 29449
/proc/meminfo: memFree=17194176/32873844 swapFree=7116/7116
[pid=24699] ppid=24697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24699/stat : 24699 (npSolver-pbo-It) S 24697 24699 19006 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382143368 9367552 275 33554432000 4194304 5064252 140736393617600 140736393616512 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24699/statm: 2287 275 233 213 0 72 0
[pid=24700] ppid=24699 vsize=4705748 CPUtime=178.54 cores=1,3,5,7
/proc/24700/stat : 24700 (npSolver-pbo) S 24699 24699 19006 0 -1 4202496 105644 32436 0 0 4300 616 12192 746 20 0 1 0 382143368 4818685952 859210 33554432000 4194304 6004724 140734542189520 140734542175800 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24700/statm: 1176437 859210 173 442 0 1175991 0
[pid=25277] ppid=24700 vsize=8072752 CPUtime=1182.51 cores=1,3,5,7
/proc/25277/stat : 25277 (glucosInc) R 24700 24699 19006 0 -1 4202496 806602 0 0 0 117931 320 0 0 20 0 1 0 382161326 8266498048 1585690 33554432000 4194304 5654031 140735357420128 140735357418200 4214612 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25277/statm: 2018188 1585690 140 357 0 2017828 0
Current children cumulated CPU time (s) 1361.05
Current children cumulated vsize (KiB) 12787648
[startup+1422.31 s]
/proc/loadavg: 2.15 2.08 1.96 3/183 29659
/proc/meminfo: memFree=17192964/32873844 swapFree=7116/7116
[pid=24699] ppid=24697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24699/stat : 24699 (npSolver-pbo-It) S 24697 24699 19006 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382143368 9367552 275 33554432000 4194304 5064252 140736393617600 140736393616512 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24699/statm: 2287 275 233 213 0 72 0
[pid=24700] ppid=24699 vsize=4705748 CPUtime=178.54 cores=1,3,5,7
/proc/24700/stat : 24700 (npSolver-pbo) S 24699 24699 19006 0 -1 4202496 105644 32436 0 0 4300 616 12192 746 20 0 1 0 382143368 4818685952 859210 33554432000 4194304 6004724 140734542189520 140734542175800 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24700/statm: 1176437 859210 173 442 0 1175991 0
[pid=25277] ppid=24700 vsize=8073256 CPUtime=1242.51 cores=1,3,5,7
/proc/25277/stat : 25277 (glucosInc) R 24700 24699 19006 0 -1 4202496 812044 0 0 0 123929 322 0 0 20 0 1 0 382161326 8267014144 1585826 33554432000 4194304 5654031 140735357420128 140735357407944 4214616 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25277/statm: 2018314 1585826 140 357 0 2017954 0
Current children cumulated CPU time (s) 1421.05
Current children cumulated vsize (KiB) 12788152
[startup+1482.3 s]
/proc/loadavg: 2.17 2.10 1.97 3/184 29872
/proc/meminfo: memFree=17237172/32873844 swapFree=7116/7116
[pid=24699] ppid=24697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24699/stat : 24699 (npSolver-pbo-It) S 24697 24699 19006 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382143368 9367552 275 33554432000 4194304 5064252 140736393617600 140736393616512 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24699/statm: 2287 275 233 213 0 72 0
[pid=24700] ppid=24699 vsize=4705748 CPUtime=178.54 cores=1,3,5,7
/proc/24700/stat : 24700 (npSolver-pbo) S 24699 24699 19006 0 -1 4202496 105644 32436 0 0 4300 616 12192 746 20 0 1 0 382143368 4818685952 859210 33554432000 4194304 6004724 140734542189520 140734542175800 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24700/statm: 1176437 859210 173 442 0 1175991 0
[pid=25277] ppid=24700 vsize=8073864 CPUtime=1302.49 cores=1,3,5,7
/proc/25277/stat : 25277 (glucosInc) R 24700 24699 19006 0 -1 4202496 817506 0 0 0 129924 325 0 0 20 0 1 0 382161326 8267636736 1586493 33554432000 4194304 5654031 140735357420128 140735357407944 4232581 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25277/statm: 2018466 1586493 140 357 0 2018106 0
Current children cumulated CPU time (s) 1481.03
Current children cumulated vsize (KiB) 12788760
[startup+1542.3 s]
/proc/loadavg: 2.06 2.08 1.97 3/183 30082
/proc/meminfo: memFree=17188640/32873844 swapFree=7116/7116
[pid=24699] ppid=24697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24699/stat : 24699 (npSolver-pbo-It) S 24697 24699 19006 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382143368 9367552 275 33554432000 4194304 5064252 140736393617600 140736393616512 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24699/statm: 2287 275 233 213 0 72 0
[pid=24700] ppid=24699 vsize=4705748 CPUtime=178.54 cores=1,3,5,7
/proc/24700/stat : 24700 (npSolver-pbo) S 24699 24699 19006 0 -1 4202496 105644 32436 0 0 4300 616 12192 746 20 0 1 0 382143368 4818685952 859210 33554432000 4194304 6004724 140734542189520 140734542175800 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24700/statm: 1176437 859210 173 442 0 1175991 0
[pid=25277] ppid=24700 vsize=8073952 CPUtime=1362.49 cores=1,3,5,7
/proc/25277/stat : 25277 (glucosInc) R 24700 24699 19006 0 -1 4202496 822834 0 0 0 135921 328 0 0 20 0 1 0 382161326 8267726848 1586515 33554432000 4194304 5654031 140735357420128 140735357407944 4214469 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25277/statm: 2018488 1586515 140 357 0 2018128 0
Current children cumulated CPU time (s) 1541.03
Current children cumulated vsize (KiB) 12788848
[startup+1602.3 s]
/proc/loadavg: 2.05 2.07 1.98 3/183 30293
/proc/meminfo: memFree=17210832/32873844 swapFree=7116/7116
[pid=24699] ppid=24697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24699/stat : 24699 (npSolver-pbo-It) S 24697 24699 19006 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382143368 9367552 275 33554432000 4194304 5064252 140736393617600 140736393616512 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24699/statm: 2287 275 233 213 0 72 0
[pid=24700] ppid=24699 vsize=4705748 CPUtime=178.54 cores=1,3,5,7
/proc/24700/stat : 24700 (npSolver-pbo) S 24699 24699 19006 0 -1 4202496 105644 32436 0 0 4300 616 12192 746 20 0 1 0 382143368 4818685952 859210 33554432000 4194304 6004724 140734542189520 140734542175800 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24700/statm: 1176437 859210 173 442 0 1175991 0
[pid=25277] ppid=24700 vsize=8074084 CPUtime=1422.48 cores=1,3,5,7
/proc/25277/stat : 25277 (glucosInc) R 24700 24699 19006 0 -1 4202496 827653 0 0 0 141917 331 0 0 20 0 1 0 382161326 8267862016 1586542 33554432000 4194304 5654031 140735357420128 140735357407944 4232581 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25277/statm: 2018521 1586542 140 357 0 2018161 0
Current children cumulated CPU time (s) 1601.02
Current children cumulated vsize (KiB) 12788980
[startup+1662.3 s]
/proc/loadavg: 2.09 2.09 1.99 3/183 30503
/proc/meminfo: memFree=17183768/32873844 swapFree=7116/7116
[pid=24699] ppid=24697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24699/stat : 24699 (npSolver-pbo-It) S 24697 24699 19006 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382143368 9367552 275 33554432000 4194304 5064252 140736393617600 140736393616512 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24699/statm: 2287 275 233 213 0 72 0
[pid=24700] ppid=24699 vsize=4705748 CPUtime=178.54 cores=1,3,5,7
/proc/24700/stat : 24700 (npSolver-pbo) S 24699 24699 19006 0 -1 4202496 105644 32436 0 0 4300 616 12192 746 20 0 1 0 382143368 4818685952 859210 33554432000 4194304 6004724 140734542189520 140734542175800 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24700/statm: 1176437 859210 173 442 0 1175991 0
[pid=25277] ppid=24700 vsize=8074296 CPUtime=1482.47 cores=1,3,5,7
/proc/25277/stat : 25277 (glucosInc) R 24700 24699 19006 0 -1 4202496 833039 0 0 0 147914 333 0 0 20 0 1 0 382161326 8268079104 1587132 33554432000 4194304 5654031 140735357420128 140735357407944 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25277/statm: 2018574 1587132 140 357 0 2018214 0
Current children cumulated CPU time (s) 1661.01
Current children cumulated vsize (KiB) 12789192
[startup+1722.3 s]
/proc/loadavg: 2.02 2.07 1.99 3/183 30706
/proc/meminfo: memFree=17180348/32873844 swapFree=7116/7116
[pid=24699] ppid=24697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24699/stat : 24699 (npSolver-pbo-It) S 24697 24699 19006 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382143368 9367552 275 33554432000 4194304 5064252 140736393617600 140736393616512 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24699/statm: 2287 275 233 213 0 72 0
[pid=24700] ppid=24699 vsize=4705748 CPUtime=178.54 cores=1,3,5,7
/proc/24700/stat : 24700 (npSolver-pbo) S 24699 24699 19006 0 -1 4202496 105644 32436 0 0 4300 616 12192 746 20 0 1 0 382143368 4818685952 859210 33554432000 4194304 6004724 140734542189520 140734542175800 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24700/statm: 1176437 859210 173 442 0 1175991 0
[pid=25277] ppid=24700 vsize=8074744 CPUtime=1542.46 cores=1,3,5,7
/proc/25277/stat : 25277 (glucosInc) R 24700 24699 19006 0 -1 4202496 838449 0 0 0 153910 336 0 0 20 0 1 0 382161326 8268537856 1587217 33554432000 4194304 5654031 140735357420128 140735357407944 4232632 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25277/statm: 2018686 1587217 140 357 0 2018326 0
Current children cumulated CPU time (s) 1721
Current children cumulated vsize (KiB) 12789640
[startup+1782.3 s]
/proc/loadavg: 2.13 2.09 2.00 3/181 30880
/proc/meminfo: memFree=17596380/32873844 swapFree=7116/7116
[pid=24699] ppid=24697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24699/stat : 24699 (npSolver-pbo-It) S 24697 24699 19006 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382143368 9367552 275 33554432000 4194304 5064252 140736393617600 140736393616512 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24699/statm: 2287 275 233 213 0 72 0
[pid=24700] ppid=24699 vsize=4705748 CPUtime=178.54 cores=1,3,5,7
/proc/24700/stat : 24700 (npSolver-pbo) S 24699 24699 19006 0 -1 4202496 105644 32436 0 0 4300 616 12192 746 20 0 1 0 382143368 4818685952 859210 33554432000 4194304 6004724 140734542189520 140734542175800 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24700/statm: 1176437 859210 173 442 0 1175991 0
[pid=25277] ppid=24700 vsize=8075056 CPUtime=1602.45 cores=1,3,5,7
/proc/25277/stat : 25277 (glucosInc) R 24700 24699 19006 0 -1 4202496 843851 0 0 0 159906 339 0 0 20 0 1 0 382161326 8268857344 1587295 33554432000 4194304 5654031 140735357420128 140735357407944 4214475 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25277/statm: 2018764 1587295 140 357 0 2018404 0
Current children cumulated CPU time (s) 1780.99
Current children cumulated vsize (KiB) 12789952
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.4 s]
/proc/loadavg: 2.09 2.09 2.00 3/181 30880
/proc/meminfo: memFree=17595840/32873844 swapFree=7116/7116
[pid=24699] ppid=24697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24699/stat : 24699 (npSolver-pbo-It) S 24697 24699 19006 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382143368 9367552 275 33554432000 4194304 5064252 140736393617600 140736393616512 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24699/statm: 2287 275 233 213 0 72 0
[pid=24700] ppid=24699 vsize=4705748 CPUtime=178.54 cores=1,3,5,7
/proc/24700/stat : 24700 (npSolver-pbo) S 24699 24699 19006 0 -1 4202496 105644 32436 0 0 4300 616 12192 746 20 0 1 0 382143368 4818685952 859210 33554432000 4194304 6004724 140734542189520 140734542175800 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24700/statm: 1176437 859210 173 442 0 1175991 0
[pid=25277] ppid=24700 vsize=8076112 CPUtime=1621.55 cores=1,3,5,7
/proc/25277/stat : 25277 (glucosInc) R 24700 24699 19006 0 -1 4202496 844141 0 0 0 161816 339 0 0 20 0 1 0 382161326 8269938688 1587585 33554432000 4194304 5654031 140735357420128 140735357407944 4233232 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25277/statm: 2019028 1587585 140 357 0 2018668 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 12791008
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 24699 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.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1801.42
CPU time (s): 1800.09
CPU user time (s): 1783.08
CPU system time (s): 17.01
CPU usage (%): 99.926
Max. virtual memory (cumulated for all children) (KiB): 12883248
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= 1
runsolver used 4.33034 second user time and 11.8042 second system time
The end