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