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