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