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