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