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