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