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