(1,6) (2,15) (3,28) (4,11) (5,19) (7,22) (8,13) (9,29) (10,12) (14,24) (16,18) (17,30) (20,23) (21,27) (25,26) 
nodes: 375552  conflicts: 20  modelTime: 968  solveTime: 1992993  totalTime: 1994013  modelSize: 72295  readTime: 52 size: 15