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