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