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