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