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