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