4.08/4.11 c old isEQ: 92, new EQ is 1
4.08/4.11 c old isEQ: 188, new EQ is 0
4.08/4.11 c old isEQ: 188, new EQ is 0
4.08/4.11 c old isEQ: 188, new EQ is 0
4.08/4.11 c old isEQ: 188, new EQ is 0
4.08/4.12 c old isEQ: 188, new EQ is 0
4.08/4.12 c old isEQ: 188, new EQ is 0
4.08/4.12 c old isEQ: 188, new EQ is 0
4.08/4.12 c old isEQ: 188, new EQ is 0
4.08/4.12 c old isEQ: 204, new EQ is 0
4.08/4.12 c old isEQ: 204, new EQ is 0
4.08/4.12 c old isEQ: 204, new EQ is 0
4.08/4.12 c old isEQ: 204, new EQ is 0
4.08/4.12 c old isEQ: 204, new EQ is 0
4.08/4.12 c old isEQ: 204, new EQ is 0
4.08/4.12 c old isEQ: 140, new EQ is 0
4.08/4.12 c old isEQ: 140, new EQ is 0
4.08/4.12 c old isEQ: 140, new EQ is 0
4.08/4.12 c old isEQ: 140, new EQ is 0
4.08/4.12 c old isEQ: 140, new EQ is 0
4.08/4.12 c old isEQ: 140, new EQ is 0
4.08/4.13 c old isEQ: 140, new EQ is 0
4.08/4.13 c old isEQ: 140, new EQ is 0
4.08/4.13 c old isEQ: 140, new EQ is 0
4.08/4.13 c old isEQ: 140, new EQ is 0
4.08/4.13 c old isEQ: 140, new EQ is 0
4.08/4.13 c old isEQ: 140, new EQ is 0
4.08/4.13 c old isEQ: 140, new EQ is 0
4.08/4.13 c old isEQ: 188, new EQ is 0
4.08/4.13 c old isEQ: 188, new EQ is 0
4.08/4.13 c old isEQ: 188, new EQ is 0
4.08/4.13 c old isEQ: 188, new EQ is 0
4.08/4.13 c old isEQ: 188, new EQ is 0
4.08/4.13 c old isEQ: 188, new EQ is 0
4.08/4.13 c old isEQ: 188, new EQ is 0
4.08/4.13 c old isEQ: 188, new EQ is 0
4.08/4.14 c old isEQ: 188, new EQ is 0
4.08/4.14 c old isEQ: 188, new EQ is 0
4.08/4.14 c old isEQ: 188, new EQ is 0
4.08/4.14 c old isEQ: 188, new EQ is 0
4.08/4.14 c old isEQ: 188, new EQ is 0
4.08/4.14 c old isEQ: 188, new EQ is 0
4.08/4.14 c old isEQ: 188, new EQ is 0
4.08/4.14 c old isEQ: 188, new EQ is 0
4.08/4.14 c old isEQ: 188, new EQ is 0
4.08/4.14 c old isEQ: 188, new EQ is 0
4.08/4.14 c old isEQ: 188, new EQ is 0
4.08/4.14 c old isEQ: 188, new EQ is 0
4.08/4.14 c old isEQ: 188, new EQ is 0
4.08/4.14 c old isEQ: 188, new EQ is 0
4.08/4.14 c old isEQ: 188, new EQ is 0
4.08/4.15 c old isEQ: 188, new EQ is 0
4.08/4.15 c old isEQ: 188, new EQ is 0
4.08/4.15 c old isEQ: 92, new EQ is 0
4.08/4.15 c old isEQ: 92, new EQ is 0
4.08/4.15 c old isEQ: 92, new EQ is 0
4.08/4.15 c old isEQ: 92, new EQ is 0
4.08/4.15 c old isEQ: 92, new EQ is 0
4.08/4.15 c old isEQ: 92, new EQ is 0
4.08/4.15 c old isEQ: 92, new EQ is 0
4.08/4.15 c old isEQ: 92, new EQ is 0
4.08/4.15 c old isEQ: 92, new EQ is 0
4.08/4.15 c old isEQ: 92, new EQ is 0
4.08/4.15 c old isEQ: 92, new EQ is 0
4.08/4.15 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.16 c old isEQ: 92, new EQ is 0
4.08/4.16 c old isEQ: 188, new EQ is 0
4.08/4.16 c old isEQ: 188, new EQ is 0
4.08/4.17 c old isEQ: 188, new EQ is 0
4.08/4.17 c old isEQ: 188, new EQ is 0
4.08/4.17 c old isEQ: 188, new EQ is 0
4.08/4.17 c old isEQ: 188, new EQ is 0
4.08/4.17 c old isEQ: 188, new EQ is 0
4.08/4.17 c old isEQ: 188, new EQ is 0
4.08/4.17 c old isEQ: 188, new EQ is 0
4.08/4.17 c old isEQ: 188, new EQ is 0
4.08/4.17 c old isEQ: 188, new EQ is 0
4.08/4.17 c old isEQ: 188, new EQ is 0
4.08/4.17 c old isEQ: 188, new EQ is 0
4.08/4.17 c old isEQ: 188, new EQ is 0
4.08/4.17 c old isEQ: 188, new EQ is 0
4.08/4.17 c old isEQ: 188, new EQ is 0
4.08/4.17 c old isEQ: 188, new EQ is 0
4.08/4.17 c old isEQ: 188, new EQ is 0
4.08/4.18 c old isEQ: 188, new EQ is 0
4.08/4.18 c old isEQ: 188, new EQ is 0
4.08/4.18 c old isEQ: 188, new EQ is 0
4.08/4.18 c old isEQ: 188, new EQ is 0
4.08/4.18 c old isEQ: 76, new EQ is 0
4.08/4.18 c old isEQ: 76, new EQ is 0
4.08/4.18 c old isEQ: 76, new EQ is 0
4.08/4.18 c old isEQ: 76, new EQ is 0
4.08/4.18 c old isEQ: 76, new EQ is 0
4.08/4.18 c old isEQ: 76, new EQ is 0
4.08/4.18 c old isEQ: 76, new EQ is 0
4.08/4.18 c old isEQ: 76, new EQ is 0
4.08/4.18 c old isEQ: 76, new EQ is 0
4.08/4.18 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: 60, new EQ is 0
4.08/4.19 c old isEQ: 60, new EQ is 0
4.08/4.19 c old isEQ: 60, new EQ is 0
4.08/4.19 c old isEQ: 60, new EQ is 0
4.08/4.19 c old isEQ: 60, new EQ is 0
4.08/4.19 c old isEQ: 60, new EQ is 0
4.08/4.19 c old isEQ: 60, new EQ is 0
4.08/4.19 c old isEQ: 60, new EQ is 0
4.08/4.19 c old isEQ: 60, new EQ is 0
4.08/4.19 c old isEQ: 60, new EQ is 0
4.08/4.19 c old isEQ: 60, new EQ is 0
4.08/4.19 c old isEQ: 60, new EQ is 0
4.08/4.20 c old isEQ: 60, new EQ is 0
4.18/4.20 c old isEQ: 60, new EQ is 0
4.18/4.20 c old isEQ: 60, new EQ is 0
4.18/4.20 c old isEQ: 60, new EQ is 0
4.18/4.20 c old isEQ: 60, new EQ is 0
4.18/4.20 c old isEQ: 60, new EQ is 0
4.18/4.20 c old isEQ: 60, new EQ is 0
4.18/4.20 c old isEQ: 60, new EQ is 0
4.18/4.20 c old isEQ: 60, new EQ is 0
4.18/4.20 c old isEQ: 60, new EQ is 0
4.18/4.20 c old isEQ: 60, new EQ is 0
4.18/4.20 c old isEQ: 60, new EQ is 0
4.18/4.20 c old isEQ: 60, new EQ is 0
4.18/4.20 c old isEQ: 60, new EQ is 0
4.18/4.20 c old isEQ: 60, new EQ is 0
4.18/4.21 c old isEQ: 60, new EQ is 0
4.18/4.21 c old isEQ: 60, new EQ is 0
4.18/4.21 c old isEQ: 60, new EQ is 0
4.18/4.21 c old isEQ: 60, new EQ is 0
4.18/4.21 c old isEQ: 60, new EQ is 0
4.18/4.21 c old isEQ: 60, new EQ is 0
4.18/4.21 c old isEQ: 60, new EQ is 0
4.18/4.21 c old isEQ: 60, new EQ is 0
4.18/4.21 c old isEQ: 60, new EQ is 0
4.18/4.21 c old isEQ: 60, new EQ is 0
4.18/4.21 c old isEQ: 60, new EQ is 0
4.18/4.21 c old isEQ: 60, new EQ is 0
4.18/4.21 c old isEQ: 60, new EQ is 0
4.18/4.21 c old isEQ: 60, new EQ is 0
4.18/4.21 c old isEQ: 60, new EQ is 0
4.18/4.22 c old isEQ: 60, new EQ is 0
4.18/4.22 c old isEQ: 60, new EQ is 0
4.18/4.22 c old isEQ: 172, new EQ is 0
4.18/4.22 c old isEQ: 172, new EQ is 0
4.18/4.22 c old isEQ: 172, new EQ is 0
4.18/4.22 c old isEQ: 172, new EQ is 0
4.18/4.22 c old isEQ: 172, new EQ is 0
4.18/4.22 c old isEQ: 172, new EQ is 0
4.18/4.22 c old isEQ: 172, new EQ is 0
4.18/4.22 c old isEQ: 172, new EQ is 0
4.18/4.22 c old isEQ: 172, new EQ is 0
4.18/4.22 c old isEQ: 172, new EQ is 0
4.18/4.22 c old isEQ: 172, new EQ is 0
4.18/4.22 c old isEQ: 172, new EQ is 0
4.18/4.22 c old isEQ: 172, new EQ is 0
4.18/4.23 c old isEQ: 172, new EQ is 0
4.18/4.23 c old isEQ: 172, new EQ is 0
4.18/4.23 c old isEQ: 172, new EQ is 0
4.18/4.23 c old isEQ: 172, new EQ is 0
4.18/4.23 c old isEQ: 172, new EQ is 0
4.18/4.23 c old isEQ: 172, new EQ is 0
4.18/4.23 c old isEQ: 172, new EQ is 0
4.18/4.23 c old isEQ: 172, new EQ is 0
4.18/4.23 c old isEQ: 172, new EQ is 0
4.18/4.23 c old isEQ: 172, new EQ is 0
4.18/4.23 c old isEQ: 172, new EQ is 0
4.18/4.23 c old isEQ: 172, new EQ is 0
4.18/4.23 c old isEQ: 172, new EQ is 0
4.18/4.23 c old isEQ: 172, new EQ is 0
4.18/4.23 c old isEQ: 172, new EQ is 0
4.18/4.24 c old isEQ: 172, new EQ is 0
4.18/4.24 c old isEQ: 172, new EQ is 0
4.18/4.24 c old isEQ: 172, new EQ is 0
4.18/4.24 c old isEQ: 172, new EQ is 0
4.18/4.24 c old isEQ: 172, new EQ is 0
4.18/4.24 c old isEQ: 172, new EQ is 0
4.18/4.24 c old isEQ: 172, new EQ is 0
4.18/4.24 c old isEQ: 172, new EQ is 0
4.18/4.24 c old isEQ: 172, new EQ is 0
4.18/4.24 c old isEQ: 172, new EQ is 0
4.18/4.24 c old isEQ: 188, new EQ is 0
4.18/4.24 c old isEQ: 188, new EQ is 0
4.18/4.24 c old isEQ: 188, new EQ is 0
4.18/4.24 c old isEQ: 188, new EQ is 0
4.18/4.25 c old isEQ: 188, new EQ is 0
4.18/4.25 c old isEQ: 188, new EQ is 0
4.18/4.25 c old isEQ: 188, new EQ is 0
4.18/4.25 c old isEQ: 188, new EQ is 0
4.18/4.25 c old isEQ: 188, new EQ is 0
4.18/4.25 c old isEQ: 188, new EQ is 0
4.18/4.25 c old isEQ: 188, new EQ is 0
4.18/4.25 c old isEQ: 188, new EQ is 0
4.18/4.25 c old isEQ: 188, new EQ is 0
4.18/4.25 c old isEQ: 188, new EQ is 0
4.18/4.25 c old isEQ: 188, new EQ is 0
4.18/4.25 c old isEQ: 188, new EQ is 0
4.18/4.25 c old isEQ: 12, new EQ is 0
4.18/4.25 c old isEQ: 12, new EQ is 0
4.18/4.25 c old isEQ: 12, new EQ is 0
4.18/4.26 c old isEQ: 12, new EQ is 0
4.18/4.26 c old isEQ: 12, new EQ is 0
4.18/4.26 c old isEQ: 12, new EQ is 0
4.18/4.26 c old isEQ: 12, new EQ is 0
4.18/4.26 c old isEQ: 12, new EQ is 0
4.18/4.26 c old isEQ: 12, new EQ is 0
4.18/4.26 c old isEQ: 12, new EQ is 0
4.18/4.26 c old isEQ: 12, new EQ is 0
4.18/4.26 c old isEQ: 12, new EQ is 0
4.18/4.26 c old isEQ: 12, new EQ is 0
4.18/4.26 c old isEQ: 12, new EQ is 0
4.18/4.26 c old isEQ: 12, new EQ is 0
4.18/4.26 c old isEQ: 12, new EQ is 0
4.18/4.26 c old isEQ: 12, new EQ is 0
4.18/4.26 c old isEQ: 12, new EQ is 0
4.18/4.27 c old isEQ: 12, new EQ is 0
4.18/4.27 c old isEQ: 12, new EQ is 0
4.18/4.27 c old isEQ: 12, new EQ is 0
4.18/4.27 c old isEQ: 12, new EQ is 0
4.18/4.27 c old isEQ: 12, new EQ is 0
4.18/4.27 c old isEQ: 12, new EQ is 0
4.18/4.27 c old isEQ: 12, new EQ is 0
4.18/4.27 c old isEQ: 12, new EQ is 0
4.18/4.27 c old isEQ: 12, new EQ is 0
4.18/4.27 c old isEQ: 12, new EQ is 0
4.18/4.27 c old isEQ: 12, new EQ is 0
4.18/4.27 c old isEQ: 12, new EQ is 0
4.18/4.27 c old isEQ: 12, new EQ is 0
4.18/4.27 c old isEQ: 12, new EQ is 0
4.18/4.27 c old isEQ: 12, new EQ is 0
4.18/4.28 c old isEQ: 12, new EQ is 0
4.18/4.28 c old isEQ: 12, new EQ is 0
4.18/4.28 c old isEQ: 12, new EQ is 0
4.18/4.28 c old isEQ: 12, new EQ is 0
4.18/4.28 c old isEQ: 12, new EQ is 0
4.18/4.28 c old isEQ: 12, new EQ is 0
4.18/4.28 c old isEQ: 12, new EQ is 0
4.18/4.28 c old isEQ: 12, new EQ is 0
4.18/4.28 c old isEQ: 12, new EQ is 0
4.18/4.28 c old isEQ: 12, new EQ is 0
4.18/4.28 c old isEQ: 12, new EQ is 0
4.18/4.28 c old isEQ: 12, new EQ is 0
4.18/4.28 c old isEQ: 12, new EQ is 0
4.18/4.28 c old isEQ: 12, new EQ is 0
4.18/4.28 c old isEQ: 12, new EQ is 0
4.18/4.29 c old isEQ: 12, new EQ is 0
4.18/4.29 c old isEQ: 12, new EQ is 0
4.18/4.29 c old isEQ: 12, new EQ is 0
4.18/4.29 c old isEQ: 12, new EQ is 0
4.18/4.29 c old isEQ: 12, new EQ is 0
4.18/4.29 c old isEQ: 12, new EQ is 0
4.18/4.29 c old isEQ: 12, new EQ is 0
4.18/4.29 c old isEQ: 12, new EQ is 0
4.18/4.29 c old isEQ: 12, new EQ is 0
4.18/4.29 c old isEQ: 12, new EQ is 0
4.18/4.29 c old isEQ: 12, new EQ is 0
4.18/4.29 c old isEQ: 12, new EQ is 0
4.18/4.29 c old isEQ: 12, new EQ is 0
4.18/4.29 c old isEQ: 12, new EQ is 0
4.18/4.29 c old isEQ: 12, new EQ is 0
4.28/4.30 c old isEQ: 12, new EQ is 0
4.28/4.30 c old isEQ: 12, new EQ is 0
4.28/4.30 c old isEQ: 60, new EQ is 0
4.28/4.30 c old isEQ: 60, new EQ is 0
4.28/4.30 c old isEQ: 60, new EQ is 0
4.28/4.30 c old isEQ: 60, new EQ is 0
4.28/4.30 c old isEQ: 60, new EQ is 0
4.28/4.30 c old isEQ: 60, new EQ is 0
4.28/4.30 c old isEQ: 60, new EQ is 0
4.28/4.30 c old isEQ: 60, new EQ is 0
4.28/4.30 c old isEQ: 60, new EQ is 0
4.28/4.30 c old isEQ: 60, new EQ is 0
4.28/4.30 c old isEQ: 60, new EQ is 0
4.28/4.30 c old isEQ: 60, new EQ is 0
4.28/4.31 c old isEQ: 60, new EQ is 0
4.28/4.31 c old isEQ: 60, new EQ is 0
4.28/4.31 c old isEQ: 60, new EQ is 0
4.28/4.31 c old isEQ: 60, new EQ is 0
4.28/4.31 c old isEQ: 60, new EQ is 0
4.28/4.31 c old isEQ: 60, new EQ is 0
4.28/4.31 c old isEQ: 60, new EQ is 0
4.28/4.31 c old isEQ: 60, new EQ is 0
4.28/4.31 c old isEQ: 60, new EQ is 0
4.28/4.31 c old isEQ: 60, new EQ is 0
4.28/4.31 c old isEQ: 60, new EQ is 0
4.28/4.31 c old isEQ: 60, new EQ is 0
4.28/4.31 c old isEQ: 60, new EQ is 0
4.28/4.31 c old isEQ: 60, new EQ is 0
4.28/4.31 c old isEQ: 60, new EQ is 0
4.28/4.32 c old isEQ: 60, new EQ is 0
4.28/4.32 c old isEQ: 60, new EQ is 0
4.28/4.32 c old isEQ: 60, new EQ is 0
4.28/4.32 c old isEQ: 60, new EQ is 0
4.28/4.32 c old isEQ: 60, new EQ is 0
4.28/4.32 c old isEQ: 60, new EQ is 0
4.28/4.32 c old isEQ: 60, new EQ is 0
4.28/4.32 c old isEQ: 60, new EQ is 0
4.28/4.32 c old isEQ: 60, new EQ is 0
4.28/4.32 c old isEQ: 60, new EQ is 0
4.28/4.32 c old isEQ: 60, new EQ is 0
4.28/4.32 c old isEQ: 60, new EQ is 0
4.28/4.32 c old isEQ: 60, new EQ is 0
4.28/4.32 c old isEQ: 60, new EQ is 0
4.28/4.32 c old isEQ: 60, new EQ is 0
4.28/4.33 c old isEQ: 60, new EQ is 0
4.28/4.33 c old isEQ: 60, new EQ is 0
4.28/4.33 c old isEQ: 60, new EQ is 0
4.28/4.33 c old isEQ: 60, new EQ is 0
4.28/4.33 c old isEQ: 60, new EQ is 0
4.28/4.33 c old isEQ: 60, new EQ is 0
4.28/4.33 c old isEQ: 60, new EQ is 0
4.28/4.33 c old isEQ: 60, new EQ is 0
4.28/4.33 c old isEQ: 60, new EQ is 0
4.28/4.33 c old isEQ: 60, new EQ is 0
4.28/4.33 c old isEQ: 60, new EQ is 0
4.28/4.33 c old isEQ: 60, new EQ is 0
4.28/4.33 c old isEQ: 60, new EQ is 0
4.28/4.33 c old isEQ: 60, new EQ is 0
4.28/4.33 c old isEQ: 60, new EQ is 0
4.28/4.34 c old isEQ: 60, new EQ is 0
4.28/4.34 c old isEQ: 60, new EQ is 0
4.28/4.34 c old isEQ: 60, new EQ is 0
4.28/4.34 c old isEQ: 60, new EQ is 0
4.28/4.34 c old isEQ: 60, new EQ is 0
4.28/4.34 c old isEQ: 60, new EQ is 0
4.28/4.34 c old isEQ: 60, new EQ is 0
4.28/4.34 c old isEQ: 60, new EQ is 0
4.28/4.34 c old isEQ: 60, new EQ is 0
4.28/4.34 c old isEQ: 60, new EQ is 0
4.28/4.34 c old isEQ: 60, new EQ is 0
4.28/4.34 c old isEQ: 60, new EQ is 0
4.28/4.34 c old isEQ: 60, new EQ is 0
4.28/4.34 c old isEQ: 60, new EQ is 0
4.28/4.34 c old isEQ: 60, new EQ is 0
4.28/4.35 c old isEQ: 60, new EQ is 0
4.28/4.35 c old isEQ: 60, new EQ is 0
4.28/4.35 c old isEQ: 60, new EQ is 0
4.28/4.35 c old isEQ: 60, new EQ is 0
4.28/4.35 c old isEQ: 60, new EQ is 0
4.28/4.35 c old isEQ: 124, new EQ is 0
4.28/4.35 c old isEQ: 124, new EQ is 0
4.28/4.35 c old isEQ: 124, new EQ is 0
4.28/4.35 c old isEQ: 124, new EQ is 0
4.28/4.35 c old isEQ: 124, new EQ is 0
4.28/4.35 c old isEQ: 124, new EQ is 0
4.28/4.35 c old isEQ: 124, new EQ is 0
4.28/4.35 c old isEQ: 124, new EQ is 0
4.28/4.35 c old isEQ: 124, new EQ is 0
4.28/4.35 c old isEQ: 124, new EQ is 0
4.28/4.36 c old isEQ: 124, new EQ is 0
4.28/4.36 c old isEQ: 124, new EQ is 0
4.28/4.36 c old isEQ: 124, new EQ is 0
4.28/4.36 c old isEQ: 124, new EQ is 0
4.28/4.36 c old isEQ: 124, new EQ is 0
4.28/4.36 c old isEQ: 124, new EQ is 0
4.28/4.36 c old isEQ: 124, new EQ is 0
4.28/4.36 c old isEQ: 124, new EQ is 0
4.28/4.36 c old isEQ: 124, new EQ is 0
4.28/4.36 c old isEQ: 124, new EQ is 0
4.28/4.36 c old isEQ: 124, new EQ is 0
4.28/4.36 c old isEQ: 124, new EQ is 0
4.28/4.36 c old isEQ: 124, new EQ is 0
4.28/4.37 c old isEQ: 124, new EQ is 0
4.28/4.37 c old isEQ: 188, new EQ is 0
4.28/4.37 c old isEQ: 188, new EQ is 0
4.28/4.37 c old isEQ: 188, new EQ is 0
4.28/4.37 c old isEQ: 188, new EQ is 0
4.28/4.37 c old isEQ: 188, new EQ is 0
4.28/4.37 c old isEQ: 188, new EQ is 0
4.28/4.37 c old isEQ: 188, new EQ is 0
4.28/4.37 c old isEQ: 188, new EQ is 0
4.28/4.37 c old isEQ: 188, new EQ is 0
4.28/4.37 c old isEQ: 188, new EQ is 0
4.28/4.37 c old isEQ: 188, new EQ is 0
4.28/4.37 c old isEQ: 188, new EQ is 0
4.28/4.38 c old isEQ: 188, new EQ is 0
4.28/4.38 c old isEQ: 188, new EQ is 0
4.28/4.38 c old isEQ: 188, new EQ is 0
4.28/4.38 c old isEQ: 188, new EQ is 0
4.28/4.38 c old isEQ: 188, new EQ is 0
4.28/4.38 c old isEQ: 188, new EQ is 0
4.28/4.38 c old isEQ: 188, new EQ is 0
4.28/4.38 c old isEQ: 188, new EQ is 0
4.28/4.38 c old isEQ: 188, new EQ is 0
4.28/4.38 c old isEQ: 188, new EQ is 0
4.28/4.38 c old isEQ: 188, new EQ is 0
4.28/4.38 c old isEQ: 188, new EQ is 0
4.28/4.38 c old isEQ: 188, new EQ is 0
4.28/4.38 c old isEQ: 188, new EQ is 0
4.28/4.38 c old isEQ: 188, new EQ is 0
4.28/4.39 c old isEQ: 188, new EQ is 0
4.28/4.39 c old isEQ: 188, new EQ is 0
4.28/4.39 c old isEQ: 188, new EQ is 0
4.28/4.39 c old isEQ: 188, new EQ is 0
4.28/4.39 c old isEQ: 188, new EQ is 0
4.28/4.39 c old isEQ: 188, new EQ is 0
4.28/4.39 c old isEQ: 188, new EQ is 0
4.28/4.39 c old isEQ: 188, new EQ is 0
4.28/4.39 c old isEQ: 188, new EQ is 0
4.28/4.39 c old isEQ: 188, new EQ is 0
4.28/4.39 c old isEQ: 188, new EQ is 0
4.28/4.39 c old isEQ: 188, new EQ is 0
4.28/4.39 c old isEQ: 188, new EQ is 0
4.28/4.39 c old isEQ: 188, new EQ is 0
4.28/4.39 c old isEQ: 188, new EQ is 0
4.38/4.40 c old isEQ: 188, new EQ is 0
4.38/4.40 c old isEQ: 188, new EQ is 0
4.38/4.40 c old isEQ: 188, new EQ is 0
4.38/4.40 c old isEQ: 188, new EQ is 0
4.38/4.40 c old isEQ: 188, new EQ is 0
4.38/4.40 c old isEQ: 188, new EQ is 0
4.38/4.40 c old isEQ: 188, new EQ is 0
4.38/4.40 c old isEQ: 188, new EQ is 0
4.38/4.40 c old isEQ: 188, new EQ is 0
4.38/4.40 c old isEQ: 188, new EQ is 0
4.38/4.40 c old isEQ: 188, new EQ is 0
4.38/4.40 c old isEQ: 188, new EQ is 0
4.38/4.40 c old isEQ: 188, new EQ is 0
4.38/4.40 c old isEQ: 188, new EQ is 0
4.38/4.41 c old isEQ: 188, new EQ is 0
49.17/49.22 c run usual solver
1800.08/1806.11 c error: unexpected solver exit code
1800.08/1806.11 s UNKNOWN
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-3749670-1339166430/watcher-3749670-1339166430 -o /tmp/evaluation-result-3749670-1339166430/solver-3749670-1339166430 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3749670-1339166430.opb 134457052 HOME HOME
running on 4 cores: 0,2,4,6
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.00 2.00 3/178 23200
/proc/meminfo: memFree=25991644/32873844 swapFree=7120/7120
[pid=23200] ppid=23198 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/23200/stat : 23200 (runsolver) D 23198 23200 15797 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 382771654 12095488 51 33554432000 4194304 5436572 140736588439712 140736588436008 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/23200/statm: 2953 51 31 304 0 2645 0
[startup+0.084162 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23200
/proc/meminfo: memFree=25991644/32873844 swapFree=7120/7120
[pid=23200] ppid=23198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23200/stat : 23200 (npSolver-pbo.sh) S 23198 23200 15797 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382771654 9367552 275 33554432000 4194304 5064252 140734880782816 140734880781728 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23200/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100262 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23200
/proc/meminfo: memFree=25991644/32873844 swapFree=7120/7120
[pid=23200] ppid=23198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23200/stat : 23200 (npSolver-pbo.sh) S 23198 23200 15797 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382771654 9367552 275 33554432000 4194304 5064252 140734880782816 140734880781728 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23200/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300227 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23200
/proc/meminfo: memFree=25991644/32873844 swapFree=7120/7120
[pid=23200] ppid=23198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23200/stat : 23200 (npSolver-pbo.sh) S 23198 23200 15797 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382771654 9367552 275 33554432000 4194304 5064252 140734880782816 140734880781728 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23200/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700225 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23200
/proc/meminfo: memFree=25991644/32873844 swapFree=7120/7120
[pid=23200] ppid=23198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23200/stat : 23200 (npSolver-pbo.sh) S 23198 23200 15797 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382771654 9367552 275 33554432000 4194304 5064252 140734880782816 140734880781728 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23200/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50031 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 23202
/proc/meminfo: memFree=25898708/32873844 swapFree=7120/7120
[pid=23200] ppid=23198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23200/stat : 23200 (npSolver-pbo.sh) S 23198 23200 15797 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382771654 9367552 275 33554432000 4194304 5064252 140734880782816 140734880781728 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23200/statm: 2287 275 233 213 0 72 0
[pid=23202] ppid=23200 vsize=150300 CPUtime=1.48 cores=0,2,4,6
/proc/23202/stat : 23202 (npSolver-pbo) R 23200 23200 15797 0 -1 4202496 24405 0 0 0 143 5 0 0 20 0 1 0 382771655 153907200 35080 33554432000 4194304 6004724 140734475050256 140734475046280 4968639 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23202/statm: 37575 35081 130 442 0 37129 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 159448
[startup+3.10032 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 23202
/proc/meminfo: memFree=25765400/32873844 swapFree=7120/7120
[pid=23200] ppid=23198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23200/stat : 23200 (npSolver-pbo.sh) S 23198 23200 15797 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382771654 9367552 275 33554432000 4194304 5064252 140734880782816 140734880781728 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23200/statm: 2287 275 233 213 0 72 0
[pid=23202] ppid=23200 vsize=307576 CPUtime=3.08 cores=0,2,4,6
/proc/23202/stat : 23202 (npSolver-pbo) R 23200 23200 15797 0 -1 4202496 47927 0 0 0 296 12 0 0 20 0 1 0 382771655 314957824 73899 33554432000 4194304 6004724 140734475050256 140734475046280 4968639 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23202/statm: 76894 73899 130 442 0 76448 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 316724
[startup+6.30035 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 23202
/proc/meminfo: memFree=25381600/32873844 swapFree=7120/7120
[pid=23200] ppid=23198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23200/stat : 23200 (npSolver-pbo.sh) S 23198 23200 15797 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382771654 9367552 275 33554432000 4194304 5064252 140734880782816 140734880781728 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23200/statm: 2287 275 233 213 0 72 0
[pid=23202] ppid=23200 vsize=773520 CPUtime=6.28 cores=0,2,4,6
/proc/23202/stat : 23202 (npSolver-pbo) R 23200 23200 15797 0 -1 4202496 98320 0 0 0 601 27 0 0 20 0 1 0 382771655 792084480 161982 33554432000 4194304 6004724 140734475050256 140734475044536 4582526 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23202/statm: 193380 161982 162 442 0 192934 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 782668
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 23202
/proc/meminfo: memFree=24909952/32873844 swapFree=7120/7120
[pid=23200] ppid=23198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23200/stat : 23200 (npSolver-pbo.sh) S 23198 23200 15797 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382771654 9367552 275 33554432000 4194304 5064252 140734880782816 140734880781728 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23200/statm: 2287 275 233 213 0 72 0
[pid=23202] ppid=23200 vsize=1559952 CPUtime=12.67 cores=0,2,4,6
/proc/23202/stat : 23202 (npSolver-pbo) R 23200 23200 15797 0 -1 4202496 99954 0 0 0 1222 45 0 0 20 0 1 0 382771655 1597390848 276674 33554432000 4194304 6004724 140734475050256 140734475044856 4536845 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23202/statm: 389988 276674 162 442 0 389542 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 1569100
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 23202
/proc/meminfo: memFree=23949876/32873844 swapFree=7120/7120
[pid=23200] ppid=23198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23200/stat : 23200 (npSolver-pbo.sh) S 23198 23200 15797 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382771654 9367552 275 33554432000 4194304 5064252 140734880782816 140734880781728 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23200/statm: 2287 275 233 213 0 72 0
[pid=23202] ppid=23200 vsize=2608536 CPUtime=25.48 cores=0,2,4,6
/proc/23202/stat : 23202 (npSolver-pbo) R 23200 23200 15797 0 -1 4202496 101438 0 0 0 2474 74 0 0 20 0 1 0 382771655 2671140864 509640 33554432000 4194304 6004724 140734475050256 140734475044856 4582601 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23202/statm: 652134 509640 162 442 0 651688 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 2617684
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 23204
/proc/meminfo: memFree=19330520/32873844 swapFree=7120/7120
[pid=23200] ppid=23198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23200/stat : 23200 (npSolver-pbo.sh) S 23198 23200 15797 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382771654 9367552 275 33554432000 4194304 5064252 140734880782816 140734880781728 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23200/statm: 2287 275 233 213 0 72 0
[pid=23202] ppid=23200 vsize=4705716 CPUtime=49.2 cores=0,2,4,6
/proc/23202/stat : 23202 (npSolver-pbo) S 23200 23200 15797 0 -1 4202496 105644 0 0 0 4354 566 0 0 20 0 1 0 382771655 4818653184 858839 33554432000 4194304 6004724 140734475050256 140734475044304 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23202/statm: 1176429 858839 170 442 0 1175983 0
[pid=23203] ppid=23202 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23203/stat : 23203 (cp2_pre.sh) S 23202 23200 15797 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 382776577 9367552 277 33554432000 4194304 5064252 140734090564864 140734090563568 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23203/statm: 2287 277 234 213 0 72 0
[pid=23204] ppid=23203 vsize=220060 CPUtime=1.85 cores=0,2,4,6
/proc/23204/stat : 23204 (coprocessor) R 23203 23200 15797 0 -1 4202496 14543 0 0 0 178 7 0 0 20 0 1 0 382776578 225341440 50994 33554432000 4194304 6586260 140737159542736 140737159539496 5732400 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/23204/statm: 55015 50994 138 584 0 54427 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 4944072
[startup+102.3 s]
/proc/loadavg: 2.60 2.17 2.05 3/181 23204
/proc/meminfo: memFree=14348152/32873844 swapFree=7120/7120
[pid=23200] ppid=23198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23200/stat : 23200 (npSolver-pbo.sh) S 23198 23200 15797 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382771654 9367552 275 33554432000 4194304 5064252 140734880782816 140734880781728 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23200/statm: 2287 275 233 213 0 72 0
[pid=23202] ppid=23200 vsize=4705716 CPUtime=49.2 cores=0,2,4,6
/proc/23202/stat : 23202 (npSolver-pbo) S 23200 23200 15797 0 -1 4202496 105644 0 0 0 4354 566 0 0 20 0 1 0 382771655 4818653184 858839 33554432000 4194304 6004724 140734475050256 140734475044304 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23202/statm: 1176429 858839 170 442 0 1175983 0
[pid=23203] ppid=23202 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23203/stat : 23203 (cp2_pre.sh) S 23202 23200 15797 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 382776577 9367552 277 33554432000 4194304 5064252 140734090564864 140734090563568 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23203/statm: 2287 277 234 213 0 72 0
[pid=23204] ppid=23203 vsize=5955052 CPUtime=52.87 cores=0,2,4,6
/proc/23204/stat : 23204 (coprocessor) R 23203 23200 15797 0 -1 4202496 32274 0 0 0 5043 244 0 0 20 0 1 0 382776578 6097973248 1213907 33554432000 4194304 6586260 140737159542736 140737159538488 5732496 0 0 4096 8404994 0 0 0 17 2 0 0 16 0 0
/proc/23204/statm: 1488763 1213907 157 584 0 1488175 0
Current children cumulated CPU time (s) 102.07
Current children cumulated vsize (KiB) 10679064
[startup+162.3 s]
/proc/loadavg: 2.31 2.16 2.06 3/181 23205
/proc/meminfo: memFree=12805900/32873844 swapFree=7120/7120
[pid=23200] ppid=23198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23200/stat : 23200 (npSolver-pbo.sh) S 23198 23200 15797 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382771654 9367552 275 33554432000 4194304 5064252 140734880782816 140734880781728 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23200/statm: 2287 275 233 213 0 72 0
[pid=23202] ppid=23200 vsize=4705716 CPUtime=49.2 cores=0,2,4,6
/proc/23202/stat : 23202 (npSolver-pbo) S 23200 23200 15797 0 -1 4202496 105644 0 0 0 4354 566 0 0 20 0 1 0 382771655 4818653184 858839 33554432000 4194304 6004724 140734475050256 140734475044304 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23202/statm: 1176429 858839 170 442 0 1175983 0
[pid=23203] ppid=23202 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23203/stat : 23203 (cp2_pre.sh) S 23202 23200 15797 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 382776577 9367552 277 33554432000 4194304 5064252 140734090564864 140734090563568 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23203/statm: 2287 277 234 213 0 72 0
[pid=23204] ppid=23203 vsize=5955052 CPUtime=111.97 cores=0,2,4,6
/proc/23204/stat : 23204 (coprocessor) R 23203 23200 15797 0 -1 4202496 32274 0 0 0 10659 538 0 0 20 0 1 0 382776578 6097973248 1213907 33554432000 4194304 6586260 140737159542736 140737159538488 5732496 0 0 4096 8404994 0 0 0 17 2 0 0 105 0 0
/proc/23204/statm: 1488763 1213907 157 584 0 1488175 0
Current children cumulated CPU time (s) 161.17
Current children cumulated vsize (KiB) 10679064
[startup+222.3 s]
/proc/loadavg: 2.11 2.13 2.05 3/179 23212
/proc/meminfo: memFree=13960060/32873844 swapFree=7120/7120
[pid=23200] ppid=23198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23200/stat : 23200 (npSolver-pbo.sh) S 23198 23200 15797 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382771654 9367552 275 33554432000 4194304 5064252 140734880782816 140734880781728 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23200/statm: 2287 275 233 213 0 72 0
[pid=23202] ppid=23200 vsize=4705716 CPUtime=178.47 cores=0,2,4,6
/proc/23202/stat : 23202 (npSolver-pbo) S 23200 23200 15797 0 -1 4202496 105650 33178 0 0 4354 567 12241 685 20 0 1 0 382771655 4818653184 858839 33554432000 4194304 6004724 140734475050256 140734475045392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23202/statm: 1176429 858839 170 442 0 1175983 0
[pid=23207] ppid=23202 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23207/stat : 23207 (satsolver.sh) S 23202 23200 15797 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382789803 9367552 267 33554432000 4194304 5064252 140734387002736 140734387001648 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23207/statm: 2287 267 226 213 0 72 0
[pid=23208] ppid=23207 vsize=8016724 CPUtime=40.78 cores=0,2,4,6
/proc/23208/stat : 23208 (glucose) R 23207 23200 15797 0 -1 4202496 684095 0 0 0 3820 258 0 0 20 0 1 0 382789804 8209125376 1567150 33554432000 4194304 5208918 140733659694096 140733659692120 4229021 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23208/statm: 2004181 1567150 103 248 0 2003930 0
Current children cumulated CPU time (s) 219.25
Current children cumulated vsize (KiB) 12740736
[startup+282.3 s]
/proc/loadavg: 2.08 2.12 2.05 3/181 23256
/proc/meminfo: memFree=13886248/32873844 swapFree=7120/7120
[pid=23200] ppid=23198 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/23208/statm: 2017131 1584357 103 248 0 2016880 0
Current children cumulated CPU time (s) 1356.34
Current children cumulated vsize (KiB) 12792536
[startup+1422.3 s]
/proc/loadavg: 2.02 2.03 2.06 3/181 23337
/proc/meminfo: memFree=1827804/32873844 swapFree=7120/7120
[pid=23200] ppid=23198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23200/stat : 23200 (npSolver-pbo.sh) S 23198 23200 15797 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382771654 9367552 275 33554432000 4194304 5064252 140734880782816 140734880781728 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23200/statm: 2287 275 233 213 0 72 0
[pid=23202] ppid=23200 vsize=4705716 CPUtime=178.47 cores=0,2,4,6
/proc/23202/stat : 23202 (npSolver-pbo) S 23200 23200 15797 0 -1 4202496 105650 33178 0 0 4354 567 12241 685 20 0 1 0 382771655 4818653184 856732 33554432000 4194304 6004724 140734475050256 140734475045392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23202/statm: 1176429 856732 170 442 0 1175983 0
[pid=23207] ppid=23202 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23207/stat : 23207 (satsolver.sh) S 23202 23200 15797 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382789803 9367552 267 33554432000 4194304 5064252 140734387002736 140734387001648 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23207/statm: 2287 267 226 213 0 72 0
[pid=23208] ppid=23207 vsize=8068740 CPUtime=1237.86 cores=0,2,4,6
/proc/23208/stat : 23208 (glucose) R 23207 23200 15797 0 -1 4202496 769738 0 0 0 123441 345 0 0 20 0 1 0 382789804 8262389760 1584419 33554432000 4194304 5208918 140733659694096 140733659692232 4205139 0 0 4096 0 0 0 0 17 2 0 0 250 0 0
/proc/23208/statm: 2017185 1584419 103 248 0 2016934 0
Current children cumulated CPU time (s) 1416.33
Current children cumulated vsize (KiB) 12792752
[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.06 3/181 23337
/proc/meminfo: memFree=1824952/32873844 swapFree=7120/7120
[pid=23200] ppid=23198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23200/stat : 23200 (npSolver-pbo.sh) S 23198 23200 15797 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382771654 9367552 275 33554432000 4194304 5064252 140734880782816 140734880781728 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23200/statm: 2287 275 233 213 0 72 0
[pid=23202] ppid=23200 vsize=4705716 CPUtime=178.47 cores=0,2,4,6
/proc/23202/stat : 23202 (npSolver-pbo) S 23200 23200 15797 0 -1 4202496 105650 33178 0 0 4354 567 12241 685 20 0 1 0 382771655 4818653184 856732 33554432000 4194304 6004724 140734475050256 140734475045392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23202/statm: 1176429 856732 170 442 0 1175983 0
[pid=23207] ppid=23202 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23207/stat : 23207 (satsolver.sh) S 23202 23200 15797 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382789803 9367552 267 33554432000 4194304 5064252 140734387002736 140734387001648 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23207/statm: 2287 267 226 213 0 72 0
[pid=23208] ppid=23207 vsize=8068916 CPUtime=1297.85 cores=0,2,4,6
/proc/23208/stat : 23208 (glucose) R 23207 23200 15797 0 -1 4202496 772720 0 0 0 129437 348 0 0 20 0 1 0 382789804 8262569984 1584478 33554432000 4194304 5208918 140733659694096 140733659691944 4228997 0 0 4096 0 0 0 0 17 2 0 0 250 0 0
/proc/23208/statm: 2017229 1584478 103 248 0 2016978 0
Current children cumulated CPU time (s) 1476.32
Current children cumulated vsize (KiB) 12792928
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 23337
/proc/meminfo: memFree=1822712/32873844 swapFree=7120/7120
[pid=23200] ppid=23198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23200/stat : 23200 (npSolver-pbo.sh) S 23198 23200 15797 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382771654 9367552 275 33554432000 4194304 5064252 140734880782816 140734880781728 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23200/statm: 2287 275 233 213 0 72 0
[pid=23202] ppid=23200 vsize=4705716 CPUtime=178.47 cores=0,2,4,6
/proc/23202/stat : 23202 (npSolver-pbo) S 23200 23200 15797 0 -1 4202496 105650 33178 0 0 4354 567 12241 685 20 0 1 0 382771655 4818653184 856732 33554432000 4194304 6004724 140734475050256 140734475045392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23202/statm: 1176429 856732 170 442 0 1175983 0
[pid=23207] ppid=23202 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23207/stat : 23207 (satsolver.sh) S 23202 23200 15797 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382789803 9367552 267 33554432000 4194304 5064252 140734387002736 140734387001648 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23207/statm: 2287 267 226 213 0 72 0
[pid=23208] ppid=23207 vsize=8069168 CPUtime=1357.85 cores=0,2,4,6
/proc/23208/stat : 23208 (glucose) R 23207 23200 15797 0 -1 4202496 776708 0 0 0 135435 350 0 0 20 0 1 0 382789804 8262828032 1584539 33554432000 4194304 5208918 140733659694096 140733659691944 4205128 0 0 4096 0 0 0 0 17 2 0 0 250 0 0
/proc/23208/statm: 2017292 1584539 103 248 0 2017041 0
Current children cumulated CPU time (s) 1536.32
Current children cumulated vsize (KiB) 12793180
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 23337
/proc/meminfo: memFree=1817640/32873844 swapFree=7120/7120
[pid=23200] ppid=23198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23200/stat : 23200 (npSolver-pbo.sh) S 23198 23200 15797 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382771654 9367552 275 33554432000 4194304 5064252 140734880782816 140734880781728 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23200/statm: 2287 275 233 213 0 72 0
[pid=23202] ppid=23200 vsize=4705716 CPUtime=178.47 cores=0,2,4,6
/proc/23202/stat : 23202 (npSolver-pbo) S 23200 23200 15797 0 -1 4202496 105650 33178 0 0 4354 567 12241 685 20 0 1 0 382771655 4818653184 856732 33554432000 4194304 6004724 140734475050256 140734475045392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23202/statm: 1176429 856732 170 442 0 1175983 0
[pid=23207] ppid=23202 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23207/stat : 23207 (satsolver.sh) S 23202 23200 15797 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382789803 9367552 267 33554432000 4194304 5064252 140734387002736 140734387001648 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23207/statm: 2287 267 226 213 0 72 0
[pid=23208] ppid=23207 vsize=8069804 CPUtime=1417.84 cores=0,2,4,6
/proc/23208/stat : 23208 (glucose) R 23207 23200 15797 0 -1 4202496 779791 0 0 0 141432 352 0 0 20 0 1 0 382789804 8263479296 1585210 33554432000 4194304 5208918 140733659694096 140733659692264 4229125 0 0 4096 0 0 0 0 17 2 0 0 250 0 0
/proc/23208/statm: 2017451 1585210 103 248 0 2017200 0
Current children cumulated CPU time (s) 1596.31
Current children cumulated vsize (KiB) 12793816
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 23338
/proc/meminfo: memFree=1812676/32873844 swapFree=7120/7120
[pid=23200] ppid=23198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23200/stat : 23200 (npSolver-pbo.sh) S 23198 23200 15797 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382771654 9367552 275 33554432000 4194304 5064252 140734880782816 140734880781728 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23200/statm: 2287 275 233 213 0 72 0
[pid=23202] ppid=23200 vsize=4705716 CPUtime=178.47 cores=0,2,4,6
/proc/23202/stat : 23202 (npSolver-pbo) S 23200 23200 15797 0 -1 4202496 105650 33178 0 0 4354 567 12241 685 20 0 1 0 382771655 4818653184 856732 33554432000 4194304 6004724 140734475050256 140734475045392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23202/statm: 1176429 856732 170 442 0 1175983 0
[pid=23207] ppid=23202 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23207/stat : 23207 (satsolver.sh) S 23202 23200 15797 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382789803 9367552 267 33554432000 4194304 5064252 140734387002736 140734387001648 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23207/statm: 2287 267 226 213 0 72 0
[pid=23208] ppid=23207 vsize=8070204 CPUtime=1477.83 cores=0,2,4,6
/proc/23208/stat : 23208 (glucose) R 23207 23200 15797 0 -1 4202496 783815 0 0 0 147430 353 0 0 20 0 1 0 382789804 8263888896 1585310 33554432000 4194304 5208918 140733659694096 140733659691944 4229344 0 0 4096 0 0 0 0 17 2 0 0 250 0 0
/proc/23208/statm: 2017551 1585310 103 248 0 2017300 0
Current children cumulated CPU time (s) 1656.3
Current children cumulated vsize (KiB) 12794216
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 23338
/proc/meminfo: memFree=1734912/32873844 swapFree=7120/7120
[pid=23200] ppid=23198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23200/stat : 23200 (npSolver-pbo.sh) S 23198 23200 15797 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382771654 9367552 275 33554432000 4194304 5064252 140734880782816 140734880781728 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23200/statm: 2287 275 233 213 0 72 0
[pid=23202] ppid=23200 vsize=4705716 CPUtime=178.47 cores=0,2,4,6
/proc/23202/stat : 23202 (npSolver-pbo) S 23200 23200 15797 0 -1 4202496 105650 33178 0 0 4354 567 12241 685 20 0 1 0 382771655 4818653184 856732 33554432000 4194304 6004724 140734475050256 140734475045392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23202/statm: 1176429 856732 170 442 0 1175983 0
[pid=23207] ppid=23202 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23207/stat : 23207 (satsolver.sh) S 23202 23200 15797 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382789803 9367552 267 33554432000 4194304 5064252 140734387002736 140734387001648 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23207/statm: 2287 267 226 213 0 72 0
[pid=23208] ppid=23207 vsize=8070500 CPUtime=1537.82 cores=0,2,4,6
/proc/23208/stat : 23208 (glucose) R 23207 23200 15797 0 -1 4202496 790748 0 0 0 153425 357 0 0 20 0 1 0 382789804 8264192000 1585410 33554432000 4194304 5208918 140733659694096 140733659692232 4229365 0 0 4096 0 0 0 0 17 2 0 0 250 0 0
/proc/23208/statm: 2017625 1585410 103 248 0 2017374 0
Current children cumulated CPU time (s) 1716.29
Current children cumulated vsize (KiB) 12794512
[startup+1782.31 s]
/proc/loadavg: 2.05 2.01 2.04 3/182 23341
/proc/meminfo: memFree=1803932/32873844 swapFree=7120/7120
[pid=23200] ppid=23198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23200/stat : 23200 (npSolver-pbo.sh) S 23198 23200 15797 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382771654 9367552 275 33554432000 4194304 5064252 140734880782816 140734880781728 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23200/statm: 2287 275 233 213 0 72 0
[pid=23202] ppid=23200 vsize=4705716 CPUtime=178.47 cores=0,2,4,6
/proc/23202/stat : 23202 (npSolver-pbo) S 23200 23200 15797 0 -1 4202496 105650 33178 0 0 4354 567 12241 685 20 0 1 0 382771655 4818653184 856732 33554432000 4194304 6004724 140734475050256 140734475045392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23202/statm: 1176429 856732 170 442 0 1175983 0
[pid=23207] ppid=23202 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23207/stat : 23207 (satsolver.sh) S 23202 23200 15797 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382789803 9367552 267 33554432000 4194304 5064252 140734387002736 140734387001648 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23207/statm: 2287 267 226 213 0 72 0
[pid=23208] ppid=23207 vsize=8070968 CPUtime=1597.81 cores=0,2,4,6
/proc/23208/stat : 23208 (glucose) R 23207 23200 15797 0 -1 4202496 794284 0 0 0 159422 359 0 0 20 0 1 0 382789804 8264671232 1585530 33554432000 4194304 5208918 140733659694096 140733659692232 4229203 0 0 4096 0 0 0 0 17 2 0 0 250 0 0
/proc/23208/statm: 2017742 1585530 103 248 0 2017491 0
Current children cumulated CPU time (s) 1776.28
Current children cumulated vsize (KiB) 12794980
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1806.1 s]
/proc/loadavg: 2.03 2.01 2.03 3/182 23341
/proc/meminfo: memFree=1802632/32873844 swapFree=7120/7120
[pid=23200] ppid=23198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23200/stat : 23200 (npSolver-pbo.sh) S 23198 23200 15797 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382771654 9367552 275 33554432000 4194304 5064252 140734880782816 140734880781728 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23200/statm: 2287 275 233 213 0 72 0
[pid=23202] ppid=23200 vsize=4705716 CPUtime=178.47 cores=0,2,4,6
/proc/23202/stat : 23202 (npSolver-pbo) S 23200 23200 15797 0 -1 4202496 105650 33178 0 0 4354 567 12241 685 20 0 1 0 382771655 4818653184 856732 33554432000 4194304 6004724 140734475050256 140734475045392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23202/statm: 1176429 856732 170 442 0 1175983 0
[pid=23207] ppid=23202 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23207/stat : 23207 (satsolver.sh) S 23202 23200 15797 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382789803 9367552 267 33554432000 4194304 5064252 140734387002736 140734387001648 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23207/statm: 2287 267 226 213 0 72 0
[pid=23208] ppid=23207 vsize=8070968 CPUtime=1621.61 cores=0,2,4,6
/proc/23208/stat : 23208 (glucose) R 23207 23200 15797 0 -1 4202496 794284 0 0 0 161802 359 0 0 20 0 1 0 382789804 8264671232 1585530 33554432000 4194304 5208918 140733659694096 140733659692232 4229021 0 0 4096 0 0 0 0 17 2 0 0 250 0 0
/proc/23208/statm: 2017742 1585530 103 248 0 2017491 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 12794980
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 23200 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=999
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1806.12
CPU time (s): 1800.08
CPU user time (s): 1783.97
CPU system time (s): 16.11
CPU usage (%): 99.6656
Max. virtual memory (cumulated for all children) (KiB): 12888408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0
maximum resident set size= 1100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 357
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 4.01039 second user time and 10.1635 second system time
The end