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