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