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