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