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