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