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