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