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