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