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