(1,27) (2,19) (3,7) (4,6) (5,9) (8,25) (10,18) (11,16) (12,28) (13,20) (14,15) (17,24) (21,22) (23,30) (26,29) 
nodes: 87167  conflicts: 21  modelTime: 946  solveTime: 403038  totalTime: 404052  modelSize: 72285  readTime: 68 size: 15