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