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