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