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