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