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