(1,30) (2,9) (3,24) (4,6) (5,26) (8,10) (12,21) (13,18) (14,20) (15,22) (16,27) (19,25) (28,29) 
nodes: 13513  conflicts: 66  modelTime: 943  solveTime: 39161  totalTime: 40115  modelSize: 72263  readTime: 11 size: 13