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