(1,15) (2,17) (3,5) (6,7) (8,16) (9,26) (10,21) (11,13) (12,19) (14,20) (18,30) (22,29) (23,27) (24,25) 
nodes: 4109  conflicts: 36  modelTime: 1699  solveTime: 17750  totalTime: 19469  modelSize: 72265  readTime: 20 size: 14