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