(1,16) (2,13) (3,4) (5,11) (6,18) (7,14) (8,28) (9,20) (10,29) (12,23) (15,26) (17,24) (19,30) (21,27) (22,25) 
nodes: 785711  conflicts: 34  modelTime: 1067  solveTime: 1664400  totalTime: 1665484  modelSize: 72265  readTime: 17 size: 15