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