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