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