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