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