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