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