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