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