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