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