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