(1,29) (2,23) (3,11) (5,22) (6,20) (7,8) (9,27) (10,14) (12,28) (13,30) (15,24) (16,19) (17,21) (18,25) 
nodes: 2368  conflicts: 42  modelTime: 1435  solveTime: 17234  totalTime: 18689  modelSize: 72262  readTime: 20 size: 14