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