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