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