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