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