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