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