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