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