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