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