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