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