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