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