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