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