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