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