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