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