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