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