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