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