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