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