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