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