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