(1,17) (3,18) (4,24) (6,30) (7,27) (8,16) (9,25) (10,23) (11,21) (12,19) (13,20) (14,29) (15,22) 
nodes: 1036  conflicts: 38  modelTime: 657  solveTime: 846  totalTime: 1509  modelSize: 41292  readTime: 6 size: 13