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