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