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