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