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