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