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