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