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