(1,4) (2,12) (3,16) (5,29) (6,7) (8,15) (9,19) (10,13) (11,27) (14,28) (17,18) (20,24) (21,23) (22,30) (25,26) 
nodes: 97561  conflicts: 32  modelTime: 932  solveTime: 339930  totalTime: 340873  modelSize: 72275  readTime: 11 size: 15