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