(1,12) (2,27) (3,30) (4,15) (5,10) (6,9) (7,26) (8,19) (11,21) (13,20) (14,22) (16,28) (17,29) (18,25) (23,24) 
nodes: 60366  conflicts: 36  modelTime: 1703  solveTime: 222412  totalTime: 224140  modelSize: 72269  readTime: 25 size: 15