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