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