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