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