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