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