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