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