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