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