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