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