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