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