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