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