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