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