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