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