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