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