(1,4) (2,14) (3,10) (5,11) (6,21) (7,27) (8,15) (9,22) (12,16) (13,26) (17,30) (18,23) (19,28) (20,25) (24,29) 
nodes: 361036  conflicts: 32  modelTime: 933  solveTime: 1328686  totalTime: 1329650  modelSize: 72268  readTime: 31 size: 15