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