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