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