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