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