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