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