(1,19) (3,29) (4,24) (7,18) (8,21) (9,23) (10,26) (11,17) (12,16) (13,20) (14,30) (15,22) 
nodes: 1003  conflicts: 66  modelTime: 672  solveTime: 763  totalTime: 1443  modelSize: 41300  readTime: 7 size: 12