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