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