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