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