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