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