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