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