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