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