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