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