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