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