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