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