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