(1,3) (2,9) (4,28) (5,14) (6,24) (7,18) (8,16) (10,26) (11,30) (12,27) (13,17) (15,23) (19,21) (20,22) (25,29) 
nodes: 92065  conflicts: 32  modelTime: 972  solveTime: 391915  totalTime: 392898  modelSize: 72269  readTime: 11 size: 15