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