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