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