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