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