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