(1,11) (2,19) (3,24) (4,10) (5,28) (6,9) (7,14) (8,29) (12,16) (13,27) (15,18) (20,22) (23,30) (25,26) 
nodes: 40873  conflicts: 68  modelTime: 978  solveTime: 172975  totalTime: 173964  modelSize: 72262  readTime: 11 size: 14