(1,27) (2,17) (3,24) (4,11) (5,16) (6,15) (7,10) (8,29) (9,18) (12,28) (13,19) (14,23) (20,26) (21,30) (22,25) 
nodes: 1840  conflicts: 3  modelTime: 1733  solveTime: 15663  totalTime: 17428  modelSize: 72338  readTime: 32 size: 15