(1,29) (2,16) (3,28) (4,5) (6,22) (7,24) (8,19) (9,18) (10,11) (12,15) (13,21) (14,25) (17,27) (20,30) (23,26) 
nodes: 1024445  conflicts: 37  modelTime: 1737  solveTime: 4377166  totalTime: 4378922  modelSize: 72275  readTime: 19 size: 15