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