(1,11) (2,6) (3,27) (4,5) (7,16) (8,10) (9,23) (12,26) (13,24) (14,28) (15,25) (18,22) (20,29) (21,30) 
nodes: 37509  conflicts: 50  modelTime: 1727  solveTime: 155235  totalTime: 156983  modelSize: 72266  readTime: 21 size: 14