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