(1,24) (2,14) (3,4) (5,13) (6,25) (7,19) (8,17) (9,11) (10,23) (12,26) (15,22) (16,29) (18,28) (20,30) (21,27) 
nodes: 76202  conflicts: 8  modelTime: 1224  solveTime: 359228  totalTime: 360461  modelSize: 72267  readTime: 9 size: 15