(1,25) (2,9) (3,23) (4,30) (5,11) (6,19) (7,28) (8,27) (10,21) (12,15) (13,29) (14,26) (16,24) (17,18) (20,22) 
nodes: 17449  conflicts: 32  modelTime: 957  solveTime: 42720  totalTime: 43688  modelSize: 72268  readTime: 11 size: 15