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