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