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