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