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