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