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