(1,16) (2,9) (3,11) (4,19) (5,27) (6,26) (7,15) (8,18) (10,13) (12,25) (14,29) (17,24) (20,21) (22,30) (23,28) 
nodes: 55599  conflicts: 36  modelTime: 1273  solveTime: 183907  totalTime: 185200  modelSize: 72271  readTime: 20 size: 15