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