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