(1,4) (2,18) (3,11) (5,23) (6,19) (7,9) (8,24) (10,14) (13,30) (16,26) (17,22) (20,27) (21,29) (25,28) 
nodes: 3550  conflicts: 29  modelTime: 1621  solveTime: 22544  totalTime: 24184  modelSize: 72274  readTime: 19 size: 14