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