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