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