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