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