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