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