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