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