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